Compactness in C([a,b]): Finding all g's for which X is compact

  • Thread starter Thread starter radicalfreedo
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on identifying all functions g in C([a,b]) for which the set X, defined as X={f in C([a,b]) such that |f(t)|≤|g(t)| for all t in [a,b]}, is compact. It is established that for X to be compact, it must be both closed and bounded, with the realization that boundedness alone is insufficient. The Ascoli-Arzelà theorem is suggested as a potential tool for addressing the closure aspect of the problem, emphasizing the need for a deeper understanding of compactness in the context of continuous functions on closed intervals.

PREREQUISITES
  • Understanding of compact sets in functional analysis
  • Familiarity with the properties of continuous functions in C([a,b])
  • Knowledge of the Ascoli-Arzelà theorem
  • Basic concepts of closure in topological spaces
NEXT STEPS
  • Study the Ascoli-Arzelà theorem and its applications in compactness
  • Review the definitions and properties of closed and bounded sets in C([a,b])
  • Explore examples of compact sets in functional analysis
  • Investigate the relationship between boundedness and compactness in different topological spaces
USEFUL FOR

Mathematics students, particularly those studying functional analysis, and educators seeking to clarify concepts of compactness in continuous function spaces.

radicalfreedo
Messages
3
Reaction score
0

Homework Statement


Let g belong to C([a,b]) be given, and let X={f belonging to C([a,b]) such that abs(f(t))<=abs(g(t)), for any t belonging to [a,b]}

Find all g's for which X is compact.


Homework Equations


A compact set is closed and bounded. I believe that all the f's smaller tan g determine a bounded subset, as long as g is bounded. However, i don't understand so muc how can i put the closed part in. I believe that I need to work with the closure, as X will bo closed if X=cl(X), and cl(X)=all the f's smaller than g. However, I am not able to put all this together, and to actually answer te question.


The Attempt at a Solution


Any suggestion/hint, would be highly thanked.
 
Physics news on Phys.org
Compact doesn't mean closed and bounded (boundedness in particular is what isn't enough). We're in C[a,b] here - not some Euclidean space! So I'll let you rethink your approach. If you still need help, post back.
 
you're right. quite an important concecptual mistake. i revised my notes, and well, realize that maybe with ascoli-arzela, but I am lost. it seems like such a broad question...
i would need some help if you don't mind. thank you
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
Replies
1
Views
2K