Математика може бути як набір жорстких правил, але у основі вона вивчає закономірності. Візьмемо метричний простір. Звучить абстрактно. Так і є. Але це також є фундаментом для розуміння того, як ми вимірюємо «близькість» у всьому — від навігаційних додатків до комплексного аналізу.
Простими словами, метричний простір — це безліч точок, забезпечене правилом вимірювання відстані. Це називається метрикою. Воно має підкорятися трьома суворими законами. По-перше, якщо відстань між двома точками дорівнює нулю, ці точки ідентичні. Не можна мати нульову відстань між різними об’єктами. По-друге, відстань симетрична. Відстань від A до B така сама, як від B до A. По-третє, і це найважливіше, — нерівність трикутника. Прямий шлях від точки A до точки C ніколи не довший за шлях через третю точку B. На папері це звучить очевидно. Але за межами сторінки це виявляється напрочуд потужним інструментом.
Моріс Фреше, французький математик, почав досліджувати ці концепції у 1905 році. Він зрозумів, що “відстань” – це не просто фізична властивість ліній на сітці. Це логічна структура. Ця структура дозволяє математикам вийти за рамки простої геометрії у складніші області.
За межами прямої лінії: екзотичні метрики
Ми звикли до стандартної відстані на числовому прямому або в евклідовому просторі. Це відстань по прямій («по прямій, як летить ворона»). Але метричні простори допускають інші способи виміру.
Розглянемо “дискретну метрику”. У цьому сценарії будь-які дві різні точки знаходяться рівно на одиницю один від одного. Відстань від точки A до точки B? Одиниця. Відстань від точки A до точки A? Нуль. Це бінарний світ. Близько чи далеко. Нічого проміжного. Це здається очевидним. Насправді це корисно для доказу теоретичних кордонів у логіці та інформатиці.
Потім є “метрика таксі”. Уявіть, що ви знаходитесь у такому місті, як Манхеттен. Ви не можете перетинати квартали по діагоналі. Ви повинні рухатися вздовж вулиць. Відстань від точки (x, y ) до (z, w ) дорівнює сумі горизонтальних та вертикальних кроків: |x − z | + |y − w |. Ця «відстань таксі» відображає фактичний шлях, який проїхав би автомобіль. Йдеться не про найкоротшу пряму лінію. Йдеться про обмежену реальність навколишнього середовища.
Математики також використовують метрики на безлічі функцій. В аналізі ви можете виміряти «відстань» між двома безперервними функціями, виходячи з того, наскільки різні їх значення на інтервалі. Це дозволяє проводити порівняння, які мають нічого спільного з фізичним простором.
Метрика узагальнює поняття звичайної відстані до загальніших випадків.
Це узагальнення є ключовим. Визначаючи відстань абстрактно, ми можемо застосовувати геометричну інтуїцію до точок даних, звукових хвиль або навіть тенденцій фондового ринку.
Від відстані до топології
Тут цікаво. Метрика робить більше, ніж просто повідомляє вам, як далеко знаходяться об’єкти. Вона створює “топологію”.
Топологія – це вивчення властивостей, які залишаються незмінними при розтягуванні або стиску фігур, за умови, що ви не розриваєте їх. Метричне місце природним чином породжує колекцію «відкритих множин». Підмножина є відкритим, якщо для кожної точки всередині нього можна намалювати крихітний «міхур» навколо цієї точки, яка повністю залишається всередині цієї підмножини. Метрика визначає розмір цього міхура.
Це означає, що метричні простори дають конкретні приклади топологічних просторів. Без метрики топологія – це просто невиразна ідея. З нею ми маємо строгу структуру. Саме цей зв’язок робить метричні простори такими центральними для сучасної математики. Вони пов’язують обчислення та структуру.
Повнота та межі раціональних чисел
Не всі метричні простори створені рівними. Деякі з них повні. Простір називається повним, якщо кожна послідовність Коші сходить до точки, що належить цьому простору.
Що таке послідовність Коші? Це список точок, члени якого зрештою стають довільно близькими один до одного. У міру просування далі за списком розрив між будь-якими двома точками стає крихітним. У повному просторі ця послідовність має сходитися до фактичної граничної точки всередині множини.
Раціональні числа (дроби) не проходять цей тест. Розглянемо послідовність: 3, 3.1, 3.14, 3.141, 3.1415… Цей список стає все ближче і ближче до π. Але π не є раціональним числом. Його не можна записати у вигляді дробу. Послідовність «хоче» зійтись, але на числовій прямій раціональних чисел є дірка там, де має бути π. Метрика на раціональних числах не є повною.
У той самий час дійсні числа повні. Кожна послідовність Коші дійсних чисел сходиться до дійсного числа. Фактично, дійсні числа можна як «повне замикання» раціональних чисел. Ми заповнили дірки.
