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

\theorem{}{Bolzano---Weieistrassova věta}{

	Z každé omezené posloupnosti lze vybrat konvergentní podposloupnost.


\proof{

	Nechť $\{a_{n}\}$ je omezená posloupnost. Pak definujme
	$$ A = \limsup_{n\to\infty} a_{n} $$

	Platí, že $A \in \real$, neboť $\{a_{n}\}$ je omezená, tedy
	$$b_{1} = \sup_{n\in\nat}(a_{n}) \in \real$$
	$$c_{1} = \inf_{n\in\nat}(a_{n}) \in \real$$
	$$c_{1} \le c_{n} \le b_{n} \le b_{1}\qquad \forall n \in \nat$$

	Definujeme množinu:
	$$ M_{1} \defined \{ j\in\nat : a_{j} \in [A-1,A+1] \} \not= \emptyset $$
	$$ m_{1} \defined \min M_{1} $$
	(index prvního bodu v pásku $A-1,A+1$).

	Nechť jsou definována $n_{1},\ldots{},n_{k-1}$. Pak definujeme:
	$$ M_{k} \defined \{ j\in\nat,\ j > n_{k-1} : a_{j} \in [A-1/2^k, A+1/2^k] \} $$
	$$ n_{k} \defined \min M_{k} $$

	Takto definuji nekonečnou posloupnost indexů $\{n_{k}\}_{k\in\nat}$.
	Tím získávám vybranou posloupnost
	$$d_{k} = a_{n_{k}}\qquad k\in\nat$$

	Tvrdím, že $\lim_{k\to\infty} d_{k} = A$.
	Zvolme $\eps > 0$, pak $\existss k_{0}$ takové, že
	$${1/2^k} < \eps\qquad \forall k \ge k_{0}$$
	Tedy $|d_{k}-A| < \eps$ pro $k \ge k_{0}$, tedy
	$$\lim_{k\to\infty} d_{k} = A$$

	\qed

}

}


\theorem{}{Bolzano---Cauchyova věta}{

	Posloupnost $\{a_{n}\}$ má vlastní limitu, právě když platí tzv. Bolzano---Cauchyova podmínka:

	$$ \textbox{Pro každé $\eps>0$ existuje $n_{0} \in \nat$ takové, že:} $$
	$$ |a_{m}-a_{n}| < \eps \qquad \forall m,n\in\nat\quad (m,n \ge n_{0}) $$

\penalty-100

\proof{

\proofrightimpl{

	Zvolíme $\eps > 0$, pak $\existss n_{0}$ takové, že pro $\forall n \ge n_{0}$ platí: $$|A-a_{n}| < \eps/2$$

	Tedy pro $\forall m,n \ge n_{0}$:
	$$ |a_{m}-a_{n}| = |a_{m}-A+A-a_{n}| \le |a_{m}-A| + |a_{n}-A| < \eps/2 + \eps/2 = \eps $$

}

\proofleftimpl{
	Zvolíme $\eps > 0$, pak $\existss n_{0}$ takové, že pro $\forall n \ge n_{0}$ platí: $$|a_{m}-a_{n}| < \eps$$

	Speciálně pro $m=n_{0}$:
	$$ a_{n_{0}} - \eps < a_{n} < a_{n_{0}} + \eps \qquad (\forall n \ge n_{0}) $$

	$$ a_{n_{0}} - \eps < \liminf a_{n} \le \limsup a_{n} < a_{n_{0}} + \eps \qquad (\forall \eps>0) $$

	$$ \liminf_{n\to\infty} a_{n} = \limsup_{n\to\infty} a_{n} \becauseof{\hbox{\ias{}{10}{}}}{\Rightarrow} \existss \lim a_{n} = \limsup a_{n} \in \real $$
}

	\qed

}

}

\bend