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

\subchapter{Vlastní limita posloupnosti}{


\definition{
	Posloupnost $\{a_n\}_{n=1}^\infty$ má vlastní limitu (je {\bf konvergentní}) $A \in \real$, jestliže:
	$$ \forall \eps > 0\ \existss n_0 \in \nat,\ \forall n \in \nat, n \ge n_0: |a_n - A| < \eps $$

	\shortdef{Značíme}{\M{\lim_{n\to\infty} a_n = A}}

	\smallskip

	Posloupnost $\{a_n\}_{n=1}^\infty$ nemá vlastní limitu (je {\bf divergentní}), jestliže:
	$$ \forall A \in \real\ \existss \eps > 0,\ \forall n_0 \in \nat\ \existss n \in \nat, n \ge n_0: |a_n - A| > \eps $$

	\shortnote{Divergentní posloupností myslíme i posloupnost oscilující.}
}


\examples{
\list{
	\listItem{\M{\lim_{n\to\infty} 1/n = 0}}
	\listItem{\M{\lim_{n\to\infty} \broot{n}\of{n} = 1}}
	\listItem{\M{\lim_{n\to\infty} (-1)^n} není definovaná.}
	\listItem{\M{\lim_{n\to\infty} (1+1/n)^n = e}}
	\listItem{\M{\lim_{n\to\infty} a = a}}
}
}

\proof{
\list{
	\listItem{$A = 0$, dáno $\eps > 0$. Zvolme $n_0 > 1/\eps$:
		$$ \forall n \in \nat, n \ge n_0: 1/n \le 1/n_0 < \eps $$
		$$ \Longrightarrow \lim_{n\to\infty} 1/n = 0$$}

	\listItem{$A = 1$, mějme $a_n = \broot{n}\of{n} = 1 + \delta_n$, kde $\delta_n > 0$ pro $\forall n \ge 2$.

		Sporem: nechť $\lim \ne 1$:
		$$ \existss \eps > 0,\ \forall n_0 \in \nat\ \existss n \in \nat, n \ge n_0: \broot{n}\of{n} \ge 1 + \eps $$

		Pak musí existovat rostoucí posloupnost $\{n_k\}_{k=1}^\infty$, kde $n_k \in \nat$ a $a_{n_k} > 1 + \eps$.
		Tedy:
		$$ \broot{n_k}\of{n_k} > 1 + \eps $$
		$$ 1 + \delta_{n_k} > 1 + \eps $$
		$$ n_k = (1 + \delta_{n_k})^{n_k} > (1 + \eps)^{n_k} = 1 + n_k\eps + \cn{n_k}{2}\eps^2 + \cdots $$
		$$ > n_k\eps + {n_k(n_k-1)\over2}\eps^2 $$
		$$ \Longrightarrow 1 > \eps + {n_k-1\over2}\eps^2\qquad \forall n_k $$
		$$ \Longrightarrow {1-\eps\over\eps^2}\cdot2 + 1 > n_k\qquad \forall n_k $$
		\XXX
	}

	\listItem{$\existss \eps$ takové, že pro $\forall n_0\ \existss n: |a_n - A| \ge \eps$
		pro každé předem dané $A \in \real$.

		Sporem: předpokládejme $\lim_{n\to\infty} (-1)^n = A$, pak k $\eps = 1/3$ existuje
		$n_0$ takové, že $|(-1)^n - A| < 1/3$ pro $\forall n > n_0$.

		$$ 2 = |(-1)^n - (-1)^{n+1}| = |(-1)^n - A + A - (-1)^{n+1}| \le $$
		$$ \le |(-1)^n - A| + |A - (-1)^{n+1}| < 1/3 + 1/3 = 2/3 $$
		\XXX
	}

	\listItem{$e$ si později nadefinujeme právě jako tuto limitu.}

	\listItem{Triviální.}
}
}


\theorem{1}{o jednoznačnosti limity posloupnosti}{
	Každá posloupnost má nejvýše jednou limitu.

	\proof{
		Nechť \M{\lim_{n\to\infty} a_n = A_1 \et \lim_{n\to\infty} a_n = A_2}, bez újmy na obecnosti (dichotomie)
		nechť $A_1 > A_2$.

		Zvolme $\eps < (A_1 - A_2) / 2$. Pak $\existss n_1, n_2$ taková, že:
		$$ \sesac{\eqalign{\forall n \ge n_1: |a_n - A_1| < \eps\cr
		                   \forall n \ge n_2: |a_n - A_2| < \eps}}
			{\hbox{pro $n \ge \max(n_1,n_2)$ platí zároveň obojí.}} $$

		\XXX
	}
}

\theorem{2}{o omezenosti konvergentní posloupnosti}{
	Každá konvergentní posloupnost je omezená.

	\proof{
		Zvol $\eps = 1$. Nechť \M{\lim_{n\to\infty} a_n = A \in \real}.
		Pak dle definice $\existss n_0 \in \nat$ takové, že
		$$\forall n \ge n_0, n \in \nat: |a_n - A| < \eps \Rightarrow |a_n| < |A| + 1$$

		Zvol $K := \max \{ |A|+1; |a_1|, |a_2|, \ldots, |a_{n_0}| \}$.
		Pak pro $\forall n \in \nat: |a_n| \le K$.
	}
}

\definition{
	Řekneme, že posloupnost $\{b_k\}_{k=1}^\infty$ je {\bf vybraná} z $\{a_n\}$,
	existuje-li {\it rostoucí} posloupnost $$\{n_k\}_{k=1}^\infty \subseteq \nat$$
	taková, že $b_k = a_{n_k}$ pro $\forall k \in \nat$.
}

\theorem{3}{o limitě vybrané posloupnosti}{
	Nechť \M{\lim_{n\to\infty} a_n = A} a $\{b_k\}$ je vybraná posloupnost z $\{a_n\}$.
	Pak \M{\lim_{k\to\infty} b_k = A}.

	\proof{
		$$\forall \eps > 0\ \existss n_0: |a_n - A| < \eps\quad \forall n > n_0
			\Longrightarrow \existss k_0 \ge n_0: a_{n_{k_0}} = b_{k_0}$$
		$$\forall l \ge l_0: |b_l - A| < \eps \textnote{neboť $b_l$ je také nějaké $a_n$}$$

		\qed
	}
}

\theorem{4}{o aritmetice limit}{
	Nechť $a_n \opupon{$\scriptstyle{n\to\infty}$}{\longrightarrow} A \in \real$,
	$b_n \opupon{$\scriptstyle{n\to\infty}$}{\longrightarrow} B \in \real$,
	pak platí:
	\list{
	\listItem{\M{\lim_{n\to\infty} (-a_n) = -A}}
	\listItem{\M{\lim_{n\to\infty} (a_n+b_n) = A+B}}
	\listItem{\M{\lim_{n\to\infty} (1/a_n) = 1/A} (pokud $a_n \ne 0$ pro $\forall n$ a $A \ne 0$)}
	\listItem{\M{\lim_{n\to\infty} (a_nb_n) = AB}

		Tedy také \M{\lim_{n\to\infty} (\alpha a_n) = \alpha A}
		a za dobrého počasí i \M{\lim_{n\to\infty} (a_n/b_n) = A/B}.
	}
	}

	Pozor! Obecně neplatí \M{\lim_{n\to\infty} (c_n+d_n) = \lim_{n\to\infty} c_n + \lim_{n\to\infty} d_n},
	nemusí jedna z nich existovat.

	\proof{
	\list{
	\listItem{Triviální, stačí volit $n_0' = n_0$ (jako pro původní posloupnost).}
	\listItem{Pro dané $\eps > 0$ platí limita $\{a_n\}$ od $n_1$, $\{b_n\}$ od $n_2$, tedy obě
		platí od $n_3 = \max\{n_1,n_2\}$ dále. Tedy:
		$$ |(a_n + b_n) - (A+B)| \le |a_n - A| + |b_n - B| < 2\eps\qquad \forall n \ge n_3 $$
	}
	\listItem{Nejdříve dokážeme lemmu.
		\lemma{}{
			$$ \existss K > 0,\ \forall n: |a_n| \ge K $$

			\proof{
				Mějme $\eps < |A|/2$:
				$$\existss n_0, \forall n \ge n_0: |a_n| \ge 2\eps \Rightarrow K \ge 2\eps$$
				Pro $n \in \{1,\ldots,n_0-1\}: K < \min\{|a_n|\} \Rightarrow \existss K$.
				\qed
			}
		}

		\medskip
		Zvolíme $\eps$-pás kolem nuly o velikosti $K = \eps_0$ takový, že $|a_n \ge \eps_0|$,
		tedy $|1/a_n| \le 1/\eps_0$.

		$$ \left|{1 \over a_n} - {1 \over A}\right| = \left| A - a_n \over a_n A \right|
		\le {\eps \over |a_n A|} \le \eps \cdot {1\over KA} $$
	}
	\listItem{Mějme $n \ge n_3 = \max\{n_1,n_2\}$:
		$$ |(a_nb_n) - (AB)| = |a_nb_n - a_nB + a_nB - AB| \le |a_nb_n - a_nB| + |a_nB - AB| = $$
		$$ = |a_n|\undernote{|b_n - B|}{<\eps} + |B|\undernote{|a_n - A|}{<\eps} < |a_n|\eps + |B|\eps $$
		Přitom $|a_n|$ je omezeno nějakou konstantou $K$ a $|B|$ je konstantní rovnou, tedy:
		$$ |a_n|\eps + |B|\eps \le \undernote{(K+|B|)}{\hbox{konst.}}\eps $$
	}
	}

	\qed
	}
}

\penalty-100

\theorem{5}{o uspořádání limit}{
	Mějme \M{\lim_{n\to\infty} a_n = A}, \M{\lim_{n\to\infty} b_n = B}. Pak:
	\list{
	\listItem{Pokud $A>B$, pak $\existss n_0$, od kterého $a_n>b_n$ pro $\forall \ge n_0$.}
	\listItem{Pokud $\existss n_0$ takové, že $a_n \ge b_n$ pro $\forall \ge n_0$, pak $A \ge B$. (Pozor, neplatí
		$a_n > b_n \Rightarrow A > B$! Např. $a_n = 1/n$, $b_n = -1/n$.)}
	}

	\proof{
		Zvol $\eps > 0$, $\eps < {1\over4}(A-B)$, pak pro $n_1$: $|a_n - A| < \eps$, pro $n_2$: $|b_n - B| < \eps$,
		pro $n_3 = \max \{n_1,n_2\}$ jsou tyto pásy již disjunktní:

		$$a_n > A - \eps > B + \eps > b_n\qquad\forall n \ge n_3$$

		\qed
	}
}


\theorem{6}{o dvou policajtech}{
	Nechť:
	$$ \lim_{n\to\infty} a_n = \lim_{n\to\infty} b_n = A \in \real $$
	$$ \existss n_0 \in \nat,\ \forall n \ge n_0: a_n \le c_n \le b_n $$

	Pak \M{\lim_{n\to\infty} c_n = A}.

	\proof{
		Zvolme $\eps > 0$, pak:
		$$ \eqalign{\existss n_1 \in \nat,\ \forall n \ge n_1: |a_n - A| < \eps\cr
		            \existss n_2 \in \nat,\ \forall n \ge n_2: |b_n - A| < \eps} $$
		Definujme $n_3 := \max \{n_0, n_1, n_2\}$. Pak jistě
		$$ A - \eps \le a_n\qquad \forall n > n_3 $$
		$$ A - \eps < a_n \le c_n \le b_n < A + \eps $$
		$$ \lim_{n\to\infty} c_n = A $$
		\qed
	}

	\example{
		Nechť $a > 0$. Pak \M{\lim_{n\to\infty} \broot{n}\of{a} = 1}.

		\proof{
		\list{
			\namedListItem{$a > 1$}{$\existss n_0 \in \nat, n_0 \ge a,\ \forall n \ge n_0: a \le n$.
				\smallskip
			
				Tedy \M{1 \le \broot{n}\of{a} \le \broot{n}\of{n}} pro $\forall n \ge n_0$.

				$$ \lim_{n\to\infty} 1 = 1 \et \lim_{n\to\infty} \broot{n}\of{n} = 1
					\Longrightarrow \lim_{n\to\infty} \broot{n}\of{a} = 1 $$
			}
			\namedListItem{$a = 1$}{Triviální.}
			\namedListItem{$a < 1$}{\M{\lim_{n\to\infty} \broot{n}\of{a}
					= \lim_{n\to\infty} {1\over\broot{n}\of{1/a}}}

				$$ 1/a > 1 \Longrightarrow \lim_{n\to\infty} \broot{n}\of{1/a} = 1 $$
				(Jak bylo dokázáno.)

				$$ 1 \ne 0 \et \broot{n}\of{1/n} \ne 0\quad \forall n
					\becauseof{\ias{}{4}{}}{\Longrightarrow}
					\lim_{n\to\infty} \broot{n}\of{a} - 1/n = 1 $$
			}
		}

			\qed
		}
	}
}


\theorem{7}{o součinu omezené a ``nulové'' posloupnosti}{
	Nechť \M{\lim_{n\to\infty} a_n = 0} a $\{b_n\}$ je omezená.
	Pak \M{\lim_{n\to\infty} a_nb_n = 0}.

	\shortnote{Platí, že \M{\lim_{n\to\infty} a_n = 0 \Longleftrightarrow \lim_{n\to\infty} |a_n| = 0}.
		(Důkaz: \DCV.)}

	\proof{
		Víme, že pro $\forall n \in \nat$ platí $|b_n| \le K$. Pak dle předpokladu a dvou policajtů:
		$$ \undernote{0}{\to 0} \le
			\undernote{|a_nb_n| = |a_n||b_n|}{\to 0} \le
			\undernote{K|a_n|}{\to 0} $$
		$$ \Longrightarrow \lim_{n\to\infty} |a_nb_n| = 0 \Longrightarrow \lim_{n\to\infty} a_nb_n = 0 $$
		\qed
	}

	\shortdef{Příklad}{\M{\lim_{n\to\infty} {1\over n}\sin n = 0}}
}


}

\bend