Functional analysis: Shoe set is not dense in C([a,b])

Click For Summary
SUMMARY

The discussion centers on proving that the set S = {f ∈ C[a,b] | f(t0) = 0} is not dense in the space C[a,b] with the sup-norm. Participants suggest using constant functions, such as g(t) = t0 + 1, to demonstrate that the distance between functions in S and those in C[a,b] can be made greater than any arbitrary value. The conclusion is that for any function f in S, there exists a function g in C[a,b] such that the sup-norm distance ||f - g|| is at least |t0 + 1|, confirming that S is not dense in C[a,b].

PREREQUISITES
  • Understanding of compact intervals in real analysis.
  • Familiarity with the concept of dense sets in topology.
  • Knowledge of the sup-norm and its properties.
  • Basic proficiency in functional analysis and continuous functions.
NEXT STEPS
  • Study the properties of dense sets in metric spaces.
  • Learn about the sup-norm and its applications in functional analysis.
  • Explore counterexamples in functional analysis to solidify understanding.
  • Investigate the implications of compactness in function spaces.
USEFUL FOR

Mathematics students, particularly those studying real analysis and functional analysis, as well as educators looking for examples of non-dense subsets in function spaces.

Mixer
Messages
38
Reaction score
0

Homework Statement



Let [a,b] \subset \mathbb{R} be a compact interval and t0 \in [a,b] fixed. Show that the set S = {f \in C[a,b] | f(t_0) = 0} is not dense in the space C[a,b] (with the sup-norm).

Homework Equations



Dense set: http://en.wikipedia.org/wiki/Dense_set

sup - norm: http://mathworld.wolfram.com/SupremumNorm.html


The Attempt at a Solution



I tried to take function f from S and function g from C[a,b] and calculate the sup-norm of the difference of the functions and make it bigger than some number. However I am not able to do so.. I'm not even sure if my approach is correct here. What should be my strategy?
 
Physics news on Phys.org
For a given number Y, take g(x)= Y+ 1, a constant function. What is d(f, g)?
 
Thank you for reply!

So are you saying that I should take g(t) = t0 + 1 for all t. Then

\left\|f - g\right\| = sup_{t \in [a,b]} |f(t) - g(t)| \geq |f(t_0) - g(t)| = |0 - t_0 -1| = |t_0 + 1|

Therefore set S is not dense in C[a,b] ?
 
Mixer said:
Thank you for reply!

So are you saying that I should take g(t) = t0 + 1 for all t. Then

\left\|f - g\right\| = sup_{t \in [a,b]} |f(t) - g(t)| \geq |f(t_0) - g(t)| = |0 - t_0 -1| = |t_0 + 1|

Therefore set S is not dense in C[a,b] ?

I don't think that is quite what he is saying. And you could accidentally have ##t_0=-1## which would wreck your argument. Why don't you just use a similar argument to show that if ##f(x)
\equiv 1## that no ##g## in your subset gets close to it in sup norm?
 

Similar threads

Replies
2
Views
979
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
3
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
8
Views
3K