Is the subset G totally bounded? - Proving or disproving using relevant theorems

  • Thread starter Thread starter Eulogy
  • Start date Start date
  • Tags Tags
    Bounded
Click For Summary

Homework Help Overview

The problem involves determining whether the subset G of continuous functions on the interval [0,1], defined by a specific integral condition, is totally bounded under a given metric. The context includes relevant theorems related to compactness and equicontinuity.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the implications of the metric and the conditions for total boundedness, with one participant attempting to relate the properties of G in the sup metric to the integral metric.

Discussion Status

The discussion is ongoing, with participants exploring the construction of sequences of functions to test total boundedness. Some have suggested specific sequences and are questioning the properties of these functions in relation to the metric.

Contextual Notes

There is a mention of the difficulty in finding continuous functions that meet the criteria for total boundedness, and the constraints of the problem are acknowledged, particularly regarding the integral condition and the nature of the functions involved.

Eulogy
Messages
8
Reaction score
0

Homework Statement


Let G = { f \in C[0,1] : ^{0}_{1}\int|f(x)|dx \leq 1 }
Endowed with the metric d(f,h) = ^{0}_{1}\int|f(x)-h(x)|dx. Is G totally bounded? Prove or provide counterexample

2. Relevant Theorems

Arzela-Ascoli Theorem, Theorems relating to compactness, equicontinuity etc and

Let M be a compact metric space. A subset of
C(M) is totally bounded iff it is bounded and equicontinuous. (in terms of the sup metric)

The Attempt at a Solution


I'm not to sure whether G is totally bounded or not to begin with. If I was working in the sup metric the subset is not totally bounded as I can find a family of functions which are not equicontinuous in G. However I'm not sure how or if this translates to the integral metric defined above. Any help would be much appreciated!
 
Physics news on Phys.org
Try to find a sequence of functions f_i(x) such that d(f_i,f_j)=1 for all i \ne j. Step functions will do. What would that tell you about total boundedness?
 
Such a sequence could not be totally bounded since if I took a finite cover of the space with balls radius say half then each function in the sequence must be in a separate ball and as the sequence is infinite this leads to a contradiction. But I can't think of a sequence functions that are continuous on [0,1] with this property?
 
Eulogy said:
Such a sequence could not be totally bounded since if I took a finite cover of the space with balls radius say half then each function in the sequence must be in a separate ball and as the sequence is infinite this leads to a contradiction. But I can't think of a sequence functions that are continuous on [0,1] with this property?

Can you think of a way to define f1 so that it's integral is 1/2, but it is only nonzero on [1/2,1]. Same thing for f2 but it is only nonzero on [1/4,1/2], put f3 on [1/8,1/4] etc.
 
Last edited:
Yeah just figured it out thanks for your help!
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
4K
Replies
3
Views
2K
Replies
9
Views
3K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K