1
$\begingroup$

In reading I came across the claim that the following is a metric.

For the space $X$ of all integrable functions on the interval [$0,1$] , for $f, g \in X$, the following equation defines a metric:

$\rho(f, g) = \int_0^1 |(f(x) - g(x))| dx$

It is clear to me that $\rho(f, g) = \rho(g, f)$ and also $\rho(f, g) = 0$ if and only $ f = g$. However, does the triangle inequality hold?

  • 0
    Triangle inequality follow from triangle inequality for real numbers. In which sense do you mean integrable? Riemann? Lebesgue? (in the last case we can have $\rho(f,g)=0$ even if $f=g$).2012-04-19

2 Answers 2

5

"$ρ(f,g)=0$ if and only $f=g$"

This isn't true if we're only working over the space of integrable functions: consider $f(x) \equiv 0$ and $g(x) = 0$ except at x = 0, when it equals 1 (say). $g - f$ is non-zero, but $\rho(f,g) = 0$.

For this to be a metric we usually work over the space of continuous functions.

  • 0
    The space C[0,1] equipped with the above norm isn't a Hilbert space: it fails on both counts. It isn't complete, consider $f_m(x) = 0 $ for $0 \le x \le \frac{1}{2} - m $ and $f_m(x) = 1 $ for $ \frac{1}{2} + m \le x \le 1$ and f being a straight line segment joining 0 and 1 between these two intervals. It's a Cauchy sequence, but it would necessarily converge to a function with a discontinuity at x= 1/2. So we could consider its completion, but this space cannot be an inner product space since it does not obey the http://en.wikipedia.org/wiki/Parallelogram_law2012-04-19
1

As Conor said, the space you should consider is that of continuous functions, not integrable functions. For the triangle inequality see:

http://en.wikipedia.org/wiki/Minkowski_inequality

Your case is $p=1$.

  • 0
    Minkowski inequality is an overkill in this $c$ase, as we can simply apply the triangle inequality $f$or absolute value on reals.2012-04-19