Topologia — zbiory otwarte, ciągłość i kluczowe pojęcia

Topologia to dział matematyki, który bada przestrzenie za pomocą zbiorów otwartych i ciągłości zamiast dokładnej odległości. Jeśli uczysz się podstaw topologii, najszybsza droga jest taka: wybierz, które podzbiory są otwarte, a potem z tego wyboru zdefiniuj ciągłość.

Dlatego topologia może porównywać przestrzenie przez ich lokalne zachowanie, a nie przez długości, kąty czy współrzędne.

Czym jest przestrzeń topologiczna

Niech $X$ będzie zbiorem. Topologia na $X$ to rodzina $\mathcal{T}$ podzbiorów zbioru $X$, nazywanych zbiorami otwartymi, taka że:

1. $\varnothing$ i $X$ należą do $\mathcal{T}$.
2. Dowolna suma zbiorów z $\mathcal{T}$ także należy do $\mathcal{T}$.
3. Dowolne skończone przecięcie zbiorów z $\mathcal{T}$ także należy do $\mathcal{T}$.

Parę $(X,\mathcal{T})$ nazywamy przestrzenią topologiczną.

Ta definicja jest celowo abstrakcyjna. Gdy wiesz już, które zbiory są otwarte, możesz zdefiniować ciągłość, otoczenia i zbiory domknięte bez zapisywania żadnego wzoru na odległość.

Dlaczego zbiory otwarte są ważne

Zbiory otwarte określają, co znaczy, że punkt ma wokół siebie trochę miejsca. W standardowej topologii na $\mathbb{R}$ przedział otwarty taki jak $(1,3)$ jest otwarty, ponieważ każdy punkt w jego wnętrzu ma wokół siebie mniejszy przedział, który nadal zawiera się w $(1,3)$.

Ta lokalna idea jest sednem topologii. Zbiór jest otwarty, gdy każdy jego punkt leży w nim z pewnym lokalnym „zapasem miejsca”.

To także pokazuje, dlaczego otwartość zależy od topologii. Ten sam podzbiór może być otwarty w jednej topologii, a w innej nie.

Jak zbiory otwarte definiują inne podstawowe pojęcia

Otoczenia

Otoczenie punktu to dowolny zbiór, który zawiera pewien zbiór otwarty wokół tego punktu. To topologiczny sposób mówienia o lokalnej bliskości bez używania odległości.

Zbiory domknięte

Zbiór jest domknięty, jeśli jego dopełnienie jest otwarte. W znanych przestrzeniach, takich jak prosta rzeczywista, zbiory domknięte często zawierają swój brzeg, ale to nie jest definicja.

Ciągłość

Jeśli $X$ i $Y$ są przestrzeniami topologicznymi, to funkcja $f:X \to Y$ jest ciągła, gdy dla każdego zbioru otwartego $U \subseteq Y$ przeciwobraz $f^{-1}(U)$ jest otwarty w $X$.

$$f \text{ jest ciągła wtedy i tylko wtedy, gdy } f^{-1}(U) \text{ jest otwarty dla każdego otwartego } U \subseteq Y$$

To zgadza się ze zwykłym pojęciem ciągłości z analizy na $\mathbb{R}$, ale działa też w przestrzeniach, w których odległość nie jest podstawową strukturą.

Homeomorfizm

Homeomorfizm to funkcja różnowartościowa i „na”, która jest ciągła i ma ciągłą funkcję odwrotną. Jeśli dwie przestrzenie są homeomorficzne, to topologia traktuje je jako mające ten sam kształt w sensie topologicznym.

To stwierdzenie zależy od ciągłości w obu kierunkach. Sama bijekcja nie wystarcza.

Przykład: dlaczego $f(x)=x^2$ jest ciągła w standardowej topologii

Rozważ funkcję $f:\mathbb{R} \to \mathbb{R}$ daną wzorem

$$f(x)=x^2$$

przy standardowej topologii na $\mathbb{R}$.

Weźmy zbiór otwarty $(1,4)$ w przeciwdziedzinie. Jego przeciwobraz to

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

co upraszcza się do

$$(-2,-1)\cup(1,2).$$

Ten zbiór jest otwarty w standardowej topologii na $\mathbb{R}$, ponieważ jest sumą przedziałów otwartych. Ten przykład pokazuje właściwy kierunek sprawdzania: ciągłość dotyczy przeciwobrazów zbiorów otwartych, a nie tego, czy $f$ wysyła zbiory otwarte na zbiory otwarte.

Na $\mathbb{R}$ warunek ten okazuje się równoważny zwykłej definicji ciągłości opartej na granicy.

Typowe błędy przy nauce podstaw topologii

Myślenie, że „otwarty” znaczy wszędzie to samo

Tak nie jest. Otwartość definiuje się względem wybranej topologii.

Mylenie obrazu i przeciwobrazu

Ciągłość dotyczy tego, by przeciwobrazy zbiorów otwartych były otwarte. Obrazy zbiorów otwartych nie muszą być otwarte, chyba że nałożysz na funkcję dodatkowe warunki.

Traktowanie topologii jak geometrii metrycznej pod nową nazwą

Wiele przestrzeni topologicznych rzeczywiście pochodzi od metryk, ale sama topologia jest bardziej ogólna. Zachowuje tylko tę strukturę, która jest potrzebna do opisu lokalnego zachowania i ciągłości.

Zakładanie, że każda bijekcja jest równoważnością topologiczną

Aby funkcja była homeomorfizmem, musi być bijekcją, być ciągła i mieć ciągłą funkcję odwrotną.

Gdzie używa się topologii

Topologia dostarcza języka dla ciągłości, zwartości, spójności i zbieżności we współczesnej analizie. Pojawia się też w geometrii, układach dynamicznych, równaniach różniczkowych i analizie danych badającej kształt na zgrubnym poziomie.

Dla początkującego praktyczne znaczenie jest prostsze: topologia wyjaśnia, dlaczego ciągłość można zdefiniować w sposób niezależny od współrzędnych i wzoru na odległość.

Spróbuj podobnego zadania

Użyj tej samej funkcji $f(x)=x^2$, ale teraz zacznij od zbioru otwartego $(0,1)$. Oblicz $f^{-1}((0,1))$ i sprawdź, czy jest otwarty w $\mathbb{R}$.

Jeśli chcesz zrobić kolejny krok, przeanalizuj inny przypadek ciągłości i porównaj definicję topologiczną z definicją opartą na granicy z analizy.