Proving a set of functions is bounded in an open set

Click For Summary
SUMMARY

The discussion centers on a mathematical problem involving the space of continuous functions, denoted as ##C(X)##, within a complete metric space ##X##. The problem asserts that if for every point ##x \in X##, the set of function values ##\{f(x): f \in C(X)\}## is bounded in ##\mathbb R##, then there exists an open set ##U \subset X## and a constant ##C > 0## such that for all ##x \in U## and all ##f \in C(X)##, the inequality ##|f(x)| \leq C## holds. Participants express confusion regarding the assumptions of the problem, particularly questioning the validity of the boundedness claim for all continuous functions in ##C(X)##.

PREREQUISITES
  • Understanding of complete metric spaces
  • Familiarity with the space of continuous functions, ##C(X)##
  • Knowledge of the metric ##d_{\infty}##
  • Basic concepts of boundedness in mathematical analysis
NEXT STEPS
  • Study the properties of complete metric spaces and their implications for function spaces
  • Explore the concept of boundedness in the context of continuous functions
  • Investigate the implications of the metric ##d_{\infty}## on function behavior
  • Review examples of open sets in metric spaces and their relevance to function continuity
USEFUL FOR

Mathematics students, particularly those studying analysis and topology, as well as educators seeking to clarify concepts related to continuous functions and metric spaces.

mahler1
Messages
217
Reaction score
0
Homework Statement .

Let ##X## be a complete metric space and consider ##C(X)## the space of continuous functions from ##X## to ##\mathbb R## with the metric ##d_{\infty}##. Suppose that for every ##x \in X##, the set ##\{f(x): f \in C(X)\}## is bounded in ##\mathbb R##. Prove that there exist an open set ##U \subset X## and ##C>0## such that ##\forall x \in U## and ##\forall f \in C(X)##, ##|f(x)|\leq C##. The attempt at a solution.

I am totally lost with this problem. I am having trouble understanding what I am trying to prove here. Would the proof of this statement mean that ##C(X)## is bounded restricted to some subset of ##X##? Can anyone suggest me where to begin? A lot of information is given in the statement: ##X## is complete, the functions are continuous, etc, but I don't know how to properly use all these facts.
 
Physics news on Phys.org
mahler1 said:
Homework Statement .

Let ##X## be a complete metric space and consider ##C(X)## the space of continuous functions from ##X## to ##\mathbb R## with the metric ##d_{\infty}##. Suppose that for every ##x \in X##, the set ##\{f(x): f \in C(X)\}## is bounded in ##\mathbb R##. Prove that there exist an open set ##U \subset X## and ##C>0## such that ##\forall x \in U## and ##\forall f \in C(X)##, ##|f(x)|\leq C##. The attempt at a solution.

I am totally lost with this problem. I am having trouble understanding what I am trying to prove here. Would the proof of this statement mean that ##C(X)## is bounded restricted to some subset of ##X##? Can anyone suggest me where to begin? A lot of information is given in the statement: ##X## is complete, the functions are continuous, etc, but I don't know how to properly use all these facts.

I don't get what they mean either. If C(X) is the space of all continuous functions X->R, then any constant function f(x)=M for arbitrary M in R is continous. So f(x) can be anything in R. So how can you assume f(x) is bounded for all f in C(X)? I'm not sure the question (whatever it is) has been stated correctly.
 
  • Like
Likes   Reactions: 1 person
Dick said:
I don't get what they mean either. If C(X) is the space of all continuous functions X->R, then any constant function f(x)=M for arbitrary M in R is continous. So f(x) can be anything in R. So how can you assume f(x) is bounded for all f in C(X)? I'm not sure the question (whatever it is) has been stated correctly.

You're right, it doesn't make any sense to assume what the exercise tells to assume because of what you've said. I've taken this exercise from an old exam, if I can figure out if there was any correction on the statement, I'll post it. As you've noticed, as it is now, it is incorrect.
 

Similar threads

Replies
20
Views
5K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
20
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 20 ·
Replies
20
Views
3K
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
1
Views
2K