Vipul: Created page with '{{definition equivalence|pseudocompact space}} ==The definitions that we have to prove are equivalent== # For any continuous map from the topological space to the real line…'

2009-12-24T00:43:07Z

Created page with '{{definition equivalence|pseudocompact space}} ==The definitions that we have to prove are equivalent== # For any continuous map from the topological space to the real line…'

New page

{{definition equivalence|pseudocompact space}}

==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.

==Proof==

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 <math>X</math> such that for any continuous map from <math>X</math> to <math>\R</math>, the image of <math>X</math> is a bounded subset of <math>\R</math>. A continuous map <math>f: X \to \R</math>.

'''To prove''': <math>f(X)</math> is closed and bounded in <math>\R</math>.

'''Proof''': That <math>f(X)</math> is bounded follows directly. We want to prove that <math>f(X)</math> is closed. Suppose not. Then, there exists a real number <math>a</math> that is a limit point of <math>f(X)</math> but not in <math>f(X)</math>.

Consider the function <math>h:\R \setminus \{ a \} \to \R</math> given by <math>t \mapsto 1/(t - a)</math>. Set <math>g = h \circ f</math>. Then, <math>g</math> is a continuous map from <math>X</math> to <math>\R</math> (it is well-defined because <math>f(X) \subseteq \R \setminus \{ a \}</math> and it is continuous because it is a composite of two continuous functions. (''Technical point'': We are here thinking of <math>f</math> as a map to <math>\R \setminus \{ a \}</math>, 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, <math>g:X \to \R</math> is a continuous function. Moreover, since <math>f(X)</math> contains values arbitrarily close to <math>a</math>, <math>g(X)</math> contains values of arbitrarily large magnitude, i.e., <math>g(X)</math> is unbounded, contradicting our assumption that the image under any continuous function is unbounded.

Equivalence of definitions of pseudocompact space - Revision history

Vipul: Created page with '{{definition equivalence|pseudocompact space}} ==The definitions that we have to prove are equivalent== # For any continuous map from the topological space to the real line…'