Sorozat (matematika)

A Wikipédiából, a szabad enciklopédiából.

Formális definíció szerint véges sorozaton az 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: $(a_1, a_2, ...)\,$ , illetve $(a_n)\,$ .

Időnként szükségünk van a semmilyen elemet nem tartalmazó üres sorozatra. Ennek hossza 0, és ( )-val vagy $λ$ -val jelölik.

Tartalomjegyzék

1 A sorozat fogalmáról és jelöléséről
2 A sorozatok típusai és tulajdonságai
3 Sorozatok az analízisben
4 Sorok
5 Végtelen sorozatok a számítógép-tudományban
6 Lásd még
7 Források
8 Külső hivatkozások

[szerkesztés] A sorozat fogalmáról és jelöléséről

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.

A sorozatok lehetnek végesek, mint az előbbi példában, vagy végtelenek, mint pl. a pozitív páros számokból (2,4,6…) képezett sorozat. A sorozat tagjait elemeknek szokás hívni, az elemek számát pedig a sorozat hosszúságának (ami végtelen is lehet).

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 elméletben (mint például a kombinatorikus számelméletben) alapfogalomnak tekinthető, néhol (például az matematikai analízisben vagy a halmazelméletben) származtatott fogalom.

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 $n$ természetes szám elemszámú elemre. Jelölése például: ( $a 1$ , $a 2$ ,..., $a n$ )
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 $\mbox{ }_{(a_n)_{n\in\mathbb{N}}}$ vagy a : N $\rightarrow$ H (ahol H tetszőleges halmaz) ritkábban ( $a 1$ , $a 2$ ,..., $a n$ , ...)
rekurzív sorozatok – valahol a véges és végtelen sorozat fogalma között vannak a rekurzív sorozatok, melyek 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 ha akarunk tehetünk különbséget, amennyiben felfigyelünk arra, hogy a rekurzív sorozatok elemei véges eljárással, konstrutí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.
á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.

[szerkesztés] A sorozatok típusai és tulajdonságai

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.

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.

[szerkesztés] Sorozatok az analízisben

A matematikai analízisben a sorozatokat általában ilyen formában említik:

$(x_1, x_2, x_3, ...)\,$ vagy $(x_0, x_1, x_2, ...)\,$ ,

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 $x_n = \frac{1}{\mathrm{lg}(n-5)}$ sorozat csak az $n \ge 7 \,$ -n értelmezett.) Végtelen sorozatoknál általában elégséges feltenni, hogy a sorozat elemei egy elég nagy $n$ (tehát nagyobb, mint valamilyen adott $N$ ) 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 (pl. 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.

[szerkesztés] Sorok

Ha adott egy $(x_n):=(x_1, x_2, x_3, ...)\,$ sorozat, akkor részletösszegei $(S_1, S_2, S_3, ...)\,$ sorozata (ahol $S_n\,$ a sorozat első $n$ tagjának összege, a részletösszeg) nem más, mint az $(x_n)\,$ -ből képezett sor.

[szerkesztés] Végtelen sorozatok a számítógép-tudományban

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ó $\mathcal{C}=\{0,1\}^\infty$ 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 $n$ -edik bitje csakkor 1-es, ha az $n$ -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 $\{0,1,...,b-1\}\,$ ábécéből vett végtelen sorozat meghatározhat egy $b$ 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.