1 MA 6. cvičení výpočet limit posloupností Lukáš Pospíšil,202 Malý (ale pěkný) důkaz na úvod V dnešním cvičení se naučíme počítat jednoduché limity, n...
MA 6. cviˇcen´ı v´ypoˇcet limit posloupnost´ı ´ s Posp´ısˇ il,2012 Lukaˇ
ˇ y) 1 Maly´ (ale pekn ´ dukaz ˚ na uvod ´ ´ eˇ by na zaˇcatek ´ V dneˇsn´ım cviˇcen´ı se nauˇc´ıme poˇc´ıtat jednoduche´ limity, nicmen bylo vhodne´ ´ ´ ´ eˇ jedno. Tedy abychom si byli jisti, zˇ e aˇz (nikoliv ukazat, zˇ e to co hledame, existuje prav ´ povede spoˇc´ıtat limitu posloupnosti, muˇ pokud :) se nam ˚ zeme ˇr´ıci, zˇ e tato limita je jedina´ - a ´ ˇ ktere´ vlastneˇ neexistuj´ı. nemuseli dohledavat veci, Vˇeta 1.0.1 Kaˇzd´a posloupnost m´a nejvyˇ ´ se jednu limitu. ´ Dukaz: Pˇredpokladejme sporem, zˇ e existuj´ı dveˇ ruzn ˚ e´ limity a, b ∈ R∗ posloupnosti {an }∞ n=1 . ´ (bez ujmy ´ Dale na obecnosti) pˇredpokladejme, zˇ e a < b. Oznaˇcme ´ ϵ=
b−a 2
Oˇcividneˇ ϵ ∈ R+ . Dle definice limity (viz minule´ cviˇcen´ı) - jelikoˇz lim an = a, pak n→∞
(∃n1 ∈ N)(∀n ∈ N, n > n1 ) : |an − a| < ϵ Tedy an − a < ϵ
∧
an − a > −ϵ
upravou ´ a − ϵ < an < a + ϵ
(1)
´ pro limitu lim an = b Obdobnou uvahu (de-facto stejnou) muˇ ´ ˚ zeme provest n→∞
(∃n2 ∈ N)(∀n ∈ N, n > n2 ) : |an − a| < ϵ ˇ si, zˇ e obecneˇ n1 = n2 , tedy index prvku, od ktereho ´ posloupnost leˇz´ı v ϵ-pasu ´ muˇ (vˇsimete ˚ ze b´yt obecneˇ jin´y pro ruznou volbu a, b). ˚ ´ a z´ıskame b − ϵ < an < b + ϵ (2) ´ Nyn´ı volme n0 ≥ max{n1 , n2 } jako index, od ktereho plat´ı nerovnice (1) i (2). ˇ tedy lze psat ´ Pak tedy plat´ı obeˇ nerovnice souˇcastne, b − ϵ < an < a + ϵ Z posledn´ı nerovnice plyne, zˇ e