Symmetric product (topology)
In algebraic topology, the symmetric product of a topological space consists of unordered -tuples of distinct points in. The infinite symmetric product is the colimit of this process, and appears in the Dold–Thom theorem.Definition
For a topological space, the th symmetric product of is the space
that is, the orbit space given by the quotient of the n-fold product of by the natural action of the symmetric group defined byInfinite symmetric product
The infinite symmetric product SP 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 with and identifying any point with any other point given by permuting its coordinates. In other words its underlying set is the free commutative monoid generated by X, and is the abelianization of the James reduced product.The infinite symmetric product is also defined as the colimit
