Proving two metrics are not equivalent

  • Thread starter Thread starter Lily@pie
  • Start date Start date
  • Tags Tags
    Equivalent
Click For Summary

Homework Help Overview

The problem involves determining whether two metrics, \( d_{\infty} \) and \( d_{2} \), defined on the vector space of continuous functions on the interval [0,1], are equivalent. The metrics are defined in terms of the supremum and the integral of the difference between functions, respectively.

Discussion Character

  • Conceptual clarification, Assumption checking, Mixed

Approaches and Questions Raised

  • Participants discuss the nature of the metrics and explore the idea of finding a function that demonstrates their non-equivalence. There are attempts to conceptualize the metrics in terms of maximum values and areas under curves. Questions arise about specific functions that could serve as examples.

Discussion Status

Some participants are exploring potential functions that could illustrate the differences between the two metrics. Hints and suggestions are being exchanged, with a focus on constructing sequences or functions that maintain certain properties while differing in others. There is a sense of collaborative exploration, but no consensus has been reached on a specific example yet.

Contextual Notes

Participants are considering the implications of the definitions of the metrics and the conditions under which they might be equivalent. There is a mention of needing to find a function that meets specific criteria related to the metrics, indicating a potential gap in information or understanding.

Lily@pie
Messages
108
Reaction score
0

Homework Statement


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

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

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

Are these two metrics equivalent?

Homework Equations


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

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 \epsilon>0 for every \delta>0 where they are not the subset of each other.

I know that d_{∞} is like the highest point of the g(x) if I let f(x)=0 and g(x) be some other function. d_{2} 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 d_{∞} is like the highest point of the g(x) if I let f(x)=0 and g(x) be some other function. d_{2} 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:
 
how about a curve which starts at (0,1) and curves gracefully down to (1,0) ?

then reduce the area :wink:
 
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 d_{2} (f,g) will be undefined! oh my god... what did i do...
 
Lily@pie said:
Would this be a function g(x)=(x-1)2 where 0≤x≤1??

i was thinking of somthing that gets flatter a lot quicker,

like e-x (but adjusted to fit into [0,1]) :smile:
 

Similar threads

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