Für punktierte Räume (X,x0) und (Y,y0) ist das Smash‑Produkt X ∧ Y der Quotient des Produkts X × Y, bei dem der Wedge X ∨ Y (d. h. X × {y0} ∪ {x0} × Y) zu einem einzelnen Basis­punkt eingedrückt wird; es ist ein punktiertes Analogon des reduzierten Produkts für Räume.

Prinzip

Punktierte Räume so kombinieren, dass jede Komponente mit Basispunkt kollabiert wird, wodurch ein reduziertes Produkt entsteht, das sich in stabilen Homotopie‑Kontexten und bei Suspensions gut verhält.

Demonstration

Sind S^m und S^n Kugeln (Sphären) mit Basispunkt, so ist S^m ∧ S^n homöomorph zu S^{m+n}; das Smash‑Produkt liegt dem Suspensionsisomorphismus Σ(X ∧ Y) ≅ (ΣX) ∧ Y ≅ X ∧ (ΣY) in stabilen Kategorien zugrunde.

Fehlanwendung

Ein falsches Teilgebiet kollabieren (z. B. vergessen, beide Kopien des Basispunkts zu kollabieren) oder das Smash‑Produkt auf nicht punktierte Räume anwenden, ohne Basispunkte festzulegen und zu kontrollieren, führt zu mehrdeutigen oder falschen Ergebnissen.

Konsequenz

Richtig verwendet ist das Smash‑Produkt die monoidale Verknüpfung der punktierten Homotopie­kategorien, erhält Suspensionsbeziehungen und liefert durch Smash‑ und Cup‑Paarungen graduierte Ring‑ oder Modulstrukturen für reduzierte Kohomologietheorien.

Umkehrung

Es gibt keine eindeutige Inverse: Einen Raum Z als Smash‑Produkt X ∧ Y zu zerlegen ist im Allgemeinen nicht eindeutig und meist unmöglich ohne zusätzliche Struktur wie eine Co‑H‑Raum‑Zerlegung.

Abgrenzung

Erfordert klar definierte Basispunkte und die Bildung eines Quotienten; ist nicht intrinsisch für nicht punktierte Räume definiert, sofern nicht ein Basispunkt angefügt wird, und die üblichen homotopischen Eigenschaften setzen lokal geeignete (CW‑)Modelle voraus.

Semantische Spannung

Nahe am kartesischen Produkt und am Wedge, aber verschieden: Smash ist die punktierte Reduktion des Produkts nach Kollaps des Wedges, während das Wedge das Koprodukt in punktierten Kategorien ist; häufig wird Smash mit dem unreduzierten Produkt oder mit tensorartigen Konstruktionen in anderen Kategorien verwechselt.

Synthese

Das Smash‑Produkt ist der punktierte Quotient des Produkts, der basispunkttragende Faktoren kollabiert und als geeignetes monoidales Produkt in der punktierten Homotopietheorie stabiles Verhalten wie Suspension, Sphärenmultiplikation und reduzierte (Ko)homologie‑Paarungen ermöglicht.