23.6. NON σ FINITE CASE 637

Proof: There is nothing to show if φ = 0 so suppose it is not. Let ∥xn∥ = 1 and letφ (xn)→ ∥φ∥. Then as n,m→ ∞, φ

( xn+xm2

)→ ∥φ∥ . Without loss of generality, we can

also assume φ (xn) is positive. Hence if m,n are large enough, then

∥φ∥(1− ε)< φ

(xn + xm

2

)≤ ∥φ∥

∥∥∥∥xn + xm

2

∥∥∥∥Thus, if m,n are large enough, ∥xn + xm∥ ≥ 2(1− ε). It follows that limm,n→∞ ∥xn + xm∥=2 and so by uniform convexity, limm,n→∞ ∥xn− xm∥ = 0.Thus the sequence is a Cauchysequence and so there is x,∥x∥= 1 and xn→ x so ∥φ∥= limn→∞ φ (xn) = φ (x). ■

The proof of the Riesz representation theorem will be based on the following lemmawhich says that if you can show a directional derivative exists, then it can be used to rep-resent a functional in terms of this directional derivative. It is very interesting for its ownsake.

Lemma 23.6.4 (McShane) Let X be a complex normed linear space and let φ ∈ X ′.Suppose there exists x ∈ X , ∥x∥ = 1 with φ (x) = ∥φ∥ ̸= 0. Let y ∈ X and let ψy(t) =∥x+ ty∥ for t ∈ R. Suppose ψ ′y(0) exists for each y ∈ X. Then for all y ∈ X,

ψ′y(0)+ iψ ′−iy(0) = ∥φ∥−1

φ (y) .

Proof: Suppose first that ∥φ∥= 1. The idea is to show that in the limit as t→ 0,

|1+ tφ (y)|−1t

,∥x+ ty∥−∥x∥

t

act the same. The first part of the argument is devoted to showing this.By assumption, there is x such that ∥x∥= 1 and φ (x) = 1 = ∥φ∥ . Then φ (y−φ(y)x) =

0 and so

φ(x+ t(y−φ(y)x)) = φ (x)+ tφ (y)− tφ (y)=1

φ (x) = φ (x) = 1 = ∥φ∥.

Therefore, ∥x+ t(y−φ(y)x)∥ ≥ 1 since, from the above,

∥φ∥∥x+ t(y−φ(y)x)∥= ∥x+ t(y−φ(y)x)∥ ≥ ∥φ∥= 1

Also for small t, |φ(y)t|< 1, and so 1≤ ∥x+ t (y−φ(y)x)∥= ∥(1−φ(y)t)x+ ty∥

≤ |1−φ (y) t|∥∥∥∥x+

t1−φ (y) t

y∥∥∥∥.

Divide both sides by |1−φ (y) t|. Using the standard formula for the sum of a geometricseries,

1+ tφ (y)+o(t) =1

1− tφ(y)

Therefore,

1|1−φ (y) t|

= |1+φ (y) t +o(t)| ≤∥∥∥∥x+

t1−φ (y) t

y∥∥∥∥= ∥x+ ty+o(t)∥ (23.8)

where limt→0 o(t)(t−1) = 0. Thus, |1+φ (y) t| ≤ ∥x+ ty∥+o(t) . Now since tφ (y) ∈ C,

|1+ tφ (y)|−1≥ 1+ t Reφ (y)−1 = t Reφ (y) .

23.6. NON o FINITE CASE 637Proof: There is nothing to show if @ = 0 so suppose it is not. Let ||x,|] = 1 and let@ (Xn) > |||. Then as n,m — &, g (***) — |||]. Without loss of generality, we canalso assume @ (x,,) is positive. Hence if m,n are large enough, thenXn +Xm2lol a—e) <0 (=S*) < JolThus, if m,n are large enough, ||x_+Xm|| >2(1 —). It follows that lim, p—.0 ||Xn + Xm|| =2 and so by uniform convexity, lim) n—y0 ||%n —Xm|| = 0.Thus the sequence is a Cauchysequence and so there is x, ||x|| = 1 and x, — x so ||@|| = lim, 4... @ (x) = @ (x).The proof of the Riesz representation theorem will be based on the following lemmawhich says that if you can show a directional derivative exists, then it can be used to rep-resent a functional in terms of this directional derivative. It is very interesting for its ownsake.Lemma 23.6.4 (McShane) Let X be a complex normed linear space and let € X’.Suppose there exists x € X, ||x|| =1 with (x) = |||| 40. Let y € X and let w,(t) =I|x+ty|| for t € R. Suppose y,,(0) exists for each y € X. Then for all y € X,W,(0) +i! (0) = |] ||-"9 (y).Proof: Suppose first that ||@|| = 1. The idea is to show that in the limit as t > 0,[1+ (y)|=1 |e ty|| = Ila]’t tact the same. The first part of the argument is devoted to showing this.By assumption, there is x such that ||x|| = 1 and @ (x) = 1 = ||@||. Then @ (y— ¢(y)x) =0 and so=1G(x +t(y— O(y)x)) = 9 (x) +16 (y) — 10 (y) o (®) = 6 (x) =1=|I6}-Therefore, ||x+t(y— @(y)x)|| > 1 since, from the above,IlO|| |lx+t(y — O(y)x)|] = [lx +t(y— O(y) 2) |] = [lO = 1Also for small ¢,|@(y)t| < 1, and so 1 < |x +¢(y— 9(y)x)|| = || — 90)t)x +0)x+——__y1—o(y)tDivide both sides by |1 — ¢ (y)t|. Using the standard formula for the sum of a geometricseries,<|1—o()¢|11+19 (y) +o(t) = 1100)Therefore,I tloot \1+(y)t+o(t)| < |lx+ | = |x +ty+o(t)|| (23.8)where lim,_,9 0 (t) (t~!) = 0. Thus, |1 + @ (y)t| < ||x-+ty|| +0 (t). Now since t@ (y) € C,|1 +79 (y)|-1 2 1+1Re@ (y)—1=1Reg(y).