\input /home/pasky/school/fastex/lib.tex


\subchapter{Konvergence v metrick�ch prostorech}{

\definition{
	Nech� $(P,\ro)$ je metrick� prostor
	a nech� $\{x_n\}_{n=1}^\infty$ je posloupnost v $P$.
	�ekneme, �e $x_n$ {\bf konverguje} k $y \in P$,
	neboli $x_n$ m� limitu $y$, jestli�e
	$$ \lim_{n\to\infty} \ro(x_n,y) = 0 $$

	Zna��me:
	\list{
	\olistItem{\M{\lim_{n\to\infty} x_n = y \hskip1em\textbox{(v $P$)}}}
	\olistItem{\M{x_n \to y}}
	}
}

\examples{
\list{
\listItem{Pro $(P,\ro) = (\real,|x-y|)$
	je konvergence toto�n� s konvergenc� posloupnosti re�ln�ch ��sel,
	jak ji zn�me ze zimn�ho semestru.
}
\listItem{V prostoru $C[a,b]$ se supremovou metrikou
	$$\ro_{\sup}(f,g) := \sup_{x \in [a,b]} |f(x) - g(x)|$$
	je konvergence posloupnosti funkc� ekvivalentn�
	stejnom�rn� konvergenci na $[a,b]$
	(jak vypl�v� z \ias{7}{1}{}).
}
}
}

}


\theorem{4}{vlastnosti konvergence v metrick�m prostoru}{
	Nech� $(P,\ro)$ je metrick� prostor,
	pak plat�:
	\list{
	\listItem{\M{\existss n_0\ \forall n \ge n_0: x_n = y \in P
		\Longrightarrow
		\lim_{n\to\infty} x_n = y}
	}
	\listItem{\M{x_n \to y_1 \et x_n \to y_2 \Rightarrow y_1 = y_2}
		(limita je ur�ena jednozna�n�)
	}
	\listItem{Nech� $\{x_{n_k}\}$ je vybran� posloupnost z $\{x_n\}$
		a nech� \M{\lim_{n\to\infty} x_n = y \in P}.

		Pak tak� \M{\lim_{k\to\infty} x_{n_k} = y}.
	}
	\listItem{Nech� $F \supset P$ je uzav�en�,
		nech� $\{x_n\} \subset F$,
		a nech� \M{\lim_{n\to\infty} x_n = y \in P}.
		Potom $y \in F$.
	}
	}

	\proof{
	\list{
	\listItem{\M{\ro(x_n,y) = 0\quad \forall n \ge n_0
		\Rightarrow \lim_{n\to\infty} \ro(x_n,y) = 0
		\Rightarrow x_n \to y}
	}
	\listItem{\M{\ro(y_1,y_2) \le \undernote{\ro(y_1,x_n)}{\to 0} + \undernote{\ro(x_n,y_2)}{\to 0}
		\Rightarrow \ro(y_1,y_2) = 0
		\Rightarrow y_1 = y_2}
	}
	\listItem{\M{\ro(x_{n_k}, y)} je vybran� z $\ro(x_n,y)$ atd. (Viz zimn� semestr.)}
	\listItem{\M{\ro(y,F) = \inf_{x\in F} \ro(y,x) \le \ro(y,x_n) \to 0
		\Rightarrow \ro(y,F) = 0
		\becauseof{\ias{}{3}{}}{\Rightarrow} y \in \overline{F}}.

		Ale $F$ je uz�v�r, tedy
		\M{\overline{F} = F \Rightarrow y \in F}.
	}
	}
		\qed
	}
}

\theorem{5}{charakterizace uzav�en�ch mno�in}{
	Mno�ina $F$ je uzav�en� v $(P,\ro)$
	pr�v� tehdy, kdy� plat� implikace
	$$ x_n \in F \et x_n \to y \Longrightarrow y \in F $$

	(D�sledek p�edchoz�ch tvrzen�.)
}

\penalty-100

\examples{
\list{
	\listItem{konvergence v diskr�tn�m prostoru:
		$$ x_n \to y \Longleftrightarrow \existss n_0\ \forall n \ge n_0: x_n = y $$
	}
	\listItem{$\real^n$: $\ro_1 = \ro_{\rm NY}$, $\ro_2 = \ro_{\rm eukl.}$, $\ro_{\infty} = \ro_{\rm max}$
		
		$$ \ro_1(x,y) = \sum_{i=1}^n |x_i-y_i|
			\becauseof{Cauchy}{\le} \sqrt{\sum_{i=1}^n 1}\cdot\sqrt{\sum_{i=1}^n |x_i-y_i|^2}
			= \sqrt{n}\cdot\ro_{\rm eukl.}(x,y) $$
		$$ \le n\ro_{\rm max}(x,y)
			\le n\sum_{i=1}^n |x_i - y_i| = n\ro_1(x,y) $$
		$$ \Longrightarrow \ro_1(x,y) \le \sqrt{n}\ro_{\rm eukl.}(x,y) \le n\ro_{\rm max}(x,y) \le n\ro_1(x,y) $$

		Tedy konvergence ve v�ech t�ech metrik�ch spl�v�
		a konvergence v $\real^n$ je konvergence \penalty-1000\ po~slo�k�ch.
	}
}
}


\definition{
	�ekneme, �e mno�ina $K$ v metrick�m prostoru $(P,\ro)$ je {\bf kompaktn�},
	jestli�e z ka�d� posloupnosti $\{x_n\} \subset K$
	lze vybrat podposloupnost $\{x_{n_k}\}$,
	kter� je
	(i) {konvergentn� v $P$}
	a (ii) {jej� limita je \penalty-100 prvkem $K$}.
}

\examples{
\list{
	\listItem{Kone�n� mno�iny v libovoln�m $(P,\ro)$ jsou kompaktn�.}
	\listItem{V $(\real,|x-y|)$ nap�. $[a,b]$ je kompaktn�.}
	\listItem{V $(\real,\ro_{\rm diskr.})$ jsou kompaktn� pouze kone�n� mno�iny.}
	\listItem{$B(0,1)$ (jednotkov� koule) v $(C[0,1],\sup)$ nen� kompaktn�.

		Tady je tato jednotkov� koule reprezentov�na v�emi spojit�mi funkcemi,
		kter� na intervalu $[0,1]$ nevyb�hnou z p�sku $(-1,1)$.

		$$ f_n(x) = \cases{2^nx & $x \in [0,2^{-n}]$\cr
				   1 & $x \in [2^{-n},1]$} $$

		Plat�, �e $\ro(f_n,f_m) \ge 1/2$ \DCV, pokud $n \ne m$.
		Z posloupnosti $\{f_n\}$ ale nelze vybrat konvergentn�.
		Kdyby $f_{n_k} \to h$, pak $\ro(f_{n_k},h) \to 0$, a tedy
		$$ 1/2 \le \ro(f_{n_k}, f_{n_j}) \le \ro(f_{n_k},h) + \ro(f_{n_j},h) \to 0 $$
		a to je spor.
	}
}
}


\penalty-1000

\theorem{6}{vlastnosti kompaktn�ch mno�in}{
	M�jme metrick� prostor $(P,\ro)$ a v n�m kompaktn� mno�inu.
	Potom plat�:
	\list{
	\listItem{$K$ je uzav�en�}
	\listItem{$K$ je omezen�}
	\listItem{Jestli�e $F \subseteq K$ a $F$ je uzav�en�, pak $F$ je kompaktn�.}
	}

	\proof{
	\list{
	\listItem{Nech� $\{x_n\} \subset K$, $x_n \to x \in P$.
		Chci dok�zat, �e $x \in K$.
		
		Vybereme $x_{n_k} \to y$ v $K$,
		pak ale (jednozna�nost� limity) $x = y$.
		Ale $y \in K$, tedy $x \in K$ a $K$ je uzav�en�.
	}
	\listItem{Nech� $K$ nen� omezen�, zvolme $x_0 \in P$.
		Pak plat�
		$$ \forall n \in \nat\ \existss x_n \in K: x_n \notin B(x_0,n) $$
		(tedy $\ro(x_n,x_0) > n$).

		Z kompaktnosti plat�, �e $\existss x_{n_k}$ vybran�,
		$x_{n_k} \to y$ a $y \in K$.
		Potom
		$$ n < \ro(x_n,x_0) < \undernote{\ro(x_n,y)}{\to 0} + \ro(y,x_0) < \ro(y,x_0) + \eps\qquad \forall n $$
		\XXX
	}
	\listItem{Nech� $\{x_n\} \subset F$.
		Pak samoz�ejm� tak�  $\{x_n\} \subset K$.

		$K$ je kompaktn�, tedy $\existss x_{n_k} \to y$ a $y \in K$.
		$F$ je v�ak uzav�en�, tedy $y \in F$ a tud�� je \penalty-100 $F$ kompaktn�.
	}
	}
		\qed
	}
}

\theorem{7}{charakteristika kompaktn�ch podmno�in $\real^n$}{
	V prostoru $(\real^n,\ro_{\rm eukl.})$ je mno�ina $K$ kompaktn�
	pr�v� tehdy, kdy� je omezen� a uzav�en�.

	\proof{
		My�lenka: v $\real$ \ref{Bolzano-Weistrass}
		a z $\real$ do $\real^n$ indukc�.
	}

	\shortnote{Tvrzen� \ias{}{7}{} neplat� pro obecn� metrick� prostory
		(viz $\overline{B}(0,1)$ v $C\,[a,b]$, ta je omezen�,
		uzav�en�, le� nikoliv kompaktn�).}
}


\bend
