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


\subchapter{�pln� metrick� prostory}{

\definition{
	$(M,d)$ je �pln�,
	pokud ka�d� Cauchyovsk� posloupnost $(x_n) \subset M$
	m� limitu $a \in M$.
}

\examples{
\list{
\listItem{$\real$ je �pln�, stejn� tak $\real^n$ nebo $[-5,+\infty) \subset \real$.
	Zato $[0,1)$, $\rat \subset \real$ �pln� nejsou.
}
\listItem{$C[a,b]$ s maximovou metrikou je �pln� (viz MA2).
	M�jme integr�ln� metriku na $C[a,b]$:
	$$ d(f,g) = \int_a^b |f(x)-g(x)|\,dx $$
	Takov� metrika u� �pln� metrick� prostor ned�v�!

	Nap�. m�jme $a=-1$, $b=1$, $(f_n) \subset C[-1,1]$ cauchyovskou.
	$f_n$ si vyrob�me mezi $\pm 1$ a $\pm 1/n$ konstantn� ($\pm 1$)
	a line�rn� mezi $\mp 1/n$.
	Vezm�me $m \le n$, pak
	$$ d(f_m,f_n) = \int_{-1}^1 |f_m(x) - f_n(x)| \, dx \le \int_{-1/m}^{1/m} 1\,dx = 2/m $$
	(tedy je jist� cauchyovsk�).

	Pt�me se, jestli $\existss f \in C[-1,1]: f_n \to f$.
	To by ale znamenalo
	$$ f = \cases{-1 & na $[-1,0)$ \cr 1 & na $(0,1]$} $$
	a to je ve sporu s t�m, �e $f$ je spojit� v 0.
}
\listItem{Kompaktn� metrick� prostor je v�dy �pln� (viz \ias{}{8}{}).}
\listItem{$(-\pi/2,\pi/2) \rightarrow \real$

	$$ f(x) = \arctg x \textnote{bijekce} $$
	$$ f^{-1}(x) = \tg x : (-\pi/2,\pi/2) \to \real $$

	Tedy $f$ i $f^{-1}$ jsou spojit� a jde tud�� o homeomorfismus.
	Ale p�esto $\real$ je �pln� a $(-\pi/2,\pi/2)$ ne!
	$f$ je toti� stejnom�rn� spojit�, $f^{-1}$ v�ak ne
	(byly-li by ob� stejnom�rn� spojit�, ji� by se �plnost zachov�vala).
}
}
}

\theorem{16}{}{

	�plnost metrick�ho prostoru se zachov�v� p�i t�ech operac�ch:
	\list{
	\listItem{P�echod k uzav�en�mu podprostoru
		(je-li $(M,d)$ �pln� a $E \subset M$, $E$ je uzav�en�, pr�v� kdy� $(E,d)$ je �pln�).}
	\listItem{Obraz prost�m zobrazen�m $f$, pokud $f$ i $f^{-1}$ jsou stejnom�rn� spojit� zobrazen�.}
	\listItem{Kart�zsk� sou�in
		(jsou-li $(M,d),(N,e)$ �pln�, $(M \times N, \sqrt{d^2 + e^2})$ je t� �pln�).}
	}

	\shortproof{\DCV \sqed}

}

\penalty-1000

\definition{
	Zobrazen� $f\colon (M,d) \to (N,e)$ je {\bf kontrahuj�c�}, pokud
	$$ \existss 0<g<1,\ \forall x,y \in M: e(f(x),f(y)) \le gd(x,y) $$
	(v�imn�me si, �e $f$ je pak i stejnom�rn� spojit�).

	M�me-li $f\colon X \to X$, $a \in X$ je {\bf pevn� bod $f$}, pokud
	$f(a) = a$.

	M�me-li $x_1 \in X$, $x_2 = f(x_1)$, $x_3 = f(x_2)$, $\ldots$:
	$(x_n) \subset X$, $x_{n+1} = f(x_n)$ nazveme
	{\bf posloupnost� iterac�} zobrazen� $f$.
}

\theorem{17}{Picardova--Banachova o pevn�m bodu}{

	Ka�d� kontrahuj�c� zobrazen� $f$ �pln�ho metrick�ho prostoru do sebe
	m� pr�v� jeden pevn� bod
	a ka�d� posloupnost $(x_n)$ iterac� $f$ k n�mu konverguje.

	\proof{
		M�jme $(x_n) \subset M$. Ta je cauchyovsk�, nebo�
		$$ d(x_{n+2},x_{n+1}) \le qd(x_{n+1},x_n) \le q^2d(x_n,x_{n-1}) \le \cdots \le q^nd(x_2,x_1) $$
		a vezmeme-li $k,n \in \nat$,
		$$ d(x_{n+k}, x_n) \becauseof{$\Delta$}{\le} \sum_{i=1}^k d(x_{n+i},x_{n+i-1})
		   \le \sum_{i=1}^k q^{n+i-2}d(x_2,x_1) \le d(x_2,x_1)\sum_{i=1}^\infty q^{n+i-2} = d(x_2,x_1){q^{n-1} \over 1-q}$$
		a $(x_n)$ je cauchyovsk�, tzn. $\existss a \in M: x_n \to a$.

		$$ a = \lim_{n\to\infty} x_n = \lim_{n\to\infty} x_{n+1} = \lim_{n\to\infty} f(x_n) $$
		Ale pak ze spojitosti $f$ plat�
		$$ f(\lim_{n\to\infty} x_n) = f(a) $$
		a $a$ je tedy pevn� bod.

		Je opravdu pouze jeden? M�jme $a,b \in M$ pevn� body $f$:
		$$ d(a,b) = d(f(a),f(b)) \le qd(a,b) \Rightarrow d(a,b) = 0 \Rightarrow a=b $$
		\qed
	}

}

\example{
	M�jme $y(x)\colon I \to \real$
	kde $I \subset \real$ je otev�en� interval a $1 \in I$.
	D�le uva�me
	$$ y(1) = 3 \qquad y'(x) = y(x) \eqno (*) $$
	�emu� d�ky on� po��te�n� podm�nce ($y(1) = 3$) vyhovuje
	jen a pouze
	$$ y(x) = 3/e \cdot e^x $$
	
	Obecn� m�jme funkci typu $(*)$:
	$$ (*) \cases{y(a) = b & \cr y'(x) = f(x,y(x)) &} $$
	$$ f(u,v) \colon \real^2 \to \real $$
	$$ a,b \in \real $$
}

\theorem{18}{Picard}{
	Nech� $f \in C(\real^2,\real)$ a nav�c nech� $f$ je {\bf lipschitzovsk�}:
	$$ \existss M > 0,\ \forall u,v,w \in \real: |f(u,v) - f(u,w)| \le M|v-w| $$

	Pak $\forall a \in \real$ m� okol� $I=(a-\delta,a+\delta)$,
	na n�m� m� $(*)$ jednozna�n� �e�en�.

	\proof{
		$(*)$ je ekvivalentn� rovnici
		$$ y = y(x) = b + \int_a^x f(t,y(t))\,dt $$
		$$ x \in I = (a-\delta,a+\delta) $$
		$$ J = [a-\delta,a+\delta] $$
		
		Polo�me
		$$ A(y) = z(x) := b + \int_a^x f(t,y(t)\,dt $$
		$$ y = A(y) $$
		V�imn�me si, �e $z'(x) = f(x,y(x))$ ($z(x)$ m� na $J$ spojitou derivaci). Tedy
		$$ A\colon C^1(J,\real') \to C^1(J,\real) $$
		(kde $C^1(J,\real) = \{g\colon J \to \real$: $g$ m� na $J$ spojitou derivaci$\}$).

		$C^1(J,\real)$ s maximovou metrikou je �pln� prostor.
		Nav�c pro dostate�n� mal� $\delta>0$ je $A$ kontrahuj�c�:
		$$ y(x),z(x) \in C^1(J,\real) : d(A(y),A(z))
			= \max_{x \in J} \bigg|\int_a^x f(t,y(t))\,dt - \int_a^x f(t,z(t))\,dt \bigg| = $$
		$$ = \max_y \bigg| \int_a^x (f(t,y(t)) - f(t,z(t))\,dt \bigg|
			\le \bigg| \max_{x \in J} \int_a^x \undernote{|f(t,y(t)) - f(t,z(t))|}{\le M|y(t)-z(t)|}\,dt \bigg| $$
		a to podle Lipschitzovy podm�nky odhadnu jako
		$$ \le \bigg| \max_{x \in J} \int_a^x M\undernote{|y(t)-z(t)|}{\le d(y,z)}\,dt \bigg|
			\le \bigg| \max_{x \in J} \undernote{\int_a^x Md(y,z)\,dt}{(x-a)Md(y,z)} \bigg|
			= \delta M d(y,z)$$

		Vezm�me $\delta \le 1/2n$, tzn. $d(A(y),A(z)) \le 1/2 d(y,z)$
		a tedy podle \ias{}{17}{} $A$ m� jednozna�n� pevn� bod $y$, $A(y) = y$.
		\qed
	}

	\shortnote{
		Lze to i jednodu�eji, nebo� sta��, �e $f \in C[a-\delta,a+\delta]$.
	}
}

}

\bend
