Produkt (Mathematik)
In der Mathematik bezeichnet der Begriff Produkt das Ergebnis bestimmter Verknüpfungen. Das bekannteste Produkt ist das Ergebnis einer Multiplikation von Zahlen.In Innenprodukträumen wird mit Skalarprodukt oder inneres Produkt ein eng mit dem Winkel zusammenhängender Begriff bezeichnet.
Produkt in der Kategorientheorie
In der Kategorientheorie ist das Produkt einer Familie von Objekten ein Paar , wobei
- P ein Objekt ist,
- ein Morphismus (genannt Projektion) von P nach ist (für jedes i aus I),
- und für jedes Objekt C und jede Familie von Morphismen von C nach es genau einen Morphismus f von C nach P gibt mit .
Diese sehr allgemeine Definition enthält viele andere in der Mathematik auftretende Definitionen des Begriffs Produkt:
- In der Kategorie Set der Mengen entspricht obige Definition dem kartesischen Produkt.
- In der Kategorie Top der topologischen Räume mit stetigen Funktionen entspricht obige Definition der des topologischen Produkts: das kartesische Produkt, versehen mit der gröbsten Topologie, bei der alle Projektionen pr(i) noch stetig sind.
- In der Kategorie Grp der Gruppen, und anderen Kategorien algebraischer Strukturen wie der Kategorie der Ringe oder der der Vektorräume entspricht obige Definition dem direkten Produkt: das kartesische Produkt, versehen mit komponentenweisen Verknüpfungen.