A matematikában egy számsorozatra egy végtelen szorzat [1]
a résztermékek határértékeként van meghatározva . Egy szorzatot konvergensnek nevezünk, ha a határ létezik, és nem nulla. Ellenkező esetben a terméket divergensnek nevezzük . Azt az esetet, amikor a határérték nulla, külön vizsgáljuk, hogy a végtelen összegekhez hasonló eredményeket kapjunk .
Ha minden szám pozitív, akkor a logaritmus művelet alkalmazható. Ekkor egy végtelen szorzat konvergenciájának vizsgálata egy számsor konvergenciájának vizsgálatára redukálódik .
Ha a szorzat konvergál, akkor a határegyenlőségnek teljesülnie kell . Ezért a logaritmus véges számú érték kivételével minden értékre definiálva van , amelyek jelenléte nem befolyásolja a konvergenciát. Ha ezt a véges számú tagot kivesszük a sorozatból, akkor az egyenlőséget kapjuk:
amelyben a jobb oldali végtelen összeg konvergenciája egyenértékű a bal oldali végtelen szorzat konvergenciájával. Ez lehetővé teszi, hogy a végtelen összegek konvergenciájának kritériumát újrafogalmazzuk a végtelen szorzatok konvergenciájának kritériumává. Olyan termékek esetén, amelyekre bármely , , akkor és -t jelöljük , ahonnan az egyenlőtlenség következik:
amely azt mutatja, hogy egy végtelen szorzat akkor és csak akkor konvergál, ha egy végtelen összeg konvergál .
Figyelemre méltó példák a végtelen szorzatokra, egy szám képletére, amelyeket François Viet és John Wallis fedezett fel :
; .Euler-azonosság a zéta-függvényhez
,ahol a szorzat átveszi az összes prímszámot . Ez a termék a következőhöz konvergál .
A komplex elemzés során ismert, hogy a szinusz és a koszinusz felbontható polinomok végtelen szorzatára
Ezek a kiterjesztések annak az általános tételnek a következményei , hogy bármely teljes függvény legfeljebb megszámlálható számú nullával , ahol a 0 pont a sorrend nullája , az alak végtelen szorzataként ábrázolható .
,
ahol valamilyen teljes függvény, és a nem negatív egész számokat úgy választjuk meg, hogy a sorozatok konvergáljanak. A -nál a szorzónak megfelelő exponenciális számot kihagyjuk (egyenlőnek tekintjük ).