Lema 15.1.

Neka su (X, T ) i (Y, S) topoloski prostori, f : X Y funkcija te

(A1 , T1 ) i (A2 , T2 ) zatvoreni potprostori od (X, T ) takvi da je X = A1 A2 te takvi
da su funkcije
f |A1 : A1 Y i f |A2 : A2 Y
neprekidne s obzirom na pripadne topologije. Tada je f : X Y neprekidna.
Dokaz. Dovoljno je dokazati da je f (G) zatvoren skup u (X, T ) za svaki zatvoren
skup G u (Y, S). No to lako slijedi iz napomene 13.11./12.12 i cinjenice da za svaki
podskup G od Y vrijedi
f (G) = (f |A1 ) (G) (f |A2 ) (G).

Propozicija 15.2. Neka je (X, T ) topoloski prostor. Tada je (X, T ) povezan ako
i samo ako je svaka funkcija X {0, 1} koja je neprekidna s obzirom na topologiju
T i diskretnu topologiju na {0, 1} konstantna.
Dokaz. Pretpostavimo da je (X, T ) povezan. Kada bi postojala neprekidna funkcija
f : X {0, 1} koja nije konstantna, onda bi
(f ({0}), f ({1}))
bila separacija topoloskog prostora (X, T ), sto je nemoguce.
Obratno, uzmimo da je svaka neprekidna funkcija X {0, 1} konstantna. Pretpostavimo da (X, T ) nije povezan. Tada postoji separacija (U, V ) od (X, T ). Definiramo funkciju f : X {0, 1} sa

0, x U ,
f (x) =
1, x V .
Tada je f neprekidna prema lemi 15.1 te ocito nije konstantna. Kontradikcija.
Prema tome, (X, T ) je povezan.

Propozicija 15.3. Neka je (X, T ) topoloski prostor te neka je A povezan skup u
tom prostoru. Neka je B X takav da je
(1)

A B A.

Tada je i B povezan skup u (X, T ).

Dokaz. Pretpostavimo da B nije povezan. Tada postoji separacija (U, V ) od B u
(X, T ). Iz B U V slijedi
A U V.
Takoder, iz U V B = slijedi U V A = . No A je povezan pa (U, V ) nije
separacija od A u (X, T ), sto povlaci da je
U A = ili V A = .
Prepostavimo da je U A = . Tada je A U c pa, buduci da je U c zatvoren
skup, imamo da je A U c . Iz ovoga i (1) slijedi da je B U c pa je
U B = ,
sto je u kontradikciji s cinjenicom da je (U, V ) separacija od B.
Analogno dobivamo da V A = vodi na kontradikciju. Prema tome, B je
povezan skup u (X, T ).

1

Propozicija 15.4. Neka je (X, T ) topoloski prostor, neka je S povezan skup te neka
je (T ) indeksirana familija povezanih skupova u (X, T ) takva da je S T 6=
za svaki . Neka je
[
C=S
T .

Tada je C povezan skup.

Dokaz. Pretpostavimo suprotno. Neka je (U, V ) separacija od C u (X, T ). Tada je
S U V i U V S = pa buduci da je S povezan mora vrijediti U S = ili
V S = .
Pretpostavimo da je U S = . Tada iz S U V slijedi
(2)

S V.

Neka je . Iz istih razloga kao u slucaju skupa S dobivamo da je

U T = ili V T = .
Tvrdimo da je U T = . U suprotnom bi vrijedilo V T = , sto bi zajedno sa
T U V povlacilo
(3)

T U.

No ovo je nemoguce, naime skupovi S i T se prema pretpostavci propozicije sijeku

pa bi (3) zajedno sa (2) povlacilo da se i U i V sijeku. Dakle U T = pa slijedi
T V.
Iz ovoga i (2) slijedi da je C V pa je C U = . Ovo je nemoguce jer je (U, V )
separacija od C.
Dakle dobili smo kontradikciju u slucaju U S = , a jasno je da isto dobivamo
i u slucaju V S = . Zakljucak: C je povezan skup u (X, T ).

Korolar 15.5. Neka je (X, T ) topoloski prostor te neka su S i T povezani skupovi
u ovom prostoru takvi da je S T 6= . Tada je i S T povezan skup.

Neka je (X, T ) topoloski prostor te x X. Neka je Cx familija svih povezanih
skupova A u (X, T ) takvih da je x A. Definiramo
[
Cx =
A.
ACx

Za Cx kazemo da je komponenta povezanosti tocke x u topoloskom prostoru

(X, T ). Uocimo da je Cx povezan skup (propozicija 15.4) koji sadrzi x te da Cx
sadrzi svaki povezan skup koji sadrzi x. Nadalje, ako su x, y X, onda je Cx = Cy
ili Cx Cy = .
Primjer 15.6. Za S R, S 6= , neka je ES euklidska topologija na S. Neka je
X = h0, 1i h2, 3i te x = 21 . Tada vrijedi sljedece:
(i) R je komponenta povezanosti tocke x u (R, ER );
(ii) h0, 1i je komponenta povezanosti tocke x u (X, EX );
(iii) {x} je komponenta povezanosti tocke x u (Q, EQ ).
Propozicija 15.7. Neka je (X, T ) topoloski prostor te neka su a, b, c X.
(i) Pretpostavimo da postoji put u (X, T ) od a do b. Tada postoji i put u (X, T )
od b do a.

(ii) Pretpostavimo da postoji put od a do b te da postoji put od b do c. Tada

postoji put od a do c.
Dokaz. (i) Neka je f : [0, 1] X put od a do b. Tada je funkcija g : [0, 1] X
definirana sa
g(t) = f (1 t),
t [0, 1], put od b do a u (X, T ).
(ii) Neka je f : [0, 1] X put od a do b te neka je g : [0, 1] X put od b do c
u (X, T ). Tada je funkcija h : [0, 1] X definirana sa



f (2t), t 0, 21 , 
h(t) =
g(2t 1), t 12 , 1
put od a do c u (X, T ).

Primjer 15.8. Za x [0, 1] neka je

Tx = {(x, t) | t [0, 1]}.
Neka je M = {(x, 0) | x [0, 1]}. Za svaki x [0, 1] skup Tx je povezan u R2 , a i
skup M je povezan u R2 . Neka je
[
C=M
T n1 .
nN

Prema propoziciji 15.4 skup C je povezan u R2 .

Neka je a = (0, 1) te neka je
X = {a} C.
Buduci da je je a C, imamo C X C pa iz propozicije 15.3 slijedi da je X
povezan skup. Neka je d euklidska metrika na X. Imamo dakle da je (X, d) povezan
metricki prostor. Tvrdimo da (X, d) nije putevima povezan.
Neka je b = (0, 0). Ocito je b X. Dokazimo da ne postoji put od a do b u
(X, d). Pretpostavimo da je f : [0, 1] X neprekidna funkcija takva da je f (0) = a
i f (1) = b. Neka je
S = f ({a}).
Tada je S zatvoren skup u [0, 1] pa je stoga zatvoren i u R. Imamo da je S =
6
(jer je 0 S), stoga S ima maksimum, neka je to t0 . Imamo t0 [0, 1], no 1
/S
jer je f (1) = b, dakle t0 6= 1 pa je
t0 < 1.
Buduci da je f neprekidna u t0 , postoji > 0 takav da za svaki t [0, 1] vrijedi
implikacija
(4)

|t t0 | < d(f (t), f (t0 ) < 1.

Odaberimo r R takav da je
t0 < r 1 i r t0 < .
Neka je t [t0 , r]. Tada vrijedi 0 t t0 r t0 < pa je |t t0 | < sto zajedno
sa (4) i cinjenicom da je f (t0 ) = a povlaci
(5)

d(f (t), a) < 1.

Iz definicija skupa S i tocke a je jasno da za svaki s S vrijedi d(s, a) 1. Stoga

iz (5) slijedi da f (t)
/ S za svaki t [t0 , r] pa je
[
f ([t0 , r]) {a}
T n1 .
nN

Buduci da je t0 maksimum skupa S te da je t0 < r, vrijedi f (r) 6= a pa je

f (r) T n1
za neki n N. Odaberimo x R takav da je

1
n+1

<x<

1
n.

Neka je

U = h, xi R, V = hx, i R.
Tada je (U X, V X) separacija skupa f ([t0 , r]) u metrickom prostoru (X, d). No
to je nemoguce jer je f ([t0 , r]) povezan skup u (X, d) prema propoziciji 14.3./13.3.
Dakle ne postoji put od a do b u (X, d). Zakljucak: metricki prostor (X, d) je
povezan, ali nije putevima povezan.
Za topoloske prostore (X, T ) i (Y, S) kazemo da su homeomorfni ako postoji
homeomorfizam f : X Y tih topoloskih prostora.
Neka su (X, T ) i (Y, S) topoloski prostori te neka je f : X Y neprekidna
surjekcija. Iz propozicije 9.10 slijedi da je (Y, S) kompaktan ako je (X, T ) kompaktan, a iz propozicije 13.5 da je (Y, S) povezan ako je (X, T ) povezan. Stoga imamo
sljedecu propoziciju.
Propozicija 15.9. Neka su (X, T ) i (Y, S) homeomorfni topoloski prostori.
(i) Ako je (X, T ) kompaktan, onda je i (Y, S) kompaktan.
(ii) Ako je (X, T ) povezan, onda je i (Y, S) povezan.

Primjer 15.10. (i) Metricki prostori [0, 1] i [0, 2] su homeomorfni (dane skupove
gledamo s euklidskim metrikama); homeomorfizam f : [0, 1] [0, 2] je dan sa
f (x) = 2x.
(ii) Isto tako imamo da su h0, 1i i h0, 2i homeomorfni te da su h0, 1] i h0, 2]
homeomorfni.
(iii) h0, 1i i [0, 1] nisu homeomorfni jer je [0, 1] kompaktan, a h0, 1i nije. Iz istog
razloga imamo da h0, 1] i [0, 1] nisu homeomorfni.
(iv) Jesu li h0, 1] i h0, 1i homeomorfni? Pretpostavimo da jesu, neka je
f : h0, 1] h0, 1i
homeomorfizam. Tada je funkcija
g : h0, 1i h0, 1i \ {f (1)},
g(x) = f (x), bijekcija, neprekidna (jer je f neprekidna) i vrijedi da je g neprekidna
jer je g (y) = f (y) za svaki y h0, 1i \ {f (1)}. Prema tome g je homeomorfizam
pa imamo da su h0, 1i i h0, 1i \ {f (1)} homeomorfni sto je nemoguce jer je h0, 1i
povezan, a h0, 1i \ {f (1)} nije.