Smash product: Difference between revisions

Latest revision as of 19:58, 11 May 2008

This article defines the product in the category: based topological spaces

Definition

Naive definition

Given two based topological spaces $(X, x_{0})$ and $(Y, y_{0})$ , their smash product denoted $(X \land Y, *)$ is defined as the quotient of $X \times Y$ by the following equivalence relation:

$(x, y_{0}) ≃ (x_{0}, y)$

In other words, we collapse both the copy of $X$ and the copy of $Y$ , through $(x_{0}, y_{0})$ , to a single point (the union of the $X$ -copy and $Y$ -copy is isomorphic to the wedge sum of the spaces, hence the smash product can be viewed as the quotient of the product by collapse of the wedge sum to a point).

Category-theoretic definition

The smash product is the natural notion of product in the category of based topological spaces. Category-theoretically, this means that given maps of based topological spaces to $X$ and $Y$ from $Z$ , there exists a unique map to $X \land Y$ from $Z$ such that the diagram commutes.

Particular cases

Reduced suspension

Further information: reduced suspension

The reduced suspension of a topological space is its smash product with the based circle (since the circle is homogeneous, it does not matter what basepoint we choose for it. The reduced suspension is often just called the suspension.

Spheres

The $n$ -sphere (with basepoint) can be viewed as the smash product of the (based) circle with itself $n$ times.

@@ Line 1: / Line 1: @@
-{{product notion for spaces}}
+{{product in the category|based topological space}}
 ==Definition==
-Given two topological spaces with basepoint, <math>(X,x_0)</math> and <math>(Y,y_0)</math>, their '''smash product''' is defined as the quotient of <math>X \times Y</math> by the following equivalence relation:
+===Naive definition===
+Given two [[based topological space]]s <math>(X,x_0)</math> and <math>(Y,y_0)</math>, their '''smash product''' denoted <math>(X \wedge Y,*)</math> is defined as the quotient of <math>X \times Y</math> by the following equivalence relation:
 <math>(x,y_0) \simeq (x_0,y)</math>
-In other words, we collapse both the copy of <math>X</math> and the copy of <math>Y</math>, through <math>(x_0,y_0)</math>, to a single point.
+In other words, we collapse both the copy of <math>X</math> and the copy of <math>Y</math>, through <math>(x_0,y_0)</math>, to a single point (the union of the <math>X</math>-copy and <math>Y</math>-copy is isomorphic to the [[wedge sum]] of the spaces, hence the smash product can be viewed as the quotient of the product by collapse of the wedge sum to a point).
+===Category-theoretic definition===
+The smash product is the natural notion of product in the category of [[based topological space]]s. Category-theoretically, this means that given maps of based topological spaces to <math>X</math> and <math>Y</math> from <math>Z</math>, there exists a unique map to <math>X \wedge Y</math> from <math>Z</math> such that the diagram commutes.
 ==Particular cases==
-{{fillin}}
+===Reduced suspension===
+{{further|[[reduced suspension]]}}
+The reduced suspension of a topological space is its smash product with the [[based circle]] (since the circle is homogeneous, it does not matter what basepoint we choose for it. The reduced suspension is often just called the ''suspension''.
+===Spheres===
+The <math>n</math>-sphere (with basepoint) can be viewed as the smash product of the (based) circle with itself <math>n</math> times.