Show the following is a metric

  • Thread starter DotKite
  • Start date
  • #1
81
1

Homework Statement



Show that ##d(f,g) = \int_{0}^{1}\left | f(x) - g(x) \right | dx## is a distance function. Where ##f : [0,1] \rightarrow R## and ##f## is continuous.

Homework Equations





The Attempt at a Solution


I am stuck on the second property where you have to show d(f,g) = 0 iff f = g. THe left direction is trivial. However d(f,g) = 0 implying f=g is giving me trouble. I have tried contrapositive, but it doesnt seem to be getting me anywhere.
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,260
619

Homework Statement



Show that ##d(f,g) = \int_{0}^{1}\left | f(x) - g(x) \right | dx## is a distance function. Where ##f : [0,1] \rightarrow R## and ##f## is continuous.

Homework Equations





The Attempt at a Solution


I am stuck on the second property where you have to show d(f,g) = 0 iff f = g. THe left direction is trivial. However d(f,g) = 0 implying f=g is giving me trouble. I have tried contrapositive, but it doesnt seem to be getting me anywhere.

The fact you need is that if F(x)>=0 on [0,1], F(a)>0 for some ##a## in [0,1] and F(x) is continuous (very important) then ##\int_{0}^{1}\left | F(x) \right | dx \gt 0##. Can you figure out how to prove that?
 
Last edited:
  • #3
81
1
The fact you need is that if F(x)>=0 on [0,1], F(a)>0 for some ##a## in [0,1] and F(x) is continuous (very important) then ##\int_{0}^{1}\left | F(x) \right | dx \ge 0##. Can you figure out how to prove that?

wouldn't I need to show that ##\int_{0}^{1}\left | F(x) \right | dx > 0##
to get the contrapositive?
 
  • #4
81
1
Oh I see! ok. NVM. Gonna try to prove it
 
  • #5
Dick
Science Advisor
Homework Helper
26,260
619
wouldn't I need to show that ##\int_{0}^{1}\left | F(x) \right | dx > 0##
to get the contrapositive?

Yes, of course. Typo. Sorry. I corrected it.
 
Last edited:

Related Threads on Show the following is a metric

  • Last Post
Replies
5
Views
782
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
3
Views
897
Replies
3
Views
16K
  • Last Post
Replies
2
Views
2K
Replies
0
Views
2K
  • Last Post
Replies
5
Views
3K
Replies
1
Views
2K
  • Last Post
Replies
4
Views
3K
Replies
5
Views
875
Top