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.

In der Kategorientheorie ist das Produkt einer Familie von Objekten

ein Paar

wobei

• P ein Objekt ist,
• pr(i) ein Morphismus (genannt Projektion) von P nachA(i) ist (für jedes i aus I),
• und für jedes Objekt C und jede Familie von Morphismenf(i) von C nachA(i) es genau einen Morphismus f von C nach P gibt mit
  

Die letzte Bedingung sichert die 'Eindeutigkeit' der Projektionen. (Dieses Produkt hat eine so genannte universelle Eigenschaft.)

Diese sehr allgemeine Definition enthält viele andere in der Mathematik auftretende Definitionen des Begriffs Produkt:

• 1. In der Kategorie Set der Mengen entspricht obige Definition dem kartesischen Produkt.
• 2. 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.
• 3. 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.