2
$\begingroup$

Prove that $d$ is a metric on the set $X$.

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

I don't understand what difference using the supremum of $|f(x) - g(x)|$ makes. $|f(x) - g(x)|$ will always be a real number so its seems taking the suprmemum of it is pointless. Am I missing something here?

1 Answers 1

2

The problem is that $|f(x) - g(x)|$ is a function of $x$; for each $x$, it returns the difference between $f$ and $g$ at that point. You want it to be a single number for all $x \in I$, that's why you take the supremum. You define the distance between two functions to be the farthest they are ever separated.

  • 0
    @dukenukem Yes, since you are considering continuous functions on a closed and bounded interval, taking the max is the same as taking the supremum (this is the [extreme value theorem](http://en.wikipedia.org/wiki/Extreme_value_theorem)).2012-09-24