Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Consider the following statement:

Let $K$ be a nonempty subset of $\mathbb R^n$, where $n>1$. Then If $K$ is compact, then every continuous real-valued function defined on $K$ is bounded.

Here are my questions:

  • Is the converse true? (If every continuous real-valued function defined on $K \subset \mathbb R^n$ is bounded, then $K$ is compact)

Edit: According to the answers, I would like to add the following question:

Is the above statement true for every topological space?

share|improve this question
3  
The more general statement is actually a condition of it's own known as pseudocompactness. –  JSchlather Jun 1 '11 at 1:18
    
"Any" in your last question, is an ambiguous word. "Is this true of any space?" can mean "Is there any space, of which this is true?", but it can also mean "Is it true that for any space (no matter which one), this is true?". If you mean "every", then just using that word would disambiguate it. –  Michael Hardy Oct 15 '11 at 0:46
    
@MichaelHardy: Thanks for you suggestion. –  Jack Oct 15 '11 at 0:51

4 Answers 4

up vote 13 down vote accepted

In ${\bf R}^n$, compact means closed and bounded. If $K$ is not boounded, then $\sum|x_i|$ is a continuous unbounded function on $K$. If $K$ is not closed, let $a$ be a limit point of $K$ not in $K$, then the reciprocal of the distance to $a$ is continuous on $K$ and not bounded.

share|improve this answer

As pointed out by others: the property that every real-valued (or equivalently $\mathbb{R}^n$-valued) continuous function on $X$ is bounded is called pseudocompactness. It's closely related to other notions: countable compactness (every countable open cover has a finite subcover) and sequential compactness (every sequence has a convergent subsequence).

For general spaces none of these are equivalent to compactness or to each other, even for Tychonoff spaces. For metric spaces they are all equivalent to compactness, though. In general (say for Tychonoff spaces) we only that that sequential compactness implies countable compactness which in turn implies pseudocompactness, and compactness implies countable compactness (but not sequential compactness).

For normal spaces pseudocompact implies countably compact. For first countable spaces, countably compact implies sequentially compact. (More general theorems are possible.)

As G. Edgar pointed out, $[0, \omega_1)$ is a classical example of a sequentially compact, (and thus countably compact and pseudocompact) space that is very nice: first countable and hereditarily normal as well.

Another famous (in topology) example is Mrowka's Psi-space: consider a MAD family $\cal{A}$ on $\mathbb{N}$ (a maximal (w.r.t. inclusion) subfamily of infinite subsets of $\mathbb{N}$ such that any pair of them intersects in a finite set). Then define a space $X = \mathbb{N} \cup \{x_A \mid A \in \cal{A} \}$ and a topology on $X$ by declaring all points of $\mathbb{N}$ isolated, and a basic neighbourhood of $x_A$, $A \in \cal{A}$, is $A\setminus F$, where $F \subset A$ is finite. So points of $A \in \cal{A}$ converge to their $x_A$, and the finite sets we leave off ensures Hausdorffness (and thus Tychonov, as all basic open sets are clopen, and compact as well). The subset $\{ x_A \mid A \in \cal{A} \}$ of $X$ is infinite and discrete, so $X$ is not countably compact while the maximality of $\cal{A}$ ensures that $X$ is pseudocompact. It follows that $X$ is not normal (this also follows from Jones' lemma), and is an example of a locally compact Hausdorff, non-normal pseudocompact space that is not countably compact (so a fortiori not compact).

edit: original reference for Psi space

share|improve this answer

Hausdorff space $X = [0,\omega_1)$ with the order topology is pseudo-compact. That means: every real-valued continuous function on $X$ is bounded.

share|improve this answer
    
I really like this example! Thank you for leaving out the proofs that $X$ is not compact and that it is pseudo-compact - they were quite fun. –  Jason DeVito Jun 1 '11 at 3:40
    
Could you explain what the notation $[0,\omega_1)$ means in topology? Any reference will be really appreciated. –  Jack Jun 1 '11 at 4:11
1  
@Jack: it's the set of all countable ordinals (so he assumes you know some set theory). It's an interval: all ordinal numbers that are $\ge 0$ and $< \omega_1$ = the first uncountable ordinal. It's a standard example. –  Henno Brandsma Jun 1 '11 at 6:03
    
A self-contined description of the set: $X$ is totally ordered by a relation $<$, every nonempty subset has a least element, $X$ itself is uncountable, but for every $u \in X$, the initial segment $\{x : x \le u\}$ is countable. –  GEdgar Jun 1 '11 at 13:56

Let $X$ be the topological space whose points are the natural numbers, with topology generated by the sets $\{0,n\}$ for all $n\in\mathbb{N}$. Then $X$ is not compact, but every continuous function $X\to\mathbb{R}$ is constant.

share|improve this answer
    
Of course, the space $X$ is not Hausdorff. –  Jim Belk Jun 1 '11 at 0:27
    
Do you know if Hausdorff + "every continuous function is bounded" implies compact? Or do you know of a counterexample? –  Jason DeVito Jun 1 '11 at 1:36
    
@Jason: read GEdgar's answer. –  t.b. Jun 1 '11 at 2:00
1  
@Jason metric space + every real-valued continuous function is bounded does imply compact though. –  JSchlather Jun 1 '11 at 2:56

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.