Equivalence of definitions of pseudocompact space
This article gives a proof/explanation of the equivalence of multiple definitions for the term Pseudocompact space (?)
View a complete list of pages giving proofs of equivalence of definitions
The definitions that we have to prove are equivalent
- For any continuous map from the topological space to the real line, the image of the topological space is a closed and bounded subset of the real line.
- For any continuous map from the topological space to the real line, the image of the topological space is a bounded subset of the real line.
- Any continuous map from the topological space to the real line attains its absolute maximum and its absolute minimum.
We prove that (1) implies both (3), (3) implies (2), and (2) implies (1). The main meat of the proof is in (2) implies (1), because there, we actually need to construct a new function using the original function.
(1) implies (3)
From (1), the image of a continuous function to the reals is closed and bounded. Since it is bounded, it has a finite supremum and a finite infimum. Since it is closed, the supremum and infimum are both part of the image. Thus, the function attains its absolute maximum and attains its absolute minimum.
(3) implies (2)
Indeed, this is obvious, because if a function attains an absolute maximum and an absolute minimum, then it must be bounded.
(2) implies (1)
Given: A topological space such that for any continuous map from to , the image of is a bounded subset of . A continuous map .
To prove: is closed and bounded in .
Proof: That is bounded follows directly. We want to prove that is closed. Suppose not. Then, there exists a real number that is a limit point of but not in .
Consider the function given by . Set . Then, is a continuous map from to (it is well-defined because and it is continuous because it is a composite of two continuous functions. (Technical point: We are here thinking of as a map to , and using the fact that a continuous function to another space is also continuous when we reduce the co-domain to a smaller subspace still containing the image of the function).
Thus, is a continuous function. Moreover, since contains values arbitrarily close to , contains values of arbitrarily large magnitude, i.e., is unbounded, contradicting our assumption that the image under any continuous function is unbounded.