Jak przestrzenie metryczne uogólniają pojęcie odległości i dlaczego jest to ważne dla studentów matematyki

Matematyka może wyglądać jak zbiór sztywnych reguł, ale w swej istocie polega na badaniu wzorców. Weźmy przestrzeń metryczną. Brzmi to abstrakcyjnie. To prawda. Ale ma to również fundamentalne znaczenie dla zrozumienia, w jaki sposób mierzymy „bliskość” we wszystkim, od aplikacji nawigacyjnych po złożone analizy.

Mówiąc najprościej, przestrzeń metryczna to po prostu zbiór punktów z regułą pomiaru odległości. Reguła ta nazywana jest metryką. Musi przestrzegać trzech surowych praw. Po pierwsze, jeśli odległość między dwoma punktami wynosi zero, punkty te są identyczne. Nie można mieć zerowej odległości między różnymi obiektami. Po drugie, odległość jest symetryczna. Odległość od A do B jest taka sama jak od B do A. Trzecią i najważniejszą jest nierówność trójkąta. Bezpośrednia droga z punktu A do punktu C nigdy nie jest dłuższa niż droga przez trzeci punkt B. Na papierze wydaje się to oczywiste. Ale na pierwszy rzut oka okazuje się, że jest to zaskakująco potężne narzędzie.

Maurice Fréchet, francuski matematyk, zaczął zgłębiać te koncepcje w 1905 roku. Zdał sobie sprawę, że „odległość” to nie tylko fizyczna właściwość linii na siatce. Jest to logiczna struktura. Struktura ta pozwala matematykom wyjść poza prostą geometrię i zająć się bardziej złożonymi obszarami.

Poza linią prostą: egzotyczne wskaźniki

Przyzwyczailiśmy się do standardowych odległości na osi liczbowej lub w przestrzeni euklidesowej. Jest to odległość w linii prostej („w linii prostej, w linii prostej”). Ale przestrzenie metryczne pozwalają na inne metody pomiaru.

Rozważmy metrykę dyskretną. W tym scenariuszu dowolne dwa różne punkty są od siebie oddalone o dokładnie jeden punkt. Odległość od punktu A do punktu B? Jednostka. Odległość od punktu A do punktu A? Zero. To jest świat binarny. Blisko lub daleko. Nic pomiędzy. To wydaje się banalne. W rzeczywistości jest przydatny do udowadniania teoretycznych granic logiki i informatyki.

Następnie jest metryka taksówek. Wyobraź sobie, że jesteś w mieście takim jak Manhattan. Nie można krzyżować bloków po przekątnej. Trzeba poruszać się po ulicach. Odległość od punktu (x, y ) do (z, w ) jest równa sumie kroków poziomych i pionowych: |x − z | + |y − w |. Ta „odległość taksowania” odzwierciedla rzeczywistą odległość, jaką przebyłby pojazd. Nie chodzi o najkrótszą linię prostą. Mówimy o ograniczonej rzeczywistości środowiska.

Matematycy używają również metryk na zbiorach funkcji. W analizie można zmierzyć „odległość” między dwiema funkcjami ciągłymi na podstawie tego, jak różne są ich wartości w przedziale. Pozwala to na dokonywanie porównań, które nie mają nic wspólnego z przestrzenią fizyczną.

Metryka uogólnia koncepcję zwykłej odległości na bardziej ogólne przypadki.

To uogólnienie jest kluczowe. Abstrakcyjnie definiując odległość, możemy zastosować intuicję geometryczną do punktów danych, fal dźwiękowych, a nawet trendów na giełdzie.

Od odległości do topologii

Tutaj robi się ciekawie. Metryka nie tylko informuje, jak daleko znajdują się obiekty. Tworzy topologię.

Topologia to badanie właściwości, które pozostają takie same podczas rozciągania lub ściskania kształtów, o ile ich nie złamiesz. Przestrzeń metryczna w naturalny sposób daje początek zbiorowi „zbiorów otwartych”. Podzbiór jest otwarty, jeśli dla każdego jego punktu można narysować małą „bańkę” wokół tego punktu, która w całości pozostaje w tym podzbiorze. Metryka określa rozmiar tej bańki.

Oznacza to, że przestrzenie metryczne dostarczają konkretnych przykładów przestrzeni topologicznych. Bez metryk topologia jest jedynie mglistym pojęciem. Z nią mamy ścisłą strukturę. To właśnie to połączenie sprawia, że ​​przestrzenie metryczne są tak istotne dla współczesnej matematyki. Łączą obliczenia i strukturę.

Kompletność i granice liczb wymiernych

Nie wszystkie przestrzenie metryczne są sobie równe. Niektóre z nich są pełne. Przestrzeń nazywa się pełną, jeśli każdy ciąg Cauchy’ego zbiega się do punktu należącego do tej przestrzeni.

Co to jest ciąg Cauchy’ego? To jest lista punktów, których elementy ostatecznie znajdują się dowolnie blisko siebie. W miarę przesuwania się w dół listy odstęp między dowolnymi dwoma punktami staje się niewielki. W pełnej przestrzeni sekwencja ta musi zbiegać się do rzeczywistego punktu granicznego w zbiorze.

Liczby wymierne (ułamki) nie przechodzą tego testu. Rozważmy ciąg: 3, 3,1, 3,14, 3,141, 3,1415… Ta lista coraz bardziej zbliża się do liczby π. Ale π nie jest liczbą wymierną. Nie da się tego zapisać w postaci ułamka zwykłego. Ciąg „chce” się zbiegać, ale na osi liczb wymiernych jest dziura w miejscu, w którym powinno znajdować się π. Metryka liczb wymiernych nie jest kompletna.

Jednocześnie liczby rzeczywiste są kompletne. Każdy ciąg liczb rzeczywistych Cauchy’ego zbiega się do liczby rzeczywistej. W rzeczywistości liczby rzeczywiste można traktować jako „całkowite domknięcie” liczb wymiernych. Uzupełniliśmy dziury.