��Automatyka i Robotyka Analiza WykBad 13 dr Adam miel cmiel@agh.edu.pl
PrzestrzeD metryczna
Def: Dla dowolnego X `" " funkcj � : X � X �! R speBniajc warunki:
1� "x, y"X �(x, y) e" 0 '" (�(x, y) = 0 �! x = y)
2� "x, y"X �(x, y) = �(y, x)
3� "x, y, z"X �(x, z) d" �(x, y) + �(y, z)
nazywamy metryk (odlegBo[ci) w X, a par (X,�) przestrzeni metryczn.
PrzykBady
" X = R �(x, y) = x - y
n
2
" X = Rn �E (x, y) = - yi )
"(xi
i=1
�1(x, y) = max xi - yi
i
n
�2 (x, y) = xi - yi
"
i=1
0 dla x = y
��
" X `" " �(x, y) =
��1 dla x `" y (metryka dyskretna)
��
�(x, y)
" (X,�) prz. metr. �! �1(x, y) = r�wnie| jest metryk w X (ograniczon przez 1)
1 + �(x, y)
PrzestrzeD unormowana
X przestrzeD liniowa (wektorowa) nad ciaBem K (K = R)
Def. Norm w przestrzeni liniowej nad ciaBem K nazywamy rzeczywist funkcj
�" : x" X �! x e" 0 , przy czym:
1� "x"X x = 0 �! x = 0
2� "�"K "x"X � x = � x
3� "x,y"X x + y d" x + y
(X , ) nazywamy przestrzeni unormowan. Norma jest odpowiednikiem pojcia dBugo[ci wektora.
Np. X = Rn x = (x1,..., xn )
n
- x = xi 2 - norma euklidesowa (norma l2 )
"
i=1
- x = max xi - norma max lub l"
l"
1d"id"n
n
- x = xi - norma l1
"
l1
i=1
Np. X = C[a,b] - zbi�r wszystkich funkcji rzeczywistych cigBych na [a,b]
f = sup f (x) = max f (x) - norma supremum (sup=max bo f jest cg. na przedziale [a,b])
ad"xd"b
ad"xd"b
1
Automatyka i Robotyka Analiza WykBad 13 dr Adam miel cmiel@agh.edu.pl
Fakt. PrzestrzeD unormowana jest przestrzeni metryczn z metryk �(x, y) = x - y .
Kula w przestrzeni X = C[a,b]
K( f , r) - wszystkie funkcje cigBe, kt�rych wykresy le| pomidzy f - r a f + r .
Pojcia zwizane z metryk:
(X,�) - przestrzeD metryczna.
" Kula : K(x0 , r) = {x " X : �(x, x0 ) <� r}, Kule w R2 w r�|nych metrykach
" Otoczenie (kuliste) punktu x0: Ot(x0 ,r) = K(x0 , r)
" Ssiedztwo punktu x0: S(x0 , r) = K(x0 , r) -{x0}
Def. (granicy cigu o warto[ciach w przestrzeni metrycznej (X,�):
lim an = g �! "� >0"n "N "ne"n �(an , g) d" �
0 0
n�!"
1
Pytanie. Czy cig ( ) jest zbie|ny w przestrzeni R z metryk dyskretn. Jak wygldaj cigi zbie|ne
n
w przestrzeni metrycznej z metryk dyskretn
Podobnie jak w przypadku cig�w rzeczywistych mo|emy wprowadzi pojcie cigu
fundamentalnego czyli speBniajcego warunek Cauchy ego
(C) "� >0"n "N "n,me"n �(am ,an ) d" � .
0 0
Tw. Je|eli cig (an ) punkt�w przestrzeni metrycznej (X , �) jest zbie|ny, to speBnia on warunek
Cauchy ego "� >0"n "N "m,ne"n �(am ,an ) <� � .
0 0
Uwaga. W przypadku cig�w rzeczywistych prawdziwe jest twierdzenie odwrotne, a w og�lnym
przypadku nie.
Def. PrzestrzeD metryczn (X,�) nazywamy zupeBn, je|eli ka|dy cig Cauchy ego element�w
przestrzeni (X,�) jest zbie|ny (do elementu przestrzeni (X,�)).
PrzykBady
" (R, | �" | ) jest przestrzeni zupeBn a (W, | �" | ) nie jest przestrzeni zupeBn
" (Rn, �E) jest przestrzeni zupeBn
2
Automatyka i Robotyka Analiza WykBad 13 dr Adam miel cmiel@agh.edu.pl
Def. Zbie|no[ cigu w przestrzeni unormowanej a wic tak|e metrycznej z metryk indukowan
przez norm, nazywamy zbie|no[ci w sensie normy.
Def. Przestrzeni Banacha nazywamy przestrzeD liniow, unormowan i zupeBn
Metryka dc ( f , g) = sup f (x) - g(x) (Czebyszewa) w przestrzeni C[a,b] rzeczywistych funkcji
ad"xd"b
cigBych na przedziale [a,b] indukowana przez norm f = sup f (x) , jest metryk zbie|no[ci
ad"xd"b
jednostajnej. ( wr�cimy do tego przy cigach i szeregach funkcyjnych)
Def. Punkt x0 " X nazywamy punktem skupienia zbioru A �" X �! istnieje cig (an)�"A taki,
|e "n an `" x0 i lim an = x0
n�!"
Def. Punkt zbioru A, kt�ry nie jest punktem skupienia nazywamy punktem izolowanym.
Charakteryzacja otoczeniowa punkt�w i zbior�w w przestrzeni metrycznej.
(X , �) - przestrzeD metryczna, A�"X, A `" ", ( przypomnienie - K(x0 , r) = {x " X : �(x0 , x) <� r})
Def. Punkt a"A nazywamy punktem izolowanym zbioru A �! " r>0 K(a,r) )"A={a}.
Def. Punkt a"A nazywamy punktem wewntrznym zbioru �! " r>0 K(a,r) �"A.
Def. Punkt a"X jest punktem brzegowym zbioru A �! "r>0 K(a,r) )"A`"" '" K(a,r) )"(X-A) `""
Def. Punkt a"X-A jest punktem zewntrznym zbioru A �! " r>0 K(a,r) )"A`""
Uwaga. Punkt wewntrzny zbioru A nale|y do A, punkt zewntrzny nale|y do jego dopeBnienia, a
brzegowy mo|e nale|e do A albo do X-A.
Def. Punkt a"X jest punktem skupienia zbioru A �!"r>0 (K(a,r)-{a}) )"A`"".
Def. Zbi�r A�"X jest otwarty, gdy skBada si z samych punkt�w wewntrznych.
Def. Zbi�r A�"X jest domknity �! A'= X \ A jest zbiorem otwartym.
Def. Wntrze zbioru A (oznaczenie - int A) to zbi�r wszystkich punkt�w wewntrznych.
Def. Brzeg zbioru A (oznaczenia - Fr A lub "A), to zbi�r wszystkich punkt�w brzegowych.
Wnioski:
" A jest otwarty �! A=int A
" Wntrze zbioru A to najwikszy zbi�r otwarty zawarty w danym zbiorze.
Def: Domkniciem zbioru A�"X nazywamy najmniejszy zbi�r domknity A nakrywajcy zbi�r A.
Def. Punkt a"X jest punktem domknicia zbioru A �!"r>0 K(a,r))"A`"".
Wnioski
" Ka|dy punkt skupienia zbioru A jest punktem domknicia, ale nie odwrotnie, bo np. punkt
izolowany jest punktem domknicia, ale nie jest punktem skupienia.
" Zbi�r domknity zawiera wszystkie swoje punkty skupienia.
3