Topologija kvocijenta

Neka je $X$ topološki prostor i $A$ skup koji nije nužno njegov podskup. Pretpostavimo da postoji surjektivno preslikavanje $p : X \rightarrow A$. Podskup $U \subseteq A$ naziva se otvorenim ako i samo ako je njegova pra-slika $p^{-1}(U)$ otvorena u $X$.

Drugim riječima, skup $U \subseteq A$ je otvoren u topologiji kvocijenta tačno onda kada je njegova pra-slika $p^{-1}(U)$, odnosno skup svih tačaka iz $X$ koje se preslikavaju u $U$, otvorena u $X$.

ilustracija topologije kvocijenta

Ova ideja omogućava da se skupu $A$ dodijeli nova topologija, koja se naziva topologija kvocijenta, a koja se izvodi iz postojeće topologije prostora $X$ putem preslikavanja $p$.

U tom kontekstu:

skup $A$ naziva se kvocijentni prostor
preslikavanje $p$ naziva se kvocijentno preslikavanje

Skup svih otvorenih podskupova u $A$ često se opisuje kao "topologija kvocijenta inducirana preslikavanjem $p$".

Ključna ideja: u topologiji kvocijenta otvorenost se ne provjerava direktno u $A$, nego se uvijek “povlači nazad” u prostor $X$.

Važno je izbjeći jednu čestu grešku:

ako je skup otvoren u $A$, njegova pra-slika u $X$ je uvijek otvorena
ali obrnuto ne mora vrijediti, otvoren skup u $X$ ne mora dati otvoren skup u $A$

Razlog je jednostavan: preslikavanje $p$ uopće ne mora čuvati otvorenost skupova.

U suštini, kvocijentni prostor nastaje tako što se neke tačke prostora $X$ poistovjećuju, odnosno “spajaju”, prema određenoj relaciji ekvivalencije.

Možeš to zamisliti kao proces u kojem se prostor mijenja tako što se određeni njegovi dijelovi “lijepe” zajedno, a zatim se proučavaju nova svojstva tako dobijenog prostora.

Zašto je ovo važno? Topologija kvocijenta omogućava da složenije prostore razumijemo preko jednostavnijih, jer sve informacije dolaze iz prostora $X$, koji je često lakši za analizu.

Intuicija kroz primjer
Konkretan primjer
Svojstva topologije kvocijenta

Intuicija kroz primjer

Pojam topologije kvocijenta na početku može djelovati apstraktno, ali se lako razumije kroz geometrijske slike.

Osnovna ideja je “lijepljenje” dijelova prostora.

Zamisli kvadratni list papira. Ako spojiš dvije njegove suprotne stranice, dobijaš cilindar.

savijanje kvadratnog papira u cilindar

Ako zatim spojiš kružne ivice tog cilindra, dobijaš torus.

nastanak torusa spajanjem ivica cilindra

U oba koraka mijenja se struktura prostora, ali na vrlo kontroliran način. Upravo to formalizira topologija kvocijenta.

Zaključak: topologija kvocijenta omogućava izgradnju novih prostora iz postojećih, identifikacijom njihovih dijelova.

Konkretan primjer

Razmotrimo prostor $ X = [0, 1] $ sa standardnom topologijom. U tom prostoru otvoreni skupovi su otvoreni intervali i njihove unije.

Vrijedi:

$X$ i $ \emptyset $ su otvoreni
svaki interval $ (a,b) $, gdje je $ 0 \leq a < b \leq 1 $, otvoren je u $X$

Geometrijski, ovaj prostor je jednostavna duž između 0 i 1.

segment od 0 do 1 kao topološki prostor

Sada napravimo ključni korak: identificiramo tačke 0 i 1, odnosno tretiramo ih kao jednu istu tačku.

Definiramo preslikavanje $ p : [0, 1] \rightarrow A $:

$$ p(x) = \begin{cases} p(0) & \text{ako je } x = 0 \text{ ili } x = 1 \\ \\ x & \text{ako je } 0 < x < 1 \end{cases} $$

Rezultat je novi prostor $A$, koji se može zamisliti kao kružnica.

dobijanje kružnice identifikacijom krajeva segmenta

Drugim riječima, duž smo savili i spojili njene krajeve.

Tačka $P = \{0,1\}$ predstavlja jednu jedinstvenu tačku u novom prostoru.

Sada dolazi ključni dio: kako odrediti koji su skupovi otvoreni u $A$?

Pravilo je isto:

Skup $U \subseteq A$ je otvoren ako i samo ako je njegova pra-slika $p^{-1}(U)$ otvorena u $[0,1]$.

Pogledajmo dva tipična slučaja:

Interval koji ne sadrži tačku $P$
Njegova pra-slika je običan otvoreni interval u $X$, pa je otvoren i u $A$.
Interval koji sadrži tačku $P$
Njegova pra-slika postaje unija dva intervala: $ [0,a) \cup (b,1] $, koji su otvoreni u $X$. Zato je i ovaj skup otvoren u $A$.

Na ovaj način dobijamo kružnicu kao kvocijentni prostor intervala $[0,1]$.

Ovo je jedan od najvažnijih i najčešće korištenih primjera u topologiji, jer jasno pokazuje kako se jednostavan prostor može transformirati u složeniji pomoću identifikacije tačaka.

Primjer 2

U ovom primjeru vidimo jednu od najvažnijih ideja u topologiji kvocijenta: kako se beskonačna realna prava može “pretvoriti” u kružnicu.

Razmotrimo realnu pravu $ \mathbb{R} $, koja se proteže beskonačno u oba smjera.

Želimo svaki realan broj povezati s jednom tačkom na kružnici. To postižemo tako što svakom broju pridružujemo njegov razlomljeni dio, odnosno njegov položaj unutar intervala $[0,1)$.

Formalno, definiramo preslikavanje:

$$ p(x) = x \mod 1 $$

Intuitivno, ovo znači da “zanemarujemo” cijeli dio broja i zadržavamo samo decimalni dio. Na taj način svi brojevi koji se razlikuju za cijeli broj završavaju u istoj tački na kružnici.

Na primjer, $1{,}3$, $2{,}3$ i $3{,}3$ svi imaju isti razlomljeni dio 0,3, pa odgovaraju istoj tački na kružnici.
omotavanje realne prave na kružnicu pomoću modulo operacije

Ovim postupkom “omotavamo” realnu pravu oko kružnice beskonačno mnogo puta. Svaki puni “krug” odgovara povećanju za 1 na realnoj pravoj.

Drugim riječima, svi brojevi koji su međusobno kongruentni modulo 1 poistovjećuju se u istu tačku.

Pogledajmo sada kako se ponašaju neki tipični intervali.

Interval $ (0,1) $
Preslikava se u otvoreni luk kružnice koji ne sadrži tačku 0. Budući da je njegova pra-slika otvorena, i ovaj skup ostaje otvoren u kvocijentnom prostoru.
Interval $ (1,2) $
Daje potpuno isti luk kao i $ (0,1) $, jer se svi njegovi elementi preslikavaju na iste tačke. U kvocijentnoj topologiji ne donosi novu strukturu.
Interval $ (0,2) $
Ovaj interval pokriva cijelu kružnicu, i to dvaput. Njegova slika je cijela kružnica, koja je ovdje i otvorena i zatvorena (clopen).

Napomena: Važno je razumjeti da slika otvorenog skupa iz $ \mathbb{R} $ ne mora biti otvorena u kvocijentnom prostoru.

S druge strane, svaki otvoreni skup na kružnici uvijek ima otvorenu pra-sliku u $ \mathbb{R} $. Kada ga “razmotamo”, dobijamo (najčešće beskonačnu) uniju otvorenih intervala.

Ključna poruka: u topologiji kvocijenta otvorenost se prenosi preko pra-slika, ne preko direktnih slika.

Zaključak

Ne možemo očekivati da se otvoreni skupovi iz $ \mathbb{R} $ direktno prenesu kao otvoreni skupovi na kružnici. Preslikavanje može promijeniti njihovu strukturu, i upravo zato je definicija zasnovana na pra-slici.

Primjer 3

Sada prelazimo na diskretan primjer, koji pokazuje istu ideju u jednostavnijem okruženju.

Razmotrimo skup uzastopnih cijelih brojeva:

$$ I_7 = \{1, 2, 3, 4, 5, 6, 7\} $$

Ovaj skup možemo posmatrati kao konačan diskretni interval.

Sada identificiramo prvi i posljednji element, odnosno 1 i 7. To znači da ih tretiramo kao istu tačku.

zatvaranje diskretnog intervala u kružnicu

Rezultat je diskretna kružnica sa 6 tačaka povezanih u ciklus.

Svaka tačka ima tačno dva susjeda, što odražava cikličnu strukturu.

Ovo je tipičan primjer kvocijentnog prostora: novi prostor nastaje tako što se neke tačke početnog skupa identificiraju.

Napomena: Ova konstrukcija je analogna formiranju kružnice iz realnog intervala, ali ovdje radimo sa konačnim i diskretnim skupom.

Ovakve strukture povezuju se i s digitalnom topologijom, gdje se odnosi susjedstva definiraju diskretno.

U takvim prostorima proučavaju se pojmovi poput povezanosti i otvorenosti, ali u diskretnom smislu.

Napomena: U digitalnoj topologiji skup $ U $ je otvoren ako za svaku tačku $ x \in U $ svi njeni susjedi također pripadaju skupu $ U $, u skladu s odabranom relacijom susjedstva (2 u 1D, 4 ili 8 u 2D, 6 ili 18 u 3D).

Važno je naglasiti da topologija kvocijenta i digitalna topologija pripadaju različitim teorijskim okvirima.

Iako se diskretna kružnica može dobiti identifikacijom tačaka, ona se proučava unutar diskretne topologije, a ne klasične topologije kvocijenta.

Primjer 4

U ovom primjeru vidimo kako kvocijentna topologija može “sažeti” čitav kontinuirani prostor u mali skup tačaka, pritom zadržavajući informaciju o njegovoj strukturi.

Razmotrimo skup realnih brojeva $ \mathbb{R} $, sa standardnom topologijom, i definirajmo preslikavanje $ p : \mathbb{R} \to \{a, b, c\} $:

$$ p(x) = \begin{cases} a \quad \text{ako je} \quad x < 0 \\ \\ b \quad \text{ako je} \quad x = 0 \\ \\ c \quad \text{ako je} \quad x > 0 \\ \end{cases} $$

Ovo preslikavanje radi tri stvari:

sve negativne brojeve spaja u jednu tačku $ a $
tačku $ 0 $ ostavlja kao posebnu tačku $ b $
sve pozitivne brojeve spaja u tačku $ c $

Na taj način beskonačan prostor $ \mathbb{R} $ pretvaramo u skup od samo tri tačke, ali uz jasno pravilo kako su te tačke povezane s početnim prostorom.

Ključno pitanje sada je: koji su skupovi otvoreni u ovom novom prostoru?

Odgovor dolazi direktno iz definicije kvocijentne topologije:

Skup je otvoren ako i samo ako je njegova pra-slika u $ \mathbb{R} $ otvorena.

Pogledajmo pra-slike pojedinačnih tačaka:

$ p^{-1}(a) = (-\infty, 0) $, otvoren skup
$ p^{-1}(b) = \{0\} $, nije otvoren skup
$ p^{-1}(c) = (0, \infty) $, otvoren skup

Iz toga odmah slijedi struktura otvorenih skupova:

$ \{a\} $ je otvoren
$ \{c\} $ je otvoren
$ \{a, c\} $ je otvoren

Uz to, kao i uvijek u svakoj topologiji:

$ \emptyset $ je otvoren
$ \{a, b, c\} $ je otvoren

Međutim, skup $ \{b\} $ nije otvoren, jer njegova pra-slika $ \{0\} $ nije otvorena u $ \mathbb{R} $.

Važna posljedica: tačka $ b $ nema nijedno netrivijalno otvoreno okruženje. Jedini otvoreni skup koji je sadrži jeste cijeli prostor.

Ovakvo ponašanje znači da $ b $ narušava lokalnu strukturu prostora. Zato se može interpretirati kao topološki singularna tačka.

Svojstva topologije kvocijenta

Bez obzira na konkretan primjer, svaka kvocijentna topologija zadovoljava osnovna svojstva topologije.

Prazan skup i cijeli prostor

Skupovi $ \emptyset $ i $ A $ uvijek su otvoreni.

Razlog je jednostavan:
- $ p^{-1}(\emptyset) = \emptyset $, koji je uvijek otvoren
- $ p^{-1}(A) = X $, koji je otvoren jer predstavlja cijeli prostor
Napomena: Ova dva skupa su otvorena u svakoj topologiji, ne samo u kvocijentnoj.
Proizvoljne unije otvorenih skupova

Ako imamo bilo koju kolekciju otvorenih skupova $ U_i $, njihova unija je također otvorena:
$$ p^{-1}\left( \bigcup U_i \right) = \bigcup p^{-1}(U_i) $$
Napomena: Budući da su unije otvorenih skupova otvorene u $ X $, ovo svojstvo se automatski prenosi na kvocijentni prostor.
Konačni presjeci otvorenih skupova

Konačan presjek otvorenih skupova ostaje otvoren:
$$ p^{-1}\left( \bigcap U_i \right) = \bigcap p^{-1}(U_i) $$
Napomena: Ovo svojstvo dolazi iz činjenice da su konačni presjeci otvorenih skupova otvoreni u početnom prostoru $ X $.

Ova tri svojstva čine temelj svake topologije, pa tako i topologije kvocijenta.

Upravo kroz ovakve primjere postaje jasno kako kvocijentna topologija omogućava da kompleksne strukture razumijemo kroz jednostavne operacije identifikacije tačaka.