272 CHAPTER 10. NORMED LINEAR SPACES

10.6 Equivalence Of NormsAs mentioned above, it makes absolutely no difference which norm you decide to use. Thisholds in general finite dimensional normed spaces and is shown here.

Definition 10.6.1 Let (V,∥·∥) be a normed linear space with basis {v1, · · · ,vn}. For x∈V,let its component vector in Fn be (α1, · · · ,αn) so that x= ∑i α ivi. Then define

θx≡α=(

α1 · · · αn

)T

Thus θ is well defined, one to one and onto from V to Fn. It is also linear and its inverseθ−1 satisfies all the same algebraic properties.

The following fundamental lemma comes from the extreme value theorem for continu-ous functions defined on a compact set. Let

f (α)≡

∥∥∥∥∥∑iα ivi

∥∥∥∥∥≡ ∣∣∣∣θ−1α∣∣∣∣

Then it is clear that f is a continuous function. This is because α→∑i α ivi is a continuousmap into V and from the triangle inequality x→∥x∥ is continuous as a map from V to R.

Lemma 10.6.2 There exists δ > 0 and ∆≥ δ such that

δ = min{ f (α) : |α|= 1} , ∆ = max{ f (α) : |α|= 1}

Also,

δ |α| ≤∣∣∣∣θ−1α

∣∣∣∣≤ ∆ |α| (10.14)δ |θv| ≤ ||v|| ≤ ∆ |θv| (10.15)

Proof: These numbers exist thanks to Theorem 10.4.7. It cannot be that δ = 0 be-cause if it were, you would have |α| = 1 but ∑

nj=1 αkv j = 0 which is impossible since

{v1, · · · ,vn} is linearly independent. The first of the above inequalities follows from

δ ≤∥∥∥∥θ−1 α

|α|

∥∥∥∥= f(

α

|α|

)≤ ∆

the second follows from observing that θ−1α is a generic vector v in V . ■

Now we can draw several conclusions about (V,∥·∥) for V finite dimensional.

Theorem 10.6.3 Let (V, ||·||) be a finite dimensional normed linear space. Then the com-pact sets are exactly those which are closed and bounded. Also (V, ||·||) is complete. If Kis a closed and bounded set in (V, ||·||) and f : K → R, then f achieves its maximum andminimum on K.

Proof: First note that the inequalities 10.14 and 10.15 show that both θ−1 and θ are

continuous. Thus these take convergent sequences to convergent sequences.Let {wk}∞

k=1 be a Cauchy sequence. Then from 10.15, {θwk}∞

k=1 is a Cauchy se-quence. Thanks to Theorem 10.4.7, it converges to some β ∈ Fn. It follows that

limk→∞

θ−1

θwk = limk→∞

wk = θ−1β ∈V

272 CHAPTER 10. NORMED LINEAR SPACES10.6 Equivalence Of NormsAs mentioned above, it makes absolutely no difference which norm you decide to use. Thisholds in general finite dimensional normed spaces and is shown here.Definition 10.6.1 Let (V, ||-||) be anormed linear space with basis {v1,+++ ,Un}. Forx eV,let its component vector in F" be (Q,-++ ,Qn) so that w = Y;; &;v;. Then defineTba =a = ( A, -: Ay )Thus @ is well defined, one to one and onto from V to F". It is also linear and its inverse6~! satisfies all the same algebraic properties.The following fundamental lemma comes from the extreme value theorem for continu-ous functions defined on a compact set. Let= ||@-'a|Then it is clear that f is a continuous function. This is because a > Y;; Hv; is a continuousmap into V and from the triangle inequality 2 — ||z]|| is continuous as a map from V to R.Lemma 10.6.2 There exists 6 > 0 and A> 6 such that6=min{f(a@):|a|=1}, A=max{f (a): |a| = 1}Also,5|a|6|dv|||@-'a|| <Ala| (10.14)<< |lv|| <Al6v| (10.15)Proof: These numbers exist thanks to Theorem 10.4.7. It cannot be that 6 = 0 be-cause if it were, you would have |a| = 1 but Yj=1 &vj = 0 which is impossible since{v1,---,Un} is linearly independent. The first of the above inequalities follows froms<|oSil-/ (a) <2the second follows from observing that @~'a is a generic vector v in V.Now we can draw several conclusions about (V, ||-||) for V finite dimensional.Theorem 10.6.3 Let (V,||-||) be a finite dimensional normed linear space. Then the com-pact sets are exactly those which are closed and bounded. Also (V,||-||) is complete. If Kis a closed and bounded set in (V,||-||) and f : K +R, then f achieves its maximum andminimum on K.Proof: First note that the inequalities 10.14 and 10.15 show that both @~! and @ arecontinuous. Thus these take convergent sequences to convergent sequences.Let {w,};_,; be a Cauchy sequence. Then from 10.15, {Ow,};_, is a Cauchy se-quence. Thanks to Theorem 10.4.7, it converges to some @ € F”. It follows thatlim 0~ Ow} = lim wy = @'BeVk-00