Proving two metrics are not equivalent

  • Thread starter Thread starter Lily@pie
  • Start date Start date
  • Tags Tags
    Equivalent
Click For Summary
The discussion centers on the non-equivalence of the metrics d_{∞} and d_{2} for continuous functions on the interval [0,1]. Participants explore the definitions of both metrics, with d_{∞} representing the supremum of the absolute difference between two functions and d_{2} representing the square root of the integral of the squared difference. A key point raised is the challenge of finding a function that demonstrates the lack of equivalence, particularly by using a sequence of functions with a constant maximum but decreasing area. Suggestions include using functions that flatten quickly, such as g(x) = (x-1)² or an adjusted exponential function. The conversation highlights the complexities involved in proving the metrics are not subsets of each other.
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:
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

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 7 ·
Replies
7
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
6
Views
2K