How to prove a set is unbounded

  • Thread starter Thread starter happybear
  • Start date Start date
  • Tags Tags
    Set
Click For Summary
SUMMARY

The discussion centers on proving that the set of all continuous functions from the interval [a, b] to R is unbounded. Participants clarify that the distance function, defined as d(f, g) = max_{a ≤ x ≤ b} |f(x) - g(x)|, is essential for establishing the unbounded nature of the set. The consensus is that to demonstrate unboundedness, one must show that for any positive number A, there exist functions f and g in the set such that d(f, g) > A. The focus is on the existence of infinitely many continuous functions rather than proving the set itself is infinite.

PREREQUISITES
  • Understanding of continuous functions and their properties
  • Familiarity with the concept of boundedness in mathematical analysis
  • Knowledge of distance functions in metric spaces
  • Basic principles of function analysis over closed intervals
NEXT STEPS
  • Research the properties of continuous functions on closed intervals [a, b]
  • Study the implications of the distance function d(f, g) = max_{a ≤ x ≤ b} |f(x) - g(x)|
  • Explore examples of unbounded sets in functional analysis
  • Investigate the concept of infinite sets in the context of function spaces
USEFUL FOR

Mathematics students, educators, and researchers interested in functional analysis, particularly those exploring the properties of continuous functions and their boundedness.

happybear
Messages
19
Reaction score
0

Homework Statement



Suppose I have a set E that contains all continuous function f from [a,b] --> R, I think this is unbounded, but can I prove it?

Homework Equations



d(f1,f2)= sup{f1(x)-f2(x)}

The Attempt at a Solution


I want to show |d(f1,f2)|>M for some M, but I don't know if this is the right direction and how to do it
 
Last edited:
Physics news on Phys.org
A set is "unbounded" if, for any positive number A, there exist point p and q in the set such that d(p,q)> A. That, of course, depends on how you measure "distance"- d(p,q).
What is your definition of d(f, g) for f and g in the set of continuous functions from [a, b] to R?

(What ever your d(f,g) is, consider the functions fn(x)= n. for n= 1, 2, 3, ...)
 
But there are no definition of f, that is the point. F will be any continuous function from [a,b] to R. Can I prove this set is infinite?
 
If you think that it is false, you can provide a counterexample.

So, if f : [a, b] \to R and let A = [a, b] is bounded, is it necessarily true that f(A) is bounded?
 
happybear said:
But there are no definition of f, that is the point. F will be any continuous function from [a,b] to R. Can I prove this set is infinite?
Do you mean d, the distance function? There has to be a definition of distance in order to talk about "bounded" or "unbounded". And you don't want to prove the set is infinite (that's trivial), you want to prove it is unbounded, a completely different thing.

Is it possible that you are talking about the set of continuous functions from [a,b] to R? For that, the distance function is most commonly d(f, g)= \max_{a\le x\le b} |f(x)- g(x)|.
 
konthelion said:
If you think that it is false, you can provide a counterexample.

So, if f : [a, b] \to R and let A = [a, b] is bounded, is it necessarily true that f(A) is bounded?
The problem was not to prove that functions in the set are bounded but that the set itself is.
 
HallsofIvy said:
Is it possible that you are talking about the set of continuous functions from [a,b] to R? For that, the distance function is most commonly d(f, g)= \max_{a\le x\le b} |f(x)- g(x)|.
Yes. That is what I meant. And what I want to show is that there are infinitely many functions of f. That is how I interpret the question, since they ask if the set is unbounded. Or do I misunderstand it
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K
Replies
22
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K