Skip to main content
added 121 characters in body
Source Link
Ramiro de la Vega
  • 11.5k
  • 1
  • 45
  • 56

You are looking for the notion of Dieudonne completeDieudonne complete spaces (those are exactlywhich turn out to be exactly the closed subspaces of products of metric spaces). As Todd mentioned in his comment, this notion is closely related with the notion of realcompactness (the two notions coincide if there are no measurable cardinals). A way to find examples is to look for pseudo-compact non-compact spaces (for instance $\omega_1$ with (a uniformity compatible with) the ordertopologyorder topology).

You are looking for the notion of Dieudonne complete spaces (those are exactly the closed subspaces of products of metric spaces). As Todd mentioned in his comment, this notion is closely related with the notion of realcompactness (the two notions coincide if there are no measurable cardinals). A way to find examples is to look for pseudo-compact non-compact spaces (for instance $\omega_1$ with the ordertopology).

You are looking for the notion of Dieudonne complete spaces (which turn out to be exactly the closed subspaces of products of metric spaces). As Todd mentioned in his comment, this notion is closely related with the notion of realcompactness (the two notions coincide if there are no measurable cardinals). A way to find examples is to look for pseudo-compact non-compact spaces (for instance $\omega_1$ with (a uniformity compatible with) the order topology).

Source Link
Ramiro de la Vega
  • 11.5k
  • 1
  • 45
  • 56

You are looking for the notion of Dieudonne complete spaces (those are exactly the closed subspaces of products of metric spaces). As Todd mentioned in his comment, this notion is closely related with the notion of realcompactness (the two notions coincide if there are no measurable cardinals). A way to find examples is to look for pseudo-compact non-compact spaces (for instance $\omega_1$ with the ordertopology).