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, X², X³, ... obtained by identifying points (x₁,...,x_k−1,e,x_k+1,...,x_n) with (x₁,...,x_k−1, x_k+1,...,x_n). 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

James, I. M. (1955), "Reduced product spaces", Annals of Mathematics, Second Series, 62: 170–197, doi:10.2307/2007107, ISSN 0003-486X, JSTOR 2007107, MR 0073181

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.