James reduced product

In topology, a branch of mathematics, the James reduced product or James construction J(X) of a topological space X with given basepoint e is the quotient of the disjoint union of all powers X, X2, X3, ... obtained by identifying points (x1,...,xk1,e,xk+1,...,xn) with (x1,...,xk1, xk+1,...,xn). In other words its underlying set is the free monoid generated by X (with unit e). It was introduced by Ioan James (1955).

For a connected CW complex X, the James reduced product J(X) has the same homotopy type as ΩΣX, the loop space of the suspension of X.

The commutative analogue of the James reduced product is called the infinite symmetric product.

References

This article is issued from Wikipedia - version of the 2/24/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.