Matematika může vypadat jako soubor pevných pravidel, ale v jádru je to studium vzorců. Vezměme si metrický prostor. Zní to abstraktně. To je pravda. Ale je také zásadní pochopit, jak měříme „blízkost“ ve všem, od navigačních aplikací po komplexní analýzy.
Jednoduše řečeno, metrický prostor je jednoduše soubor bodů s pravidlem pro měření vzdálenosti. Toto pravidlo se nazývá metrika. Musí dodržovat tři přísné zákony. Za prvé, pokud je vzdálenost mezi dvěma body nulová, jsou tyto body totožné. Nemůžete mít nulovou vzdálenost mezi různými objekty. Za druhé, vzdálenost je symetrická. Vzdálenost z A do B je stejná jako z B do A. Třetí a nejdůležitější je trojúhelníková nerovnost. Přímá cesta z bodu A do bodu C není nikdy delší než cesta přes třetí bod B. Na papíře to zní jasně. Ale mimo stránku se ukazuje, že je to překvapivě mocný nástroj.
Maurice Fréchet, francouzský matematik, začal tyto pojmy zkoumat v roce 1905. Uvědomil si, že „vzdálenost“ není jen fyzikální vlastnost čar na mřížce. Toto je logická struktura. Tato struktura umožňuje matematikům přejít od jednoduché geometrie do složitějších oblastí.
Za přímkou: exotické metriky
Jsme zvyklí na standardní vzdálenosti na číselné ose nebo v euklidovském prostoru. Toto je vzdálenost v přímce („v přímce, vzdušnou čarou“). Metrické prostory však umožňují jiné metody měření.
Podívejme se na diskrétní metriku. V tomto scénáři jsou jakékoli dva odlišné body přesně jeden od druhého. Vzdálenost z bodu A do bodu B? Jednotka. Vzdálenost z bodu A do bodu A? Nula. Toto je binární svět. Blízko nebo daleko. Nic mezi tím. Zdá se to triviální. Je to vlastně užitečné pro dokazování teoretických hranic v logice a informatice.
Pak je tu metrika taxi. Představte si, že jste ve městě, jako je Manhattan. Nemůžete přecházet bloky diagonálně. Musíte se pohybovat po ulicích. Vzdálenost od bodu (x, y ) do (z, w ) je rovna součtu horizontálních a vertikálních kroků: |x − z | + |y − w |. Tato „taxi vzdálenost“ odráží skutečnou vzdálenost, kterou by vozidlo ujelo. Nejde o nejkratší přímku. Hovoříme o omezené realitě prostředí.
Matematici také používají metriky na množinách funkcí. V analýze můžete měřit „vzdálenost“ mezi dvěma spojitými funkcemi na základě toho, jak odlišné jsou jejich hodnoty v intervalu. To umožňuje provádět srovnání, která nemají nic společného s fyzickým prostorem.
Metrika zobecňuje koncept běžné vzdálenosti na obecnější případy.
Toto zobecnění je klíčové. Abstraktním definováním vzdálenosti můžeme aplikovat geometrickou intuici na datové body, zvukové vlny nebo dokonce trendy akciového trhu.
Od vzdálenosti k topologii
Tady to začíná být zajímavé. Metrika dokáže více než jen říct, jak daleko jsou objekty. Vytváří topologii.
Topologie je studium vlastností, které zůstávají stejné, když tvary natahujete nebo stlačujete, pokud je neporušíte. Metrický prostor přirozeně dává vzniknout kolekci „otevřených množin“. Podmnožina je otevřená, pokud pro každý bod v ní můžete kolem tohoto bodu nakreslit malou “bublinu”, která zůstane celá v této podmnožině. Metrika určuje velikost této bubliny.
To znamená, že metrické prostory poskytují konkrétní příklady topologických prostorů. Bez metrik je topologie jen vágní představa. S ní máme přísnou strukturu. Právě toto spojení činí metrické prostory tak ústředním bodem moderní matematiky. Propojují výpočet a strukturu.
Úplnost a limity racionálních čísel
Ne všechny metrické prostory jsou vytvořeny stejně. Některé z nich jsou plné. Prostor se nazývá úplný, pokud každá Cauchyho posloupnost konverguje k bodu patřícímu do tohoto prostoru.
Co je Cauchyho posloupnost? Toto je seznam bodů, jejichž členové jsou nakonec libovolně blízko sebe. Jak se pohybujete dále v seznamu, mezera mezi libovolnými dvěma body se zmenšuje. V plném prostoru musí tato sekvence konvergovat ke skutečnému limitnímu bodu v množině.
Racionální čísla (zlomky) tímto testem neprojdou. Uvažujme posloupnost: 3, 3.1, 3.14, 3.141, 3.1415… Tento seznam se stále více přibližuje k číslu π. Ale π není racionální číslo. Nelze to zapsat jako zlomek. Posloupnost „chce“ konvergovat, ale na racionální číselné ose je díra, kde by mělo být π. Metrika racionálních čísel není úplná.
Reálná čísla jsou přitom kompletní. Každá Cauchyova posloupnost reálných čísel konverguje k reálnému číslu. Ve skutečnosti lze reálná čísla považovat za „úplný uzávěr“ racionálních čísel. Vyplnili jsme díry.
