Produkt zweier natürlicher Zahlen

Ordnet man etwa Spielsteine in einem rechteckigen Schema in r Reihen zu je s Steinen an, so benötigt man dafür

${\displaystyle r\cdot s=\sum _{i=1}^{s}r=\sum _{j=1}^{r}s}$

Spielsteine. Die Multiplikation ist hier eine Kurzschreibweise für die mehrfache Addition von r Summanden (entsprechend den r Reihen), die sämtliche den Wert s tragen (in jeder Reihe stehen s Steine). Man kann die Gesamtzahl aber auch dadurch berechnen, dass man die Zahl s (entsprechend der Anzahl der hintereinander in einer Spalte stehenden Steine) insgesamt r Mal (entsprechend der Anzahl r solcher nebeneinander angeordneter Spalten von Steinen) addiert (man benötigt hierfür r − 1 Pluszeichen). Damit ist bereits die Kommutativität der Multiplikation zweier natürlicher Zahlen gezeigt.

Zählt man die Zahl 0 zu den natürlichen Zahlen, so bilden diese einen Halbring. Zu einem Ring fehlen die inversen Elemente bzgl. der Addition: Es gibt keine natürliche Zahl x mit der Eigenschaft ${\displaystyle 3+x=0}$.

Ein Produkt, bei dem die Zahl 0 als ein Faktor auftritt, hat stets den Wert 0: Eine Anordnung von 0 Reihen von Spielsteinen umfasst unabhängig von der Zahl der Steine pro Reihe keinen einzigen Stein.

Produkt zweier ganzer Zahlen

Durch Hinzufügen der negativen ganzen Zahlen erhält man den Ring ${\displaystyle \mathbb {Z} }$ der ganzen Zahlen. Zwei ganze Zahlen werden multipliziert, indem man ihre jeweiligen Beträge multipliziert und mit folgendem Vorzeichen versieht:

${\displaystyle {\begin{array}{|c|c c|}\hline \cdot &-&+\\\hline -&+&-\\+&-&+\\\hline \end{array}}}$

In Worten ausgedrückt besagt diese Tabelle:

• Minus mal Minus ergibt Plus
• Minus mal Plus ergibt Minus
• Plus mal Minus ergibt Minus
• Plus mal Plus ergibt Plus

Für eine streng formale Definition über Äquivalenzklassen von Paaren natürlicher Zahlen vergleiche man den Artikel über ganze Zahlen.

Produkt zweier Brüche

In den ganzen Zahlen kann man uneingeschränkt addieren, subtrahieren und multiplizieren. Die Division durch eine von 0 verschiedene Zahl ist nur möglich, falls der Dividend ein Vielfaches des Divisors ist. Diese Einschränkung lässt sich mit dem Übergang zum Körper der rationalen Zahlen, also zur Menge ${\displaystyle \mathbb {Q} }$ aller Brüche, aufheben. Das Produkt zweier Brüche erfordert im Gegensatz zu ihrer Summe nicht die Bildung eines Hauptnenners:

${\displaystyle {\frac {z}{n}}\cdot {\frac {z'}{n'}}={\frac {z\cdot z'}{n\cdot n'}}}$

Gegebenenfalls lässt sich das Ergebnis noch kürzen.

Produkt zweier reeller Zahlen

Wie bereits Euklid nachweisen konnte, gibt es keine rationale Zahl, deren Quadrat Zwei ergibt. Ebenso ist das Verhältnis von Kreisumfang zu Kreisdurchmesser, also die Kreiszahl π, nicht als Quotient zweier ganzer Zahlen darstellbar. Beide „Lücken“ werden durch eine sogenannte Vervollständigung im Übergang zum Körper der reellen Zahlen ${\displaystyle \mathbb {R} }$ geschlossen. Da eine exakte Definition des Produktes in der hier gebotenen Kürze nicht möglich erscheint, sei nur kurz die Idee skizziert:

Jede reelle Zahl lässt sich als ein unendlicher Dezimalbruch auffassen. So gilt etwa ${\displaystyle {\sqrt {2}}=1{,}4142\ldots }$ und ${\displaystyle \pi =3{,}1415\ldots }$ Die rationalen Näherungswerte – etwa 1,41 und 3,14 – lassen sich problemlos miteinander multiplizieren. Durch sukzessive Erhöhung der Anzahl der Nachkommastellen erhält man – in einem nicht in endlicher Zeit durchführbaren Prozess – eine Folge von Näherungswerten für das Produkt ${\displaystyle {\sqrt {2}}\cdot \pi =4{,}4428\ldots }$

Produkt zweier komplexer Zahlen

Selbst über der Menge der reellen Zahlen gibt es unlösbare Gleichungen wie etwa ${\displaystyle x^{2}=-1}$. Sowohl für negative wie auch für positive Werte von ${\displaystyle x}$ ist das Quadrat auf der linken Seite stets eine positive Zahl. Durch den Übergang zum Körper ${\displaystyle \mathbb {C} }$ der komplexen Zahlen, der oft auch als Adjunktion, also Hinzufügen von ${\displaystyle \mathrm {i} ={\sqrt {-1}}}$ bezeichnet wird, entsteht aus der reellen Zahlengeraden die sogenannte gaußsche Zahlenebene. Zwei Punkte dieser Ebene, also zwei komplexe Zahlen, werden unter Beachtung von ${\displaystyle \mathrm {i} ^{2}=-1}$ formal multipliziert:

${\displaystyle {\begin{aligned}(a+b\,\mathrm {i} )\cdot (c+d\,\mathrm {i} )&=a\cdot c+a\cdot d\,\mathrm {i} +b\cdot c\,\mathrm {i} +b\cdot d\cdot \mathrm {i} ^{2}\\&=(a\cdot c-b\cdot d)+(a\cdot d+b\cdot c)\,\mathrm {i} \end{aligned}}}$

Produkt zweier Quaternionen

Selbst die komplexen Zahlen lassen sich noch algebraisch erweitern. Es entsteht ein reell vierdimensionaler Raum, die sogenannten hamiltonschen Quaternionen ${\displaystyle \mathbb {H} }$. Die zugehörigen Multiplikationsregeln werden im Artikel Quaternion ausführlich dargestellt. Im Gegensatz zu den obigen Zahlbereichen ist die Multiplikation von Quaternionen nicht kommutativ, d. h., ${\displaystyle a\cdot b}$ und ${\displaystyle b\cdot a}$ sind im Allgemeinen verschieden.

Restklassen ganzer Zahlen

Dass das Produkt zweier Zahlen genau dann ungerade ist, wenn beide Faktoren ungerade sind, ist eine weithin bekannte Tatsache. Ähnliche Regeln gelten auch bezüglich der Teilbarkeit durch eine ganze Zahl N größer als 2. Die geraden Zahlen entsprechen hierbei den Vielfachen von N; eine gerade Zahl ist ohne Rest durch Zwei teilbar. Bei den ungeraden Zahlen sollte man unterscheiden, welcher Rest bei der ganzzahligen Division dieser Zahl durch N übrig bleibt. Modulo 3 – so die Sprechweise – gibt es drei Restklassen ganzer Zahlen: Solche, die Vielfache von 3 sind, solche mit Rest 1 und solche mit Rest 2. Das Produkt zweier solcher Zahlen hat stets Rest 1 modulo 3.

Die Menge dieser Restklassen, ${\displaystyle \mathbb {Z} /N\mathbb {Z} }$ geschrieben, besitzt genau N Elemente. Ein typisches Element hat die Form ${\displaystyle a+N\mathbb {Z} }$ und steht für die Menge aller ganzen Zahlen, die bei Division durch N denselben Rest ergeben wie die Zahl a. Auf der Menge aller solcher Restklassen wird durch

${\displaystyle (a+N\mathbb {Z} )+(b+N\mathbb {Z} ):=a+b+N\mathbb {Z} }$

eine Addition und durch

${\displaystyle (a+N\mathbb {Z} )\cdot (b+N\mathbb {Z} ):=a\cdot b+N\mathbb {Z} }$

eine Multiplikation erklärt. Der so entstehende Ring heißt der Restklassenring modulo N. Genau dann, wenn N eine Primzahl ist, handelt es sich hierbei sogar um einen Körper. Beispiel: Modulo 5 ist die Restklasse von 2 invers zu der von 3, da 6 modulo 5 gleich 1 ist. Das systematische Auffinden von multiplikativen Inversen modulo N erfolgt mittels des Euklidischen Algorithmus.

Funktionenringe

Ist der Ring R kommutativ, so bildet die Menge ${\displaystyle \mathbb {F}$ :=R^{M}} (die Menge aller Funktionen von einer Menge M mit Werten in R) ebenfalls einen kommutativen Ring, wenn man Addition und Multiplikation in ${\displaystyle \mathbb {F} }$ komponentenweise definiert. Das heißt, wenn man

${\displaystyle (f+g)(m):=f(m)+g(m)}$

${\displaystyle (f\cdot g)(m):=f(m)\cdot g(m)}$

für alle ${\displaystyle m\in M}$ erklärt.

Wählt man als Ring R die reellen Zahlen ${\displaystyle \mathbb {R} }$ mit der üblichen Addition und Multiplikation, und als M etwa eine offene Teilmenge von ${\displaystyle \mathbb {R} }$ oder allgemeiner von ${\displaystyle \mathbb {R} ^{n}}$, so sind die Begriffe Stetigkeit und Differenzierbarkeit von Funktionen sinnvoll. Die Menge der stetigen bzw. differenzierbaren Funktionen ${\displaystyle f\colon M\to R}$ bildet dann einen Unterring des Funktionenringes, der trivialerweise wieder kommutativ sein muss, wenn ${\displaystyle \mathbb {F} }$ bzw. R kommutativ ist.

Faltungsprodukt

Seien ${\displaystyle f,g\colon \mathbb {R} \rightarrow \mathbb {R} \,}$ zwei integrierbare reelle Funktionen, deren Beträge ein endliches uneigentliches Integral besitzen:

${\displaystyle \int \limits _{-\infty }^{\infty }|f(t)|\,\mathrm {d} \,t\;<\;\infty \quad {\text{und }}\int \limits _{-\infty }^{\infty }|g(t)|\,\mathrm {d} \,t\;<\;\infty }$

Dann ist das uneigentliche Integral

${\displaystyle (f*g)(t)\;:=\int \limits _{-\infty }^{\infty }f(\tau )\cdot g(t-\tau )\,\mathrm {d} \tau }$

für jede reelle Zahl t ebenfalls endlich. Die dadurch definierte Funktion ${\displaystyle f*g}$ heißt das Faltungsprodukt oder die Konvolution von f und g. Dabei ist ${\displaystyle f*g}$ wieder integrierbar mit endlichem uneigentlichem Betragsintegral. Ferner gilt ${\displaystyle f*g=g*f}$, d. h., die Faltung ist kommutativ.

Nach Fourier-Transformation ist das Faltungsprodukt bis auf einen konstanten Normierungsfaktor das punktweise definierte Produkt (sog. Faltungstheorem). Das Faltungsprodukt spielt eine wichtige Rolle in der mathematischen Signalverarbeitung.

Die gaußsche Glockenkurve lässt sich dadurch charakterisieren, dass ihre Faltung mit sich selbst wieder eine etwas in die Breite gezogene Glockenkurve ergibt (vgl. hier). Genau diese Eigenschaft liegt dem zentralen Grenzwertsatz zugrunde.

Polynomringe

Die Menge ${\displaystyle \mathbb {R} [X]}$ aller Polynome in der Variablen X mit reellen Koeffizienten bildet einen sogenannten Polynomring. Das Produkt wird hierbei wie folgt berechnet:

${\displaystyle \left(\sum _{i=0}^{n}a_{i}X^{i}\right)\cdot \left(\sum _{j=0}^{m}b_{j}X^{j}\right)=\sum _{k=0}^{n+m}c_{k}X^{k}}$

mit

${\displaystyle c_{k}=\sum _{i+j=k}a_{i}\cdot b_{j}}$

Diese Ringe spielen in vielen Bereichen der Algebra eine große Rolle. So lässt sich etwa der Körper der komplexen Zahlen formal elegant als Faktorring ${\displaystyle \mathbb {R} [X]/(X^{2}+1)}$ definieren.

Beim Übergang von endlichen Summen zu absolut konvergenten Reihen bzw. formalen Potenzreihen wird aus dem hier besprochenen Produkt das sog. Cauchy-Produkt.

Skalares Produkt

Bereits in der Definition eines Vektorraums V taucht der Begriff der Skalarmultiplikation auf. Damit lassen sich Vektoren ganz allgemein um einen reellen Faktor „strecken“, wobei im Falle der Multiplikation mit einem negativen Skalar auch noch die Richtung des Vektors umgedreht wird.

Das skalare Produkt ist eine Abbildung ${\displaystyle \mathbb {R} \times V\rightarrow V}$.

Skalarprodukt

Davon strikt zu unterscheiden ist der Begriff eines Skalarprodukts. Dabei handelt es sich um eine bilineare Abbildung

${\displaystyle \cdot \colon V\times V\rightarrow \mathbb {R} }$

mit der zusätzlichen Forderung, dass ${\displaystyle v\cdot v>0}$ für alle ${\displaystyle 0\not =v\in V}$ ist.

Daher ist der Ausdruck ${\displaystyle \|v\|:={\sqrt {v\cdot v}}}$ stets berechenbar und liefert den Begriff der Norm (Länge) eines Vektors.

Ebenso gestattet das Skalarprodukt die Definition eines Winkels zwischen zwei von 0 verschiedenen Vektoren v und w:

${\displaystyle \cos \angle (v,w)={\frac {v\cdot w}{\|v\|\cdot \|w\|}}}$

Die Polarisationsformel zeigt, dass ein solcher Längenbegriff umgekehrt stets zu einem Skalarprodukt und somit auch zu einem Winkelbegriff führt.

In jedem n-dimensionalen Euklidischen Raum lässt sich durch Orthonormalisierung eine Orthonormalsystem finden. Stellt man alle Vektoren als Linearkombination bezüglich einer Orthonormalbasis ${\displaystyle e_{1},\ldots e_{n}}$ dar, so lässt sich das Skalarprodukt zweier solcher Koordinatentupel als Standardskalarprodukt berechnen:

${\displaystyle \left(\sum _{i=1}^{n}\alpha _{i}e_{i}\right)\cdot \left(\sum _{i=1}^{n}\beta _{i}e_{i}\right)=\sum _{i=1}^{n}\alpha _{i}\,\beta _{i}}$

Kreuzprodukt im dreidimensionalen Raum

Im ${\displaystyle \mathbb {R} ^{3}}$, als dem Standardmodell eines 3-dimensionalen Euklidischen Raums, lässt sich ein weiteres Produkt, das sogenannte Kreuzprodukt definieren. Es leistet hervorragende Dienste bei diversen Problemen der analytischen Geometrie im Raum.

Beim Kreuzprodukt handelt es sich um eine Abbildung

${\displaystyle \times \colon \mathbb {R} ^{3}\times \mathbb {R} ^{3}\rightarrow \mathbb {R} ^{3}}$

Wie jedes Lie-Produkt ist es antikommutativ: ${\displaystyle v\times w=-w\times v}$ Insbesondere ist ${\displaystyle v\times v=0}$.

Spatprodukt

Beim sogenannten Spatprodukt – ebenfalls nur im ${\displaystyle \mathbb {R} ^{3}}$ erklärt – handelt es sich nicht um ein Produkt zweier, sondern dreier Vektoren. In moderner Sprechweise stimmt es mit der Determinante von drei nebeneinander geschriebenen Spaltenvektoren überein und lässt sich wohl am einfachsten nach der Regel von Sarrus berechnen. Formal liegt eine Abbildung

${\displaystyle \det \colon \mathbb {R} ^{3}\times \mathbb {R} ^{3}\times \mathbb {R} ^{3}\rightarrow \mathbb {R} }$

vor, die wohl nur aus historischen Gründen noch heute als ein Produkt bezeichnet wird. Anschaulich misst das Spatprodukt das Volumen eines Spates im Raum.

Komposition linearer Abbildungen

Sind ${\displaystyle f\colon U\to V}$ und ${\displaystyle g\colon V\to W}$ zwei lineare Abbildungen, so ist ihre Hintereinanderausführung („g nach f“)

${\displaystyle g\circ f\colon U\to W;\quad u\mapsto g(f(u))}$

linear. Bezeichnet man die Menge aller linearen Abbildungen von U nach V mit ${\displaystyle \operatorname {Hom} (U,V)}$, so liefert die Komposition von Abbildungen ein Produkt

${\displaystyle \circ \colon \operatorname {Hom} (V,W)\times \operatorname {Hom} (U,V)\rightarrow \operatorname {Hom} (U,W)}$

Im Spezialfall ${\displaystyle U=V=W}$ erhält man so den sogenannten Endomorphismenring ${\displaystyle \operatorname {End} (V)=\operatorname {Hom} (V,V)}$ von V.

Produkt zweier Matrizen

Gegeben seien zwei Matrizen ${\displaystyle A=(a_{i,j})_{i=1\ldots s;j=1\ldots r}\in \mathbb {R} ^{s\times r}}$ und ${\displaystyle B=(b_{j,k})_{j=1\ldots r;k=1\ldots t}\in \mathbb {R} ^{r\times t}}$. Da die Anzahl der Spalten von A mit der Anzahl der Zeilen von B übereinstimmt, lässt sich das Matrizenprodukt

${\displaystyle A\cdot B=\left(\sum _{j=1}^{r}a_{i,j}\cdot b_{j,k}\right)_{i=1\ldots s;k=1\ldots t}\;\in \mathbb {R} ^{s\times t}}$

bilden. Im Spezialfall ${\displaystyle r=s=t}$ quadratischer Matrizen entsteht hierdurch der Matrizenring ${\displaystyle \mathbb {R} ^{r\times r}}$.

Komposition linearer Abbildungen als Matrizenprodukt

Zwischen der Komposition linearer Abbildungen und dem Produkt zweier Matrizen besteht ein enger Zusammenhang. Seien dazu ${\displaystyle r=\operatorname {dim} (U)}$, ${\displaystyle s=\operatorname {dim} (V)}$ und ${\displaystyle t=\operatorname {dim} (W)}$ die (endlichen) Dimensionen der beteiligten Vektorräume U, V und W. Seien ferner ${\displaystyle {\mathcal {U}}=\{u_{1},\ldots u_{r}\}}$ eine Basis von U, ${\displaystyle {\mathcal {V}}=\{v_{1},\ldots v_{s}\}}$ eine Basis von V und ${\displaystyle {\mathcal {W}}=\{w_{1},\ldots w_{t}\}}$ eine Basis von W. Bezüglich dieser Basen seien ${\displaystyle A=M_{\mathcal {V}}^{\mathcal {U}}(f)\in \mathbb {R} ^{s\times r}}$ die darstellende Matrix von ${\displaystyle f\colon U\to V}$ und ${\displaystyle B=M_{\mathcal {W}}^{\mathcal {V}}(g)\in \mathbb {R} ^{r\times t}}$ die darstellende Matrix von ${\displaystyle g\colon V\to W}$. Dann ist

${\displaystyle B\cdot A=M_{\mathcal {W}}^{\mathcal {U}}(g\circ f)\in \mathbb {R} ^{s\times t}}$

die darstellende Matrix von ${\displaystyle g\circ f\colon U\rightarrow W}$.

Mit anderen Worten: Das Matrizenprodukt liefert die koordinatenabhängige Beschreibung der Komposition zweier linearer Abbildungen.

Tensorprodukt von Vektorräumen

Das Tensorprodukt ${\displaystyle V\otimes W}$ zweier reeller Vektorräume V und W ist eine Art Produkt zweier Vektorräume. Es ähnelt daher dem weiter unten besprochenen mengentheoretischen Produkt. Im Gegensatz zu diesem handelt es sich aber nicht um das kategorielle Produkt in der Kategorie der reellen Vektorräume. Es lässt sich dennoch über eine universelle Eigenschaft bezüglich bilinearer Abbildungen kategoriell fassen. Danach ist die kanonische Einbettung

${\displaystyle V\times W\ni (v,w)\mapsto v\otimes w\in V\otimes W}$

sozusagen die „Mutter aller auf V und W definierbaren Produkte“. Jedes andere reell-bilineare Produkt

${\displaystyle B\colon V\times W\rightarrow Y}$

mit Werten in irgendeinem Vektorraum Y kommt nämlich durch Nachschalten einer eindeutig bestimmten linearen Abbildung

${\displaystyle {\tilde {B}}\colon V\otimes W\rightarrow Y}$

zustande.

Abbildungsmatrizen als Tensoren zweiter Stufe

Der Vektorraum ${\displaystyle \operatorname {Hom} (V,W)}$ aller linearen Abbildungen zwischen zwei Vektorräumen V und W lässt sich auf (bifunktoriell) natürliche Weise als Tensorprodukt des Dualraums ${\displaystyle V^{*}}$ von V mit W auffassen:

${\displaystyle V^{*}\otimes W\rightarrow \operatorname {Hom} (V,W)}$

Hierbei wird einem zerlegbaren Tensor ${\displaystyle f\otimes w\in V^{*}\otimes W}$, also einem Funktional ${\displaystyle f\colon V\to R}$ und einem Vektor ${\displaystyle w\in W}$, die lineare Abbildung ${\displaystyle g\colon V\to W}$ mit

${\displaystyle g(v)=f(v)\cdot w}$

zugeordnet. Lässt sich so jede lineare Abbildung von V nach W erhalten? Nein, ebenso ist aber auch nicht jeder Tensor zerlegbar. Wie jeder Tensor sich als Summe zerlegbarer Tensoren schreiben lässt, so lässt sich auch jede lineare Abbildung von V nach W als Summe von Abbildungen wie dem oben definierten g erhalten.

Dass ${\displaystyle \operatorname {Hom} (V,W)}$ in natürlicher Weise zum Tensorprodukt des Dualraums von V mit W isomorph ist, bedeutet gleichzeitig, dass es sich bei der darstellenden Matrix einer linearen Abbildung ${\displaystyle g\colon V\to W}$ um einen einfach kontravarianten und einfach kovarianten Tensor handelt. Dies drückt sich auch im Transformationsverhalten von darstellenden Matrizen bei einem Basiswechsel aus.

Endliche Produkte mit vielen Faktoren

Die Fakultät einer natürlichen Zahl n (geschrieben als n!) beschreibt die Anzahl der möglichen Anordnungen von n unterscheidbaren Objekten in einer Reihe:

${\displaystyle n!=1\cdot 2\cdot \ldots \cdot (n-1)\cdot n=\prod _{k=1}^{n}k}$

Das Produktzeichen ${\displaystyle \textstyle \prod }$ ist in Anlehnung an den ersten Buchstaben des Wortes Produkt der griechischen Majuskel Pi nachempfunden; ebenso wird ${\displaystyle \textstyle \sum }$ angelehnt an das Sigma als Summenzeichen verwendet.

Da das Produkt natürlicher Zahlen kommutativ ist, kann man auch eine Indexmenge verwenden (und damit die Reihenfolge der Faktoren unbestimmt lassen):

${\displaystyle n!=\prod _{k\in \{1,\ldots ,n\}}k}$

Hier eine Animation zur Produktschreibweise:

Das leere Produkt

Das leere Produkt hat den Wert 1 (das neutrale Element der Multiplikation) – ebenso wie die leere Summe stets 0 (das neutrale Element der Addition) ergibt.

Unendliche Produkte

John Wallis entdeckte 1655 die verblüffende Tatsache, dass

${\displaystyle {\frac {\pi }{2}}=\prod _{k=1}^{\infty }{\frac {(2k)(2k)}{(2k-1)(2k+1)}}}$

gilt (vergleiche Wallissches Produkt). Was genau ist aber unter dem unendlichen Produkt auf der rechten Seite zu verstehen? Man betrachtet dazu die Folge der endlichen Teilprodukte:

${\displaystyle P_{n}:=\prod _{k=1}^{n}{\frac {(2k)(2k)}{(2k-1)(2k+1)}}}$

Falls diese Folge gegen eine reelle Zahl P konvergiert, so definiert man

${\displaystyle \prod _{k=1}^{\infty }{\frac {(2k)(2k)}{(2k-1)(2k+1)}}\;:=P}$

Genauer sei ${\displaystyle (a_{n})_{n\in \mathbb {N} }}$ eine Folge von Zahlen. Das unendliche Produkt

${\displaystyle \prod _{n=1}^{\infty }a_{n}}$

heißt genau dann konvergent, wenn die folgenden Bedingungen erfüllt sind:

1. Fast alle ${\displaystyle a_{n}}$ sind von 0 verschieden, d. h., es gibt ein ${\displaystyle n_{0}\in \mathbb {N} }$, sodass ${\displaystyle a_{n}\neq 0}$ für alle ${\displaystyle n>n_{0}}$ gilt.
2. Der Grenzwert ${\displaystyle \lim _{N\to \infty }\prod _{n=n_{0}+1}^{N}a_{n}}$ existiert.
3. Dieser Grenzwert ist von 0 verschieden.

(Die Gültigkeit der letzten beiden Bedingungen ist unabhängig davon, welches ${\displaystyle n_{0}}$ man in der ersten gewählt hat). In diesem Fall setzt man

${\displaystyle \prod _{n=1}^{\infty }a_{n}:=\lim _{N\to \infty }\prod _{n=1}^{N}a_{n}}$.

Dieser Grenzwert existiert, denn entweder ist mindestens ein Faktor ${\displaystyle a_{n}=0}$ und ab dann sind alle Partialprodukte 0 oder man kann in der zweiten Bedingung o. B. d. A. ${\displaystyle n_{0}=0}$ wählen.

Kernreihenkriterium (Konvergenzkriterium für unendliche Produkte): Folgende Aussagen sind äquivalent:

• Ein unendliches Produkt ${\displaystyle \textstyle P=\prod \limits _{k=1}^{\infty }a_{k}=\prod \limits _{k=1}^{\infty }(1+h_{k})}$ mit positiven Kernen ${\displaystyle h_{k}}$ konvergiert absolut.
• Die Kernreihe ${\displaystyle \textstyle S=\sum \limits _{n=1}^{\infty }h_{n}}$ konvergiert absolut.