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
BearbeitenHier 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
BearbeitenOrdnet 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
BearbeitenDurch 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
BearbeitenIn 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
BearbeitenWie 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
BearbeitenSelbst ü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
BearbeitenEine 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
BearbeitenSelbst 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
BearbeitenRestklassen ganzer Zahlen
BearbeitenDass 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
BearbeitenIst 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
BearbeitenSeien 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
BearbeitenDie 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
BearbeitenDie 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
BearbeitenBereits 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
BearbeitenDavon 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
BearbeitenIm , 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
BearbeitenBeim 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
BearbeitenSind 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
BearbeitenGegeben 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
BearbeitenZwischen 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
BearbeitenDas 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
BearbeitenDer 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
BearbeitenDas 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
BearbeitenEndliche Produkte mit vielen Faktoren
BearbeitenDie 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
BearbeitenDas 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
BearbeitenJohn 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:
- Fast alle sind von 0 verschieden, d. h., es gibt ein , sodass für alle gilt.
- Der Grenzwert existiert.
- 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
BearbeitenObwohl 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.
Weblinks
BearbeitenEinzelnachweise
Bearbeiten- ↑ 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.)
- ↑ 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.
- ↑ Produktzeichen. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8.
- ↑ Alexander Hölzle: Unendliche Produkte. (PDF; 80 kB) 2. Mai 2005, abgerufen am 26. Dezember 2012.