Numerikus sorozatok/Nullsorozatok
Nullsorozatok vagy zérussorozatok
szerkesztésA numerikus sorozatok témakörében rendkívül hasznosan alkalmazhatóak azok a sorozatok, melyek határértéke a 0 szám. Ezeket nullsorozatoknak, vagy zérussorozatoknak nevezzük. Világos, hogy az (1/n) sorozat például nullsorozat.
Alapvető tulajdonságok
szerkesztésÁllítás – Az (an) sorozat pontosan akkor tart a nullához, ha a tagjai abszolút értékeiből képezett (|an|) sorozat a nullához tart. |
Hiszen a konvergencia definícióját felírva (an) és (|an|)-re azt kapjuk, hogy
tetszőleges n-re és ε-ra, mert mindkét baloldal |an|-kel egyenlő.
Megjegyzés. nem nullsorozatok esetén még az állításban foglalt ekvikonvergencia sem érvényes, csak abban az irányban, hogy ha a sorozat konvergens, akkor az abszolútértéksorozat is konvergens. A másik irányra kiváló ellenpélda a ((-1)n) alternáló sorozat.
Állítás – Konvergencia jellemzése nullsorozatokkal – Az (an) sorozat pontosan akkor tart az A valós számhoz, ha az (an - A) sorozat nullsorozat. |
Ugyanis, az alábbi két kijelentés triviális módon ekvivalens (és pont ez igazolja a két sorozat definíció szerinti ekvikonvergenciáját)
tetszőleges n-re és ε-ra.
Az alábbi állítás lényegében az úgy nevezett rendőrelv egy alakja, mellyel később foglalkozunk részletesebben.
Állítás – Majorálás nullsorozatokkal – Ha (δn) nullsorozat és az (an) sorozat olyan, hogy valamely M-re minden n > M esetén
akkor (an) is nullsorozat. |
Bizonyítás. Legyen ε > 0. δn 0 miatt létezik N természetes szám, hogy minden n > N-re |δn| < ε, így minden n > max{N,M}-re δn már nemnegatív és
Az alábbi tétel az alkalmazások szempontjából különösen fontos.
Tétel – A „korlátosszor nullához tartó” alakú sorozatok elve – Ha (δn) nullsorozat és az (an) korlátos sorozat olyan, akkor
a nullához tart. |
Bizonyítás. Legyen ε > 0 és vegyünk egy olyan K pozitív számot, hogy minden n természetes számra |an| < K legyen. |δn| minden pozitív számnál kisebbé válik, ezért ε/K-hoz is található olyan N természetes szám, hogy minden n > N-re |δn| < ε/K. Így minden n > N-re
Konvergencia, határérték és műveletek
szerkesztésDefiníció – Sorozatműveletek mint pontonként definiált műveletek – Legyen (an) és (bn) valós számsorozat. Ekkor
|
Megjegyzések. Világos, hogy sorozatok különbségét nem feltétlenül szükséges külön definiálnunk, hiszen (an) - (bn) sorozat tekinthető úgy, mint a (an) + (-1) (bn) sorozat (ahol (-1) az azonosan -1 sorozat).
Másrészt függvényként értelmes lenne a hányados, mint n an/bn, mindenféle megszorítás nélkül, azonban ekkor lehetséges lenne, hogy ennek a sorozatnak az értékei legfeljebb csak véges sok indexre értelmezettek. Az ilyen sorozatok konvergencia szempontjából semmiképpen nem vizsgálhatóak, hiszen ezekre a sorozatokra a konvergencia definíciója értelmessé lenne tehető és minden véges sorozat konvergens volna, de nem lenne egyértelmű határértéke. Másrészt elvileg megengedhetőek lennének olyan sorozatok, melyek végtelen sok helyen definiáltak és és végtelen sok helyen nem definiáltak lennének, de az ilyen sorozatok egyszerűen úgy tekinthetőek, mint (a később definiált értelemben vett) részsorozatok.
Tétel – A konvergencia és a határérték is invariáns az alapműveletekre – Ha (an) és (bn) konvergens sorozatok, akkor
|
Bizonyítás. Legyen A és B rendre az (an) és (bn) sorozatok határértékei.
1. Mielőtt a bizonyításba belekezdenénk, felhívjuk a figyelmet a következő, rendkívül célravezető egyenlőtlenségre. Tetszőleges n természetes számra:
mivel az utolsó két tag (az n nagy megválasztásával) tetszőlegesen kicsivé tehető, ezért érdemes őket ε/2-nek (vagy annál kisebbnek) választani.
Legyen tehát ε > 0 szám és legyen Na olyan természetes szám, hogy minden n > Na-ra:
illetve Nb olyan természetes szám, hogy minden n > Nb-re
Ha N az Na és Nb közül a nem kisebbik és n > N, akkor a háromszög egyenlőtlenség segítségével igazoljuk, hogy A+B alkalmas határértéknek:
2. Mielőtt a bizonyításba belekezdenénk, felhívjuk a figyelmet a következő, rendkívül célravezető egyenlőtlenségre. Tetszőleges n természetes számra:
Itt |an-A| és |bn-B| tetszőlegesen kicsivé tehetők, ám a tagokban ezek csak szorzótényezők. B konstans szám, így a második tag szintén tetszőlesesen kicsivé válik. Az |an| szorzó pedig ugyan nem konstans, de minthogy (an) konvergens, így korlátos is és fennáll az
alkalmas K pozitív számmal (korláttal) minden n esetén.
Legyen tehát ε > 0 szám és legyen Na olyan természetes szám, hogy minden n > Na-ra:
illetve Nb olyan természetes szám, hogy minden n > Nb-re
Legyen N az Na és Nb közül a nem kisebbik és n > N, ekkor a háromszög egyenlőtlenség segítségével igazoljuk, hogy A B alkalmas határértéknek:
Itt a nevezőt azért kellett |B|+1-re választani, mert bn 0 esetén ez nem lenne értelmezve.
3. Ezt a bizonyítást nullsorozatokkal végezzük el, bár a definíció szerint is eljárhatnánk. Tetszőleges n-re fennáll:
Ebből látható, hogy mindkét tag korlátos szor nullához tartó alakú. Az első tag első tényezője egy indextől kezdve biztosan felülbecsülhető egy pozitív számmal, mert |bn| határértéke pozitív, így egy indextől kezdve biztosan nem veszi fel a 0 értéket, egy k > 0 alsó korlátnál nagyobb marad. A második tag második tényezője pedig ugyan emiatt K/k2-nél lesz kisebb, ahol K az (|an|) konvergens sorozat felső korlátja. Végül a (|an-A|) és (|bn-B|) nullához tartók.
Feladatok
szerkesztés1. Konvergens-e és ha igen, mi a határértéke az alábbi sorozatnak?
(Útmutatás: a számlálót és nevezőt osszuk le a nevező legmagasabb fokú tagjával.)
Hivatkozva a határérték és műveletek kapcsolatára vonatkozó tételre.
Megjegyezzük, hogy polinomok hányados esetén, ha a számláló és a nevező azonos fokszámú, akkor a hányados a számláló és a nevező főegyüthatójának hányadosához tart.
2. Konvergens-e és ha igen, mi a határértéke az alábbi sorozatnak?
(Útmutatás: tekintsük törtnek és gyöktelenítsük a számlálóját.)
Ezzel kapcsolatban rámutatnánk az
azonosság múlhatatlan fontosságára, melyet az számlálóban alkalmaztunk az
szereposztásban.
3. Konvergens-e és ha igen, mi a határértéke az alábbi sorozatnak?
(Útmutatás: a második tényezőt tekintsük törtnek és gyöktelenítsük a számlálóját.)
Ezzel kapcsolatban rámutatnánk az
azonosság múlhatatlan fontosságára, melyet az számlálóban alkalmaztunk az
szereposztásban.
Mértani sorozat
szerkesztésAzok a mértani sorozatok, melyek kvociensének abszolút értéke kisebb mint 1, a nullához konvergálnak. Pont emiatt ezeknél a sorozatoknál teljesen érdektelen, hogy mi az első tagjuk – rendszerint azt 1-nek választjuk.
Állítás – Ha |q| < 1, akkor (qn) konvergens és lim(qn) = 0. |
Az állítás legegyszerűbb (bár módszertanilag talán kifogásolható) bizonyítása, ha megkíséreljük a definíciót felírva megoldani a szokásos egyenlőtlenséget. Legyen ε pozitív szám és keresünk olyan N-et, hogy minden n > N-re
teljesüljön. Ehhez oldjuk meg az alábbi egyenlőtlenséget n-re:
Feltehető, hogy q nem nulla, hiszen ekkor az azonosan nulla sorozattal van dolgunk. Vegyük a tizes alapú logaritmusát:
< | ||
< | ||
> |
hiszen negatív számmal osztva az egyenlőtlenség megfordul. Ezért ha N-et az előző egyenlőtlenség jobb oldalánál nagyobbra választjuk, akkor a nála nagyobb n-ekre bizonyosan igaz lesz a kívánt állítás.
A monoton-korlátos kritériummal igazoljuk, hogy (qn) nullsorozat, ha |q| < 1. Elegendő az 1 > q > 0 esetre vizsgálni. Világos, hogy monoton csökkenő, mert minden n természetes számra:
Másrészt nem lehet pozitív alsó korlátja, mert ha lenne p > 0, hogy minden n-re qn > p lenne, akkor
lenne, de konvergens és az 1-hez tart, ami lehetetlenné teszi, hogy 1-nél kisebb q felső korlátja legyen.
Hányadoskritérium sorozatokra
szerkesztésÁllítás – Hányadoskritérium sorozatokra
|
Bizonyítás. Legyen q tételbeli hányadossorozat (jelöljük (cn)-nel) limszupja. Ekkor tetszőleges p-re, melyre q < p < 1 teljesül, igaz, hogy a (cn) elemei egy N indextől kezdve mind a [0, p] intervallumba esnek (a sorozatnak véges sok tagja lehet csak a limszup fölött), azaz n > N-re
Ez azt jelenti, hogy
vagyis
Végeredményben az (aN+1+k) sorozatot majorálja a (aN+1 pk) mértani sorozat és minthogy p < 1, így (aN+1+k) nullsorozat lesz. Viszont ekkor maga (an) is nullsorozat, hiszen a határértéken mit sem változtat, ha a sorozat első véges sok tagját megváltoztatjuk.
Nevezetes nullsorozatok
szerkesztésÁllítás – Ha y ∈ R és x > 1, akkor
|
Megjegyzés. Ezekre az esetekre érdemes bevezetni egy újabb szóhasználatot. Legyen (an) és (bn) két pozitív tagú sorozat. Azt mondjuk, hogy az (an) sorozat erősebb, mint a (bn), (illetve erősebben tart a végtelenhez, abban az esetben, ha a végtelenhez tartanak) ha
ezt még úgy is jelöljük, hogy
Az állításban tehát úgy is fogalmazható, hogy midegyik esetben a nevezőbeli sorozat erősebb, mint a számlálóbeli, vagy szimbolikusan:
Bizonyítás. A hányadoskritériumot fogjuk használni.
1) y > 0-ra nézzük csak, ellenkező esetben az állítás triviális.
ahol a jelölés az y felső egészrészét jelöli.
2) x > 1-re nézzük csak, ellenkező esetben az állítás triviális.
3)