Define a norm using a metric instead of the other way around

164 Views Asked by At

I've just started the study of functional analysis and I've a "philosophical" question. Kreyszig and other (at least is my impression), start (1) defining a metric space (for instance $\mathbb{R}^n$ with Euclidean metric), then (2) define a vector space on it and finally (3) define a norm on it , thus obtaining a Banach space.

$\newcommand{\norm}[1]{\left\lVert#1\right\rVert}$ Lets forget about completeness, my question is why they define a norm and deduce a metric from it (metric induced by the norm) instead of using the metric $d$ and defining $$ \norm{x}:=d(x,0), $$ where $0$ is the zero element of the vector space.

Thus why to define a norm and deduce a metric if we already have a metric?

EDIT Perhaps because one can prove generically that the induce metric is a metric; but for the induced norm from the metric one has to use the concrete formulation of the metric to prove the properties of the norm.

1

There are 1 best solutions below

1
On BEST ANSWER

In order that your definition yields a norm, you need $$ d(t \, x, 0) = t \, d(x,0) \qquad\forall t > 0, x \in X$$ and $$d(x-y,0) \le d(x,0) + d(y,0)\qquad\forall x,y \in X.$$ However, these properties are not satisfied by every metric. This means that not all metrics are generated by a norm. But, of course, every norm generates a metric.