Konvergencia
Konvergencia (új-lat., a. m. összetartás), a matematikában a végtelen műveletsorozatok elméletének egyik alapfogalma. Annak magyarázatára, hogy mit kelljen végtelen műveletsorozat alatt érteni, képzeljük adva a számoknak egy bizonyos törvény szerint minden határon tul folytatható sorozatát:
| u1, u2, u3, ..., un, ... | (1) |
Hogy ha ennek első, első két, első három, általában első n számából egy bizonyos eljárás segítségével egy-egy új számértéket képezünk, akkor ily módon a számoknak egy új végtelen sorozatát nyerjük:
| T1, T2, T3, ...., Tn, ... | (2) |
Az eljárást, melynek segítségével ezt az új sorozatot képezzük, végtelen műveletsorozatnak nevezzük. A végtelen műveletsorozatok közül a gyakrabban előfordulókra külön elnevezések és szimbolumok használatosak. Igy, ha
Tn = u1 + u2 + ... + un,
akkor azt mondjuk, hogy az (1) sorozatból végtelen sort képezünk. Ennek szimboluma:
 un = u1 + u2 + u3 + ... | (a) |
Hogy ha Tn = (1 + u1) (1 + u2) ... (1 + un), akkor végtelen szorzattal van dolgunk, melynek szimboluma:
 (1 + un) = (1 + u1) (1 + u2) (1 + u3)... | (b). |
A végtelen lánctörtek egy egyszerübb esetét nyerjük, midőn
szimboluma:
(c)
Hogy ha a (2) sorozat tagjai az n növekedtével egy bizonyos véges meghatározott értékhez közelednek (l. Határérték), vagyis hogy ha lim (n=∞)Tn létezik és véges, azt mondjuk, hogy az (1) sorozatból képezett végtelen sor, illetve végtelen szorzat, végtelen lánctört összetartó v. konvergens. Ehhez még csak azt teszszük hozzák, hogy e határértéknek a végtelen szorzat esetében a 0-tól is különbözőnek kell lennie. A K. tehát ezeknek az alakoknak csak akkor tulajdonsága, hogy ha a fennebb leirt eljárás egy véges és a végtelen szorzat esetében a 0-tól is különböző határértékhez vezet. E határértéket magát az illető végtelen sor, stb. értékének nevezzük és az (a), illetőleg (b), (c) alatti szimbolumokkal jelöljük. Minden más esetben a végtelen sor széttartó v. divergens és akkor az (a), (b), (c) alatti szimbolumok nem használhatók mint számok jelei.
A végtelen sorok és szorzatok esetében a K. két esete fordul elő. Föltétlenül összetartó végtelen sorral v. végtelen szorzattal akkor van dolgunk, hogy ha a végtelen sor, illetőleg szorzat értéke az (1) sorozat tagjainak sorrendjétől független; hogy ha pedig a végtelen sor v. végtelen szorzat széttartóvá válik, v. pedig értéke változik, midőn az (1) sorozatban a tagok sorrendjét megváltoztatjuk, föltételesen összetartónak nevezzük.
Hogy ha (1) sorozat tagjai valamely x változó függvényei, a un végtelen sort függvénysornak nevezzük. Ide tartoznak p. a hatványsorok és a Fournier-féle sorok (l. o.). E függvénysorok vizsgálatában egyik alapvető feladat annak megállapítása, hogy az x változó minő tartományaiban összetartók. E tartományokat az illető sorok K.-tartományainak nevezzük és világos, hogy ezeken belül a sorok értéke, mint az x változó függvénye fogható fel. A függvénysoroknál a K. egy új nemével, az egyenletes K.-val találkozunk, melynek függvénytani vizsgálatokban igen fontos szerepe jut. Hogy ha ugyanis azt a végtelen sort, amely un-ből, midőn ez függvénysor, az első n tag elhagyása által keletkezik, mindjárt tekintettel arra, hogy x-nek függvényével van dolgunk, Rn (x)-szel jelöljük, a un függvénysor a K. tartomány x helyén egyenletesen összetartó akkor, hogy ha egy tetszőlegesen választott pozitiv δ számnak megfelelőleg lehet egy pozitiv egész számot N-t és egy pozitiv számot δ-t megállapítani, ugy hogy Rn (x + h) abszolut értéke mindig kisebb ε-nál, valahányszor n> N és h abszolut értéke kisebb δ-nál. Az x változó egy bizonyos tartományában egyenletesen összetartó a un függvénysor akkor, hogy ha egy tetszőlegesen választott pozitiv δ számnak megfelelőleg lehet egy pozitiv egész számot N-t ugy megállapítani, hogy Rn (x) abszolut értéke kisebb δ-nál, valahányszor x egy a tartományhoz tartozó tetszés szerinti helyet jelent és n> N.
un végtelen sort függvénysornak nevezzük. Ide tartoznak p. a hatványsorok és a Fournier-féle sorok (l. o.). E függvénysorok vizsgálatában egyik alapvető feladat annak megállapítása, hogy az x változó minő tartományaiban összetartók. E tartományokat az illető sorok K.-tartományainak nevezzük és világos, hogy ezeken belül a sorok értéke, mint az x változó függvénye fogható fel. A függvénysoroknál a K. egy új nemével, az egyenletes K.-val találkozunk, melynek függvénytani vizsgálatokban igen fontos szerepe jut. Hogy ha ugyanis azt a végtelen sort, amely un-ből, midőn ez függvénysor, az első n tag elhagyása által keletkezik, mindjárt tekintettel arra, hogy x-nek függvényével van dolgunk, Rn (x)-szel jelöljük, a un függvénysor a K. tartomány x helyén egyenletesen összetartó akkor, hogy ha egy tetszőlegesen választott pozitiv δ számnak megfelelőleg lehet egy pozitiv egész számot N-t és egy pozitiv számot δ-t megállapítani, ugy hogy Rn (x + h) abszolut értéke mindig kisebb ε-nál, valahányszor n> N és h abszolut értéke kisebb δ-nál. Az x változó egy bizonyos tartományában egyenletesen összetartó a un függvénysor akkor, hogy ha egy tetszőlegesen választott pozitiv δ számnak megfelelőleg lehet egy pozitiv egész számot N-t ugy megállapítani, hogy Rn (x) abszolut értéke kisebb δ-nál, valahányszor x egy a tartományhoz tartozó tetszés szerinti helyet jelent és n> N.
