Pseudocompact space

In mathematics, in the field of topology, a topological space is said to be pseudocompact if its image under any continuous function to R is bounded.

Many authors include the requirement that the space be completely regular in the definition of pseudocompactness.

Pseudocompact spaces were defined by Edwin Hewitt in 1948.

[1] A relatively refined theory is available for pseudocompact topological groups.

[2] In particular, W. W. Comfort and Kenneth A. Ross proved that a product of pseudocompact topological groups is still pseudocompact (this might fail for arbitrary topological spaces).