korekcije (nekih) gre

saka iz skripte TOPOLOGIJA ,sa odabranim zadacima,2014

(strana 103) zadatak 45(januar 2014 )
(b) Cl intA = Cl(A intA) = Cl (intA \ A)
Upustvo.
Dokazacemo samo inkluziju Cl intA Cl(A intA),obrnuta inkluzija se ostavlja za
vezbu.Pretpostavimo suprotno,da za neko x Cl intA ,vazi x
/ Cl (A intA).Tada postoji okolina
V 3 x,(zasto??) takva da je V intA 6= i V A intA = (objasniti!).Neka je y V intA.Tada
je V intA okolina tacke y (zasto?)i vazi (V intA) A = .Odavde zakljucujemo da y
/ ClA tj
y
/ A = ClA Cl(X \ A).Medutim,y V intA V A A, tj y A,sto je konradikcija. (
u skripti je autor nepa
znjom primenjivao inkluziju Cl(A B) ClA ClB,umesto Cl(A B)
ClA ClB)
dodatak zadatku 45(za vezbanje,resava se slicnim potupkom kao pod (b)
(c) ClA \ ClB Cl(A \ ClB) Cl(A \ B)
(d) Cl int Cl(A B) = Cl int ClA Cl int ClB
Upustvo.Koristiti Cl(A B) = ClA ClB, intA intB int(A B), i identite koji vaze za svaki podskup
(dokazati!) D topoloskog prostora X (videtit str 25,Teorema 2.3, 3. )
X \ ClD = int(X \ D)
X \ Cl(X \ D) = intD
X \ intD = Cl(X \ D)

(1)

X \ int(X \ D) = ClD
U X U ClD 6= U D 6= ( otvoren U X)
Dokazacemo (samo (: )inkluziju intCl(A B) Cl intClA Cl intClB,odakle ce slediti (zasto ?)
Cl intCl(A B) Cl intClA Cl intClB.Obrnuta inkluzija ostavlja se za vezbu.
Prelaskom na komplement,pomenuta inkluzija je ekvivalentna sa (X \ Cl int ClA) (X \ Cl int ClB)
X \ int Cl(A B), koju cemo dokazati.Neka x X pripada levoj strani poslednje inkluzije.Tada postoji
okolina U 3 x, takva da je U int ClA = i U int ClB = (zasto?).Neka je V proizvoljna okoline tacke
x.Dokazacemo da je 6= V U int(X \ A) int(X \ B) = V U int(X \ (A B)) V int(X \ (A B),
a odavde ce zbog proizvoljnosti okoline V 3 x, uzastopnom primenom odgovarajucih relacija (1) ,slediti
(1)

x Cl int(X \ (A B)) = (Cl int(X \ A)) (Cl int(X \ B)) = Cl (X \ Cl(A B)) = X \ intCl(A B),sto
je upravo, desna strana komplementarne inkluzije.Iz implikacije i odgovarajucih jednakosti u (1),sledi
(1)

x U V U (X \int ClA)(X \int ClB) = Cl(X \ClA)Cl(X \ClB) = Cl int(X \A)Cl int(X \B) =
Cl int(X \(AB)). Sledi (implikacija u (1) ) =
6 U V int(X \(AB)) = U V int(X \A)int(X \B),a
to je i trebalo dokazati.
(str 94)Lema 8.1.2.Ako su A i B disjunktni podskupovi metrickog prostora X,takvi da je A kompaktan(ovu vaznu pretpostavku sam izostavio i dokaz u skripti nije korektan ! ),a B zatvoren,dokazati
da je tada d(A, B) > 0
Upustvo.Kompaktni podskupovi metrickog prostora su zatvoreni (zasto?),pa za svako c A, postoji
(c) > 0, tako da je (c) d(c, b), za svako b B(objasniti!).Podskup A je kompaktan,a kolekcija ciji
), c A je otvoreni pokrivac za A, pa postoji N N tako da
su elementi otvorene lopte B(c, (c)
2
kolekcija ciji su elementi B(cj ,
a B(cja ,

(cja )
),za
2

(cj )
), 1
2

j N, j N, pokriva A. Neka je ja {1, 2, . . . N } ,takvo da

(cj )
: 1 j N, j N}.Za proizvoljne a A i b B
2

a A i neka je = min{

(c

(c

imamo (cja ) d(cja , b) d(cja , a) + d(a, b) < 2ja + d(a, b) , a odavde sledi 0 < 2ja d(a, b),
odakle zbog poizvoljnosti a A i b B ,dobijamo d(A, B) d > 0.
(str 93)zadatak 32(april 2010).
(c)(izostavljena pretpostvka o kompaktnosti u skripti).Ako su A i B disjunktni podskupovi metrickog
prostora
X,takvi da je A kompaktan,


 a B zatvoren,doakazati da su skupovi U i V dati sa U =
x X : d(x, A) < d(A, B)/2 , V = x X : d(x, B) < d(A, B)/2 ,neprazni,otvoreni i disjunktni,takvi
da je A U, B V
Napomena 8.1.1.Moze se dokazati da za svaka dva neprazna,zatvorena i disjunktna podskupa A
i B metrickog prostora X,postoje
U i V takvi da je A U, B V . Za
S disjunktni. otvoreni skupovi
S
dokaz posmatrati skupove U =
B(a, d(a, B)/2), V =
B(b, d(b, A)/2).Zbog postojanja pomenutih
aA

bB

otvorenih skupova i kazemo da su metri

cki prostori primer normalnih ili T4 prostora.
zadatak 53
n
T
Upustvo. U =
Uyj , x U X \ p1 (W ) Primetne su u zadnjem delu skipte,mala slova u
j=1

formulama na mestu gde treba da budu velika.

Dzenis F.Pucic,16.02.2016