Any T0 space embeds in a product of copies of the Sierpinski space. #

We consider Prop with the Sierpinski topology. If X is a topological space, there is a continuous map productOfMemOpens from X to Opens X → Prop which is the product of the maps X → Prop given by x ↦ x ∈ u.

The map productOfMemOpens is always inducing. Whenever X is T0, productOfMemOpens is also injective and therefore an embedding.

The continuous map from X to the product of copies of the Sierpinski space, (one copy for each open subset u of X). The u coordinate of productOfMemOpens x is given by x ∈ u.

Instances For