Proving C^k[a,b] is Not Closed in C^0[a,b]

  • Thread starter Thread starter SP90
  • Start date Start date
  • Tags Tags
    Closed
Click For Summary
SUMMARY

C^{k}[a,b] is not closed in C^{0}[a,b]. The discussion centers around constructing a sequence of functions f_{n}(x) that belong to C^{k}[a,b] but converge to a function f(x) that does not belong to C^{k}[a,b]. A proposed function is f_{n}(x) = x^{k+1}sin(1/nx), which fails to be k+1 differentiable at 0, while its limit f(x) = 0 is infinitely differentiable. The conversation emphasizes the importance of specifying the metric used in the analysis.

PREREQUISITES
  • Understanding of function spaces, specifically C^{k}[a,b] and C^{0}[a,b]
  • Knowledge of differentiability and continuity concepts
  • Familiarity with sequences and limits in mathematical analysis
  • Basic understanding of the Weierstrass function and its properties
NEXT STEPS
  • Research the properties of C^{k}[a,b] and C^{0}[a,b] function spaces
  • Study the Weierstrass function and its implications in analysis
  • Explore the concept of convergence in function spaces
  • Learn about metrics in functional analysis and their significance
USEFUL FOR

Mathematics students, particularly those studying real analysis, functional analysis, and anyone interested in the properties of function spaces and differentiability.

SP90
Messages
19
Reaction score
0

Homework Statement



Is [itex]C^{k}[a,b][/itex] closed in [itex]C^{0}[a,b]?[/itex]

The Attempt at a Solution



[itex]C^{k}[a,b][/itex] is obviously a subset of [itex]C^{0}[a,b][/itex].

My gut feeling says no. I thought the best way would be to construct a function [itex]f_{n}(x)[/itex] which converges to [itex]f(x)[/itex] and where [itex]f_{n}(x)[/itex] is in [itex]C^{k}[a,b][/itex] but [itex]f(x)[/itex] is not.

I thought maybe [itex]f_{n}(x)=x^{k+1}sin(\frac{1}{nx})[/itex] would do it since it's not k+1 differentiable at 0. But then [itex]f(x)=0[/itex] which can be differentiated infinitely (since each derivative is 0).
 
Physics news on Phys.org
You are definitely on right track. Try writing your sequence as a series
[itex]f_n = \sum_{i=0}^n a_n \sin(b_n x)[/itex] and then choose an and bn so that limit of fn exists but f'n diverges.
... Or just google "Weierstrass function", if you're lazy :)
 
If you're asking such questions, then you should always say which metric you're working with.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
3
Views
2K