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.
 
Az   függvénysorozat első öt elemének grafikonja
  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
 
Egy sorozat folytatása különböző Lagrage-függvények alapján. A sorozat első elemei 1,2,3. A grafikonok a függvények futását mutatják

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.

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
  • 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
A magyar Wikikönyvekben
további információk találhatók
  1. 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.