Every topological space, including one without the T0 space property, embeds into a power of this three-point space. For each open set , use a coordinate equal to on and elsewhere. Its inverse image of the only proper nonempty open set is . For each point , add a coordinate equal to at and elsewhere. These coordinates are continuous because the subspace has the indiscrete topology, and they separate all points. The combined diagonal map is injective and induces precisely the original topology, hence is a topological embedding.
Articles by others on the same topic
There are currently no matching articles.