Proving two metrics are not equivalent

  • Thread starter Thread starter Lily@pie
  • Start date Start date
  • Tags Tags
    Equivalent
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 3K views
Lily@pie
Messages
108
Reaction score
0

Homework Statement


The vector space of continuous functions on [0,1] is given the following metrics

[itex]d_{∞} (f,g) = sup_{x\in [0,1]} |f(x)-g(x)|[/itex]

[itex]d_{2} (f,g) = (∫^{1}_{0} |f(x)-g(x)|^{2} dx)^{1/2}[/itex]

Are these two metrics equivalent?

Homework Equations


If [itex]d_{∞}[/itex] and [itex]d_{2}[/itex] are equivalent, then for every [itex]f \in C[0,1][/itex] and every [itex]\epsilon>0[/itex], there exist a [itex]\delta>0[/itex] such that [itex]B^{d_{∞}}_{\delta}(f)\subset B^{d_{2}}_{\epsilon}(f)[/itex] and [itex]B^{d_{2}}_{\delta}(f)\subset B^{d_{∞}}_{\epsilon}(f)[/itex]

The Attempt at a Solution



I know that these two metrics are not equivalent, but i can't find a function at which i can find an [itex]\epsilon>0[/itex] for every [itex]\delta>0[/itex] where they are not the subset of each other.

I know that [itex]d_{∞}[/itex] is like the highest point of the g(x) if I let f(x)=0 and g(x) be some other function. [itex]d_{2}[/itex] is like the area under the graph between [0,1].
 
Physics news on Phys.org
Hi Lily@pie! :smile:
Lily@pie said:
I know that [itex]d_{∞}[/itex] is like the highest point of the g(x) if I let f(x)=0 and g(x) be some other function. [itex]d_{2}[/itex] is like the area under the graph between [0,1].

Yes, you're practically there …

you need a sequence gn(x) with constant maximum but decreasing area :wink:
 
I'm clueless :cry:

any hints? :bugeye:
 
Would this be a function g(x)=(x-1)2 where 0≤x≤1??

And f(x) = 0 for all x

For all δ>0 such that [itex]d_{2} (f,g)[/itex] will be undefined! oh my god... what did i do...