466 CHAPTER 17. BANACH SPACES

Corollary 17.5.13 Let {xn} be any bounded sequence in a reflexive Banach space X . Thenthere exists x ∈ X and a subsequence,

{xnk

}such that for all x∗ ∈ X ′,

limk→∞

x∗(xnk

)= x∗ (x)

Proof: If a subsequence, xnk has∣∣∣∣xnk

∣∣∣∣→ 0, then the conclusion follows. Simplylet x = 0. Suppose then that ||xn|| is bounded away from 0. That is, ||xn|| ∈ [δ ,C]. Takea subsequence such that

∣∣∣∣xnk

∣∣∣∣→ a. Then consider xnk/∣∣∣∣xnk

∣∣∣∣. By the Eberlein Smulian

theorem, this subsequence has a further subsequence, xnk j/∣∣∣∣∣∣xnk j

∣∣∣∣∣∣which converges weaklyto x∈B where B is the closed unit ball. It follows from routine considerations that xnk j

→ axweakly. This proves the corollary.

17.6 Operators With Closed RangeWhen is T (X) a closed subset of Y for T ∈ L (X ,Y )? One way this happens is whenT = I−C for C compact.

Definition 17.6.1 Let C ∈L (X ,Y ) where X ,Y are two Banach spaces. Then C is called acompact operator if C (bounded set) = (precompact set).

Lemma 17.6.2 Suppose C ∈L (X ,X) is compact. Then (I−C)(X) is closed.

Proof: Let (I−C)xn→ y. Let zn ∈ ker(I−C) such that

dist(xn,ker(I−C)) ≤ ∥xn− zn∥

≤(

1+1n

)dist(xn,ker(I−C))

Case 1: ∥xn− zn∥→ ∞.In this case, you get (I−C)(xn− zn) → y and so there is a subsequence such that

C(

xn−zn∥xn−zn∥

)converges. Also xn−zn

∥xn−zn∥ converges to the same thing. Let it be called w. Thus

xn− zn

∥xn− zn∥→ w, C

xn− zn

∥xn− zn∥→Cw

C(

xn− zn

∥xn− zn∥

)→ w so Cw = w, w ∈ ker(I−C)

∥∥∥∥ xn− zn

∥xn− zn∥−w

∥∥∥∥= 1∥xn− zn∥

∥∥∥∥∥∥∥(xn− zn)−

∈ker(I−C)︷ ︸︸ ︷w∥xn− zn∥

∥∥∥∥∥∥∥≥ 1∥xn− zn∥

dist(xn,ker(I−C))

≥ 1((1+ 1

n

)dist(xn,ker(I−C))

) dist(xn,ker(I−C))

466 CHAPTER 17. BANACH SPACESCorollary 17.5.13 Let {x,} be any bounded sequence in a reflexive Banach space X. Thenthere exists x € X and a subsequence, {xn } such that for all x* € X',iim X* (Xn,) =x* (x)Proof: If a subsequence, xy, has || | — 0, then the conclusion follows. Simplylet x = 0. Suppose then that ||x,|| is bounded away from 0. That is, ||x,|| € [6,C]. Takea subsequence such that | [xn | —> a. Then consider Xp, / [Xing | | By the Eberlein Smuliantheorem, this subsequence has a further subsequence, xp,_/ | Xing. | | which converges weaklyJ Jto x € B where B is the closed unit ball. It follows from routine considerations that xy, — axJweakly. This proves the corollary.17.6 Operators With Closed RangeWhen is T (X) a closed subset of Y for T € (X,Y)? One way this happens is whenT =I—C for C compact.Definition 17.6.1 Let C € & (X,Y) where X,Y are two Banach spaces. Then C is called acompact operator if C (bounded set) = (precompact set).Lemma 17.6.2 Suppose C € £2 (X,X) is compact. Then (I —C) (X) is closed.Proof: Let (I —C) x, — y. Let z, € ker (J —C) such thatdist (X%,,ker(I—C)) << ||x, -—Zll< (1 + :) dist (x,,ker (I — C))IACase 1: ||xn—zn|| 4 ©.In this case, you get (I—C) (x, —Zn) — y and so there is a subsequence such thatC (=) converges. Also RI converges to the same thing. Let it be called w. ThusXp —Z Xn —Z7" uw, Co" CwI|Xn — Znl| Ilxn — Znllc(@==) + wsoCw=w, w€ker(J—C)[Xn — Znl|€ker(/—C)Xn —Z 1an _ yl] = ——___|l(x, — z,) —w||Xn —Znll\|Xn —Znl| IlXn — Znl|1————_ dist (x, ker (J —C\lXn — Znl| ( n ( ))1(( + 1) dist (Xp, ker (J —C))) dist (xn, ker (I —C))