Pointwise & uniform boundednes

  • Thread starter Thread starter camillio
  • Start date Start date
  • Tags Tags
    Uniform
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
camillio
Messages
74
Reaction score
2
In Baby Rudin, Theorem 7.25 states:
If [itex]K[/itex] is compact, [itex]f_n \in C(K)[/itex] for [itex]n=1,2,3,...[/itex] and if [itex]{f_n}[/itex] is pointwise bounded and equicontinuous on [itex]K[/itex], then
(a) [itex]{f_n}[/itex] is uniformly bounded on [itex]K[/itex]

The theorem continues with point (b), which I understand.

My question is, whether point (a) needs the equicontinuity, since:
* [itex]C(K)[/itex] is a set of continuous bounded functions on a compact space, i.e. uniformly continuous, hence there is no function [itex]g[/itex] s.t. [itex]g(x) \to \infty[/itex].
* if the previous holds, then by the hypothesis of pointwise boundedness of [itex]\{f_n\}[/itex], there must exist a number [itex]\sup_{x \in K, n=1,2,3,...} |f_n(x)| = M<\infty[/itex], [itex]x\in K[/itex] arbitrary and hence the uniform boundedness should hold.

Am I wrong?
 
Last edited:
Physics news on Phys.org
Thanks a lot! I assume, that the reason is that [itex]f_n[/itex] converges pointwise for every [itex]x\in K[/itex], but due to the points [itex]1/n[/itex] in your example, it is impossible to find a global finite [itex]M[/itex] s.t. [itex]|f_n(x)| \leq M[/itex] for all [itex]x \in K[/itex]. Right?

I really do not understand why usually things go quite well, but at some moments I get stuck with (obvious?) things :(