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.

While reading through Kantorovitz's book on functional analysis, I had a query that need clarification. If $X$ is compact, $C_{B}(X)$ - bounded continuous function, with the sup-norm coincides with $C(X)$ - continuous real valued function, with the sup-norm, since if $f:X \rightarrow \mathbb{R}$ is continuous and $X$ is compact, then $\vert f \vert$ is bounded.

May I know how the above relates to the corollary that states: Let $X$ be a compact topological space. If $f \in C(X)$, then $\vert f \vert$ has a minimum and a maximum value on $X$. I believe the relation here is that the function is bounded and hence relate to the corollary but hope someone can clarify just to be sure. Thank You.

share|improve this question
add comment

1 Answer

up vote 1 down vote accepted

That is exactly what you said, but changing it a little:

Every continuous real function over a compact space is bounded.

We know that the image of a compact set by a continuous function is compact, and that implies boundedness of the image. A function is bounded exactly when its image is bounded, so it's proved!

Then $C(X)=C_B(X)$. The minimum and maximum is a plus, that implies boundedness, so that your reasoning was correct.

share|improve this answer
    
I see. Thanks for the clarification, Juan. ;p –  Sandra May 29 '12 at 2:48
add comment

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.