Topološki kontinuitet

Neka su \(X\) i \(Y\) dva topološka prostora. Preslikavanje \(f : X \to Y\) naziva se kontinuiranim ako za svaki otvoreni skup \(V \subseteq Y\) njegov inverzni lik \(f^{-1}(V)\) predstavlja otvoren skup u \(X\).

Drugim riječima, kontinuirano preslikavanje u topologiji čuva strukturu otvorenih skupova dok elemente jednog prostora preslikava u drugi.

Upravo u tome je suština topološkog kontinuiteta, struktura prostora se ne narušava tokom preslikavanja.

Napomena : U topologiji je pojam kontinuiteta opštiji nego u klasičnoj matematičkoj analizi. U analizi se kontinuitet zasniva na udaljenosti između tačaka i opisuje kako se vrijednosti funkcije ponašaju u blizini neke tačke. U topologiji, međutim, fokus je na tome kako preslikavanje djeluje na otvorene skupove. Zbog toga se kontinuitet može definisati i u prostorima u kojima pojam udaljenosti uopšte ne postoji.

Intuitivno, kontinuirano preslikavanje možemo zamisliti kao deformaciju geometrijske figure bez kidanja ili presijecanja.

Takvo preslikavanje zadržava osnovnu strukturu prostora, posebno njegove otvorene skupove.

Konkretan primjer

Posmatrajmo dva topološka prostora \(X = \{a, b, c, d\}\) i \(Y = \{1, 2\}\).

• Otvoreni skupovi u \(X\) su : \(\varnothing, \{a\}, \{a, b\}, \{a, b, c, d\}\).
• Otvoreni skupovi u \(Y\) su : \(\varnothing, \{1\}, \{1, 2\}\).

Definišimo preslikavanje \(f : X \rightarrow Y\) :

\( f(a) = 1 \), \( f(b) = 1 \), \( f(c) = 2 \), \( f(d) = 2 \)

Da li je ovo preslikavanje kontinuirano?

Da bismo odgovorili, pogledajmo kako se otvoreni skupovi iz \(Y\) preslikavaju nazad u \(X\).

Provjera kontinuiteta :

• Za otvoreni skup \(\{1\}\) u \(Y\) dobijamo \( f^{-1}(\{1\}) = \{a, b\} \), što je otvoren skup u \(X\).
• Za otvoreni skup \(\{1, 2\}\) u \(Y\) dobijamo \( f^{-1}(\{1, 2\}) = \{a, b, c, d\} \), što je takođe otvoren skup u \(X\).

Prazan skup ne moramo posebno razmatrati, jer je uvijek otvoren.

Zaključak je jasan, preslikavanje \(f\) je kontinuirano.

Primjer 2

Razmotrimo sada drugo preslikavanje \(g : X \rightarrow Y\) :

\( g(a) = 1 \), \( g(b) = 1 \), \( g(c) = 1 \), \( g(d) = 2 \)

Ponovo posmatramo inverzne likove otvorenih skupova.

• Za otvoreni skup \(\{1\}\) u \(Y\) dobijamo \( g^{-1}(\{1\}) = \{a, b, c\} \), koji nije otvoren skup u \(X\).

Pošto uslov nije ispunjen, zaključujemo da preslikavanje \(g\) nije kontinuirano.

Primjer 3

Razmotrimo identičko preslikavanje \( \mathrm{id} : X \to X \), definisano sa \( \mathrm{id}(x) = x \).

$$ x = f(x) $$

Ovo preslikavanje ne mijenja nijedan element prostora. Svaki otvoreni skup ostaje isti, pa samim tim i otvoren.

Zato je identičko preslikavanje uvijek kontinuirano.

Primjer 4

Razmotrimo konstantno preslikavanje \( f : X \to Y \), definisano sa \( f(x) = c \).

$$ f(x) = c $$

Bez obzira koji element izaberemo u \(X\), rezultat je uvijek isti.

Provjerimo definiciju :

• Ako je \(c \in V\), tada je \( f^{-1}(V) = X \), što je otvoren skup.
• Ako je \(c \notin V\), tada je \( f^{-1}(V) = \varnothing \), što je takođe otvoren skup.

U oba slučaja dobijamo otvoren skup, pa zaključujemo da je svako konstantno preslikavanje kontinuirano.

Napomena : Kontinuitet ne zavisi samo od formule preslikavanja, već i od strukture prostora. U ovom slučaju, upravo struktura otvorenih skupova garantuje kontinuitet.

Primjer 5

Na kraju, razmotrimo identičko preslikavanje između dva različita topološka prostora :

• \(X = \mathbb{R}\) sa standardnom topologijom, gdje su otvoreni skupovi intervali \( (a, b) \).
• \(Y = \mathbb{R}\) sa topologijom donje granice, gdje su otvoreni skupovi oblika \([a, b)\).

Posmatrajmo skup \( [0, 1) \), koji je otvoren u prostoru \(Y\).

Pošto je preslikavanje identitet, imamo \( f^{-1}([0, 1)) = [0, 1) \).

Međutim, ovaj skup nije otvoren u standardnoj topologiji.

Napomena : U standardnoj topologiji, svaki otvoreni skup mora sadržavati mali interval oko svake svoje tačke. To ne važi za tačku \(0\) u skupu \( [0, 1) \).

Zato zaključujemo da ovo preslikavanje nije kontinuirano.

Ovaj primjer jasno pokazuje jednu ključnu ideju, kontinuitet ne zavisi samo od preslikavanja, već i od topologija prostora između kojih ono djeluje.

Drugim riječima, ista funkcija može biti kontinuirana ili ne, zavisno od konteksta u kojem se posmatra.

Teorem o bazi za kontinuitet

Neka su \(X\) i \(Y\) dva topološka prostora. Preslikavanje \(f : X \to Y\) je kontinuirano ako, i samo ako, za svaki skup \(B_Y\) iz neke baze topologije na \(Y\) njegov inverzni lik \(f^{-1}(B_Y)\) predstavlja otvoren skup u \(X\).

Ovaj teorem je veoma praktičan jer značajno pojednostavljuje provjeru kontinuiteta.

Umjesto da provjeravamo sve otvorene skupove u prostoru \(Y\), dovoljno je da posmatramo samo elemente jedne baze topologije.

Na taj način broj slučajeva koje treba analizirati postaje mnogo manji, pa je postupak brži i pregledniji.

Dokaz : Svaki otvoreni skup u \(Y\) može se zapisati kao unija, eventualno beskonačna, elemenata njegove baze \(B_Y\). Ako je inverzni lik svakog elementa baze otvoren u \(X\), tada je i inverzni lik svake takve unije otvoren u \(X\), jer je unija otvorenih skupova ponovo otvoren skup. Prema tome, preslikavanje \(f\) je kontinuirano.

Primjer

Posmatrajmo skupove \(X = \{a, b, c, d\}\) i \(Y = \{x, y, z\}\), sa sljedećim topologijama :

• Topologija na \(X\) je \( \tau_X = \{\emptyset, \{a\}, \{a, b\}, \{a, b, c, d\}\} \).
• Baza topologije na \(Y\) je \(B_Y = \{\{x\}, \{y\}, \{z\}\}\).

Otvoreni skupovi u \(Y\) dobijaju se kao unije elemenata ove baze. Na primjer, skupovi \( \{x, y\} \), \( \{x, z\} \), \( \{y, z\} \) i \( \{x, y, z\} \) nisu elementi baze, ali jesu otvoreni jer nastaju kao njihove unije.

Definišimo preslikavanje \(f : X \to Y\) :

• \(f(a) = x\)
• \(f(b) = x\)
• \(f(c) = y\)
• \(f(d) = z\)

Da li je \(f\) kontinuirano?

Provjerimo inverzne likove baznih skupova :

• \(f^{-1}(\{x\}) = \{a, b\}\), što je otvoren skup u \(X\).
• \(f^{-1}(\{y\}) = \{c\}\), koji nije otvoren skup u \(X\), jer \( \{c\} \notin \tau_X \).

Već ovaj jedan slučaj je dovoljan da zaključimo :

preslikavanje \(f\) nije kontinuirano.

Napomena : Za diskontinuitet je dovoljan samo jedan kontra-primjer. Nema potrebe provjeravati sve ostale skupove.

Kontinuitet u grubljim i finijim topologijama

Ako je preslikavanje kontinuirano za neku grublju topologiju, tada je kontinuirano i za svaku finiju topologiju definisanu na istom skupu.

Obrat, međutim, ne važi uopšte. Preslikavanje može biti kontinuirano u finijoj topologiji, a da ne bude kontinuirano u grubljoj.

Razlika između finije i grublje topologije. Ako na istom skupu \(X\) posmatramo dvije topologije, ona sa manje otvorenih skupova naziva se grublja, a ona sa više otvorenih skupova finija.

Primjer

Posmatrajmo skup \(X = \{a, b\}\) sa dvije topologije :

1. Grublja topologija : \( \tau_1 = \{\varnothing, \{a, b\}\} \)
2. Finija topologija : \( \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a, b\}\} \)

Definišimo preslikavanje \(f : X \to Y\), gdje je \(Y = \{1\}\) :

$$ f(a) = 1 \quad ; \quad f(b) = 1 $$

U topologiji \( \tau_1 \) otvoreni skupovi su samo \( \varnothing \) i \( \{a, b\} \).

Provjerimo kontinuitet :

• \( f^{-1}(\varnothing) = \varnothing \), otvoren skup.
• \( f^{-1}(\{1\}) = \{a, b\} \), takođe otvoren skup.

Zaključak :

preslikavanje \(f\) je kontinuirano u grubljoj topologiji \( \tau_1 \).

Pošto su svi otvoreni skupovi iz \( \tau_1 \) ujedno otvoreni i u \( \tau_2 \), slijedi da je

\(f\) kontinuirano i u finijoj topologiji \( \tau_2 \).

Važno : kontinuitet se čuva pri prelasku sa grublje na finiju topologiju.

Primjer 2

Posmatrajmo isti skup \(X = \{a, b\}\), sa istim topologijama.

Definišimo preslikavanje \(g : X \to Y\), gdje je \(Y = \{1, 2\}\) :

$$ g(a) = 1 \quad ; \quad g(b) = 2 $$

U finijoj topologiji \( \tau_2 \), svi inverzni likovi otvorenih skupova su otvoreni :

• \( g^{-1}(\varnothing) = \varnothing \)
• \( g^{-1}(\{1,2\}) = \{a,b\} \)
• \( g^{-1}(\{1\}) = \{a\} \)
• \( g^{-1}(\{2\}) = \{b\} \)

Zato je preslikavanje \(g\) kontinuirano u finijoj topologiji.

U grubljoj topologiji \( \tau_1 \), situacija se mijenja :

• \( g^{-1}(\varnothing) = \varnothing \), otvoren skup
• \( g^{-1}(\{1,2\}) = \{a,b\} \), otvoren skup
• \( g^{-1}(\{1\}) = \{a\} \), što nije otvoren skup

Zbog toga zaključujemo :

preslikavanje \(g\) nije kontinuirano u grubljoj topologiji.

Ovaj primjer jasno pokazuje da kontinuitet zavisi ne samo od preslikavanja, već i od izabrane topologije.

Povezanost i kontinuitet : dva ključna pojma u topologiji

U opštoj topologiji, povezanost i kontinuitet su dva osnovna pojma koja se stalno pojavljuju. Oba govore o tome kako su tačke u jednom prostoru povezane, ali iz različitih perspektiva : jedan opisuje sam prostor, dok drugi opisuje preslikavanja između prostora.

Razumjeti razliku između ova dva pojma znači napraviti važan korak ka stvarnom razumijevanju topologije.

• Povezanost : osobina samog prostora
  Topološki prostor \( X \) naziva se povezan ako ga nije moguće razložiti na dva neprazna, disjunktna otvorena skupa čija je unija cijeli prostor. Drugim riječima, prostor je povezan ako se ne može podijeliti na dva dijela koji su istovremeno i otvoreni i zatvoreni (tzv. clopen skupovi). Intuitivno, povezan prostor djeluje kao "jedna cjelina", bez odvojenih komponenti.
• Kontinuitet : osobina preslikavanja
  Kontinuitet se odnosi na preslikavanje \( f: X \to Y \). Kaže se da je \( f \) kontinuirano ako za svaki otvoreni skup \( V \subseteq Y \) njegov inverzni lik \( f^{-1}(V) \) ostaje otvoren u \( X \). Jednostavno rečeno, kontinuirano preslikavanje ne "kida" strukturu prostora i ne uvodi nagle prekide.

Važno je naglasiti da se radi o dva različita nivoa posmatranja : povezanost je osobina prostora, dok je kontinuitet osobina funkcije.

Ipak, između njih postoji važna veza. Jedan klasičan rezultat kaže :

Ako je \( X \) povezan i ako je \( f: X \to Y \) kontinuirano, tada je i slika \( f(X) \) povezana.

Drugim riječima, kontinuirana preslikavanja ne mogu "razbiti" povezan prostor.

Ukratko :

• povezanost opisuje globalnu strukturu prostora
• kontinuitet opisuje ponašanje preslikavanja

Zajedno, ovi pojmovi čine osnovu razumijevanja topoloških prostora i njihovih transformacija.

Napomene

Slijedi nekoliko korisnih činjenica o kontinuitetu koje se često koriste u praksi :

• Kontinuirano preslikavanje nije nužno otvoreno
  Kontinuitet ne garantuje da slika otvorenog skupa ostaje otvorena.
• Lema o sljepljivanju
  Ako se dva kontinuirana preslikavanja poklapaju na preseku svojih domena, mogu se spojiti u jedno kontinuirano preslikavanje.
• Kontinuitet inkluzije
  Uključivanje jednog prostora u drugi uvijek daje kontinuirano preslikavanje.
• Kvocijentna topologija
  Kvocijentna topologija se definiše tako da prirodno preslikavanje bude kontinuirano.
• Slika zatvorenja
  Kontinuitet osigurava da se zatvorenje skupa preslikava unutar zatvorenja njegove slike.
• Definicija pomoću otvorenih skupova
  Ovo je osnovna definicija kontinuiteta u topologiji.
• Definicija pomoću zatvorenih skupova
  Potpuno ekvivalentna formulacija kontinuiteta.
• Kompozicija
  Kompozicija kontinuiranih preslikavanja ostaje kontinuirana.
• Kontinuitet i nizovi
  Kontinuitet čuva granice konvergentnih nizova.
• Polinomijalne funkcije
  U standardnoj topologiji na \( \mathbb{R} \), svi polinomi su kontinuirani.

Ove osobine čine osnovni alat za rad sa kontinuiranim preslikavanjima u topologiji.