Professional Documents
Culture Documents
Topologija 5
Topologija 5
1
U i V redom tačaka x1 i x2 . Skup U × V je okolina tačke (x1 , x2 ) u pros-
toru X × X. Dokažimo da je (U × V ) ∩ ∆ = ∅. Ako bi postojala tačka
(x, y) ∈ (U × V ) ∩ ∆ onda bi imali da je x = y, x ∈ U i y ∈ V , pa skupovi U i
V ne bi bili disjuntkni. Dokažimo sada tvrdjenje u suprotnom smjeru. Neka
su x1 i x2 različite tačke iz X. Imamo da (x1 , x2 ) ∈
/ ∆, pa kako je skup ∆
zatvoren u X × X, postoji element U × V , baze topologije na X × X, takav
da je (U × V ) ∩ ∆ = ∅. Skupovi U i V su disjunktne okoline, redom tačaka
x1 i x2 , u X.
n
! n
!
[ [
Gn = Un \ Vk i Hn = Vn \ Uk .
k=1 k=1
S+∞ S+∞
Neka je U = n=1 Gn i V = n=1 Hn . Kako je svaki od skupova Gn i Hn
2
otvoren slijedi da su skupovi U i V otvoreni. Očigledno je A ⊆ U i B ⊆ V .
Dokažimo da su U i V disjunktni skupovi. Neka su m i n prirodni brojevi.
Ako je m ≤ n onda je očigledno Vm ∩ Gn = ∅ pa je i Hm ∩ Gn = ∅. Ako je
n ≤ m onda je Un ∩ Hm = ∅, pa je opet Gn ∩ Hm = ∅. Dakle, za proizvoljne
prirodne brojeve m i n vrijedi Gn ∩Hm = ∅. Odavde slijedi da je U ∩V = ∅.
i
V1 ∩ U2 ∩ U3 ∩ . . . ∩ Un = ∅.
Skupovi F1 \ V1 i F2 \ V1 su zatvoreni i disjuntkni pa postoje otvoreni skupovi
V10 i V100 takvi da je F1 \ V1 ⊆ V10 i F2 \ V1 ⊆ V200 . Skupovi U1 = V10 ∪ V1 , U2 =
V100 ∪ V2 , U3 , U4 , . . . , Un+1 su otvoreni i za njih važi
3
6. Dokazati da je svaki metrički prostor normalan.
δ(a) + δ(b)
d(a, b) ≤ d(a, x) + d(x, b) < ≤ max{δ(a), δ(b)},
2
što nije moguće zbog načina na koji smo izabrali brojeve δ(a) i δ(b).