Matematyka:Matematyka II NI/Własności RN
Własności [math] { \mathbb R}^N[/math]
Odległości i normy w [math] { \mathbb R}^N[/math]
Będziemy się teraz zajmować funkcjami od [math]n[/math] zmiennych, tzn. określonymi na [math] { \mathbb R}^N\equiv { \mathbb R}\times { \mathbb R}\times \dots \times { \mathbb R}[/math] (iloczyn kartezja/nski [math]N[/math] egzemplarzy [math] { \mathbb R}[/math]).
Punkt [math]x[/math] należący do [math] { \mathbb R}^N[/math] będziemy oznaczać jako
- [math] x=(x^1, x^2, \dots , x^N). [/math]
Przykł.
Wysokość terenu n.p.m. jako funkcja długości i szerokości geograficznej.
Przykł.
Temperatura w atmosferze (czy innym ośrodku) jako funkcja dł. i szer. geogr. oraz wysokości.
Odległość
Początkiem do badania [math] { \mathbb R}^n[/math] i funkcji na niej jest zdefiniowanie odległości. Przypomnijmy sobie, jak definiowaliśmy odległość w [math] { \mathbb R}^2[/math]. Jest ona wyznaczana z tw. Pitagorasa: RYS.: Dla dwóch punktów [math]a=(a^1, a^2)[/math] i [math]b=(b^1,b^2)[/math] odległość [math]D(a,b)[/math] pomiędzy nii jest
- [math] D(a,b)=\sqrt{(a^1-b^1)^2+ (a^2-b^2)^2}. [/math]
Analogicznie postępujemy w przestrzeniach o większej liczbie wymiarów: Jeśli [math]x,y\in { \mathbb R}^N[/math], to odległość [math]d(x,y)[/math] między nimi definiujemy jako
Definicja
Inne oznaczenie [math]d(x,y)[/math] w [math] { \mathbb R}^N[/math] to [math]||x-y||[/math], tzn.
Definicja
Jeśli mamy punkt [math]r=(r^1, r^2,\dots , r^N)\in { \mathbb R}^N[/math], to na [math]||r||=\sqrt{\sum _{k=1}^N(x^k-y^k)^2}[/math] możemy patrzeć jako na odległość punktu [math]r[/math] od zera:
Tak zdefiniowana norma ma ważne własności, które teraz wypiszemy.
Własności normy
- [math]||-r|| = ||r||[/math] i ogólniej, [math]||\alpha r||=|\alpha |\cdot ||r||[/math], gdzie [math]\alpha \in { \mathbb R}[/math].
-
[math]||x+y||\le ||x|| + ||y||;[/math]
ta nierówność nazywana jest nierównością trójkąta.
Dowód p.2
Nierówność trójkąta wynika z nierówności Schwarza: Dla dowolnych [math]x,y\in { \mathbb R}^N[/math] zachodzi
Dowód
Rozpatrzmy następującą funkcję zmiennej rzeczywistej [math]\lambda [/math]:
- [math] f(\lambda )=\sum _{k=1}^N (x^k -\lambda y^k)^2 =\sum _{k=1}^N (x^k)^2 -2\lambda \sum _{k=1}^N x^k y^k +\lambda ^2\sum _{k=1}^N ( y^k)^2 [/math]
[math]f(\lambda )[/math] jest trójmianem kwadratowym w [math]\lambda [/math]. Ponadto [math]f(\lambda )\le 0[/math], ponieważ [math]f(\lambda )[/math] jest pełnym kwadratem. Skoro trójmian [math]f(\lambda )[/math] jest nieujemny, to jego wyróżnik [math]\Delta [/math] musi być niedodatni. Policzmy ten wyróżnik:
co możemy przepisać jako
- [math] (\sum _{k=1}^N x^k y^k)^2 \le \sum _{k=1}^N (x^k)^2 \sum _{k=1}^N ( y^k)^2 [/math]
Po wyciągnięciu pierwiastka kwadratowego z obu stron nierówności i skorzystaniu z definicji normy (%i 2) otrzymujemy nierówność (%i 4). CBDO Dow. nierówności trójkąta (%i 3). Policzmy:
- [math] ||x-y||^2 = \sum _{k=1}^N (x^k+ y^k)^2 = \sum _{k=1}^N (x^k)^2 +2\sum _{k=1}^N x^k y^k+\sum _{k=1}^N ( y^k)^2 [/math]
- [math] \le ||x||^2+2||x||\cdot ||y|| + ||y||^2 =(||x|| + ||y||)^2. [/math]
z czego trzeba jeszcze wyciągnąć pierwiastek, aby otrzymać (%i 3).
CBDO
Uwaga
Czy w nierówności Schwarza może wystąpić równość? TAK — jeśli [math]x[/math] jest proporcjonalne do [math]y[/math] (tzn. [math]x=\gamma y[/math] dla pewnego [math]\gamma \in { \mathbb R}[/math]; wtedy [math]\Delta =0[/math], a to znaczy (p. równ (%i 5)) że w nier. Schwarza ma miejsce równość.
Podsumujmy własności odległości, definiowanej przez (%i 1): Dla dowolnych punktów [math]x,y,z\in { \mathbb R}^N[/math] zachodzi:
- [math]d(x,y)\ge 0[/math], przy czym [math]d(x,y)=0 \; \Longleftrightarrow \;x=y[/math].
- [math]d(x,y)=d(y,x)[/math].
- [math]d(x,z)\le d(x,y)+d(y,z)[/math] (jest to tzw. nierówność trójkąta). RYS.
Okazuje się, że odległość euklidesowa nie jest jedyną funkcją od dwu argumentów, spełniającą powyższe warunki. Na przestrzeni [math] { \mathbb R}^N[/math] można wprowadzić wiele innych funkcji, zależnych od dwu argumentów, które spełniają powyższe warunki i które w związku z tym można też nazwać odległościami. Prowadzi to do pojęcia przestrzeni metrycznej:
Przestrzeń metryczna
Przestrzenią metryczną nazywamy zbiór punktów z funkcją dwóch zmiennych [math]d(\cdot ,\cdot )[/math] (zwaną metryką lub odległością), których odległość spełnia powyższe własności 1., 2. i 3.
Przykł.
Wprowadźmy na [math] { \mathbb R}^N[/math] następującą metrykę:
łatwo sprawdzić, że [math]d_\diamond (x,y)[/math] spełnia powyższe własności 1., 2. i 3.; pierwsze dwie są oczywiste, a trzecia wynika z nierówności dla wartości bezwzględnej: [math]|x-z|\le |x-y|+|y-z|[/math].
Ciągi punktów z [math] { \mathbb R}^N[/math]
Oznaczmy przez [math]\lbrace {a}_n \rbrace [/math] [math] = (a_1, a_2,\dots )[/math] ciąg punktów z [math] { \mathbb R}^N[/math]: [math]a_n\in { \mathbb R}^N[/math], tzn. [math]a_n=(a_n^1, a_n^2, \dots , a_n^N)[/math].
Zbieżność
Mówimy, że ciąg [math]\lbrace {a}_n \rbrace [/math] punktów z [math] { \mathbb R}^N[/math] jest zbieżny do [math]g\in { \mathbb R}^N[/math], jeśli
Uwaga
(%i 7) oznacza, że ciąg (o wartościach rzeczywistych!): [math]d(a_n,g)[/math] dąży do zera dla [math]n[/math] dążącego do [math]\infty [/math]:
- [math] d(a_n,g) \stackrel{n\rightarrow \infty }{\longrightarrow } 0. [/math]
Jeśli warunek (%i 7) jest spełniony, to piszemy też:
- [math] a_n \stackrel{n\rightarrow \infty }{\longrightarrow } g. [/math]
Podobnie jak w przypadku ciągów o wartościach rzeczywistych, mamy twierdzenie o jednoznaczności granicy.
Twierdzenie
Jeśli [math]a_n \stackrel{n\rightarrow \infty }{\longrightarrow } g[/math] i [math]a_n \stackrel{n\rightarrow \infty }{\longrightarrow } g^{\prime }[/math], to [math]g=g^{\prime }[/math].
Dowód
Mamy:
- [math] 0\le d(g,g^{\prime })\le d(g, a_n) + d(g^{\prime },a_n) \stackrel{n\rightarrow \infty }{\longrightarrow } 0, [/math]
co znaczy, że [math]d(g,g^{\prime })=0[/math], a więc [math]g=g^{\prime }[/math].
CBDO Badanie zbieżności ciągów o wartościach w [math] { \mathbb R}^N[/math] jest równoważne badaniu zbieżności ciągów w [math] { \mathbb R}[/math]. Mówi o tym nast/epujące
Stwierdzenie
Niech [math]\lbrace {a}_n \rbrace [/math] będzie ciągiem punktów przestrzeni [math] { \mathbb R}^N[/math]; niech [math]g\in { \mathbb R}^N[/math]. Wtedy
Dowód
[math]\Longleftarrow [/math]
- [math] d(a_n,g) = \sqrt{\sum _{k=1}^N (a_n^k-g^k)^2}, [/math]
i ponieważ każde z wyraże/n pod pierwiastkiem dąży do zera: [math]|a^k_n-g^k| \stackrel{n\rightarrow \infty }{\longrightarrow } 0[/math], to ich suma też dąży do zera, a to znaczy, że [math]a_n \stackrel{n\rightarrow \infty }{\longrightarrow } g[/math].
[math]\Longrightarrow [/math] Mamy: [math]||r|| = \sqrt{\sum _{k=1}^N(r^k)^2}[/math]. Wybierzmy którąś [math]k-[/math]tą składową i mamy z nierówności trójkąta:
- [math] ||r||\ge \sqrt{(r^k)^2}=|r^k|, [/math]
co daje:
- [math] d(a_n,g)\ge |a_n^k-g^k|\ge 0, [/math]
i z tw. o 3 ciągach, jeżeli [math]d(a_n,g)\stackrel{n\rightarrow \infty }{\longrightarrow } 0[/math], to także [math]|a_n^k-g^k|\stackrel{n\rightarrow \infty }{\longrightarrow } 0[/math], a to znaczy, że [math]a_n^k\stackrel{n\rightarrow \infty }{\longrightarrow } g^k[/math] dla [math]k=1,2,\dots , N[/math].
CBDO
Ograniczoność
Def. Niech [math]X\subset { \mathbb R}^N[/math]. Mówimy, że [math]X[/math] jest ograniczony, jeśli istnieje taka liczba [math]M[/math], że
- [math] \displaystyle \mathop {\forall }_{x\in X}: ||x||\le M [/math]
(tzn. odległości wszystkich punktów zbioru [math]X[/math] od zera są nie większe od liczby [math]M[/math]).
Niech [math]s\in { \mathbb R}^N[/math] i [math]R\in { \mathbb R}_+[/math].
Kula otwarta
Kulą (otwartą) [math]K(s,R)[/math] o środku w [math]s[/math] i promieniu [math]R[/math] nazywamy zbiór tych punktów [math] { \mathbb R}^N[/math], że ich odległość od [math]s[/math] jest nie większa od [math]R[/math]: RYS.
Uwaga
Własność ograniczoności zbioru można równoważnie tak wypowiedzieć: Zbiór [math]Z[/math] jest ograniczony, jeśli zawiera się w pewnej kuli (o pewnym środku i pewnym promieniu).
Twierzednie Bolzano-Weierstrassa
Każdy ograniczony ciąg punktów [math] { \mathbb R}^N[/math] posiada podciąg zbieżny.
Dowód
Niech [math]a_n = (a^1_n, a^2_n,\dots , a^N_n)[/math].
Jeśli ciąg [math]\lbrace {a}_n \rbrace [/math] — ograniczony, to wszystkie ciągi [math]\lbrace {a^k}_n \rbrace [/math] ( [math]k[/math] — numer składowej, tzn. [math]k=1,2,\dots , N[/math]; [math]n[/math] — numer elementu ciągu, tzn. [math]n=1,2,3,\dots [/math]) są ograniczone. Wynika to z nierówności pokazywanej wyżej: [math]||r||\ge r^k[/math] dla dowolnego [math]r\in { \mathbb R}^N[/math].
Po zastosowaniu tw. Bolzano-Weierstrassa do ciągu [math]\lbrace {a^1_n}_n \rbrace [/math] otrzymamy podciąg [math]\lbrace a_{n_k}\rbrace [/math] ciągu [math]\lbrace {a}_n \rbrace [/math] taki, że ciąg pierwszych współrzędnych jest zbieżny. Stosujemy teraz tw. Bolzano-Weierstrassa do ciągu [math]\lbrace a^2_{n_k}\rbrace [/math] i otrzymujemy podciąg ciągu [math]\lbrace a_{n_k}\rbrace [/math], którego pierwsza i druga składowa są zbieżne. Itd., operację powtarzamy [math]N[/math] razy, aż otrzymamy zbieżność we wszystkich składowych.
CBDO
Ciąg Cauchy'ego
Niech [math]\lbrace {a}_n \rbrace [/math] — ciąg punktów z [math] { \mathbb R}^N[/math]. Mówimy, że ciąg [math]\lbrace {a}_n \rbrace [/math] jest ciągiem Cauchy'ego, jeśli
Twiedzenie
W przestrzeni [math] { \mathbb R}^N[/math] ciąg jest zbieżny wtedy i tylko wtedy, gdy jest ciągiem Cauchy'ego.
Dowód
[math]\Longrightarrow [/math]: Załóżmy, że [math]a_n \stackrel{n\rightarrow \infty }{\longrightarrow } g[/math]. Z definicji ciągu zbieżnego (powtórzonej tu 2 razy):
- [math] \displaystyle \mathop {\forall }_{\epsilon \gt 0}\; \mathop {\exists }_{M\in { \mathbb N}} \; \mathop {\forall }_{m,n\gt M}: d(a_m,g )\lt \frac{\epsilon }{2}\; \wedge \; d(a_n, g)\lt \frac{\epsilon }{2}. [/math]
Z nierówności trójkąta (Equation 3) mamy:
- [math] d(a_n,a_m)\le d(a_n, g)+d(a_m, g) \lt \frac{\epsilon }{2} + \frac{\epsilon }{2} = \epsilon [/math]
czyli otrzymujemy (%i 10), a więc [math]\lbrace {a}_n \rbrace [/math] jest ciągiem Cauchy'ego.
[math]\Longleftarrow [/math]: Załóżmy teraz, że [math]\lbrace {a}_n \rbrace [/math] jest ciągiem Cauchy'ego. Wtedy
- [math] \displaystyle \mathop {\forall }_{\epsilon \gt 0}\; \mathop {\exists }_{M\in { \mathbb N}} \; \mathop {\forall }_{m,n\gt M}: d(a_m,a_n)\lt \epsilon ; [/math]
a że
- [math] d(a_m,a_n) \ge |a^k_m-a^k_n|\;\;\; [/math] dla [math]\;\;k=1,2,\dots N [/math]
to każdy z ciągów [math]\lbrace {a^k}_n \rbrace [/math] jest ciągiem Cauchy'ego. A jak wiemy, jeżeli ciąg rzeczywisty jest ciągiem Cauchy'ego, to jest zbieżny. Zatem każdy z ciągów [math]\lbrace {a^k}_n \rbrace [/math] jest zbieżny; a to znaczy, że też i ciąg [math]\lbrace {a}_n \rbrace [/math] jest zbieżny.
CBDO
Zbiory otwarte i domknięte
Przestrze/n [math] { \mathbb R}^N[/math], którą rozpatrujemy, ma naturalną strukturę przestrzeni wektorowej. Ich własności były/będą omawiane na części 'algebraicznej' wykładu; tu przypomnijmy najważniejsze fakty:
Przestrzeń wektorowa
Przestrzeni [math] { \mathbb R}^N[/math] nadajemy strukturę przestrzeni wektorowej nad ciałem liczb rzeczywistych (i oznaczamy ([math] { \mathbb R}^N, +,\cdot [/math])), jeśli zdefiniujemy w niej działania dodawania wektorów i mnożenia wektora przez liczbę:
Dla dowolnych [math]x,y\in { \mathbb R}^N[/math], [math]\lambda \in { \mathbb R}[/math] zachodzi:
- [math]+:\;\; { \mathbb R}^N\cdot { \mathbb R}^N \rightarrow { \mathbb R}^N: \;\;\;(x+y)^k =x^k + y^k[/math];
- [math]\cdot :\;\; { \mathbb R}\times { \mathbb R}^N:\;\;\; (\lambda x)^k = \lambda x^k[/math]
Zbiory domknięte
Zbiór domknięty — definicja
Def. Niech [math]A\subset { \mathbb R}^N[/math]. Zbiór [math]A[/math] nazywamy domkniętym, jeśli dla dowolnego zbieżnego ciągu elementów z [math]A[/math] jego granica też należy do [math]A[/math];
tzn.: [math]A[/math] — domknięty [math]\Longleftrightarrow [/math]
- [math] \displaystyle \mathop {\forall }_{\lbrace x_n\rbrace }\;(x_n\in A,\;\; x_n\stackrel{n\rightarrow \infty }{\longrightarrow }g) \Longrightarrow (g\in A). [/math]
Przykł. zbiorów domkniętych
- [math] { \mathbb R}^N[/math].
- Zbiór jednoelementowy.
- Zbiór sko/nczony.
- W szczególności — zbiór pusty.
- Niech [math]\lbrace {a}_n \rbrace [/math] — ciąg o wyrazach z [math] { \mathbb R}^N[/math], [math]a_n\stackrel{n\rightarrow \infty }{\longrightarrow }g\in { \mathbb R}^n[/math]. Wtedy zbiór [math]\lbrace a_1, a_2, \dots \rbrace \cup g[/math] jest zbiorem domkniętym.
Przykł.
Odcinek [math]]0,1][/math] nie jest domknięty, bo wszystkie elementy ciągu [math]\frac{1}{n}[/math] należą do [math]]0,1][/math], a granica [math] 0[/math] nie należy do [math]]0,1][/math].
Domknięcie zbioru
Niech [math]A\subset { \mathbb R}^N[/math]. Domknięciem zbioru [math]A[/math] (ozn. [math]\overline{A}[/math]) nazywamy zbiór:
Przykł.
Domykanie z lewej strony odcinka [math]]0,1][/math]. Stwierdzenia.
- [math]A\subset \overline{A}[/math].
- Jeśli [math]A[/math] — domknięty to [math]A=\overline{A}[/math].
- [math]\overline{A}[/math] jest zbiorem domkniętym oraz [math]\overline{\overline{A}}=\overline{A}[/math].
- Jeśli ciąg [math]\lbrace {x}_n \rbrace [/math] dąży do granicy [math]g[/math]: [math]x_n\stackrel{n\rightarrow \infty }{\longrightarrow }g[/math] i każdy jego wyraz [math]x_n[/math] jest granicą ciągu elementów zbioru [math]A[/math], to [math]g[/math] też jest granicą ciągu elementów ze zbioru [math]A[/math].
Dowód
Punkt [math]x_n[/math] jest granicą ciągu elementów ze zbioru [math]A[/math]; nazwijmy ten ciąg [math]\lbrace y_m\rbrace [/math]. Mamy
- [math] \displaystyle \mathop {\forall }_{\epsilon \gt 0}\; \mathop {\exists }_{M\in { \mathbb N}} \; \mathop {\forall }_{m\gt M}: d(y_m,x_n)\lt \epsilon , [/math]
a więc
- [math] \displaystyle \mathop {\forall }_{\epsilon \gt 0}\; \mathop {\exists }_{a\in A}\; d(a,x_n) \lt \epsilon [/math]
Weźmy teraz [math]\epsilon =\frac{1}{n}[/math] i odpowiednio do tego [math]a_n\in A[/math] tak, by zachodziło [math]d(a_n,x_n)\lt \frac{1}{n}[/math]. Zachodzi:
- [math] 0\le d(a_n,g)\le d(a_n, x_n) + d(x_n, g) \lt \frac{1}{n} + d(x_n, g); [/math]
prawa strona dąży do zera gdy [math]n\rightarrow \infty [/math] ([math]\frac{1}{n}[/math] wiadomo, zaś [math]d(x_n,g)\stackrel{n\rightarrow \infty }{\longrightarrow }0[/math] z założenia). Zatem również [math]d(a_n,g)\stackrel{n\rightarrow \infty }{\longrightarrow }0[/math], a to znaczy, że [math]a_n\stackrel{n\rightarrow \infty }{\longrightarrow }g[/math].
CBDO
Mamy następującą charakteryzację domknięcia.
Stw.
- [math] \overline{A} =\lbrace x\in { \mathbb R}^N: \; \displaystyle \mathop {\forall }_{\epsilon \gt 0}\; K(x,\epsilon )\cap A \ne \emptyset \rbrace [/math]
(tzn. do domknięcia należą te punkty [math]x[/math], że przecięcie kuli o środku w [math]x[/math] i dowolnie małym promieniu ze zbiorem [math]A[/math] jest niepuste). (RYS.)
Dowód
Oznaczmy prawą stronę równości przez [math]B[/math]. Jeżeli [math]x\in B[/math], to biorąc [math]\epsilon = \frac{1}{n}[/math] znajdziemy [math]x_n\in K(x,\frac{1}{n})\cap A[/math]. To znaczy, że [math]x_n\in A[/math] oraz że [math]d(x_n,x)\lt \frac{1}{n}[/math], czyli [math]x_n \stackrel{n\rightarrow \infty }{\longrightarrow }x[/math].
Pokazaliśmy w ten sposób, że [math]B\subset \overline{A}[/math].
Z drugiej strony, jeśli [math]x\in \overline{A}[/math], to w dowolnie małej kuli [math]K(x,\epsilon )[/math] o środku w [math]x[/math] zawarte są prawie wszystkie elementy ciągu [math]\lbrace {x}_n \rbrace [/math] o wyrazach z [math]A[/math] i granicy [math]x[/math]. Spełniony jest więc warunek, że przecięcie tej kuli z [math]A[/math] jest zbiorem niepustym, czyli że [math]x\in B[/math]. Tak więc [math]x\in \overline{A}\Longrightarrow x\in B[/math], czyli [math]\overline{A}\subset B[/math].
Oba te warunki znaczą, że [math]\overline{A}=B[/math].
CBDO
Zbiory otwarte
Pukt wewnętrzny i otoczenie
Def. Niech [math] {\cal O}\subset { \mathbb R}^N[/math] oraz [math]x\in {\cal O}[/math]. Mówimy, że [math]x[/math] jest punktem wewnętrznym zbioru [math] {\cal O}[/math] (lub, że [math] {\cal O}[/math] jest otoczeniem punktu [math]x[/math]) jeśli istnieje [math]\epsilon \gt 0[/math] takie, że [math]K(x,\epsilon )\subset {\cal O}[/math].
Zbiór otwarty
Zbiór [math]A[/math] nazywamy zbiorem otwartym, jeśli każdy element tego zbioru jest jego punktem wewnętrznym.
Przykł.
zbiorów otwartych:
- [math] { \mathbb R}^N, \emptyset [/math] są zbiorami otwartymi.
-
[math]K(x, r)[/math] ([math]r\gt 0[/math]) jest zbiorem otwartym.
Dow. Chcemy pokazać, że (RYS.)
- [math] \displaystyle \mathop {\forall }_{y\in K(x,r)}\; \mathop {\exists }_{\epsilon \gt 0} \; K(y,\epsilon )\subset K(x,r). [/math]
- [math] d(z,x)\le d(z,y)+d(y,x)\lt \epsilon +d(y,x) = r [/math]
CBDO
Stwierdzenie
Jeśli [math]x[/math] jest punktem wewnętrznym [math] {\cal O}[/math] i [math]x[/math] jest granicą ciągu [math]\lbrace {x}_n \rbrace [/math] : [math]x={\displaystyle \mathop {\lim }_{n\rightarrow \infty } }x_n[/math], to prawie wszystkie wyrazy ciągu [math]\lbrace {x}_n \rbrace [/math] należą do O.
I na odwrót:
Stwierdzenie
Niech [math]x\in { \mathbb R}^N[/math] i [math] {\cal O}\subset { \mathbb R}^N[/math]. Przypuśćmy, że dla dowolnego ciągu [math]\lbrace {x}_n \rbrace [/math] elementów [math] { \mathbb R}^N[/math] zachodzi:
- [math] ({\displaystyle \mathop {\lim }_{n\rightarrow \infty } }x_n = x) \Longrightarrow ([/math] prawie wszystkie wyrazy [math] x_n\in {\cal O}). [/math]
Wtedy [math]x[/math] jest punktem wewnętrznym zbioru [math] {\cal O}[/math].
Dowód
(nie wprost).
Załóżmy, że [math]x[/math] nie jest punktem wewnętrznym zbioru [math] {\cal O}[/math], tzn.
- [math] \displaystyle \mathop {\forall }_{\epsilon \gt 0}\; K(x,\epsilon )\lnot \subset {\cal O}. [/math]
Bierzemy [math]\epsilon =\frac{1}{n}[/math]. Mamy: [math]K(x,\frac{1}{n}) \lnot \subset {\cal O}[/math]. Zatem istnieje taki ciąg [math]\lbrace {x}_n \rbrace [/math] , że [math]x_n\in K(x,\frac{1}{n})[/math] oraz [math]x_n \notin {\cal O}[/math]. Skoro [math]x_n[/math] należy do kuli [math]K(x,\frac{1}{n})[/math], to odległość między [math]x[/math] a [math]x_n[/math] jest mniejsza niż promie/n kuli:.
- [math] 0\lt d(x,x_n) \lt \frac{1}{n}, [/math]
a to znaczy, że ciąg [math]\lbrace {x}_n \rbrace [/math] jest zbieżny do [math]x[/math]: [math]x_n \stackrel{n\rightarrow \infty }{\longrightarrow }x[/math].
W ten sposób otrzymaliśmy sprzeczność z założeniem (znaleźliśmy bowiem ciąg [math]\lbrace {x}_n \rbrace [/math] dążący do [math]x[/math], którego wyrazy nie należą do [math] {\cal O}[/math]), więc nieprawdziwe jest zaprzeczenie tezy, czyli prawdziwa jest teza mówiąca, iż [math]x[/math] jest punktem wewnętrznym [math] {\cal O}[/math].
CBDO
Uwaga
Otwartość i domkniętość nie są pojęciami przeciwstawnymi! Np. zbiór [math] { \mathbb R}^N[/math] jest zarówno otwarty jak i domknięty.
Uwaga
Otwartość/domkniętość zbioru zależy też od tego, podzbiorem jakiego zbioru on jest. Np. jeśli rozpatrujemy [math]A=]0,1[[/math] jako podzbiór [math] { \mathbb R}[/math], to kulami otwartymi w [math] { \mathbb R}[/math] są odcinki (otwarte) i [math]A[/math] jest otwarty. Jeśli natomiast rozpatrujemy [math]A[/math] jako podzbiór [math] { \mathbb R}^2[/math], to kulami otwartymi w [math] { \mathbb R}^2[/math] są koła (bez brzegu) i [math]A[/math] nie jest już otwarty, bo żadne koło o niezerowym promieniu nie mieści się w [math]A[/math].
Twierdzenie
Niech [math] {\cal O}\subset { \mathbb R}^N[/math] i [math]A= { \mathbb R}^N \setminus {\cal O}[/math]. Wtedy ma miejsce równoważność
Dowód
[math]\Longrightarrow [/math] Weźmy zbieżny [math]\lbrace {x}_n \rbrace [/math] o wyrazach należących do [math]A[/math]: [math]x_n\in A[/math], [math]x_n \stackrel{n\rightarrow \infty }{\longrightarrow }x[/math]. Chcemy pokazać, że [math]x\in A[/math].
Przypuśćmy, że przeciwnie: [math]x\notin A[/math]. Wobec tego [math]x\in {\cal O}[/math] (bo [math]A[/math] i [math] {\cal O}[/math] są rozłączne, a ich suma to całe [math] { \mathbb R}^N[/math]). Z założenia [math] {\cal O}[/math] jest zbiorem otwartym, więc [math]x[/math] jest punktem wewnętrznym [math] {\cal O}[/math] i (p. poprzednie Stw.) prawie wszystkie wyrazy ciągu [math]\lbrace {x}_n \rbrace [/math] należą do [math] {\cal O}[/math], więc nie należą do [math]A[/math]. Otrzymaliśmy sprzeczność.
[math]\Longleftarrow [/math] Niech [math]x\in {\cal O}[/math]. Skoro tak to [math]x\notin A = \overline{A}[/math], a więc istnieje kula [math]K(x,\epsilon )[/math] taka, że [math]K(x,\epsilon )\cap A = \emptyset [/math], a to znaczy, że [math]K(x,\epsilon )\subset {\cal O}[/math], więc [math]x[/math] jest punktem wewnętrznym [math] {\cal O}[/math], czyli [math] {\cal O}[/math] jest otwarty.
CBDO
Wniosek
Niech [math]x\in { \mathbb R}^N[/math], [math]A\subset { \mathbb R}^N[/math] i [math] {\cal O}= { \mathbb R}^N \setminus A[/math]. Wtedy zachodzi jeden i tylko jeden z wykluczających się warunków:
- [math]x[/math] jest punktem wewnętrznym zbioru [math] {\cal O}[/math].
- [math]x\in \overline{A}[/math].
Dowód
Trzeba pokazać, że nieprawdą jest równoważność obydwu powyższych warunków, tzn: Nieprawda, że [math]1. \Longleftrightarrow 2.[/math]
Pokażemy najsampierw że z zaprzeczenia 1. wynika 2.
Zaprzeczenie zdania: "[math]x[/math] jest punktem wewnętrznym [math] {\cal O}[/math]" to jest to samo, co zaprzeczenie zdania: "[math]\displaystyle \mathop \exists _{\epsilon \gt 0}: K(x,\epsilon )\subset {\cal O}[/math]", czyli: "[math]\displaystyle \mathop \forall _{\epsilon \gt 0}: K(x,\epsilon )\lnot \subset {\cal O}[/math]". To zaś jest równoważne zdaniu: "[math]\displaystyle \mathop \forall _{\epsilon \gt 0}: K(x,\epsilon )\cap A \ne \emptyset [/math]", a to znaczy, że [math]x[/math] jest punktem domknięcia zbioru [math]A[/math], tzn. [math]x\in \overline{A}[/math]
To teraz że z zaprzeczenia 2. wynika 1.
Skoro [math]x[/math] nie należy do domknięcia [math]A[/math], to [math]x\in {\cal O}[/math] oraz że [math]\displaystyle \mathop \exists _{\epsilon \gt 0}: K(x,\epsilon )\cap A = \emptyset [/math], a to znaczy, że [math] K(x,\epsilon )\subset {\cal O}[/math], tzn. [math]x[/math] jest punktem wewnętrznym [math] {\cal O}[/math].
CBDO
Twierdzenie
- [math] { \mathbb R}^N[/math] i [math]\emptyset [/math] są zbiorami otwartymi.
- Jeśli [math]( {\cal O}_\alpha )_{\alpha \in {\cal A} }[/math] ([math] {\cal A} [/math] — dowolny zbiór wskaźników) jest rodziną zbiorów otwartych, to [math] \bigcup _{\alpha \in {\cal A} } {\cal O}_\alpha [/math] też jest zbiorem otwartym.
- Jeżeli [math] {\cal O}_1, {\cal O}_2[/math] są otwarte, to [math] {\cal O}_1\cap {\cal O}_2[/math] jest otwarty.
Dow
- Było
-
Niech [math]x\in \bigcup _{\alpha \in {\cal A} } {\cal O}_\alpha [/math]. Istnieje więc
[math]\alpha _0\in {\cal A} [/math] takie, że [math]x\in {\cal O}_{\alpha _0}[/math]. Ponieważ [math] {\cal O}_{\alpha _0}[/math] — otwarty,
więc istnieje kula o niezerowym promieniu, zawarta w [math] {\cal O}_{\alpha _0}[/math]:
- [math] \exists _{\epsilon \gt 0}: K(x,\epsilon )\subset {\cal O}_{\alpha _0} \subset \bigcup _{\alpha \in {\cal A} } {\cal O}_\alpha , [/math]
-
Niech [math]x\in {\cal O}_1\cap {\cal O}_2[/math], tzn. [math]x\in {\cal O}_1[/math] i [math]x\in {\cal O}_2[/math]. Tak więc
- [math] \displaystyle \mathop \exists _{\epsilon _1\gt 0}: K(x,\epsilon _1)\subset {\cal O}_1 \;\;\; {\rm i}\;\;\; \exists _{\epsilon _2\gt 0}: K(x,\epsilon _2)\subset {\cal O}_2. [/math]
- [math] K(x,\epsilon )\subset K(x,\epsilon _1)\subset {\cal O}_1\;\;\; {\rm i}\;\;\; K(x,\epsilon )\subset K(x,\epsilon _2)\subset {\cal O}_2, [/math]
CBDO
Stwierdzenie — uwaga
Każdy zbiór otwarty [math] {\cal O}[/math] jest sumą pewnej rodziny zbiorów otwartych.
Dowód
Niech [math]x\in {\cal O}[/math]; wobec tego [math]x\in {\cal O}_x[/math], gdzie [math] {\cal O}_x[/math] jest pewną kulą o środku w punkcie [math]x[/math], taką,że [math] {\cal O}_x\subset {\cal O}[/math]. Mamy następujące zawierania:
- [math] {\cal O}\subset \bigcup _{x\in {\cal O}} {\cal O}_x \subset {\cal O}, [/math]
skąd wynika, że [math] \bigcup _{x\in {\cal O}} {\cal O}_x = {\cal O}[/math]. CBDO
Niektóre dalsze własności zbiorów domkniętych.
Dopełnienie zbioru, przypomnienie własności dopełnienia
Zbiory domknięte mają własności, powiązane z powyższymi własnościami zbiorów otwartych:
- [math] { \mathbb R}^N, \emptyset [/math] są zbiorami domkniętymi.
- Jeśli [math]A_1,A_2[/math] — zbiory domknięte, to [math]A_1\cup A_2[/math] też jest zbiorem domkniętym. Z indukcji, zachodzi to też dla dowolnej sko/nczonej sumy mnogościowej: Jeśli [math]A_1, A_2, \dots , A_n[/math] są zbiorami domkniętymi, to [math]A_1 \cup A_2 \cup \dots \cup A_n[/math] też jest zbiorem domkniętym dla dowolnego [math]n[/math].
- Natomiast przecięcie dowolnej rodziny (sko/nczonej czy niesko/nczonej) zbiorów domkniętych jest zbiorem domkniętym: Jeśli [math]\lbrace A_\alpha \rbrace [/math], [math]\alpha \in {\cal A} [/math] jest rodziną zbiorów domkniętych, to również [math]\bigcup _{\alpha \in {\cal A} } A_\alpha [/math] też jest zbiorem domkniętym.
Dowód
- [math] { \mathbb R}^N[/math] jest domknięty, bo [math] { \mathbb R}^N\setminus { \mathbb R}^N=\emptyset [/math] jest otwarty. [math]\emptyset [/math] jest domknięty, bo [math] { \mathbb R}^N\setminus \emptyset = { \mathbb R}^N[/math] jest otwarty.
-
Jeśli [math]A_1[/math], [math]A_2[/math] — domknięte, to [math]A_1^{\prime }[/math], [math]A_2^{\prime }[/math] — otwarte; zatem (było) [math]A_1^{\prime }\cap A_2^{\prime }[/math]
— otwarty, a że [math]A_1^{\prime }\cap A_2^{\prime } = (A_1\cup A_2)^{\prime }[/math], więc [math](A_1\cup A_2)^{\prime }[/math] — otwarty, a to znaczy
że [math]A_1\cup A_2[/math] — domknięty.
Uwaga: Własność ta nie jest słuszna dla sum niesko/nczonych: Jako przykład weźmy [math]A_n= [\frac{1}{n},1][/math]. Każdy zbiór [math]A_n[/math] jest domknięty, a ich suma [math]\displaystyle \mathop {\bigcup }_{n=1}^\infty = ]0,1][/math] nie jest zbiorem domkniętym. -
Jeśli [math]A_\alpha [/math] jest domknięty to [math] { \mathbb R}^N\setminus A_\alpha [/math] jest otwarty. Suma dowolnej
ilości zbiorów otwartych jest otwarta (własność 3. zb. otwartych), wobec tego:
[math]\bigcup _{\alpha \in {\cal A} } ( { \mathbb R}^N \setminus A_\alpha ) = \bigcup _{\alpha \in {\cal A} } A^{\prime }_\alpha [/math]
jest otwarty.
Ale mamy: [math]A^{\prime }\cup B^{\prime }= (A\cap B)^{\prime }[/math] dla dowolnych zbiorów [math]A[/math] i [math]B[/math], ([math]A^{\prime }[/math] — dopełnienie [math]A[/math], tzn. [math] { \mathbb R}^N\setminus A[/math]) i również: [math]\displaystyle \mathop {\bigcup }_{\alpha \in {\cal A} } A^{\prime }_\alpha = \left(\mathop {\bigcap }_{\alpha \in {\cal A} } A_\alpha \right)^{\prime } [/math].
A mamy jeszcze dla dowolnych zbiorów [math]X,Y[/math]: [math]X\setminus Y = X\cap Y^{\prime }[/math], zatem [math]\displaystyle \left(\mathop {\bigcap }_{\alpha \in {\cal A} } A_\alpha \right)^{\prime } = { \mathbb R}^N \setminus \left(\mathop {\bigcap }_{\alpha \in {\cal A} } A_\alpha \right) [/math].
Tak więc [math] { \mathbb R}^N \setminus \left(\displaystyle \mathop {\bigcap }_{\alpha \in {\cal A} } A_\alpha \right) [/math] jest otwarty, zatem [math]\displaystyle \mathop {\bigcap }_{\alpha \in {\cal A} } A_\alpha [/math] jest domknięty.
CBDO
Zbiory zwarte
Zbiór zwarty
Def. Niech [math]K\subset { \mathbb R}^N[/math]. Mówimy, że [math]K[/math] jest zwarty, jeśli z dowolnego ciągu elementów zbioru [math]K[/math] można wybrać podciąg zbieżny do elementu zbioru [math]K[/math].
Twierdzenie
Niech [math]K\subset { \mathbb R}^N[/math]. Wtedy:
- [math] (K [/math] jest zwarty [math]) \Longleftrightarrow (K[/math] jest domknięty i ograniczony [math]). [/math]
Dowód
[math]\Longleftarrow [/math] Na mocy twierdzenia Bolzano-Weierstrassa, z dowolnego ciągu ograniczonego można wybrać podciąg zbieżny. Granica tego ciągu musi być w [math]K[/math], bo [math]K[/math] — domknięty.
[math]\Longrightarrow [/math] Załóżmy, że [math]K[/math] jest zwarty. Bierzemy ciąg elementów z [math]K[/math] zbieżny do [math]x\in { \mathbb R}^N[/math]. Granicą dowolnego podciągu jest ten sam punkt [math]x[/math]. Zatem (z zał. i z definicji zb. zwartego) [math]x\in K[/math]. To pokazuje, że [math]K[/math] jest domknięty.
Przypuśćmy teraz, że zbiór [math]K[/math] nie jest ograniczony. Wtedy istnieje ciąg [math]\lbrace {x}_n \rbrace [/math] elementów zbioru [math]K[/math] taki, że [math]d(0,x_n)\stackrel{n\rightarrow \infty }{\longrightarrow } \infty [/math]. Tak też jest dla dowolnego podciągu ciągu [math]\lbrace {x}_n \rbrace [/math] . Ale taki podciąg nie może być zbieżny.
CBDO
