Limita posloupnosti

Tři body posloupnosti mnohoúhelníků opsaných a vepsaných kružnici. Jejich limitou je kruh odpovídající této kružnici.Tohoto se dá využít pro aproximaci $\pi$.

Limita nekonečné posloupnosti bodů je pojem používaný v matematické analýze a topologii. Limitou je bod, k němuž se posloupnost přiblíží libovolně (méně přesně řečeno: „nekonečně“) blízko; pak říkáme, že posloupnost k tomuto bodu konverguje.

Pojem „bod“ přitom může znamenat např. reálné číslo (jako bod na reálné ose), komplexní číslo, bod v rovině, prostoru (i vícerozměrném), nebo v jakémkoli metrickém či dokonce topologickém prostoru. Ve všech těchto případech platí, že bod $A$ je limitou nekonečné posloupnosti $\{a_n\}$, právě když v každém (tj. „sebemenším“) jeho okolí leží všechny členy posloupnosti od jistého indexu $n_0$, nebo ekvivalentně: všechny členy až na konečně mnoho. Liší se ovšem definice pojmu „okolí“.

V případě reálných čísel je tedy limitou posloupnosti $\{a_n\}$ takové reálné číslo $A$, k němuž pro každé (tj. „sebemenší“) kladné reálné číslo $\epsilon$ existuje přirozené číslo $n_0$ takové, že pro každé přirozené $n\ge n_0$ platí $|a_n-A|<\epsilon$, tj. $n$-tý člen posloupnosti leží v $\epsilon$-okolí čísla $A$.

• Například posloupnost $\{1\}$ samých jedniček konverguje k jedničce, zatímco $\{1/n\}=\{1;1/2;1/3;1/4;1/5;\dots \}$ k nule.

• Posloupnosti $\{n\}=\{1;2;3;4;5;\dots \}$, $\{n^2\}=\{1;4;9;16;25;\dots \}$ a $\{2^n\}=\{2;4;8;16;32;\dots \}$ nekonvergují k žádnému reálnému číslu, ale „libovolně se přiblíží“ k nekonečnu: dosahují hodnot vyšších než sto, než milion i než jakékoli jiné reálné číslo. To se nazývá divergence k $+\mathrm{\infty }$. Říkáme též, že $+\mathrm{\infty }$ je jejich nevlastní limita. Podobně posloupnost záporných faktoriálů $\{-n!\}=\{-1;-2;-6;-24;-120;\dots \}$ diverguje k $-\mathrm{\infty }$. Aby bylo možné pracovat jednotně s vlastní i nevlastní limitou, byl vytvořen pojem rozšířená reálná čísla.

• Posloupnosti, které nejsou konvergentní ani divergentní, se nazývají oscilující. Příkladem je posloupnost $\{-1^n\}=\{-1;1;-1;1;-1;1;\}$. Rovněž posloupnost $\{n*(-1{)}^n\}=\{-1;2;-3;4;-5;6;\dots \}$ osciluje, tj. nemá vlastní ani nevlastní limitu. Sice se k nekonečnu „libovolně přiblíží“, ale v té blízkosti nezůstane.

V reálných číslech i ostatních metrických prostorech může mít posloupnost nejvýše jednu limitu; v některých topologických prostorech to však neplatí. Posloupnost nemusí mít žádnou limitu. Metrický prostor, v němž má limitu každá cauchyovská posloupnost - tj. taková, jejíž prvky se k sobě navzájem libovolně („nekonečně“) blíží - nazýváme úplným prostorem. Takovým jsou např. reálná čísla, ale ne racionální čísla.

Pojem konvergence posloupnosti se liší od konvergence řady: například posloupnost $\{1/n\}$ konverguje jako posloupnost k nule, ale jako řada diverguje k plus nekonečnu.

Definice

Pojem limity byl zaveden pro posloupnost reálných čísel a zobecněn pro posloupnost bodů v rovině, prostoru, případně $n$-rozměrném prostoru $R^n$. Toto bylo posléze dále zobecněno pro posloupnost prvků libovolného metrického prostoru či dokonce topologického prostoru.

Tyto definice jsou v plném souladu, tj. např. posloupnost reálných čísel konverguje podle definice pro reálná čísla, právě když konverguje jako posloupnost prvků prostoru reálných čísel vybaveného obvyklou metrikou nebo běžnou topologií. Vždy platí, že číslo je limitou posloupnosti, pokud v každém jeho okolí leží všechny členy posloupnosti až na konečně mnoho.

Na reálných číslech

Nekonečnou posloupností reálných čísel $\{a_n{\}}_{n=1}^{\mathrm{\infty }}$ (pro stručnost píšeme jen $\{a_n\}$) se rozumí zobrazení, které libovolnému přirozenému číslu („indexu“) přiřadí reálné číslo. Například posloupnost $\{n^2\}$ neboli $\{1;4;9;16;25;\dots \}$ indexu 3 přiřadí číslo 9, protože třetím členem je devítka.

Pro definici limity reálných čísel není zapotřebí zavádět topologické pojmy „okolí“ či „otevřená množina“. Číslo $A\in ℝ$ je limitou posloupnosti $\{a_n\}$, jestliže pro libovolné $\epsilon >0$ existuje $n_0\in \mathbb{N}$ takové, že pro každé $n\ge n_0$ platí $|a_n-A|<\epsilon$.

Např. pro posloupnost $\frac{1}{\sqrt{n}}$ platí, že

• Konverguje k nule, protože výše uvedené platí pro každé okolí nuly. Například pro $\epsilon =1$ je $n_0=2$, pro $\epsilon =0,1$ je $n_0=101$, pro $\epsilon =0,001$ je $n_0=1000001$ atd.. Čím menší okolí je zadáno, tím větší $n_0$ je obvykle zapotřebí.
• Tato posloupnost ovšem nekonverguje k číslu $-0,1$, neboť žádný prvek posloupnosti neleží v okolí $(-0,11;-0,09)$.
• Nekonverguje ani k číslu např. $0,6$, protože v jeho okolí $(0,5;0,7)$ neleží žádné $\frac{1}{\sqrt{n}}$ pro $n\ge 4$. Podobně nekonverguje k $0,01$, protože v jeho okolí $(0,005=\frac{1}{200};0,015)$ leží jen konečně mnoho členů, ale žádný pro $n\ge 40000=200^2$.

Podobně lze ukázat, že nekonverguje k žádnému číslu kromě nuly; to ostatně plyne i z jednoznačnosti limity.

V metrických prostorech

V metrických prostorech (včetně roviny reprezentované jako $R^2$, prostoru $R^3$ a vícerozměrného prostoru $R^n$) je definice stejná, nahradíme-li výraz $|a_n-A|$ výrazem „vzdálenost $a_n$ od $A$.“ Limita je tedy bod, ke kterému se posloupnost „přiblíží neomezeně blízko a v blízkosti zůstane“, nebo formálněji řečeno, pro každé $\epsilon$ jen konečně mnoho prvků posloupnosti je od $A$ vzdáleno o $\epsilon$ nebo více.

Používá se následující názvosloví:

• Pro „všechny až na konečně mnoho“, což je ekvivalentní s podmínkou „všechny členy od nějakého indexu $n_0$“ (neboli „existuje přirozené číslo $n_0$ takové, že pro každé $n\ge n_0$ splňuje $n$-tý člen posloupnosti danou podmínku“) se ustálila zkratka „skoro všechny“: limita posloupnosti je takový bod $A$, že pro každé („sebemenší“) kladné reálné číslo $\epsilon$ skoro všechny členy posloupnosti leží k $A$ blíže, než $\epsilon$.
• Pro pojem „množina všech bodů (tj. prvků metrického prostoru), které od $A$ mají menší vzdálenost, než $\epsilon$“ se používá pojem„$\epsilon$-okolí bodu $A$“ (výslovnost: „epsilon-okolí“).
• Místo „pro každé $\epsilon >0$ platí, že $\epsilon$-okolí bodu $A$ splňuje…“ se říká „každé $\epsilon$-okolí $A$ splňuje…'“.

Proto lze též definici formulovat tak, že limitou posloupnosti je takový bod, v jehož každém $\epsilon$-okolí leží skoro všechny její členy.

Například posloupnost $\{(-1{)}^n\}$, tj. $\{-1;1;-1;1\dots \}$ nemá žádnou limitu. Pro $\epsilon =\frac{1}{100}$ (nebo lze použít i $\epsilon =1$ či $\epsilon =2$) sice v $\epsilon$-okolí bodu $1$ leží nekonečně mnoho prvků posloupnosti, ale nikoli skoro všechny. Těch, které v něm neleží, je rovněž nekonečně mnoho.

V topologických prostorech

Neformálně řečeno, typický (ne však každý) topologický prostor vznikne z metrického prostoru tím, že si „zapamatujeme“, které množiny jsou otevřené, ale „zapomeneme“ metriku. Každý metrický prostor je tedy i topologickým prostorem.

Používají se tyto pojmy:

• V metrickém prostoru se množina nazývá otevřená, pokud s každým svým prvkem obsahuje i nějaké jeho $\epsilon$-okolí. V topologickém prostoru jsou otevřené množiny přímo zadány jeho definicí.
• V každém topologickém (a tedy i metrickém) prostoru $T$ se množina $X\subseteq T$ nazývá okolím bodu $a\in T$, pokud je nadmnožinou nějaké otevřené množiny, v níž $a$ leží, tj. pokud existuje otevřená množina $Y\in T$ taková, že $a\in Y\subseteq X$.

Souvislost mezi topologickou a metrickou definicí limity je následkem toho, že:

• Množina je otevřená právě tehdy, když s každým svým prvkem obsahuje i nějaké jeho okolí.
• Pro každé kladné $\epsilon$ je $\epsilon$-okolí bodu jeho okolím. Např. otevřený interval $(-1;1)$ je $1$-okolím čísla $0$, tj. $\epsilon$-okolím pro $\epsilon =1$. Obráceně to neplatí: $(-1;100)$ je též okolím nuly, ale nikoli $\epsilon$-okolím.
• Každá otevřená množina je okolím každého svého prvku. Opačně to neplatí, např. uzavřený interval $<-1;1>$ či polouzavřený $(-1;1>$ je okolím nuly, ačkoli není otevřenou množinou.
• Tvrzení, že v prostoru $T$ je $X\subseteq T$ okolím bodu $a$, lze neformálně vyjádřit tak, že prvky $T$, které neleží v $X$, nesmějí k bodu $a$ dosahovat libovolně („nekonečně“) blízko. Každá nadmnožina $Y$ v daném prostoru (tedy $X\subseteq Y\subseteq T$) je pak také okolím bodu $a$. Proto k intervalu $X=(-1;1)$ lze přidat zcela jakoukoli množinu $Y\subseteq R$ (například čísla $-1$ a $1$ jako v příkladu výše) a zůstane okolím nuly. Odebráním kladných racionálních čísel by však vznikla množina, která okolím nuly není. Odebráním nuly také, protože okolí bodu $a$ musí obsahovat $a$. Jinak je tomu u prstencového okolí, což je odlišný matematický pojem.

Z těchto důvodů jsou následující tři definice limity ekvivalentní; první lze použít jen v metrických prostorech, zbylá dvě ve všech topologických:

• Bod je limitou posloupnosti, pokud každé jeho $\epsilon$-okolí obsahuje skoro všechny členy této posloupnosti.
• Bod je limitou posloupnosti, pokud každé jeho okolí obsahuje skoro všechny členy této posloupnosti.
• Bod je limitou posloupnosti, pokud každá otevřená množina, která jej obsahuje, obsahuje i skoro všechny členy této posloupnosti.

V topologii se jako definice limity používá poslední varianta.

Jednoznačnost limity

V metrickém postoru (např. na reálných číslech) může mít posloupnost jen jednu limitu. Kdyby existovaly dvě různé limity $A,B$, označme jejich vzájemnou vzdálenost $h$. V případě reálných čísel to znamená $h=|A-B|$. Pak by existovalo $n_A$ takové, že všechny prvky posloupnosti od $n_A$ jsou od $A$ vzdáleny o méně než $\epsilon =h/100$, a obdobně by existovalo $n_B$ pro $B$. Pro každé $n$ větší než $n_A$ i $n_B$ to vede ke sporu s trojúhelníkovou nerovností, která říká, že vzdálenost $A$ od $B$ být větší, než součet vzdáleností $a_n$ od $A$ a $B$. Např. v reálných číslech to znamená, že $|A-B|\le |A-a_n|+|a_n-B|$, tj. $h<h/100+h/100$, což pro kladné $h$ nemůže nastat. (Důkaz by byl korektní, i kdybychom zvolili $\epsilon =h/2$.)

Jednoznačnost v topologických prostorech

Tvrzení, že posloupnost může mít právě jednu limitu, neplatí ve všech topologických prostorech. Platí v právě těch prostorech $T$, v nichž každé dva různé prvky lze „oddělit otevřenými množinami“, tj. najít otevřené nadmnožiny těchto prvků, které mají prázdný průnik. Jinými slovy, limita je jednoznačná tehdy a jen tehdy, pokud pro každé $a,b\in T$ existují otevřené množiny $X,Y\subseteq T$ takové, že $a\in X,B\in Y,X\cap Y=\mathrm{\varnothing }$.

To platí v každém topologickém prostoru, který vznikl z metrického prostoru („zapomenutím“ metriky, ale „nezapomenutím“, které množiny jsou otevřené), jak plyne z důkazu jednoznačnosti pro metrické prostory. Příkladem prostoru, v němž to neplatí, je $\{-1,1\}$ takový, že $\{-1\}$ není otevřená množina; přitom nezáleží na tom, zda $\{1\}$ je otevřená. Posloupnost samých jedniček zde konverguje k $1$ i $-1$, protože všechny její prvky leží v každé otevřené množině, která obsahuje $1$, i v každé, která obsahuje $-1$. Jediná otevřená množina obsahující $-1$ je totiž celá $\{-1,1\}$.

Konvergentní posloupnosti

Pokud k libovolnému číslu $\epsilon >0$ existuje přirozené číslo $n_0$ takové, že pro všechna $n>n_0$ platí $|a_n-A|<\epsilon$, pak říkáme, že posloupnost $\{a_n{\}}_{n=1}^{\mathrm{\infty }}$ má vlastní limitu $A$, popř. že posloupnost konverguje k číslu $A$:

$\underset{n\to \mathrm{\infty }}{\lim }{a}_n=A$.

Pokud má posloupnost vlastní limitu, pak ji označujeme jako konvergentní. V opačném případě hovoříme o divergentní posloupnosti.

K ověření konvergence lze použít tzv. Bolzano-Cauchyovu podmínku, která říká, že existuje-li ke každému $\epsilon >0$ takové přirozené číslo $n_0$, že pro libovolnou dvojici indexů $m>n_0,n>n_0$ platí $|a_m-a_n|<\epsilon$, pak je posloupnost $\{a_n{\}}_{n=1}^{\mathrm{\infty }}$ konvergentní. V úplných metrických prostorech se jedná o nutnou a postačující podmínku konvergence posloupnosti. Posloupnost splňující BC podmínku se také nazývá Cauchyovská posloupnost.

Bodová konvergence funkční posloupnosti

Pokud k libovolnému číslu $\epsilon >0$ existuje přirozené číslo $n_0$ takové, že pro všechna $n>n_0$ platí $|f_n(x_0)-f(x_0)|<\epsilon$, pak říkáme, že funkční posloupnost $\{f_n{\}}_{n=1}^{\mathrm{\infty }}$ bodově konverguje v bodě $x_0$ k limitní funkci $f$:

$\underset{n\to \mathrm{\infty }}{\lim }{f}_n(x_0)=f(x_0)$.

Pokud uvedená limita neexistuje, pak posloupnost $\{f_n{\}}_{n=1}^{\mathrm{\infty }}$ označíme jako bodově divergentní.

Stejnoměrná konvergence funkční posloupnosti

Pokud k libovolnému číslu $\epsilon >0$ existuje přirozené číslo $n_0$ takové, že pro všechna $n>n_0$ a pro všechny body $x\in 𝐈$ platí $|f_n(x)-f(x)|<\epsilon$, pak říkáme, že funkční posloupnost $\{f_n{\}}_{n=1}^{\mathrm{\infty }}$ stejnoměrně konverguje na intervalu $𝐈$ k limitní funkci $f$:

$\underset{n\to \mathrm{\infty }}{\lim }{f}_n(x)=f(x)$.

Podle Bolzano-Cauchyovy podmínky je posloupnost $\{f_n{\}}_{n=1}^{\mathrm{\infty }}$ na intervalu $𝐈$ stejnoměrně konvergentní tehdy a pouze tehdy, pokud lze ke každému $\epsilon >0$ najít takové přirozené číslo $n_0$, že pro každou dvojici $n>n_0,m>n_0$ a každé $x\in 𝐈$ platí $|f_n(x)-f_m(x)|<\epsilon$.

Pokud jsou funkce $f_n$ na intervalu $𝐈$ spojité a posloupnost $\{f_n{\}}_{n=1}^{\mathrm{\infty }}$ je na $𝐈$ stejnoměrně konvergentní, pak je na intervalu $𝐈$ spojitá také limitní funkce $f$.

Vlastnosti konvergentní posloupnosti

• Mějme dvě konvergentní posloupnosti $(a_n),(b_n)$, pro které platí $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=a,\underset{n\to \mathrm{\infty }}{\lim }{b}_n=b$. Pak následující posloupnosti jsou také konvergentní:

$\underset{n\to \mathrm{\infty }}{\lim }(a_n\pm b_n)=a\pm b$

$\underset{n\to \mathrm{\infty }}{\lim }k{a}_n=ka$

$\underset{n\to \mathrm{\infty }}{\lim }\left|a_n\right|=\left|a\right|$

$\underset{n\to \mathrm{\infty }}{\lim }{a}_n{b}_n=ab$

$\underset{n\to \mathrm{\infty }}{\lim }\frac{a_n}{b_n}=\frac{a}{b}\text{ pro }b\ne 0$,

kde z posloupnosti $(b_n)$ jsou vynechány všechny nulové členy, kterých je konečný počet, neboť $b\ne 0$.

• Máme-li dvě konvergentní posloupnosti $(a_n),(b_n)$, pro které platí $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=a,\underset{n\to \mathrm{\infty }}{\lim }{b}_n=b$, pak jestliže pro každé $n$ je $a_n\le b_n$, pak je také $a\le b$.

• Máme-li dvě konvergentní posloupnosti $(a_n),(b_n)$, pro které platí $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=a,\underset{n\to \mathrm{\infty }}{\lim }{b}_n=a$, pak jestliže existuje posloupnost $(c_n)$ taková, že pro každé $n$ je $a_n\le c_n\le b_n$, pak platí také $\underset{n\to \mathrm{\infty }}{\lim }{c}_n=a$.

• Je-li $(a_{k_n})$ podposloupnost posloupnosti $(a_n)$ a platí $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=a$, pak platí také $\underset{n\to \mathrm{\infty }}{\lim }{a}_{k_n}=a$.

• Bolzano-Weierstrassova věta: Je-li $\mathit{(}{a}_n)$ omezená posloupnost v $ℝ$, pak z ní lze vybrat posloupnost $\mathit{(}{a}_{k_n})$, která je konvergentní. Tato věta je založena na axiomu výběru, proto v některých logických systémech (např. intuicionistická logika) neplatí. Podle této věty má každá ohraničená posloupnost alespoň jeden hromadný bod. Pokud je těchto hromadných bodů více (i nekonečně mnoho), vždy existuje jeden nejmenší a jeden největší, tzv. limes superior a limes inferior dané posloupnosti, což zapisujeme:

$\underset{n\to \mathrm{\infty }}{\lim }\sup a_n$ a $\underset{n\to \mathrm{\infty }}{\lim }\inf a_n$,

kde posloupnost $(a_n)$ je konvergentní tehdy a pouze tehdy, pokud $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=\underset{n\to \mathrm{\infty }}{\lim }\sup a_n=\underset{n\to \mathrm{\infty }}{\lim }\inf a_n=a$, konvergentní posloupnost má tedy právě jeden hromadný bod.

Divergentní a oscilující posloupnosti

Říkáme, že posloupnost je

• konvergentní, pokud má vlastní limitu,
• divergentní, pokud má nevlastní limitu,
• oscilující, pokud nemá vlastní ani nevlastní limitu.

Úplné prostory

Posloupnost nemusí mít žádnou limitu. Metrický prostor, v němž má limitu každá cauchyovská posloupnost - tj. taková, jejíž prvky se k sobě navzájem libovolně (méně přesně řečeno: „nekonečně“) blíží - nazýváme úplným prostorem.

Reálná čísla jsou úplným prostorem, kdežto racionální čísla ne, protože např. posloupnost racionálních čísel $\{3;3,1;3,14;3,141,\dots \}$ konverguje v prostoru reálných čísel k Ludolfovu číslu $\pi =3,141592\dots$, ovšem v racionálních číslech žádnou limitu nemá, tj. není konvergentní.

Některé metrický prostory jsou zároveň normovanými prostory, a to když na nich zároveň existuje struktura vektorového prostoru, s níž metrika koresponduje, nebo dokonce unitárními prostory, pokud má některé vlastnost shodné jako skalární součin. Pokud je normovaný (resp. unitární) prostor zároveň úplný, nazývá se Banachův prostor (resp. Hilbertův prostor).

Související články

• Limita
• Limita funkce
• Okolí (matematika)

Externí odkazy

• Šablona:Commonscat