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

Click For Summary

Homework Help Overview

The problem involves the set S of continuous functions defined on a compact interval [a,b] that equal zero at a fixed point t0. The goal is to demonstrate that this set is not dense in the space of continuous functions C[a,b] with respect to the sup-norm.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • Participants discuss the strategy of comparing functions from set S with constant functions from C[a,b] to evaluate the sup-norm of their differences. There is uncertainty about the correctness of the initial approach and whether it effectively demonstrates the non-density of S.

Discussion Status

Some participants have proposed specific functions to analyze the distance between elements of S and other functions in C[a,b]. There is an ongoing exploration of different examples and potential pitfalls in the reasoning, indicating a productive dialogue without a clear consensus yet.

Contextual Notes

Participants note the importance of the fixed point t0 and the implications of its value on the arguments being made. There is a caution against assumptions that could lead to incorrect conclusions, particularly regarding the behavior of functions in the context of the sup-norm.

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
1K
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
2K
Replies
8
Views
3K