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
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 2K views
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 :)