1
$\begingroup$

$d(f,g) = \int_a^b |f(x)-g(x)|dx,\ f,g \in X = C(I)$ the set of all continuous functions from the closed bounded interval $I=[a,b]$ to $\mathbb{R}$

I have found that $d$ is a metric on the set X. However

  1. Is this still a metric if $I=(0,1)$?
  2. Is this still a metric if $I=\mathbb{R}$

It seems to me that $d$ is not a metric for 1 as $f$ or $g$ could be unbounded as it is an open interval and therefore the integral would not exist?

And $d$ is not a metric for 2 for the same reason?

  • 1
    It should probably also be noted that: 1. if you change $X$ to *integrable* continuous functions on $I$, than $d$ is a metric; the only problematic thing that might happen is that $d(f,g) = \infty$, which a metric shouldn't do 2. if you take $\lVert f \rVert = d(f,0)$ then you actually get a norm, so the metric comes from a norm an is very thus a nice type of metric.2012-09-24

2 Answers 2

1

Your intuition is spot on, though the integral still may exist in both cases, so you need to choose your functions with a bit of care--for example, if $f(x)=x^{-1/2}$, $g=0 $, then $d(f,g)$ exists in the first case, even though $f$ is unbounded. To make it slightly less complicated, you may as well take one of your functions to be the constant zero function in both cases. That way, you only need to pick out one function. Case $2$ should be ridiculously simple, and Case $1$ shouldn't take many guesses....

  • 1
    Incidentally, $1/x$ is just the function I'd use to show that it fails to be a metric in the first case.2012-09-25
1

$d$ is not a metric in the second case for the reason that integral $\int\limits_{-\infty}^{+\infty}{|f(x)-g(x)|\, dx} {\,}$ may be divergent.