Sorozat (matematika)
Formális definíció szerint véges sorozaton a természetes számok egy véges {1, 2, … , n} részhalmazán értelmezett, végtelen sorozaton (régiesen: haladványon) pedig a természetes számok halmazán (általában Z+-on) értelmezett függvényt értünk.
A kérdéses természetes számokat (a sorozat értelmezési tartományának elemeit) indexeknek, a hozzájuk rendelt elemeket (a sorozat értékkészletének elemeit) a sorozat tagjainak nevezzük. Egy sorozat (leggyakoribb) jelölése: , illetve .
Időnként szükségünk van a semmilyen elemet nem tartalmazó üres sorozatra. Ennek hossza 0, és ( )-val vagy -val jelölik.
A sorozat fogalmáról és jelöléséről
[szerkesztés]Szemléletesen, egy sorozaton dolgok (például: számok, függvények) egy listáját értjük, ahol a lista tagjainak sorrendje jól meghatározott. Egy elem többször is (akárhányszor) előfordulhat.
Például a (C,Y,R) betűk egy sorozata, ami különbözik az (Y,C,R)-től, hiszen a sorrend fontos.
Amikor elemek egy sorozatáról beszélünk, akkor lényeges a tagok sorrendisége, rendezettsége, mely egyértelműen meghatározott. Ez a tulajdonság azonban nem alkalmas a sorozat fogalmának egyértelmű meghatározására. A különböző tárgyalási szinteken más és más sorozatfogalommal van dolgunk. Némely, elsősorban metamatematikai jelentőségű elméletben alapfogalomnak tekinthető, de az „alkalmazott” tudományágakban (ide tartozik az akadémikus matematika szinte egésze, mint például a halmazelmélet, az analízis, a számítógéptudomány stb.) általában származtatott fogalom.
Véges és végtelen sorozat
[szerkesztés]A sorozatok lehetnek végesek, mint az előbbi példában, vagy végtelenek, mint például a pozitív páros számokból (2,4,6…) képezett sorozat. A sorozat tagjait elemeknek (vagy tagoknak) szokás hívni, az elemek számát pedig a sorozat hosszúságának (ami végtelen is lehet).
- véges sorozat – a véges matematikában, a formális nyelvekkel foglalkozó matematikai logikában és informatikában a véges sorozat lényegében a rendezett pár fogalmának általánosítása két elemről tetszőleges természetes szám elemszámú elemre. Jelölése például: (,,…,)
- végtelen sorozat – ha egy végtelen elemet tartalmazó sorozatra, mint teljes egészre kívánunk hivatkozni, akkor elkerülhetetlen, hogy a végtelen matematikájának fogalmait használjuk, azaz a halmazelméletet. Ekkor a végtelen sorozaton a természetes számok N halmazán értelmezett függvényeket értjük, mely függvények ílymódon maguk is rendezett párok speciális halmazai. Ekkor a sorozat jelölése inkább vagy a : N H (ahol H tetszőleges halmaz) ritkábban (,,…,, …)
- általánosított sorozat – a transzfinit matematikában a sorozat fogalma többféleképpen is általánosítható. Nem kell feltennünk, hogy N-en legyen értelmezve egy (általánosított) sorozat. Például elegendő, ha egy olyan rendezett halmazon, mely felfelé irányított vagy egy tetszőleges jólrendezett halmazon, sőt, elég, ha az összes rendszám osztályán értelmezett egyértelmű hozzárendelés. Ekkor is a sorozatokhoz hasonló tulajdonságú fogalmakat kapunk.
- rekurzív sorozatok – ezek akárhány eleme kiszámítható a megelőző elemeinek segítségével. Ezekre természetesen gondolhatunk úgy is, mint halmazelméleti függvényekre, de nem eltekintve lényeges kiszámíthatósági tulajdonságától a rekurzív matematika egy alapfogalmaként is szerepeltethetjük. Egy rekurzív sorozat és egy halmazelméleti sorozat között különbséget tehetünk, amennyiben felfigyelünk arra, hogy a rekurzív sorozatok elemei véges eljárással, konstruktív módon adottak, ellentétben az általános halmazelméleti függvényfogalomtól, mely nem követeli meg semmilyen képlet létezését.
Példák
[szerkesztés]- egész számok ötelemű sorozata
- trigonometrikus függvények négyelemű sorozata
- Prímszámok sorozata
- Halmazok végtelen sorozata
- Általános végtelen sorozat, nullától indexelve
Sorozatok megadása
[szerkesztés]A sorozatokat különféleképpen lehet megadni:
- Az összes elem felsorolása (csak véges esetben)
- A kiszámítás módjával:
- Függvényegyenlet
- Sor
- Rekurzió
- Algoritmus
Megadás első néhány elemmel
[szerkesztés]Az első néhány elemmel való megadás matematikailag problematikus, habár hasonló sorozatfolytatós feladatok intelligenciatesztekben is szerepelnek. Ennek az az oka, hogy képzési szabály hiányában a következő elem bármi lehet:
- Az első néhány elem 0, 1, 2, 3. A leghhihetőbb szabály az, hogy ez a természetes számok felsorolása, azaz a folytatás 4, 5, 6, …. Egy másik szabály lehet, hogy a sorozat periodikusan ismétlődik, azaz a folytatás 0, 1, 2, 3, 0, …, az egész számok maradékai néggyel osztva. De lehet más is a modulus, például öt, de semmi sem tiltja, hogy ez ne lehessen 232, és ne előjeles maradékokat képezzünk. Ebbe az esetben a sorozat: 0, 1, 2, 3, …, 2147483647, −2147483648, −2147483647, …, −1, ami elölről kezdi a periódust.
- A 3, 1, 4, 1, 5 sorozat egyik logikus folytatása 1, 6, 1, 7, …. De fel lehet ismerni a pi első számjegyeit is, és a sorozatot úgy folytatni, hogy 9, 2, 6, … .
- Igazából bármi lehet a következő szám. Interpolációval ugyanis lehet az adott elemekre polinomot illeszteni, melynek értékei megadják a sorozat hátralevő tagjait.
Az On-Line Encyclopedia of Integer Sequences (OEIS) sok matematikailag releváns sorozatot tartalmaz. Ebben lehet részsorozat szerint is keresni.
Megadás függvénnyel
[szerkesztés]Egyes sorozatok megadhatók függvénnyel, ami minden természetes számhoz kiszámolja a sorozat annyiadik elemét. Tehát elvégzi az
számítást.
A következő példákban az indexeket használjuk.
- A természetes számok: 0, 1, 2, 3, … Képzési szabálya
- A páratlan természetes számok: 1, 3, 5, 7, … Képzési szabálya
- A 2 hatványai: 1, 2, 4, 8, … Képzési szabálya
A függvény ismeretében az első néhány tag kiszámítható. Ehhez be kell helyettesíteni az , , , … értékeket, és elvégezni a számításokat. Ezzel a számolással meghatározható, hogy hogy viselkedik a sorozat eleje. Azonban ebből nem lehet messzemenő következtetéseket levonni. Példa erre az sorozat, mely az első ezer tagjáig emelkedik, utána azonban újra csökken, ahogy azt a nagyobb tízhatványok is mutatják.
A másik irány azonban nem ilyen egyértelmű, emiatt ezeket a feladatokat úgy szokták kitűzni, hogy könnyen észre lehessen venni a szándékolt szabályt. Néhány ilyen szabály:
- Váltakozik-e az előjel? Ha igen, akkor a képzési szabályba bekerül egy tényező.
- Ha a sorozat elemei törtek, akkor lehet külön szabályt keresni a számlálóra és a nevezőre. Például 1/1, 2/2, 3/4, 4/8, … képzési szabálya .
- Ha az elemek különbsége állandó, akkor a sorozat feltehetően számtani. A számtani sorozatok általános képzési szabálya , ahol d a sorozat különbsége. Például az 1, 3, 5, 7, … sorozat képzési szabálya .
- Ha az elemek különbségének különbsége állandó, akkor a sorozat másodrendű számtani sorozat, ami felfogható sorként. Például a háromszögszámok sorozata: 1, 3, 6, 10, 15, … , különbségeik 1, 2, 3, 4, …
- Ha az elemek hányadosa állandó, akkor a sorozat mértani. A mértani sorozatok általános képzési szabálya , ahol q a sorozat hányadosa. Például a 100; 80; 64; 51,2; … sorozat elemenként 0,8-edrészére csökken. Képzési szabálya .
Előfordul, hogy a sorozat első elemei ismeretlenek. A szabály felismerését nehezítheti az egyszerűsítés is. Például a fenti 1/1, 2/2, 3/4, 4/8, … törtekből álló sorozat egyszerűsítve 1, 1, 3/4, 1/2, …
Megadás sorként
[szerkesztés]A sor egy olyan sorozat, melynek -edik eleme egy másik sorozat első elemének összege. Jelölje a sort , a másik sorozatot ! Ekkor teljesül hogy
- minden -re.
A szumma jellel írt kifejezés az kifejezés rövidítése. A szumma jelen belül és kívül különböző indexeket kell használni.
Ahhoz, hogy kiszámoljuk értékét, ismernünk kell az értékét. Ezzel szemben az index nem egy előre adott szám, hanem befutja a 0, 1, …, értékeket, és hozzájárul , , …, kiszámításához.
Minden sorozat felfogható sorként, és konstruálható hozzá a különbségek sorozata, így a sorozat és a sor fogalma nem választható szét élesen. Az idősoranalízis sorai is sorozatok. Sok magyarázó modell azonban nem közvetlenül az abszolút értékeket, hanem azok időbeli változásait használja, tehát az abszolút értékeket sorként fogja fel.
Különös jelentőséget nyer a sorozatok sorként való felfogása, hogyha az összegzés tetszőleges adott indexre elvégezhető. Például a számtani és a mértani sorozatok összegzési képlete ismert.
A sorok vizsgálata segít eldönteni, hogy egy sorozat konvergens-e, és ha igen, akkor mi a határértéke. Egy sor konvergenciájából pedig következik, hogy a különbségsorozat konvergens, és határértéke nulla.
Megadás rekurzióval
[szerkesztés]A rekurzióval való megadáshoz felsoroljuk az első néhány elemet, melyekből rekurzívan képezhetők rendre a sorozat elemei. Jelölje a felsorolt elemek számát, ekkor a rekurzió az elemekből számítja ki az elemet.
A legismertebb rekurzív sorozat a Fibonacci-sorozat. Itt , az első két elem és , illetve a rekurzív szabály
Moivre és Binet explicit képlete az aranymetszéssel és az arany aránnyal áll kapcsolatban:
Ebben a felírásban is mindig egész elemeket kapunk, mivel páratlan hatványai kiesnek.
Egyes sorozatok esetén a függvénnyel való megadásból rekurzió vezethető le. Például a mértani sorozat
- képzési szabályából adódik, hogy
Például az
rekurzió a 2, 3/2, 17/12, …, racionális számokból álló sorozatot definiálja, melynek határértéke .
Megadás algoritmussal
[szerkesztés]Egyes sorozatokat nem függvénnyel, hanem algoritmussal szokás megadni. Egy ilyen sorozat a prímszámoké. Már az ókori görögök (és esetleg indiaiak) ismertek egy módszert, mellyel a sorozat elemei kiszámíthatók, ez Erathoszthenész szitája. Azonban nincs ismert módszer arra, hogy adott i esetén meghatározzuk az i-edik prímszámot, anélkül, hogy ismernénk az összes nála kisebb prímet. Ha nem a tizedik vagy századik, hanem a -adik prímet akarjuk ismerni, akkor megugrik a számítási igény.
Az egy sorozat kiszámításához szükséges legrövidebb algoritmus hossza a Kolmogorov-bonyolultsága. Néha ezt az elnevezést szűkebb értelembe, véges sorozatokra használják, melyek véges halmazba mennek. A pontos érték az algoritmust leíró programozási nyelvtől függ; azonban az invarianciatétel[1] szerint ez a különbség egy nyelvfüggő additív konstans.
A sorozatok típusai és tulajdonságai
[szerkesztés]Egy adott sorozat részsorozata egy olyan sorozat, amit az eredeti sorozat néhány elemének elhagyásával kapunk, anélkül hogy az elemek egymáshoz viszonyított sorrendjét megváltoztatnánk.
Monoton növekvő vagy csökkenő sorozatok
[szerkesztés]Ha egy sorozat elemei egy részben rendezett halmaz részhalmazát alkotják, akkor monoton növekvő sorozatnak nevezzük azt a sorozatot, amelyben minden elem nagyobb, vagy egyenlő (≥) az őt megelőző elemnél. Ha minden elem nagyobb (>) az őt megelőző elemnél, akkor a sorozat szigorúan monoton növekvő. A monoton csökkenő sorozatot hasonlóképpen definiáljuk. Ha e kettő közül bármelyik feltételnek eleget tesz a sorozat, akkor monoton sorozatnak nevezhetjük, ami a monoton függvény egy speciális esete. Az esetleges kétértelműségek elkerülése végett használhatjuk a nem-csökkenő, illetve nem-növekvő kifejezéseket is.
Ha a sorozat elemei egész számok, akkor egész sorozatról, ha polinomok, polinom sorozatról beszélünk.
Korlátosság
[szerkesztés]Egy sorozat felülről korlátos, ha van egy szám, hogy minden esetén . Hasonlóan, egy sorozat alulról korlátos, ha van egy szám, hogy minden esetén . Egy sorozat korlátos, ha felülről és alulról is korlátos. A legkisebb felső korlát a sorozat szuprémuma, a legnagyobb alsó korlát a sorozat infimuma. Szintén általánosítható legalább részben rendezett halmazokra.
Konvergencia
[szerkesztés]A végtelen sorozatok lehetnek konvergensek, azaz tarthatnak egy objektumhoz, vagy divergensek. Az analízis foglalkozik a sorozatok határértékével. Ez alapján definiálnak számos fontos fogalmat, mint függvények határértéke, folytonosság, deriválás és Riemann-integrál. A Taylor-sorokból előállítható analitikus függvények sorában máshonnan ismert sorozatok jelennek meg együtthatókként. Így az elemi függvények is, mint a tangens a Bernoulli-számokhoz vagy a szekáns hiperbolikusz az Euler-számokhoz. Egy sorozat konvergenciájának bizonyítására fontos eszköz a teljes indukció. A korlátosság bizonyítható konvergenciakritériumokkal, például egy monoton és korlátos sorozat konvergens.
További tulajdonságok
[szerkesztés]- Ha egy sorozat elemeinek előjele váltakozik, akkor a sorozat alternáló.
- Ha egy sorozat minden eleme ugyanaz, akkor a sorozat konstans. Számok esetén számtani sorozat 0 különbséggel, és mértani sorozat 1 hányadossal. Ha az elemek rendezett halmazból valók, akkor a sorozat nemnövekvő és nemcsökkenő. Korlátos sorozat, infimuma és szuprémuma a konstans elem. Konvergens, és határértéke a konstans elem.
- Ha egy sorozat minden eleme egy adott indextől ugyanaz, akkor a sorozat stacionárius.
- Ha egy sorozat határértéke nulla, akkor az nullsorozat.
- Ha egy sorozat első néhány elemének ismétléséből áll, akkor a sorozat periodikus. Egy ismétlődő szakasz hossza a sorozat periódusa.
Az analízis feladatai közé tartozik kideríteni, hogy egy sorozat konvergens-e, és ha igen, akkor mi a határértéke. A divergens sorozatoknak is lehetnek sűrűsödési pontjai, például a −1/2, 3/4, −5/6, 7/8, … sorozat sűrűsödési pontjai −1 és 1. A Bolzano–Weierstrass-tétel szerint valós számok minden konvergens sorozatának van sűrűsödési pontja.
Sorozatok az analízisben
[szerkesztés]A matematikai analízisben a sorozatokat általában ilyen formában említik:
- vagy ,
azaz elemek végtelen sorozata, természetes számokkal indexelve. (Néha kényelmes lehet, ha a sorozat nem 1 vagy 0 indexszel kezdődik. Például az sorozat csak az -n értelmezett.) Végtelen sorozatoknál általában elégséges feltenni, hogy a sorozat elemei egy elég nagy (tehát nagyobb, mint valamilyen adott ) indextől kezdve definiáltak.
A legelemibb sorozatok numerikusak, tehát valós vagy komplex számok sorozatai. Általában azonban egy sorozat az értékeit felveheti valamely vektortérből (például az analízisben gyakori esetben függvényterekből vagy topológiai térből), vagy legáltalánosabb esetben absztrakt halmazértékű sorozatokról is beszélünk.
Sorok
[szerkesztés]Ha adott egy sorozat, akkor részletösszegei sorozata (ahol a sorozat első tagjának összege, a részletösszeg) nem más, mint az -ből képezett sor. Például (1, 3, 6, 10, 15, …) az (1, 2, 3, 4, 5, …) sorozat sora. A soroknak számos matematikai alkalmazása van.
Fontos sorozatok
[szerkesztés]Számtani sorozatok és sorok
[szerkesztés]Egy sorozat számtani, ha a szomszédos elemei közötti különbség állandó. Példa erre a páros 2, 4, 6, … és a páratlan számok sorozata, ahol a páros számok sorozatának képzési szabálya
és a páratlanoké
Általában, a számtani sorozatok képzési szabálya
- ahol a sorozat különbsége.
A számtani sorozatokból alkotott sorok másodrendű számtani sorozatok, melyekből hasonlóan képezhetők magasabb rendű számtani sorozatok. Másodrendű számtani sorozatok a háromszögszámok:
Sorozat: | |||||||||||
1. különbségsorozat: | |||||||||||
2. különbségsorozat: |
Adott esetén a rendű számtani sorozatok éppen azok, melyek egy fokú polinommal adhatók meg. Lagrange-interpolációval ez a polinom megtalálható. Például a háromszögszámok polinomja .
Hatványfüggvényen alapuló sorozatok
[szerkesztés]A hatványfüggvényen alapuló sorozatok képzési szabálya a sorszám valamely rögzített hatványra emelése. Ilyen sorozatok a négyzetszámok, köbszámok, további hatványszámok sorozatai.
A négyzetszámok sorozatának képzési szabálya . Másodrendű számtani sorozatot alkotnak:
Sorozat: | |||||||||||
1. különbségsorozat: | |||||||||||
2. különbségsorozat: |
A köbszámok 0, 1, 8, 27, … sorozatának képzési szabálya
az általános hatványsorozaté
ahol egy rögzített szám, ami nem feltétlenül egész. Például esetén a gyökszámokat kapjuk: melynek képzési szabálya
- .
Negatív kitevő esetén vigyázni kell arra, hogy a nem létezik, így nem lehet a nulladik elemet kiszámolni. Például, ha , akkor a képzési szabály
Megoldható a probléma azzal, hogy az indexelést egytől kezdjük, de szokásosabb a sorozatot eltolni. Így a reciprokok sorozatának képzési szabálya
és az első elemek 1, 1/2, 1/3, 1/4, … Általános esetben így a képzési szabály:
Mértani sorozatok
[szerkesztés]Ahogy a számtani sorozatok különbsége, úgy a mértani sorozatok hányadosa állandó: valamely hányadossal. Az általános képzési szabály:
Például és esetén a kettő hatványai:
melynek első néhány eleme 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024. Ezek a számok fontosak a tízesből kettes számrendszerbe és a kettes számrendszerből tízesbe való átváltáskor.
Ha , akkor a mértani sorozat nullához tart. Például az 1; 0,1; 0,01; … sorozat a hányadossal:
Ha , akkor a sorozat konstans. Ha , akkor az első elemből és ellentettjéből álló ciklikus sorozat jön létre, például:
az alap alternáló sorozat: 1, −1, 1, −1, …
A mindennapi alkalmazásra példa a temperált hangolás, ahol is a félhangközök mértani sorozatot alkotnak.
Végtelen sorozatok a számítógép-tudományban
[szerkesztés]Egy véges halmaz ábécéjéből kiválasztott számjegyek vagy karakterek végtelen sorozatait az elméleti számítógép-tudomány vizsgálja. Gyakran egyszerűen betűsorozatoknak vagy jelsorozatoknak nevezik őket (megkülönböztetve a véges hosszú stringektől vagy karakterláncoktól). Például a végtelen bináris sorozatokat a bitek (a {0,1} ábécéből vett karakterek) végtelen sorozata alkotja. Az összes végtelen bináris sorozatot tartalmazó halmazt Cantor-térnek is nevezik.
Egy végtelen bináris sorozat meghatározhat egy formális nyelvet (karakterláncok egy halmaza), ha a sorozat -edik bitje akkor és csak akkor 1-es, ha az -edik karakterlánc (lexikografikus sorrend szerint) a nyelvhez tartozik. Ezért, a komplexitási osztályok elmélete, amely nyelvek halmazaival foglalkozik, tulajdonképpen végtelen sorozatok halmazait tanulmányozza.
A ábécéből vett végtelen sorozat meghatározhat egy számrendszerbeli valós számot is. Gyakran éppen ez az ekvivalencia teszi lehetővé a valós analízis eszköztárának felhasználását a komplexitási osztályokon.
Általánosítások
[szerkesztés]A topológiában a háló a sorozatok általánosítása.
A sorozatok lehetnek általánosított függvények is, egy osztály értékeit, például halmazokat felvéve.
Sorozatterek
[szerkesztés]A sorozatokból sorozatterek képezhetők, melyeket a funkcionálanalízisben előszeretettel használnak példák képzésére.
Lásd még
[szerkesztés]A sorozat fogalmának általánosításai
[szerkesztés]Speciális sorozatok
[szerkesztés]Sorozatanalízis
[szerkesztés]Források
[szerkesztés]- Bourbaki: Éléments de mathématique. Theorie des Ensembles II/ III, Paris, 1970
- Harro Heuser: Lehrbuch der Analysis, Teil 1, Teubner Verlag, Stuttgart
Fordítás
[szerkesztés]- Ez a szócikk részben vagy egészben a Folge (Mathematik) című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.
További információk
[szerkesztés]Jegyzetek
[szerkesztés]- ↑ M. Li, P.M.B. Vitányi: Kolmogorov Complexity and its Applications. In: Jan van Leeuwen (Hrsg.): Algorithms and Complexity (= Handbook of Theoretical Computer Science, Band A). Elsevier, 1990, S. 187–254, hier: S. 198.