Metrics induced by norms and inner products

[10/30%]
Show
LaTeX

Let XX be a linear metric space with a metric ρ\rho having the following properties:

(i) ∀x,y,z∈X:ρ(x+z,y+z)=ρ(x,y)\forall x, y, z \in X: \rho (x+z, y+z) = \rho (x, y);

(ii) ∀x∈X∀λ∈C:ρ(0,λx)=∣λ∣ρ(0,x)\forall x \in X \forall \lambda \in \mathbb {C}: \rho (0, \lambda x) = \left|\lambda \right| \rho (0, x).

?
(1)

Show that XX is an NLS with the norm ∥x∥=ρ(0,x)\left\| x\right\| = \rho (0, x).

(2)

Give an example of a metric in R\mathbb {R} that does not have any of the properties (i), (ii).

Letting AA, BB, and CC represent arbitrary matrices in a linear space V\mathcal{V}, show that

?
(a)

δ(B,A)=δ(A,B)\delta (B,A) = \delta (A,B), that is the distance between BB and AA is the same as that between AA and BB;

(b)
δ(A,B)>0,if A≠B,=0,if A=B, \delta (A,B) > 0, \quad \text{if } A \neq B, \qquad = 0, \quad \text{if } A = B,

that is, the distance between any two matrices is greater than zero, unless the two matrices are identical, in which case the distance between them is zero;

(c)

δ(A,B)≤δ(A,C)+δ(C,B)\delta (A,B) \leq \delta (A,C) + \delta (C,B), that is, the distance between AA and BB is less than or equal to the sum of the distances between AA and CC and between CC and BB;

(d)

δ(A,B)=δ(A+C,B+C)\delta (A,B) = \delta (A+C, B+C), that is, distance is unaffected by a translation of ``axes.''

Remark.
?

For Part (c), use the result of Exercise 6.1, i.e., the triangle inequality.

A normed space XX is a metric space with the metric ρ(x;y)=∥x−y∥X\rho (x ; y) = \left\| x-y\right\|_{X}.

?

Give an example of a metric space in which the metric is not generated by a norm.

?

In the linear space of all numerical sequences, is the metric of problem 18.14 generated by some norm?

?

Prove Theorem 1.1.

Theorem 1.1: Norms always give rise to metrics. Specifically, if (V,∥⋅∥)(V, \left\| \cdot \right\| ) is a normed space and d(v,w)d(v, w) is defined by d(v,w)=∥v−w∥d(v, w) = \left\| v - w\right\|, then dd is a metric on VV.

?

Prove Theorem 1.2. (Hint: Use the Cauchy-Schwarz inequality to get the triangle inequality.)

Theorem 1.2: Inner products always give rise to norms. Specifically, if (V,⟨⋅,⋅⟩)(V, \left\langle \cdot , \cdot \right\rangle ) is an inner product space and ∥v∥\left\| v\right\| is defined by ∥v∥=⟨v,v⟩\left\| v\right\| = \sqrt{ \left\langle v, v \right\rangle }, then ∥⋅∥\left\| \cdot \right\| is a norm on VV.

?

Prove that in any complex inner product space

⟨v,λw⟩=λˉ⟨v,w⟩ \langle v, \lambda w\rangle =\bar{\lambda }\langle v, w\rangle

for every v,w∈Vv, w \in V and each λ∈C\lambda \in \mathbb {C}.

?

Consider a normed linear space (V,∥⋅∥)(V,\left\| \cdot \right\| ). Recall that some normed linear spaces are inner product spaces, and some are not.

?
(a)

Prove that the parallelogram equality characterizes the inner product spaces among the normed linear spaces. That is, show that

∥v∥=⟨v,v⟩ \left\| v\right\| =\sqrt{\langle v, v\rangle }

for some inner product ⟨⋅,⋅⟩\langle \cdot , \cdot \rangle if and only if

2∥u∥2+2∥v∥2=∥u+v∥2+∥u−v∥2 2\left\| u\right\| ^{2}+2\left\| v\right\| ^{2}=\left\| u+v\right\| ^{2}+\left\| u-v\right\| ^{2}

holds for every pair uu and vv in VV.

(b)

Is the parallelogram equality satisfied in ℓ1\ell^{1}? In ℓ∞\ell^{\infty }?

Show that the metrics d1d_{1} and d2d_{2} from item 5 are not induced by any inner product on Rn\mathbb {R}^{n} (similarly on Cn\mathbb {C}^{n}).

?

References

[BCK+24] Brayman V.B., Chaikovskyi A.V., Konstantinov O.Y., Kukush A.G., Mishura Y.S., Nesterenko O.N. Functional Analysis and Operator Theory. Springer, 2024.
[Har01] Harville D.A. Matrix Algebra: Exercises and Solutions. Springer, 2001.
[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Функции многих переменных. 2-е изд., ФИЗМАТЛИТ, 2003.
[Sax02] Saxe K. Beginning Functional Analysis. Springer, 2002.
[Кос00] Кострикин А.И. Линейная алгебра. ФИЗМАТЛИТ, 2000.