Twierdzenia i lematy: Dowód: dla każdego ε>0, istnieje N, dla każdego n>N xnЄB(x0,ε). Musimy wziąć kulę która obejmie wszystkie punkty czyli r=max{d(x0,xi); i=1,2,…,N; ε} i wtedy dla każdego n xnЄB(x0,r). Zb otwarte i domknięte. Wykład 3: |
Tw1. Zb A jest domknięty gdy X-A jest otwarty. Równoważność metryk: L1. Metryki d1 i d2 są w X równoważne gdy funkcja f:(X,d1)→(X,d2) określona przez f(x)=x jest homeomorfizmem. Wtedy f-1(A)=A dla każdego zb A⊂X. |
L2. Metryki d1,d2 w zb X są równoważne gdy dla każdego xЄX i ε>0 istnieje d1,d2>0: Bd2(x,δ1)⊂Bd1(x,ε) i Bd1(x,δ2)⊂Bd2(x,ε) * L1. Jeśli f i g ograniczone to d(f,g)<∞ CIĄGŁOŚĆ W ILOCZYNIE PRZESTRZENI: Wykład 6: Tw1. g:X→YxZ jest ciągła g1 i g2 są ciągłe. ODLEGŁOŚĆ PUNKTU OD ZB: L1. d(x,A)=0 xЄĀ. Tw Tietze’go o rozszerzeniu funkcji: Niech (X,d) będzie przestrzenią, A⊂X zb domknięty, f1:A→R f ciągłą. Wtedy istnieje funkcja ciągła f:X→R taka że f1=f|A:A→R, tzn. dla aЄA, f(a)=f1(a). (f nazywamy rozszerzeniem funkcji f1. Jeśli f1 jest ograniczona f1(A)⊂[a,b] to istnieje takie f, które spełnia f(X)⊂[a,b].) PRZESTRZENIE ZUPEŁNE METRYCZNE: L2. Każdy ciąg zbieżny jest ciągiem Cauchy’ego. |
Tw2. Niech (X,d) będzie przestrzenią metryczną zupełną i niech A⊂X. Podprzestrzeń A jest zupełna A zb domknięty. Tw Cantora. Niech (X,d) będzie przestrzenią zupełną. A1⊃A2⊃… ciąg malejący zbiorów domkniętych i diam(An)→0. Dowód:Niech Nan. Wtedy xn jest ciągiem Cauchy tzn. ∀ε > 0∃N∀k, m ≥ N d(xk,xm) < ε. Diam(An)→0, ∀δ∃N∀k ≥ N diam(An)<δ. weźmy δ=$\frac{\varepsilon}{2}$ i N takie że dla k≥n diam(Ak)<δ. Wtedy dla k,n≥N xkЄAn i (xmЄAm⊂AN) xnЄAN=> d(xk,xm)<δ:$\frac{\varepsilon}{2}$<ε czyli xn→x0. Pokażemy że xnЄ$\cap_{n = 1}^{\infty}\text{An}$. Jeśli nie to istnieje taki n że x0∉AN. Ponieważ AN domknięty to d(x0,AN)=ε>0. Wtedy dla k≥n xk⊂Ak⊂AN więc d(x0,xk)≥d(x0,AN)=ε>0. Sprzeczność z xk→x0. Tw1. Jeśli (X,d1), (Y,d2) przestrzenie zupełne to ich produkt (XxY,d) też przestrzeń zupełna. Tw Banacha. (X,d) przestrzeń zupełna i f:X→X funkcja ściągająca tzn. istnieje 0<C<1 taka że d(f(x1),f(x2))≤C•d(x1,x2) Tw Baire’a. (X,d)- przestrzeń zupełna, An ciąg zbiorów domknietych i brzegowych (zb jest brzegowy jeśli nie zawiera żadnej kuli). Wtedy suma$\cup_{n = 1}^{\infty}$An=A też jest zb brzegowym więc nie zawiera żadnej kuli i nie jest całą przestrzenią. Dowód: Rozważmy kule B(x0,r)⊂X. A1-domkniety i brzegowy nie zawiera kuli B(x0,r). Ø≠B(x0,r)-A1=B(x0,r)∩(X-A1) –zb otwarty. Tw2. Jeśli (X,d1), (Y,d2) są przestrzeniami metrycznymi i Y jest przestrzenią zupełną to przestrzeń funkcji ograniczonych B(X,Y) też jest przestrzenią zupełną. |
---|