Numerikus sorozatok/Korlát és határ
Korlát és határ
szerkesztésVilágos, hogy egy valós számsorozat mint függvény (hozzárendelés) értelmezési tartománya a természetes számok halmaza:
(esetleg hozzávehetjük a 0-t, vagy elhagyhatunk véges sok elemet). Értékkészlete (azaz a sorozat által a természetes számokhoz rendelt számok összessége) nyilván a valós számok egy megszámlálható részhalmaza:
- ahol
Definíciók
szerkesztésLegyen H halmaz, (an) pedig számsorozat.
Korlátosság
szerkesztésAzt mondjuk, hogy H korlátos, ha találhatunk olyan k és K számot, hogy H minden eleme k és K közé esik, vagy egyenlő vele. Szimbolikusan:
- (an)-t korlátosnak nevezzük, ha értékkészlete korlátos, azaz létezik olyan k és K szám, hogy minden n ∈ Z+-ra .
- (an) tehát nem korlátos, ha vagy minden k-ra létezik n, hogy an < k, vagy minden K-ra létezik n, hogy K < an.
A korlátosságot még úgy is megfogalmazhatjuk, hogy
illetve
Megjegyezzük, hogy az üres halmaz korlátos, mert ellenkező esetben lenne végtelen sok tagja, melynek abszolút értéke minden előre megadott számnál nagyobb. Ebből még az is következik, hogy minden véges halmaz is korlátos.
Felülről korlátos
szerkesztésAzt mondjuk, hogy H felülről korlátos, ha találunk olyan K számot, hogy H minden eleme K-nál nem nagyobb. Szimbolikusan:
Ebben az esetben K a H egy felső korlátja (világos, hogy ilyenből több is lehet).
- (an)-t felülről korlátosnak nevezzük, ha értékkészlete felülről korlátos, azaz létezik olyan K szám, hogy minden an a K-nál nem nagyobb:
- Ekkor a K valós szám a sorozat egyik felső korlátja.
- (an) tehát felülről nem korlátos, ha minden K-ra létezik n, hogy K < an, azaz (an) „minden határt túllép”:
Megjegyezzük, hogy a definíció értelmében az üres halmaz felülről korlátos és minden szám felső korlátja, ellenkező esetben ugyanis lenne az üres halmaznak olyan eleme, mely egy előre megadott számnál nagyobb lenne, ami lehetetlen – lévén az üres halmaz elemnélküli.
A H halmaz legkisebb felső korlátját (ha van), a H szuprémumának, vagy felső határának nevezzük és
-val jelöljük.
- Ha a H halmaz felülről nem korlátos, akkor általános értelemben vett felső határa a +∞ szimbólum:
- sup H = +∞ definíció szerint, ha H felülről nem korlátos
- (an) legkisebb felső korlátját (ha van) a sup(an) szimbólum jelöli.
- ha tehát (an) felülről nem korlátos, akkor sup(an) = +∞
Megjegyezzük, hogy az üres halmaz legkisebb felső korlátján a -∞ szimbólumot értjük.
Alulról korlátos
szerkesztés- Azt mondjuk, hogy H alulról korlátos, ha találunk olyan k számot, hogy minden x ∈ H esetén teljesül. Ekkor egy ilyen k valós szám a H halmaz egy alsó korlátja (világos, hogy több ilyen is lehet).
- (an)-t alulról korlátosnak nevezzük, ha értékkészlete alulról korlátos, azaz létezik olyan k szám, hogy minden -ra . Ekkor k az (an) sorozat egy alsó korlátja.
- (an)-tehát alulról nem korlátos, ha minden k-ra létezik n, hogy an < k, azaz:
A H halmaz legnagyobb alsó korlátját (ha van), a H infimum ának, vagy alsó határának nevezzük és
-val jelöljük. Ha a H halmaz alulról nem korlátos, akkor általános értelemben vett alsó határán a -∞ szimbólumot értjük:
- inf H = -∞ definíció szerint, ha H alulról nem korlátos
(an) legnagyobb alsó korlátját (ha van) az inf(an) szimbólum jelöli.
- (an) alulról nem korlátos, akkor és csak akkor, ha inf(an) = -∞
A felső és alsó határról
szerkesztésPont a sorozatok mutatnak rá arra, hogy egy végtelen halmazban egyáltalán nem biztos, hogy van legkisebb vagy legnagyobb elem. Például az
sorozatnak nincs legnagyobb értékű eleme, hiszen n < n + 1, és így amiből , azaz minden tagjánál van nagyobb értékű tag. Van azonban a felső korlátai között legkisebb, ez az 1. Van továbbá a sorozatnak legkisebb értéke, azaz minimumértéke, a 0. Hasonlóképpen az
sorozatnak nincs legkisebb eleme, de van az alsó korlátai között legnagyobb, az 1. Van viszont legnagyobb értéke, a 2.
Ha felidézzük a négyzetgyök kettő közelítését, akkor szembetűnhet egy lényeges eltérés a valós alsó és felső határ és a racionális alsó és felső határ között. Ha vesszük az ottani intervallumskatulyázást, akkor az intervallumok végpontjai mind racionális számok. A felső végpontok (bn) sorozatának alsó határa a , de ez nem racionális szám. A racionális számok körében nem igaz az, hogy minden alulról korlátos halmaznak van racionális értékű alsó határa. (an) és (bn) két olyan sorozat, melyek elemeinek távolsága minden határon túl csökken, de a sorozatok nem racionális számra mutatnak, hanem irracionálisra. Az alsó sorozat felső határa és a felső sorozat alsó határa ugyan egyetlen valós szám, de nem racionális. Nem nyilvánvaló tehát hogy egy felülről korlátos sorozat végtelen sok felső korlátja között van legkisebb.
Megjegyzés. A valós számok esetén nem üres felülről korlátos halmaznak mindig van felső határa és alulról korlátos halmaznak alsó határa. Ez a valós számegyenes hézagmentességére utal. A hézagmentesség azonban csak egyfajta szemléletes kép. Gondolkodhatunk másképpen is. Vegyük az f(x) = x3 - 2 függvényt. Ennek van zérushelye a valós számok között, ugyanis felveszi a 0 értéket az irracionális helyen. Ezt a számot a Bolzano-féle intervallumfelezéses eljárás segítségével megtalálhatjuk. Ez azonban csak azt jelenti, hogy a negatívok felől az x tengely felé közelítve a függvény – a valós számegyenes felső határ tulajdonsága folytán – kényszerű útba ejteni az x tengely értékű valós pontját, holott körülötte, lehet hézagok vannak. Ugyanúgy, ahogy egy racionális együtthatós nemkonstans lineáris függvénynek mindig van racionális zérushelye, ezért a függvény a negatívokból a pozitívokba áthaladva a racionális x tengelyt mindig útba kell ejtenie – holott a racionális számok közé más számok is be vannak ékelődve. Természetesen az, hogy a számegyenes „hézagmentes” vagy sem, nem a matematika mindennapi gyakorlatát érintő kérdés, ezzel a matematikai analízis tudománya nem foglalkozik, legfeljebb a modellelmélet.
Felső határ axióma, határok jellemzése
szerkesztésA valós számegyenes előbb említett tulajdonsága nem vezethető a számolási és összehasonlítási szabályokból (ezt az is mutatja, hogy az ugyanazon számolási és rendezési tulajdonságokkal bíró racionális számkörre szorítkozva, ahogy fentebb emlékeztettünk rá, nem igaz, holott, ha e szabályokból következne, akkor a racionális számok körében is igaz kellene, hogy legyen). Muszáj új axiómát kimondanunk rá:
- Felső határ axióma. A valós számok bármely nem üres, felülről korlátos részhalmazának van felső határa.
(Ebből természetesen következik a megfelelő, alsó határra vonatkozó állítás.)
Konkrét számításoknál a következő módon igazoljuk, hogy egy szám szuprémuma, vagy infimuma egy sorozatnak.
Az S szám pontosan akkor szuprémuma az (an) sorozatnak, ha
- S felső korlátja (an)-nek, és
- minden ε > 0 számra létezik olyan N természetes szám, hogy S - ε < aN
(azaz, ha felső korlát, de semmilyen nála kisebb szám már nem felső korlát).
Az I szám pontosan akkor infimuma az (an) sorozatnak, ha
- I alsó korlátja (an)-nek, és
- minden ε > 0 számra létezik olyan N természetes szám, hogy an < I + ε
(azaz, ha alsó korlát, de semmilyen nála nagyobb szám már nem alsó korlát).
Archimédeszi axióma
szerkesztésVisszatérve a példákhoz, a természetes számok (n) = (1,2,3,...) sorozata alulról korlátos, de felülről nem korlátos. Ez a tény levezethető a felső határ axiómából, de néha ehelyett (a Cantor-axiómával együtt) axiómaként mondják ki.
- Archimédeszi axióma. Minden valós számnál van nagyobb természetes szám.
Ebből viszont már az is következik, hogy
ugyanis ha ε > 0 tetszőleges, akkor az archimédeszi tulajdonság miatt létezik N természetes szám, hogy
- ,
azaz
- .
Egymásba skatulyázott intervallumok, Cantor-axióma
szerkesztésKözösrész tétel
szerkesztésAz intervallumfelezéses eljárás a közelítő meghatározására a számegyenes pontjainak nevezetes geometriai tulajdonsága miatt járt sikerrel. Igazolható, hogy az alábbi kijelentés és az archimédeszi axióma közös fennállásának megkövetelése egyenértékű a felsőhatár axióma fennállásával.
Cantor-axióma – Az egymásba skatulyázott intervallumok elve – Ha (an) és (bn) olyan számsorozatok, hogy teljesül rájuk, hogy
akkor létezik olyan c szám, hogy
Azaz véges hosszúságú és zárt, egymásba skatulyázott intervallumok végtelen sorozatának van közös része:
Intervallumfelezés
szerkesztésAz intervallumfelezéses eljárással ennél többet tudunk elérni. Ha az intervallumok hossza mindig feleződik, akkor nem csak az igaz, hogy létezik közös pont, hanem hogy egyetlen közös pontja létezik az intervallumrendszernek. Ehhez tehát az kell, hogy az intervallumok hosszúságának sorozata minden előre megadott pozitív számnál kisebb legyen, azaz minden határnál kisebbé váljon. Teljes indukcióval igazolható, hogy n < 2n minden n természetes számra. Ebből az következik, hogy
- ,
s mivel már (1/n)-nek is 0 az infimuma, ezért az általa felülbecsült (majorált) pozitív értékű sorozat infimuma is az
- .
Azaz az intervallumfelezésnél az intervallumok hossza valóban minden pozitív alsó korlátot alá csökken, tehát kimondhatjuk:
Az intervallumfelezéses eljárás elve – Ha az (an) monoton növekvő számsorozat, a (bn) monoton csökkenő számsorozat és
- minden n és m természetes számra
- minden n természetes számra
akkor az ([an, bn)] intervallumrendszernek egyetlen közös pontja van.
Felsőhatár axióma = archimédészi axióma + Cantor-axióma
szerkesztésIgazolható, hogy a felsőhatár axióma állítása egyenértékű a archimédészi axióma és a Cantor-axióma együttes fennállásának megkövetetlésével.
Feladatok
szerkesztés1. Adjuk meg az alábbi sorozat alsó és felső határát! (A sorozat sorszámozása 1-től indul.)
(Útmutatás: Határozzuk meg a -1 kitevőinek paritását, majd írjuk fel a sorozat hozzárendelési utasítását párosakra és páratlanokra.)
A másodfokú kifejezés a kitevőben mindig páros, így páros n-re:
páratlan n-re pedig
így a szuprémum 5, az infimum 0. (Az utóbbi triviálisan igaz, az első pedig az 1/n sorozat n=1-ben felvett maximuma miatt.)
2. Adjuk meg az alábbi sorozat alsó és felső határát!
(Útmutatás: a felső határhoz állítsuk elő a 0,222... végtelen szakaszos tizedestört közönséges tört alakját. Igazoljuk indirekt módon, hogy ez az érték felső korlát és nincs nála kisebb ilyen.)
A sorozat növekszik, a minimuma és egyben az alsó határa 0,2. A felső határa 2/9. Ezt igazoljuk is.
2/9 felső korlát. Tegyük fel ugyanis, hogy a 2/9 nem lenne felső korlát. Ekkor lenne olyan n, hogy
lenne. Ám ekkor 10n-nel beszorozva:
és 2-vel osztva:
és 9-cel szorozva:
ami ellentmondás.
Nincs kisebb felső korlát. Jelöljük a sorozatot (an)-nel. Belátjuk, hogy minden n-re 2/9 - an < 1/n:
Már innen is látszik, hogy 2/9 és a sorozat tagjainak eltérése minden határon túl csökken, de egzakt módon kifejtve:
vagyis
Ha tehát ε > 0, akkor létezik N, hogy 1/N < ε, így a fenti egyenlőtlenség miatt
Tehát 2/9 – ε már semmilyen pozitív ε-ra nem felső korlát.