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


\definition{
	Je-li $\forall n \in \nat$ p�i�azeno $a_n \in \real$, pak mno�inu $\{a_n\}_{n=1}^\infty$
	naz�v�me {\bf posloupnost� re�ln�ch ��sel}. $a_n$ pak naz�v�me $n$-t�m �lenem posloupnosti.
}

\examples{
\list{
	\listItem{$\{n\}_{n=1}^\infty$: 1, 2, 3, 4, 5, \dots}
	\listItem{$\{2n+1\}_{n=1}^\infty$: 3, 5, 7, 9, 11, \dots}
	\listItem{$\{2^n\}_{n=1}^\infty$: 2, 4, 8, 16, 32, \dots}
	\listItem{$\{p_n: p_n=\hbox{$n$-t� prvo��slo}\}_{n=1}^\infty$: 2, 3, 5, 7, 11, \dots}
	\listItem{$\{1\}_{n=1}^\infty$: 1, 1, 1, 1, 1, \dots}
	\listItem{$\{(-1)^n\}_{n=1}^\infty$: $-1$, $1$, $-1$, $1$, $-1$, \dots}
	\listItem{$a_1 = 1$, $a_{n+1} = 1 + a_n^2$: 1, 2, 5, 26, 677, \dots}
}
}

\definition{
	Posloupnost $\{a_n\}_{n=1}^\infty$ je omezen�, je-li omezen� mno�ina ��sel
	$\{a_n: n\in\nat\}$.

	Posloupnost $\{a_n\}_{n=1}^\infty$ je:
	\list{
		\olistItem{{\bf neklesaj�c�}, pokud $a_{n+1} \ge a_n$ \hfill $\forall n \in \nat$}
		\olistItem{{\bf nerostouc�}, pokud $a_{n+1} \le a_n$ \hfill $\forall n \in \nat$}
		\olistItem{(ost�e) {\bf rostouc�}, pokud $a_{n+1} > a_n$ \hfill $\forall n \in \nat$}
		\olistItem{(ost�e) {\bf klesaj�c�}, pokud $a_{n+1} < a_n$ \hfill $\forall n \in \nat$}
		\olistItem{{\bf monot�nn�}, je-li neklesaj�c�, nerostouc�, rostouc� �i klesaj�c�.}
		\olistItem{{\bf ryze monot�nn�}, je-li rostouc� �i klesaj�c�.}
	}
}

\examples{
\list{
	\listItem{$\{1/n\}$ je klesaj�c�.}
	\listItem{$\{\log n\}$ je rostouc�.}
	\listItem{$\{(-1)^n\}$ nen� monot�nn�.}
	\listItem{$\{5326\}_{n=1}^\infty$ je neklesaj�c� a nerostouc�.}
	\listItem{$\{(1 + 1/n)^n\}$ je rosstouc� (je t�eba dok�zat).}
}
}


\bend
