01MAA3:Kapitola8

PDF	[ znovu generovat,	výstup z překladu ]	Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly	[ znovu generovat,	výstup z překladu ]	Přeložení pouze této kaptioly.
ZIP			Kompletní zdrojový kód včetně obrázků.

---

Součásti dokumentu 01MAA3

součást	akce		popis	poslední editace			soubor
Hlavní dokument	editovat	Hlavní stránka dokumentu 01MAA3		Nguyebin	24. 1. 2014	13:09
Řídící stránka	editovat	Definiční stránka dokumentu a vložených obrázků		Admin	7. 9. 2015	13:46
Header	editovat	Hlavičkový soubor		Nguyebin	24. 1. 2014	12:36	header.tex
Kapitola0	editovat	Značení		Klinkjak	9. 9. 2015	08:50	preamble.tex
Kapitola1	editovat	Funkční posloupnosti		Kubuondr	21. 1. 2017	16:45	kapitola1.tex
Kapitola2	editovat	Funkční řady		Dedicma2	21. 2. 2016	23:42	kapitola2.tex
Kapitola4	editovat	Trigonometrické řady		Peckaja1	11. 2. 2016	13:14	kapitola4.tex
Kapitola5	editovat	Metrika		Kubuondr	22. 1. 2017	17:32	kapitola5.tex
Kapitola6	editovat	Topologie		Kubuondr	3. 2. 2017	21:08	kapitola6.tex
Kapitola7	editovat	Spojitost		Kubuondr	22. 1. 2017	18:14	kapitola7.tex
Kapitola8	editovat	Kompaktní prostory		Kubuondr	8. 2. 2017	21:51	kapitola8.tex
Kapitola9	editovat	Souvislé prostory		Kubuondr	23. 1. 2017	10:28	kapitola9.tex
Kapitola10	editovat	Úplné prostory		Kubuondr	23. 1. 2017	11:08	kapitola10.tex
Kapitola11	editovat	Afinní prostory		Kubuondr	23. 1. 2017	12:43	kapitola11.tex
Kapitola12	editovat	Totální derivace		Kubuondr	7. 10. 2017	17:50	kapitola12.tex
Kapitola13	editovat	Derivace vyšších řádů		Kubuondr	20. 1. 2017	09:50	kapitola13.tex
Kapitola14	editovat	Lokální extrémy		Klinkjak	9. 9. 2015	13:31	kapitola14.tex

Zdrojový kód

%\wikiskriptum{01MAA3}
\section{Kompaktní prostory}
 
\index{pokrytí}
\index{podpokrytí}
\begin{define}
Buď $X$ topologický prostor, $\S$ systém množin
$\{V\}_{V\in\S}$. Řekneme, že $\S$ {\bf pokrývá} $X$ právě když $(\forall
x\in X)(\exists V\in\S)(x\in\vn{V})$.
 
Řekneme, že systém $\S_1$ je {\bf podpokrytím systému} $\S$, právě když:
\begin{enumerate}[(I)]
\item $\S_1\subset\S$,
\item $\S_1$ je pokrytím $X$.
\end{enumerate}
\end{define}
 
 
\begin{remark}
Někdy zavádíme i uzavřené pokrytí $S \subset c\tau \subset \P(x)$. Otevřené se prý hodí pro použití v integrálech.
\end{remark}
 
\index{kompaktní prostor}
\begin{define}
Topologický prostor nazveme {\bf kompaktním}, právě když každé jeho otevřené
pokrytí má konečné podpokrytí.\bigskip
\end{define}
 
\begin{remark}
\begin{enumerate}
\index{kompaktní množina}
\item Množinu $A\subset X$ nazveme kompaktní, právě když $A$ jako
topologický podprostor je kompaktní.\bigskip
\item Každá konečná množina je kompaktní.\bigskip
\item V~metrickém prostoru je každá kompaktní množina omezená.\bigskip
\item $\R$ není kompakt, ale $\uz{\R}$ už kompakt je. \bigskip
\item Kompaktnost nezávisí na metrice.  \bigskip
\item Konečné sjednocení kompaktních množin je kompaktní\bigskip
\end{enumerate}
\end{remark}
 
\begin{theorem}
Prostor $X$ je kompaktní, právě když každý systém uzavřených množin
s~prázdným průnikem obsahuje konečný podsystém s~prázdným průnikem.
\begin{proof}
Množina $A_\alpha$ je uzavřená, právě když ji lze vyjádřit jako
$A_\alpha=X\sm B_\alpha$, kde $B_\alpha$ je otevřená množina. Dále
platí, pomocí de Morganových zákonů :
\[
\emptyset=\bigcap_{\alpha\in\I}A_\alpha=
\bigcap_{\alpha\in\I}(X\sm B_\alpha)=
X\sm\bigcup_{\alpha\in\I}B_\alpha
\iff
X\subset\bigcup_{\alpha\in\I}B_\alpha
\]
a existuje konečné podpokrytí. 
\end{proof}
\end{theorem}
 
\begin{remark}
\begin{enumerate}
\item Nechť $A_n=\uz{A_n}$, $A_n\supset A_{n+1}$ klesající (ve smyslu
inkluze) posloupnost uzavřených množin v kompaktním prostoru a nechť platí
\[\bigcap_{n=1}^{\infty}A_n=\emptyset.\]
Pak nutně existuje $n\in\N$ takové, že $A_n=\emptyset$.
\item Pro klesající posloupnost uzavřených neprázdných množin v kompaktním prostoru musí
platit:
\[\bigcap_{n=1}^{\infty}A_n\not=\emptyset.\]
\item Buď $(X,\rho)$ kompaktní metrický prostor, $A_n=\uz{A_n}$,
$A_n\supset A_{n+1}$, $d(A_n)\to 0$, $ A_n \neq \emptyset$. Pak existuje právě jedno $x$
takové, že platí
\[x\in\bigcap_{n=1}^{\infty}A_n.\]
\end{enumerate}
\end{remark}
\begin{theorem}
 Uzavřený interval v $\R^n$ je kompaktní.
% dodělat důkaz
\end{theorem}
 
\begin{remark}
Intervalem v $\R^n$ se myslí kartézský součin intervalů z $\R$.
\end{remark}
 
 
\begin{theorem}
Buď $A$ kompaktní podmnožina Hausdorffova topologického prostoru $X$. Potom $A$ je
uzavřená.
\begin{proof}
Buď $x\in X\sm A$ bod z~doplňku množiny $A$. Pak platí:
\[(\forall y\in A)(y\neq x)(\exists\H_x,\H_y)(\H_x\cap\H_y=\emptyset).\]
Dále platí:
\[A=\bigcup_{y\in A}(A\cap\H_y)\subset\bigcup_{y\in A}\H_y,\]
tedy systém okolí $H_{y_\alpha}$ pokrývá množinu $A$. Protože $A$ je
kompaktní, existuje její konečné podpokrytí, tedy
\[A=\bigcup_{i=1}^n(A\cap\H_{y_i})\subset\bigcup_{i=1}^n\H_{y_i}.\]
Jelikož pro okolí bodů $y$ a pro odpovídající okolí bodu $x$ platí
$\H_{x_i}\cap\H_{y_i}=\emptyset$, pro průnik všech okolí bodu $x$
platí:
\[
\H_x\cap A=\left(\bigcap_{i=1}^n\H_{x_i}\right)\cap A=\emptyset,
\]
tedy existuje okolí bodu $x$ disjunktní s~množinou $A$, takže $x$ je
bod z~vnějšku množiny. Všechny body z~doplňku množiny $A$ leží ve
vnitřku doplňku, tudíž doplněk je otevřený, tudíž $A$ je uzavřená.
\end{proof}
\end{theorem}
\bigskip
\begin{remark}
V~kompaktním prostoru jsou všechny uzavřené množiny kompaktní.
\begin{proof}
%Implikace kompaktní $\implies$ uzavřená byla dokázána v~předchozí
%větě. Uvažujme systém uzavřených množin $A_\alpha\subset A$ s~prázdným
%průnikem. Jelikož $A$ je uzavřená v~$X$, jsou $A_\alpha$ uzavřené
%v~$X$. Prostor $X$ je ovšem kompaktní, tudíž konečný podsystém
%$A_{\alpha_i}$ s prázdným průnikem existuje.
Pro libovolnou uzavřenou množinu $M$ nalezneme její pokrytí $\{G_\alpha \}$ a doplníme ho otevřenou množinou $G:= X\sm M$ na pokrytí celého prostoru $X$. 
Nalezneme konečné podpokrytí $X$, označíme ho $\{G_i,i\in \hat{n} \}$. Toto pokrytí musí obsahovat  $G$, proto mu dáme první index. Potom $\{G_i; i \in \{2, \ldots ,n\} \}$ je konečným pokrytím $M$. 
 
\end{proof}
\end{remark}
\bigskip
\begin{theorem}
Buď $X$ konečnědimenzionální lineární prostor. Potom $A\subset X$ je kompaktní,
právě když je uzavřená a omezená.
\begin{proof}
\begin{enumerate}[a)]
\item Implikace $\Rightarrow$ je triviální.
\item $\Leftarrow$: Buď $A$ omezená a uzavřená.
\begin{enumerate}[1)]
\item $X=\R^n$, $\norm{\ }=\norm{\ }_\infty=\max_{i\in\n}\abs{x_i}$.
 
$A$ je omezená, tudíž $A\subset
B(0,R)\subset\uz{B}(0,R)$. $\uz{B}(0,R)$ je interval, který je
v~$\R^n$ kompaktní. $A$ je uzavřená v~kompaktním prostoru, tedy $A$ je
kompaktní.
 
\item $X=V^n$, $\norm{\ }=\norm{\ }_\infty=\max_{i\in\n}\abs{x_i}$.
 
Každý vektor $\vec x\in V^n$ lze vyjádřit jako kombinaci bázových
vektorů
\[\vec x=\sum_{i=1}^n x^i\vec{e_i}.\]
Buď $f:\vec x\mapsto (x^1,\dots,x^n)$. Zobrazení $f$ je homeomorfním
zobrazením $V^n$ do $R^n$, tudíž $(V^n,\norm{\ }_\infty)$ a
$(R^n,\norm{\ }_\infty)$ jsou homeomorfní.
 
\item $X=V^n$, $\norm{\ }$ libovolná.
 
Pro libovolný vektor $\vec x$ platí:
\[\norm{\vec x}\le\sum_{i=1}^n\abs{x^i}\norm{\vec{e_i}}\le
\sum_{i=1}^n\norm{\vec{e_i}}\norm{\vec x}_\infty=
K\norm{\vec x}_\infty,\]
 
což je jedna část nerovnosti z~věty \ref{hom_lin}. Kromě toho z~tohoto
vztahu vyplývá spojitost identity 
$(X,\norm{\ }_\infty)\mapsto (X,\norm{\ })$.
 
Libovolná koule $\uz{B}(0,R)\subset (X,\norm{\ })$ je uzavřená, díky
spojitosti je uzavřená i~v~$(X,\norm{\ }_\infty)$.
$A=\{x\in X|\norm{\vec x}_\infty=1\}$ je uzavřená a omezená
v~$(X,\norm{\ }_\infty)$,
$(A,\norm{\ }_\infty)\subset (X,\norm{\ }_\infty)$.
 
Dále platí:
\[
\bigcap_{R>0}\left(\uz{B}(0,R)\cap A\right)=\emptyset,
\]
neboť v~průniku koulí leží pouze $0$, ta ale neleží v~$A$ a platí tedy
$(\exists\rho>0)(\uz{B}(0,\rho)\cap A=\emptyset)$.
 
Pak $(\forall\vec x)(\norm{\vec x}\le\rho\implies
\norm{\vec x}_\infty\not=1)$.
 
Dokážeme, že v~takovém případě $\norm{\vec x}_\infty<1$. Nechť platí,
že $\norm{\vec{x_0}}\le\rho\wedge \norm{\vec{x_0}}_\infty>1$. Pak
\[
\norm{\frac{\vec{x_0}}{\norm{\vec{x_0}}_\infty}}=
\frac{1}{\norm{\vec{x_0}}_\infty}\norm{\vec{x_0}}<
\norm{\vec{x_0}}\le\rho,
\]
ale
\[
\norm{\frac{\vec{x_0}}{\norm{\vec{x_0}}_\infty}}_\infty=
\frac{1}{\norm{\vec{x_0}}_\infty}\norm{\vec{x_0}}_\infty=1,
\]
což je spor. Tedy $(\forall\vec x)(\norm{\vec x}\le\rho\implies
\norm{\vec x}_\infty<1)$.
 
Pro všechny $\vec x\not=0$ pak platí:
\[
\norm{\frac{\vec x}{\norm{\vec x}}\rho}=\rho,
\]
tedy
\[
\norm{\frac{\vec x}{\norm{\vec x}}\rho}_\infty<1,
\]
z~čehož vyplývá
\[
\norm{\vec x}_\infty<\frac1\rho\norm{\vec x}.
\]
Pro $\vec x=0$ ve vztahu nastává rovnost. Dokázali jsme tedy druhou
část nerovnosti.
\end{enumerate}
\end{enumerate}
\end{proof}
\end{theorem}
 
\index{hromadná hodnota}
\begin{define}
Buď $(x_n)\subset X$. Pak $a$ je hromadnou hodnotou posloupnosti,
právě když v~libovolném okolí $\H_a$ bodu $a$ leží nekonečně mnoho
členů posloupnosti.
\end{define}
\bigskip
\begin{remark}
\begin{enumerate}
\item Jestliže $x_n\to a$, pak $a$ je hromadnou hodnotou $(x_n)$.
\bigskip\item V~kompaktním prostoru má každá posloupnost alespoň jednu
hromadnou hodnotu.
\begin{proof}
Nechť $A_n=\{x_k\}_{k\ge n}$. Pak $\uz{A_n}\not=\emptyset$,
$\uz{A_n}\supset\uz{A_{n+1}}$, takže platí:
\[a\in\bigcap_{n=1}^\infty\uz{A_n}\not=\emptyset,\]
kde $a$ je hromadnou hodnotou posloupnosti.
\end{proof}
\bigskip\item V~kompaktním prostoru posloupnost konverguje, právě když má
právě jednu hromadnou hodnotu.
\begin{proof}
Implikace konverguje $\implies\exists_1$ je zřejmá. Opačnou implikaci
dokážeme sporem. Nechť posloupnost nekonverguje, tj. existuje okolí
hromadné hodnoty $\H_a$ takové, že v~$X\sm\H_a$ leží ještě nekonečně
mnoho členů posloupnosti. Platí, že $X\sm\H_a=\uz{X\sm\H_a}$, tedy
$X\sm\H_a$ je kompaktní. Podle poznámky 1. tam ale posloupnost musí
mít další hromadnou hodnotu, což je spor.
\end{proof}
\end{enumerate}
\end{remark}
\bigskip
\begin{lemma}[Lebesgue]
\label{lebesgue}
Buď $(X,\rho)$ metrický prostor, kde každá posloupnost má alespoň
jednu hromadnou hodnotu, $\{V\}_{V\in\S}$ pokrytí tohoto
prostoru. Potom existuje $\epsilon$ tak, že každá koule o~poloměru
$\epsilon$ leží alespoň v~jedné z~pokrývajících množin.
\bigskip
\begin{proof}
Pro spor předpokládejme existenci takového pokrytí $\{V\}_{V\in S}$, že pro každé $\epsilon$ existuje koule o poloměru $\epsilon$ taková, jenž není podmnožinou žádné z vykrývajících množin z S.
 
Vezměme tedy libovolné otevřené pokrytí $\{V\}_{V\in S}$ a uvažujme posloupnost $(\epsilon_n)=1/n$. Dle předpokladů sporu pro ni existuje posloupnost koulí $B_n = (x_n,\epsilon_n)$ takových, aby žádná koule nebyla podmnožinou žádné z vykrývajících množin.
 
Dle předpokladu věty existuje pro $x_n$ vybraná posloupnost $x_{k_n}\to a$. Nalezněme $V\in\{V\}_{V\in S}$ tak, aby $a \in \vn{V}$, pak určitě $\exists B(a,r)\subset V$.
 
Z definice limity najděme $n_0^{(1)}$ tak, aby $(\forall n > n_0^{(1)})(\rho(x_{k_n},a)<\frac{r}{2})$, a $n_0^{(2)}$ tak, aby $(\forall n > n_0^{(2)})(\frac{1}{k_n}<\frac{r}{2})$.
 
Po volbě $x_0 = max\{n_0^{(1)},n_0^{(2)}\}$ platí ($\forall n > n_0)(B_{k_n} \subset V)$, což je spor s volbou posloupnosti $B_n$.
\end{proof}
\end{lemma}
\bigskip
\begin{lemma}[Borel]
\label{borel}
Buď $(X,\rho)$ metrický prostor, kde každá posloupnost má alespoň
jednu hromadnou hodnotu. Potom pro každé $\epsilon$ existuje konečná
\index{$\epsilon$ síť}
$\epsilon$-síť (konečný počet koulí o~poloměru $\epsilon$ se středy
vzdálenými od sebe minimálně $\epsilon$, které pokrývají $X$).
\begin{proof}
 
Pro spor předpokládejme existenci takového $\epsilon>0$, pro něž nebude existovat konečná $\epsilon$-síť. Nechť tedy takové $\epsilon$ existuje. Vezměme si libovolné $\{B_\alpha(x_\alpha,\epsilon)\}_{\alpha\in I}$ pokrytí prostoru X splňující $(\forall\alpha,\beta\in I)(\alpha \not= \beta)(\rho(x_\alpha,x_\beta)\geq\epsilon)$. Takové pokrytí nemůže být podle předpokladů sporu konečné, bude tedy spočetné, nebo dokonce nespočetné.
 
Vyberme z něj libovolnou posloupnost koulí, označme ji $(B(x_n,\epsilon))$. Posloupnost $(x_n)\subset X$ musí mít dle předpokladů věty hromadnou hodnotu, existuje tedy konvergentní vybraná posloupnost, což je spor s minimální vzdáleností $\epsilon$.
 
\end{proof}
\end{lemma}
\bigskip
\begin{theorem}[Weierstrass]
Buď $X$ metrický prostor. Potom $X$ je kompaktní, právě když každá
posloupnost má konvergentní podposloupnost.
\begin{proof}
\begin{enumerate}[a)]
\item Implikace $\Rightarrow$ je dokázaná.
\item $(\Leftarrow)$: Buď $A_\alpha$ libovolné pokrytí prostoru
$X$. Potom podle \ref{lebesgue} existuje $\epsilon$ tak, že každá
koule o~poloměru $\epsilon$ leží v~některé z~pokrývajících
množin. Podle \ref{borel} stačí k~pokrytí $X$ konečný počet těchto
koulí. Hledaným konečným podpokrytím je množina nadmnožin koulí
$B(x_i,\epsilon)$.
\end{enumerate}
\end{proof}
\end{theorem}
\bigskip
\begin{theorem}
Buď $f:X\mapsto Y$ spojité zobrazení topologického prostoru. Potom
je-li $X$ kompaktní, je i $f(X)$ kompaktní.
\begin{proof}
Buď $\S$ pokrytí $f(X)$. Potom vzor $\S$ je pokrytí $X$, neboť vnitřek
a otevřenost se přenáší z~$Y$ do $X$. $X$ je kompaktní, takže má
$f^{-1}(\S)$ konečné podpokrytí. Konečným podpokrytím $f(X)$ je pak
konečná množina obrazů množin pokrývajících $X$.
\end{proof}
\end{theorem}
 
\begin{theorem}
Buď $f$ zobrazení spojité na kompaktní množině $A\mapsto\R$. Potom $f$
nabývá na $A$ svého infima a supréma.
\begin{proof}
$f(A)$ je kompaktní, tudíž omezená a uzavřená, takže infimum a
suprémum v~ní leží.
\end{proof}
\end{theorem}
 
\begin{remark}
Ale nikoliv všeho mezi nimi. K tomu je potřeba předpoklad souvislosti, který bude probrán v následující kapitole.
\end{remark}
 
 
 
\bigskip
\index{stejnoměrná spojitost}
\begin{define}
Buď $(X,\rho)$ metrický prostor, $f:(X,\rho)\mapsto (Y,\sigma)$ spojité
zobrazení. Řekneme, že $f:X\mapsto Y$ je stejnoměrně spojité, právě
když 
\[(\forall\epsilon>0)(\exists\delta>0)(\forall x,y \in X)(\rho(x,y)<\delta\implies\sigma(f(x),f(y))<\epsilon).\]
\end{define}
\bigskip
\begin{theorem}
Zobrazení $f$ spojité na kompaktní množině je spojité stejnoměrně.
\begin{proof}
Důkaz provedeme sporem. Nechť platí 
\[(\exists\epsilon>0)(\forall\delta>0)
(\rho(x,y)<\delta\wedge\sigma(f(x),f(y))\ge\epsilon).\]
Buď $(x_n)$,$(y_n)$ posloupnosti takové, že platí
\[\rho(x_n,y_n)<\frac1n,\quad \sigma(f(x_n),f(y_n))\ge\epsilon.\]
Protože množina je kompaktní, existuje vybraná konvergentní
podposloupnost $x_{k_n}\to x$. Dále platí
\[\rho(y_{k_n},x)\le\rho(x_{k_n},y_{k_n})+\rho(x_{k_n},x).\]
Tedy i $y_{k_n}$ konverguje k~$x$.
 
Ze spojitosti $f$ vyplývá existence $\delta>0$ takového, že pro
všechna $x'$ taková, že $\rho(x',x)<\delta$ je
$\sigma(f(x'),f(x))<\frac\epsilon2$. Protože $x_{k_n}$ a $y_{k_n}$
konvergují, existuje $m$ takové, že $\rho(x_{k_m},x)<\delta$ a
$\rho(y_{k_m},x)<\delta$, takže
\[
\sigma(f(x_{k_m}),f(x))<\frac\epsilon2\text{ a }
\sigma(f(y_{k_m}),f(x))<\frac\epsilon2,
\]
z~čehož vyplývá
\[
\sigma(f(x_{k_m}),f(y_{k_m}))\le
\sigma(f(x_{k_m}),f(x))+\sigma(f(y_{k_m}),f(x))<
\epsilon,
\]
což je spor.
\end{proof}
\end{theorem}
\bigskip