Realcompact space

From Wikipedia, the free encyclopedia

In mathematics, in the field of topology, a topological space is said to be realcompact if it can be embedded homeomorphically as a closed subset in some Cartesian power of the reals, with the product topology.

[edit] See also