2659241296

Twierdzenie 1.1 (nierówność Schwarza) Jeżeli dane są dowolne elementy x i y z R, to

l(x|y)| < ||x|| ■ ||y||.    (1.11)

Wniosek 1.2 Niech x, y będą dowolnymi elementami z R^d. Wtedy

l|x + y||<||x|| + ||y||.    (1.12)

Uwaga 1.4 Możemy więc określić metrykę de : R^d x R^d —* R₊ U {0} wzorem

V_x,y€R^d<fe(x,y) = l|x —y||.    (1.13)

Nazywamy ją metryką euklidesową, a przestrzeń metryczną (R^d,dg) nazywamy d-wymiarową przestrzenią euklidesową i oznaczamy ją £^d.

Natomiast (R^d, || -1|) nazywamy przestrzenią unormowaną.

Uwaga 1.5 ³ Zauważmy, że oznaczenie metryki dla prostej euklidesowej i d-wymiarowej przestrzeni euklidesowej jest identyczne. Taka sama sytuacja ma miejsce dla różnych liczb naturalnych di i d?. Jednak gdybyśmy chcieli wprowadzać rozróżnienie tych metryk musielibyśmy pisać więcej indeksów, a to gmatwałoby elegancje i prostotę zapisów.

Uwaga 1.6 Ponieważ £^d jest przestrzenią metryczną, więc będziemy wykorzystywać pojęcia ciągu zbieżnego, granicy ciągu i ciągu Cauchy’ego, które zostały już zdefiniowane na I roku dla ogólnej przestrzeni metrycznej. Pojęcie podciągu jest przenoszone z ciągów liczbowych bez zmiany. Natomiast pojęcie ciągu ograniczonego otrzymujemy analogicznie jak dla ciągów liczbowych zastępując wartość bezwzględną normą euklidesową, ewentualnie korzystając z definicji funkcji ograniczonej w przestrzeni metrycznej. Ponadto będziemy wykorzystywać twierdzenie o jednoznaczności granicy ciągu, jak również twierdzenia o granicy podciągów, które pozostają prawdziwe.

Uwaga 1.7 W przypadku ciągów w £^d nie ma takich pojęć, jak iloczyn ciągów, ciągi monotoniczne, ciągi rozbieżne do nieskończoności, czy też granica górna, czy dolna ciągu.

Twierdzenie 1.2 Niech (x„) C W¹. Wtedy ciąg (xn) ma granicę równą xo wtedy i tylko wtedy, gdy dla dowolnego i 6 l,d ciąg (i")_n (ciąg i-tych współrzędnych) jest zbieżny do xf.

Twierdzenie 1.3 £^d jest przestrzenią metryczną zupełną.

Twierdzenie 1.4 (Bolzano-Weierstrassa) Każdy ciąg ograniczony elementów z R^d zawiera podciąg zbieżny.

Uwaga 1.8 Ponieważ R^d jest też przestrzenią wektorową, to mamy też dwa działania na ciągach - dodawanie oraz mnożenie przez liczby. Wtedy słuszne jest twierdzenie:

Twierdzenie 1.5 (działania na granicach ciągów.) Jeżeli (x„),(y„) C R^d ixo,yo £ R^d oraz lim x_n = Xq i iim y„ =

yo oraz c jest dowolną liczbą rzeczywistą, to

_nlim_o(x„ + y_n) = xo + y₀;    (1-14)

Jlim^c • x„) = c • xo;    (1-15)

^lim^(—x_n) = —xo;    (1.16)

lim (x„ - y„) = xo - yo-    (1.17)

Uwaga 1.9 Z ogólnych pojęć dla przestrzeni metrycznych będziemy wykorzystywać następujące: kula otwarta, kula domknięta, zbiór otwarty, zbiór domknięty, otoczenie punktu, otoczenie otwarte, punkt wewnętrzny, zbiór relatywnie otwarty, relatywnie domknięty, przestrzeń metryczna zupełna, domknięcie zbioru, punkt skupienia, punkt izolowany, zbiór ciągowo zwarty, zbiory oddzielone, zbiór spójny.

Szczególne przypadki twierdzeń dla £^d podane są w dodatku do tego wykładu.

Wyszukiwarka

Podobne podstrony:
Granica i ciaglosc fukcji stre 85. Udowodnić następujące twierdzenie, zwane twierdzeniem Stolza Jeże
hydraulika
1. Wyznaczyć ciśnienie p2, jeżeli dane są: h
Twierdzenia o różniczkowalności: Tw. Jeżeli f; , f2 są analityczne, to analityczne są również funkcj
De L Hopitala Twierdzenie de 1’Hospitala Jeżeli/oraz g są różniczkowalne w sąsiedztwie punktu x0, fu
417 Teoria wielości rzeczywistości Leona Chwistka... (3) Z (2): jeżeli dane są dwa wewnętrznie
mechanika ogolna1 Zadanie 7 Wyznacz momenty sił Ph P2 i P3 względem punktów 0, A i B, jeżeli dane s
mat2 sciaga mini twierdzenia Twierdzenie 3 (Schwarza). Jeżeli funkcja f: X-»9?, Xc$Rn ma pochodne mi
s56 57 56 W zadanich 1—8 skorzystamy z twierdzenia de 1’Hóspitala: Jeżeli 1° funkcje oraz {7^ są okr
PB062316 Oznacza to, że dodawanie macierzy jest łączne i przemienne elementem neutralnym. Przykład 1
15.    Dane są trzy liczby całkowite a, b, c i liczba pierwsza p > 5. Udowodnić, ż
Struktura sigęupwą: O dane są reprezentowane przez rekordy O rekordy mogą być powiązane z dowolną
Segregator1 Strona 2 5 pkt Zadanie 20. Dane są trzy orbitale jednej powłoki: Oceń prawdziwość poniżs

więcej podobnych podstron