James reducerade produkt
Inom topologi, en del av matematiken, är James reducerade produkt eller James konstruktion "J"("X") av ett topologiskt rum "X" med given baspunkt "e" kvoten av den disjunkta unionen av alla potenser "X", "X"2, "X"3, ... som fås genom att identifiera punkter ("x"1...,"x""k"−1,"e","x""k"+1...,"x""n") med ("x"1...,"x""k"−1, "x""k"+1...,"x""n"). I andra ord är den underliggande mängden den fria kommutativa moniden genererad av "X" (med enhet "e"). Den introducerades av .

För ett sammanhängande CW-komplex "X" har James reducerade produkt "J"("X") samma homotopityp som ΩΣ"X", looprummet av suspensionen av "X".

Den kommutativa analogin av James reducerade produkt är den oändliga symmetriska produkten.
part of
part of