Z pohledu existence limity rozlišujeme následující dva důležité typy posloupností.
Buď $(a_n)_{n=1}^\infty$ posloupnost. Pokud pro její limitu platí $\displaystyle\lim_{n\to\infty} a_n \in\R$, pak se nazývá konvergentní. V ostatních případech ji nazýváme divergentní.
O konvergentní posloupnosti někdy také ze zjevných důvodů hovorově říkáme, že „má konečnou limitu“. Na základě výsledků příkladů z předchozí podkapitoly 5.1.1 můžeme tvrdit následující: posloupnost $\left(\frac{1}{n}\right)_{n=1}^\infty$ je konvergentní, libovolná konstantní posloupnost je konvergentní, posloupnost $(n)_{n=1}^\infty$ je divergentní.
Shrňme si nejpodstatnější výsledek předchozího textu týkající se limit posloupností. Nejelementárnějším způsobem výpočtu limity posloupnosti $(a_n)_{n=1}^\infty$ je úspěšné provedení následujících dvou kroků.
Uhodněme kandidáta na limitu, označme si ho $\alpha\in\overline{\R}$,
Pomocí definice dokažme, že $\displaystyle\lim_{n\to\infty}a_n = \alpha$.
V další části tohoto textu si ukážeme sofistikovanější nástroje pro výpočet limit. Velmi často je nám hodnota limity (pokud vůbec existuje) neznámá. Typicky je její případná hodnota právě to, co hledáme. Vyvstává proto přirozená otázka: lze rozhodnout o konvergenci posloupnosti $(a_n)_{n=1}^\infty$ pouze na základě znalosti jejích členů, bez toho abychom museli operovat s hodnotou limity, kterou neznáme? Na tuto otázku zanedlouho kladně odpovíme.
Připomeňme si axiom úplnosti reálných čísel probíraný v podkapitole 2.2. Nyní již navíc můžeme podmínku, kladenou na délky intervalů, formulovat pomocí pojmu limity.
Každý smršťující se systém vnořených uzavřených intervalů má neprázdný průnik. Přesněji, pokud pro každé $n \in \N$ platí
a navíc
pak existuje reálné $x$ ležící v každém z intervalů $\langle a_n,b_n \rangle$, $n\in\N$.
Přistupme nyní k důležité větě nesoucí jméno po Bernardovi Bolzanovi (matematik s italskými předky narozený a studující v Praze, 1781 – 1848) a Karlovi Weierstrassovi (německý matematik, otec moderní matematické analýzy, 1815 – 1897). Její tvrzení není vůbec očividné a jak uvidíme v důkazu, plyne z axiomu úplnosti množiny reálných čísel.
Každá omezená číselná posloupnost má hromadný bod $\alpha$ ležící v $\R$.
Buď $(a_n)_{n=1}^\infty$ omezená posloupnost. Jistě existuje interval $\langle b_1, c_1 \rangle$ takový, že obsahuje všechny členy posloupnosti $(a_n)_{n=1}^\infty$. Rozdělíme-li interval $\langle b_1, c_1 \rangle$ na poloviční intervaly $\langle b_1, \frac{b_1+c_1}{2} \rangle$ a $\langle \frac{b_1 + c_1}{2}, c_1 \rangle$, pak aspoň jeden z těchto intervalů obsahuje nekonečně mnoho členů posloupnosti $(a_n)_{n=1}^\infty$, označme ho $\langle b_2, c_2 \rangle$.
Tímto způsobem induktivně sestrojíme systém vnořených intervalů $\langle b_n, c_n \rangle$ z nichž každý obsahuje nekonečně mnoho členů $(a_n)_{n=1}^\infty$ a pro jejichž délky platí
Podle axiomu úplnosti existuje reálné $x$ patřící do každého z intervalů $\langle b_n, c_n\rangle$. Protože délky intervalů $\langle b_n, c_n \rangle$ konvergují k nule, lze pro libovolné okolí $U_x$ bodu $x$ nalézt $n$ dostatečně velké na to, aby celý interval $\langle b_n, c_n \rangle$ patřil do $U_x$ (zcela jistě do něj patří například všechny intervaly $\langle b_n, c_n \rangle$, jejichž délky jsou menší než čtvrtina délky $U_x$). Proto lze v $U_x$ nalézt nekonečně mnoho členů posloupnosti $(a_n)_{n=1}^\infty$ a $x$ je tedy hromadným bodem $(a_n)_{n=1}^\infty$.
$\square$
Jinak řečeno, předchozí Věta 5.9 tvrdí, že z každé omezené posloupnosti lze vybrat konvergentní podposloupnost. Skutečně, vzpomeňte si na Větu 5.6.
Následující větu, která je důsledkem právě dokázané Bolzanovy–Weierstrassovy věty, budeme velmi často využívat. Dává nám totiž postačující podmínku pro konvergenci posloupnosti. Pokud ověříme tuto podmínku (v tomto případě monotonii a omezenost posloupnosti) pak je zaručena existence její konečné limity.
Každá reálná monotónní posloupnost má limitu. Tato limita je konečná, právě když je daná posloupnost omezená.
V případě, že je zkoumaná posloupnost $(a_n)_{n=1}^\infty$ neomezená, je z definice limity zřejmé, že $\displaystyle\lim_{n\to\infty} a_n = \pm\infty$ (znaménko $+$ pro neomezenost shora, $-$ pro zdola).
Předpokládejme, že $(a_n)_{n=1}^\infty$ je rostoucí a (shora) omezená. Potom podle Bolzanovy–Weierstrassovy věty má posloupnost $(a_n)_{n=1}^\infty$ hromadný bod, označme ho $x$. Buď $U_x$ libovolné okolí bodu $x$. Potom existuje jisté $a_{N}$ patřící do $U_x$. Do tohoto okolí ale musí patřit všechna $a_n$ s $n > N$, protože pro ně nutně platí $a_{N} \leq a_n \leq x$. Kdyby totiž $a_n$ přerostlo $x$, nemohl by $x$ být hromadným bodem $(a_n)_{n=1}^\infty$.
$\square$
Ukažme si použití hned několika nových konceptů na následujícím příkladě.
Zkoumejme limitu posloupnosti
Této posloupnosti se pro její důležitost budeme věnovat ještě dále v semestru. Nyní si ukážeme jak je to s její limitou. Na první pohled se může zdát překvapivé, že limita této posloupnosti je $+\infty$.
Tato posloupnost je očividně ostře rostoucí (následující člen vznikne z předchozího přičtením kladného čísla). Podle věty o limitě monotónní posloupnosti tudíž existuje její limita. Vyberme posloupnost $(b_n)_{n\in\N}$,
Platí
Odtud
Posloupnost $(b_n)_{n=1}^\infty$, a tedy i $(a_n)_{n=1}^\infty$, není omezená shora. Proto
Tento výsledek zdaleka není zřejmý. Kdybyste s členy posloupnosti z předchozího příkladu experimentovali na počítači, tedy počítali v konečné přesnosti (typicky pomocí 64 bitových čísel s pohyblivou desetinnou čárkou), tak byste pravděpodobněji dospěli k závěru, že tato posloupnost konverguje. Rozmyslete proč! K této posloupnosti se později vrátíme a ukážeme si, že do nekonečna jde stejně rychle jako logaritmus.
Další věta nám dává nutnou a postačující podmínku pro konvergenci posloupnosti. Tedy podmínku ekvivalentní s definicí konvergence. Podstatnou výhodou této podmínky je, že vyžaduje pouze znalost členů zkoumané posloupnosti, nepotřebujeme se odvolávat na případnou hodnotu limity (srovnejte s Definicí 5.1).
Posloupnost $(a_n)_{n=1}^\infty$ je konvergentní, právě když pro každé $\veps > 0$ existuje $N \in \N$ takové, že pro každé $n,m > N$ je $|a_n - a_m| < \veps$.
Nejprve dokažme implikaci $\Rightarrow$: nechť má $(a_n)_{n=1}^\infty$ limitu $\alpha\in\R$. Buď $\veps > 0$ libovolné. Potom lze nalézt $N\in\N$ takové, že pro každé $n > N$ je $|a_n - \alpha| < \frac{\veps}{2}$. Takže pro libovolné $n,m > N$ platí
Při odhadu jsme využili znalosti trojúhelníkové nerovnosti.
Nyní se podívejme na implikaci $\Leftarrow$: nechť $(a_n)_{n=1}^\infty$ splňuje podmínku
Zvolme za $\veps = 1$, pak existuje index $N \in \N$ tak, že
Jinak řečeno, pro $m > N$ patří $a_m$ do intervalu $(a_{N} -1, a_{N} + 1) = U_{a_N}(1)$. Mimo tento interval může ležet pouze konečný počet prvků posloupnosti. Posloupnost $(a_n)_{n=1}^\infty$ je proto omezená. Podle Bolzanovy–Weierstrassovy věty existuje $x \in \R$, hromadný bod posloupnosti $(a_n)_{n=1}^\infty$.
Buď $U_x(\veps/2)$ okolí bodu $x$. Pro $\veps/2$ existuje $N$ tak, že pokud $m,n > N$ pak platí $|a_n - a_m| < \veps/2$. Díky hromadnosti bodu $x$ ale existuje $m > N$ tak, že $a_m \in U_x(\veps/2)$. Tudíž pro $n > N$ je
Tím je důkaz dokončen.
$\square$
Vraťme se ještě jednou k posloupnosti harmonických čísel (5.4). Ukažme, že její limita je nekonečno alternativně pomocí Bolzanova–Cauchyova kritéria. Nejprve si opět povšimneme, že zkoumaná posloupnost $(a_n)_{n=1}^\infty$, $a_n = \sum_{k=1}^n \frac{1}{k}$, je rostoucí a tedy má limitu (podle věty o limitě monotónní posloupnosti). Dokažme, že tato limita nemůže být konečná (tj. nemůže patřit do $\R$) a proto musí být nutně rovna $+\infty$. K tomu použijeme Bolzano–Cauchyova kritéria, chceme ukázat jeho negaci. Tedy
kde $(a_n)_{n=1}^\infty$ je zkoumaná posloupnost. Zvolme $\veps = \frac{1}{2}$ a buď $N\in\N$ libovolné. Položme $n=4N$ a $m=2N$, potom $n > m > N$ a
V odhadu jsme použili jednoduchého pozorování: součet $\ell\in\N$ kladných čísel je větší nebo roven nejmenšímu z nich krát $\ell$.
Zobrazení množiny přirozených čísel $\N$ do množiny reálných čísel $\R$ nazýváme reálná číselná posloupnost (pokud nebude hrozit zmatení, budeme zkráceně mluvit o posloupnosti).
Reálná posloupnost $(a_n)_{n=1}^\infty$ má limitu $\alpha\in\overline{\R}$, právě když pro každé okolí $U_\alpha$ bodu $\alpha$ lze nalézt $N \in\N$ takové, že pro všechna $n\in\N$ větší nebo rovno než $N$ platí $a_n\in U_\alpha$. V symbolech
Tuto skutečnost můžeme zapsat několika možnými ekvivalentními způsoby:
Posloupnost $(a_n)_{n=1}^\infty$ nazýváme omezenou, právě když existuje konstanta $K > 0$ taková, že pro všechna $n \in \N$ platí nerovnost $|a_n| < K$. Posloupnost, která není omezená, nazýváme neomezenou.
Zobrazení množiny přirozených čísel $\N$ do množiny reálných čísel $\R$ nazýváme reálná číselná posloupnost (pokud nebude hrozit zmatení, budeme zkráceně mluvit o posloupnosti).
Bod $\alpha \in \overline{\R}$ nazýváme hromadným bodem posloupnosti $(a_n)_{n=1}^\infty$, právě když v každém okolí bodu $\alpha$ leží nekonečně mnoho členů posloupnosti $(a_n)_{n=1}^\infty$.
Posloupnost $(a_n)_{n=1}^\infty$ nazýváme omezenou, právě když existuje konstanta $K > 0$ taková, že pro všechna $n \in \N$ platí nerovnost $|a_n| < K$. Posloupnost, která není omezená, nazýváme neomezenou.
Buď $(a_n)_{n=1}^\infty$ posloupnost. Pokud pro její limitu platí $\displaystyle\lim_{n\to\infty} a_n \in\R$, pak se nazývá konvergentní. V ostatních případech ji nazýváme divergentní.
Nechť $(a_n)_{n=1}^\infty$ je libovolná posloupnost a $(k_n)_{n=1}^\infty$ je ostře rostoucí posloupnost přirozených čísel. Pak posloupnost $(a_{k_n})_{n=1}^\infty$ nazýváme posloupností vybranou z posloupnosti $(a_n)_{n=1}^\infty$. Posloupnost $(a_{k_n})_{n=1}^\infty$ nazýváme také podposloupností posloupnosti $(a_n)_{n=1}^\infty$.
Posloupnost $(a_n)_{n=1}^\infty$ je rostoucí (resp. klesající) pokud $a_n \leq a_{n+1}$ (resp. $a_n \geq a_{n+1}$) pro každé $n\in\N$. Posloupnost $(a_n)_{n=1}^\infty$ je ostře rostoucí (resp. ostře klesající) pokud $a_n < a_{n+1}$ (resp. $a_n > a_{n+1}$) pro každé $n\in\N$. Posloupnost $(a_n)_{n=1}^\infty$ nazýváme monotónní jestliže je rostoucí nebo klesající. Posloupnost $(a_n)_{n=1}^\infty$ nazýváme ryze monotónní jestliže je ostře rostoucí nebo ostře klesající.
Zobrazení množiny přirozených čísel $\N$ do množiny reálných čísel $\R$ nazýváme reálná číselná posloupnost (pokud nebude hrozit zmatení, budeme zkráceně mluvit o posloupnosti).
Reálná posloupnost $(a_n)_{n=1}^\infty$ má limitu $\alpha\in\overline{\R}$, právě když pro každé okolí $U_\alpha$ bodu $\alpha$ lze nalézt $N \in\N$ takové, že pro všechna $n\in\N$ větší nebo rovno než $N$ platí $a_n\in U_\alpha$. V symbolech
Tuto skutečnost můžeme zapsat několika možnými ekvivalentními způsoby:
Posloupnost $(a_n)_{n=1}^\infty$ nazýváme omezenou, právě když existuje konstanta $K > 0$ taková, že pro všechna $n \in \N$ platí nerovnost $|a_n| < K$. Posloupnost, která není omezená, nazýváme neomezenou.
Každá omezená číselná posloupnost má hromadný bod $\alpha$ ležící v $\R$.
Zobrazení množiny přirozených čísel $\N$ do množiny reálných čísel $\R$ nazýváme reálná číselná posloupnost (pokud nebude hrozit zmatení, budeme zkráceně mluvit o posloupnosti).
Buď $(a_n)_{n=1}^\infty$ posloupnost. Pokud pro její limitu platí $\displaystyle\lim_{n\to\infty} a_n \in\R$, pak se nazývá konvergentní. V ostatních případech ji nazýváme divergentní.
Každá omezená číselná posloupnost má hromadný bod $\alpha$ ležící v $\R$.
Každá reálná monotónní posloupnost má limitu. Tato limita je konečná, právě když je daná posloupnost omezená.
Posloupnost $(a_n)_{n=1}^\infty$ je konvergentní, právě když pro každé $\veps > 0$ existuje $N \in \N$ takové, že pro každé $n,m > N$ je $|a_n - a_m| < \veps$.