Produkt (Mathematik)

Ergebnis einer Multiplikation
(Weitergeleitet von Unendliches Produkt)

Unter einem Produkt versteht man das Ergebnis einer Multiplikation sowie auch einen Term, der eine Multiplikation darstellt. Die verknüpften Elemente heißen Faktoren.

In diesem Sinne ist die Multiplikation eine Abbildung der Form

wobei man das Produkt von und meist als notiert. Sowohl , das Ergebnis, als auch , der Term, wird als Produkt von und bezeichnet.

Abgeleitet vom lateinischen Wort producere in der Bedeutung (her-)vorbringen ist „Produkt“ ursprünglich die Bezeichnung des Ergebnisses einer Multiplikation zweier Zahlen (von lat.: multiplicare = vervielfachen).[1] Die Verwendung des Malpunktes geht auf Gottfried Wilhelm Leibniz zurück, das alternative Symbol auf William Oughtred.[2]

Produkte zweier Zahlen

Bearbeiten

Hier ist stets  , d. h., das Produkt zweier Zahlen ist wieder eine Zahl. Produkte werden hier zusätzlich als assoziativ vorausgesetzt, d. h.:

 

Produkt zweier natürlicher Zahlen

Bearbeiten
 
3 mal 4 ergibt 12

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

 

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  .

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

Bearbeiten

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

 

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

Bearbeiten

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   aller Brüche, aufheben. Das Produkt zweier Brüche erfordert im Gegensatz zu ihrer Summe nicht die Bildung eines Hauptnenners:

 

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

Produkt zweier reeller Zahlen

Bearbeiten

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   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   und   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  

Produkt zweier komplexer Zahlen

Bearbeiten

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

 

Geometrische Deutung

Bearbeiten
 
Eine komplexe Zahl in Polarkoordinaten

Eine komplexe Zahl lässt sich auch in ebenen Polarkoordinaten schreiben:

 

Ist ferner

 

so gilt aufgrund der Additionstheoreme für Sinus und Kosinus:

 

Geometrisch bedeutet das: Multiplikation der Längen bei gleichzeitiger Addition der Winkel.

Produkt zweier Quaternionen

Bearbeiten

Selbst die komplexen Zahlen lassen sich noch algebraisch erweitern. Es entsteht ein reell vierdimensionaler Raum, die sogenannten hamiltonschen Quaternionen  . 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.,   und   sind im Allgemeinen verschieden.

Weitere Beispiele für kommutative Ringe

Bearbeiten

Restklassen ganzer Zahlen

Bearbeiten

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,   geschrieben, besitzt genau N Elemente. Ein typisches Element hat die Form   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

 

eine Addition und durch

 

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

Bearbeiten

Ist der Ring R kommutativ, so bildet die Menge   (die Menge aller Funktionen von einer Menge M mit Werten in R) ebenfalls einen kommutativen Ring, wenn man Addition und Multiplikation in   komponentenweise definiert. Das heißt, wenn man

 
 

für alle   erklärt.

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

Faltungsprodukt

Bearbeiten
 
Faltung der Rechteckfunktion mit sich selbst ergibt die Dreiecksfunktion

Seien   zwei integrierbare reelle Funktionen, deren Beträge ein endliches uneigentliches Integral besitzen:

 

Dann ist das uneigentliche Integral

 

für jede reelle Zahl t ebenfalls endlich. Die dadurch definierte Funktion   heißt das Faltungsprodukt oder die Konvolution von f und g. Dabei ist   wieder integrierbar mit endlichem uneigentlichem Betragsintegral. Ferner gilt  , 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

Bearbeiten

Die Menge   aller Polynome in der Variablen X mit reellen Koeffizienten bildet einen sogenannten Polynomring. Das Produkt wird hierbei wie folgt berechnet:

 

mit

 

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   definieren.

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

Produkte in der linearen Algebra

Bearbeiten

Die lineare Algebra beschäftigt sich mit Vektorräumen und linearen Abbildungen zwischen solchen. In diesem Zusammenhang treten verschiedenartige Produkte auf. Im Folgenden wird zur Vereinfachung als Grundkörper zumeist der Körper der reellen Zahlen verwendet.

Skalares Produkt

Bearbeiten

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  .

Skalarprodukt

Bearbeiten

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

 

mit der zusätzlichen Forderung, dass   für alle   ist.

Daher ist der Ausdruck   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:

 

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 ein Orthonormalsystem finden. Stellt man alle Vektoren als Linearkombination bezüglich einer Orthonormalbasis   dar, so lässt sich das Skalarprodukt zweier solcher Koordinatentupel als Standardskalarprodukt berechnen:

 

Kreuzprodukt im dreidimensionalen Raum

Bearbeiten

Im  , 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

 

Wie jedes Lie-Produkt ist es antikommutativ:   Insbesondere ist  .

Spatprodukt

Bearbeiten

Beim sogenannten Spatprodukt – ebenfalls nur im   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

 

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

Bearbeiten

Sind   und   zwei lineare Abbildungen, so ist ihre Hintereinanderausführung („g nach f“)

 

linear. Bezeichnet man die Menge aller linearen Abbildungen von U nach V mit  , so liefert die Komposition von Abbildungen ein Produkt

 

Im Spezialfall   erhält man so den sogenannten Endomorphismenring   von V.

Produkt zweier Matrizen

Bearbeiten

Gegeben seien zwei Matrizen   und  . Da die Anzahl der Spalten von A mit der Anzahl der Zeilen von B übereinstimmt, lässt sich das Matrizenprodukt

 

bilden. Im Spezialfall   quadratischer Matrizen entsteht hierdurch der Matrizenring  .

Komposition linearer Abbildungen als Matrizenprodukt

Bearbeiten

Zwischen der Komposition linearer Abbildungen und dem Produkt zweier Matrizen besteht ein enger Zusammenhang. Seien dazu  ,   und   die (endlichen) Dimensionen der beteiligten Vektorräume U, V und W. Seien ferner   eine Basis von U,   eine Basis von V und   eine Basis von W. Bezüglich dieser Basen seien   die darstellende Matrix von   und   die darstellende Matrix von  . Dann ist

 

die darstellende Matrix von  .

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

Tensorprodukt von Vektorräumen

Bearbeiten

Das Tensorprodukt   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

 

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

 

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

 

zustande.

Abbildungsmatrizen als Tensoren zweiter Stufe

Bearbeiten

Der Vektorraum   aller linearen Abbildungen zwischen zwei Vektorräumen V und W lässt sich auf (bifunktoriell) natürliche Weise als Tensorprodukt des Dualraums   von V mit W auffassen:

 

Hierbei wird einem zerlegbaren Tensor  , also einem Funktional   und einem Vektor  , die lineare Abbildung   mit

 

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   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   um einen einfach kontravarianten und einfach kovarianten Tensor handelt. Dies drückt sich auch im Transformationsverhalten von darstellenden Matrizen bei einem Basiswechsel aus.

Mengentheoretisches Produkt

Bearbeiten

Das kartesische Produkt   zweier Mengen M und N fügt sich auf den ersten Blick nicht zwanglos in den hier vorgestellten Produktbegriff ein. Dennoch besteht nicht nur im Wort „Produkt“ eine Verbindung: Das Produkt zweier natürlicher Zahlen m und n wurde weiter oben als die Kardinalität des kartesischen Produkt einer m-elementigen mit einer n-elementigen Menge erklärt. Weiterhin gelten bestimmte Formen des Distributivgesetzes.

Das kartesische Produkt ist gleichzeitig das kategorielle Produkt in der Kategorie der Mengen.

Endliche und unendliche Produkte

Bearbeiten

Endliche Produkte mit vielen Faktoren

Bearbeiten
 
Die Produktschreibweise

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:

 

Das Produktzeichen   ist in Anlehnung an den ersten Buchstaben des Wortes Produkt der griechischen Majuskel Pi nachempfunden;[3] ebenso wird   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):

 

Hier eine Animation zur Produktschreibweise:

 

Das leere Produkt

Bearbeiten

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

Bearbeiten

John Wallis entdeckte 1655 die verblüffende Tatsache, dass

 

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:

 

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

 

Genauer sei   eine Folge von Zahlen. Das unendliche Produkt

 

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

  1. Fast alle   sind von 0 verschieden, d. h., es gibt ein  , sodass   für alle   gilt.
  2. Der Grenzwert   existiert.
  3. Dieser Grenzwert ist von 0 verschieden.

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

 .

Dieser Grenzwert existiert, denn entweder ist mindestens ein Faktor   und ab dann sind alle Partialprodukte 0 oder man kann in der zweiten Bedingung o. B. d. A.   wählen.

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

  • Ein unendliches Produkt   mit positiven Kernen   konvergiert absolut.
  • Die Kernreihe   konvergiert absolut.[4]

Eigenschaften

Bearbeiten
  • Ein konvergentes unendliches Produkt ist genau dann 0, wenn einer der Faktoren 0 ist. Ohne die dritte Bedingung wäre diese Aussage falsch.
  • Die Faktoren eines konvergenten Produktes konvergieren gegen 1 (notwendige Bedingung).

Beispiele zu fehlender Konvergenz

Bearbeiten

Obwohl die Folge der Teilprodukte (gegen 0) konvergiert, werden unendliche Produkte wie die folgenden nicht als konvergent bezeichnet:

  •  : Unendlich viele Faktoren sind 0, die erste Bedingung ist verletzt.
  •  : Man muss   wählen. Wenn aber der erste Faktor weggelassen wird, konvergiert die Teilproduktfolge nicht (divergiert bestimmt gegen  ). Die zweite Bedingung ist verletzt.
  •  : Die Folge der Teilprodukte konvergiert, allerdings gegen 0, sodass die dritte Bedingung verletzt ist.

Diese drei Beispiele erfüllen auch nicht das o. g. notwendige Kriterium. Das Produkt   erfüllt zwar das notwendige Kriterium, die Folge der Teilprodukte konvergiert aber nicht: Das Produkt der ersten   Faktoren ist  .

Literatur

Bearbeiten
  • Aufbau des Zahlensystems. In: dtv-Atlas zur Mathematik, Bd. 1, 2. Auflage 1976, S. 52 ff.
  • Heinz-Dieter Ebbinghaus u. a.: Zahlen. Springer, Berlin 1992, ISBN 3-540-55654-0. (Google Books)

Umfangreiche Literaturangaben zur linearen Algebra finden sich dort.

Bearbeiten
Wiktionary: Produkt – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Einzelnachweise

Bearbeiten
  1. Auftreten in Albertus Magnus’ Metaphysicorum in der Form productum, so Jeff Miller: Earliest Known Uses of Some of the Words of Mathematics (P) mit Verweis auf The Oxford English Dictionary, Second Edition (abgerufen am 10. Mai 2023.)
  2. Steven Schwartzman: The Words of Mathematics. An Etymological Dictionary of Mathematical Terms Used in English. Verlag MAA, 1994. ISBN 0-88385-511-9. Google Books, abgerufen am 10. Mai 2023.
  3. Produktzeichen. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8.
  4. Alexander Hölzle: Unendliche Produkte. (PDF; 80 kB) 2. Mai 2005, abgerufen am 26. Dezember 2012.