Skip to main content
changed LaTeX so it renders: please check this is what is meant!
Source Link
David Roberts
  • 35.4k
  • 11
  • 124
  • 349

You cannot embed all paracompact spaces in this way. Even if we allow at most countably many non-zero coordinates: in that case we get subspaces of $\Sigma$-products, which have been well-studied in general topology and functional analysis. Compact subspaces of these are called Corson compact spaces, and none of these map onto $[0,1]^\{\omega_1}$$[0,1]^{\omega_1}$. So the latter space is an example of a compact Hausdorff space (so paracompact etc.) that cannot be embedded into a $\Sigma$-product of copies of $I$ (or $R$).

You cannot embed all paracompact spaces in this way. Even if we allow at most countably many non-zero coordinates: in that case we get subspaces of $\Sigma$-products, which have been well-studied in general topology and functional analysis. Compact subspaces of these are called Corson compact spaces, and none of these map onto $[0,1]^\{\omega_1}$. So the latter space is an example of a compact Hausdorff space (so paracompact etc.) that cannot be embedded into a $\Sigma$-product of copies of $I$ (or $R$).

You cannot embed all paracompact spaces in this way. Even if we allow at most countably many non-zero coordinates: in that case we get subspaces of $\Sigma$-products, which have been well-studied in general topology and functional analysis. Compact subspaces of these are called Corson compact spaces, and none of these map onto $[0,1]^{\omega_1}$. So the latter space is an example of a compact Hausdorff space (so paracompact etc.) that cannot be embedded into a $\Sigma$-product of copies of $I$ (or $R$).

Source Link
Henno Brandsma
  • 5.4k
  • 1
  • 30
  • 32

You cannot embed all paracompact spaces in this way. Even if we allow at most countably many non-zero coordinates: in that case we get subspaces of $\Sigma$-products, which have been well-studied in general topology and functional analysis. Compact subspaces of these are called Corson compact spaces, and none of these map onto $[0,1]^\{\omega_1}$. So the latter space is an example of a compact Hausdorff space (so paracompact etc.) that cannot be embedded into a $\Sigma$-product of copies of $I$ (or $R$).