<<

Eberlein Smulian Theorem The Krein-Smulianˇ Theorem

SMA 5878 II

Alexandre do Nascimento Javier Cubas

Departamento de Matem´atica Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao Universidade de S˜ao Paulo

April 7, 2018

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem

Appendix B

Weakly Compactness

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem

In this lecture we present the proofs of Eberlein-Smulianˇ and Krein-Smulianˇ theorems.

Before we begin, remeber the very usefull resut: Theorem If K is a convex subset of a Banach X , then the of K in the weak and strong coincide.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Eberlein-Smulianˇ Theorem

Compactness in general topological spaces cannot be caracterized with sequences as we do in spaces. Howhever in the is possible to do it as follows: Theorem (Eberlein-Smulian)ˇ Let W be a subset of a X . The following proprierties are equivalent: (A) The closure of W in the weak topology is compact in the weak topology. (B) Every sequence of elements of W has a weakly convergent subsequence in X . (C) Every sequence of elements of W has a limit point in X .

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.1

Lemma (B.1.1)

If X is a separable Banach space, then X ⇤ has a countable A⇤ = a⇤ : n N with the proprierty { n 2 }

x X =sup x, an⇤ X ,X ⇤ . k k n N|h i | 2

Proof: Let a a sequence of unitary vectors which are dense in the { n}N unitary sphere of X .Foreachn N,leta⇤ such hat 2 n a , a = a = a = 1. h n n⇤iX ,X ⇤ k nkX k n⇤kX ⇤ We show that A⇤ = a⇤ : n N is total. { n 2 }

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.1

If y X 0 ,witha⇤(y)=0foralln N,takex = y/ y X , 2 { } n 2 k k then x =1anda (x) = 0. k kX n⇤ k !1 Let ank k N a subsequence of an n N such that ank x,then { } 2 { } 2 ! the sequences

a , a⇤ and x, a⇤ h nk nk iX ,X ⇤ h nk iX ,X ⇤ have the same limit when k goes to infinity and they are constant, i.e.,

x, a⇤ =0and a , a⇤ =1, h nk iX ,X ⇤ h nk nk iX ,X ⇤ which is a contradiction, q.e.d.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.1

Now, we prove the second claim. For any x X with x X = 1, 2 k k k !1 there is a subsequence ank k N of an n N such that ank x { } 2 { } 2 ! and

1= x X =sup x, x⇤ X ,X ⇤ sup x, an⇤ X ,X ⇤ k k x =1|h i | n N|h i | k ⇤kX ⇤ 2

=limsup ank , an⇤ X ,X ⇤ lim ank , an⇤k X ,X ⇤ =1 k n N|h i | k |h i | !1 2 !1 and consequently, for all x X , 2

x X =sup x, an⇤ X ,X ⇤ . k k n N|h i | 2

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.2

Lemma (B.1.2)

Let X be a Banach space over K such that X ⇤ contains an countable total set. Then a weakly compact subset of X is metrizable.

Proof: Let A⇤ = an⇤ : n N be a total set of X ⇤ with { 2 } + an⇤ X ⇤ =1foralln N and define d : X X R the metric k k 2 n ⇥ ! define by d(x, y)= 1 2 x y, a .IfW X is n=0 |h n⇤iX ,X ⇤ | ⇢ weakly compact, note that W , x⇤ X ,X is a compact subset of K P h i ⇤ and, of the Uniform Boundedness Principle, W is a bounded set of X ( W X := supw W w X < ). k k 2 k k 1

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.2

If Ww and Wd denote the set W with weak topology and metric topology of d,respectively,letI : W W the identity . w ! d If I : W W is continuous then it is (since w ! d that W is weakly compact) and the result follows. Lack to prove that I : Ww Wd is continuous. Indeed, given ✏ > 0 let N N ! 2 such that

1 n 1 n ✏ 2 x y, a⇤ 2 W < |h niX ,X ⇤ |  k kX 2 n=XN+1 n=XN+1 and V = y W : x y, a < ✏ , n =0, 1, , N be { 2 |h n⇤iX ,X ⇤ | 2(N+1) ··· } a neighborhood of x in Ww such that

d(x, y) < ✏, y V , 8 2 This concludes the proof.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Corollary B.1.1

Corollary (B.1.1) In the same hypothesis of the Eberlein Smulian ‘s Theorem, we have that (A) implies (B).

Proof: Let wn n N asequenceinW and Y := span wn : n N . { } 2 { 2 } Since Y is also closed in the weak topology, see Theorem 1 and the weak topology is Hausdor↵,thesubsetW Y has compact \ closure in the weak topology in the Banach space Y .

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Corollary B.1.1

Now, Y is separable and by the Lemmas B.1.1andB.1.2, we have that W Y with the weak topology is metrizable, and therefore \ wn n N has a weakly convergent subsequence to a element of Y , { } 2 i.e., w * y Y , in Y , nk 2 but X Y ,thenw * y X , in the weak topology of X . ⇤ ⇢ ⇤ nk 2

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.3

Lemma (B.1.3) (C) (A). ) Proof: If every sequence of W has a limit point in X , for a given x X ⇤ 2 ⇤ the subset W , x⇤ X ,X of K has the same proprierty in K. h i ⇤ It follows that W , x⇤ X ,X is a bounded subset of K and by h i ⇤ Uniform boundedness Principle W is bounded.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.3

Let J : X X be the canonical aplication. ! ⇤⇤ Since J(W ) is bounded, the closure w ⇤(J(W )) of J(W )inthe weak⇤ topology of X ⇤⇤ is compact, Banach-Alaoglu ‘s Theorem. We claimed its enough to show w (J(W )) J(X ). ⇤ ⇢ (Then, of course, the case when X is reflexive is far more easier).

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.3

Let x w (JW )andx X , x = 1, w W with ⇤⇤ 2 ⇤ 1⇤ 2 ⇤ k 1⇤kX ⇤ 1 2

x⇤, x⇤⇤ Jw < 1. |h 1 1iX ⇤,X ⇤⇤ | Before we proceed, let F a finite dimensional subspace of X ⇤⇤. The unitary sphere of F is compact and therefore has a 1 4 x , , x . { 1⇤⇤ ··· n⇤⇤}

Choose xp⇤ on the unitary sphere of X ⇤ such that 3 xp⇤, xp⇤⇤ X ,X > ,1 p n.then,foranyx⇤⇤ F we have h i ⇤ ⇤⇤ 4   2 that 1 max x⇤, x⇤⇤ :1 p n x⇤⇤ . {|h p iX ⇤,X ⇤⇤ |   } 2k kX ⇤⇤

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.3

Now choose x , , x in X , x =1and 2⇤ ··· n⇤2 ⇤ k m⇤ kX ⇤ 1 max x⇤ , y ⇤⇤ :2 m n y ⇤⇤ {|h m iX ⇤,X ⇤⇤ |   2} 2k kX ⇤⇤ for all y span x , x Jw . Using again that ⇤⇤ 2 { ⇤⇤ ⇤⇤ 1} x w (J(W )), choose w W such that ⇤⇤ 2 ⇤ 2 2 1 max x⇤ , x⇤⇤ Jw :1 m n < . {|h m 2iX ⇤,X ⇤⇤ |   2} 2

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.3

Choose x⇤ , , x⇤ in the unitary sphere of X ⇤ such that n2+1 ··· n3 1 max x⇤ , y ⇤⇤ : n < m n y ⇤⇤ {|h m iX ⇤,X ⇤⇤ | 2  3} 2k kX ⇤⇤ for all y span x , x Jw , x Jw and, using again that ⇤⇤ 2 { ⇤⇤ ⇤⇤ 1 ⇤⇤ 2} x w (J(W )) choose w W such that ⇤⇤ 2 ⇤ 3 2 1 max x⇤ , x⇤⇤ Jw :1 m n < . {|h m 3iX ⇤,X ⇤⇤ |   3} 3

This process can be continued indefinitely. Let wn n N be the { } 2 sequence resulting from this construction.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.3

By hypothesis, there exist a point x X which is a limit point of 2 the sequence wn n N in the weak topology of X . { } 2 Since Z = span wn : n N is weakly closed, x Z and take { 2 } 2 R = span x , x Jw , x Jw , . ⇤⇤ { ⇤⇤ ⇤⇤ 1 ⇤⇤ 2 ···} We have that, for all y R , ⇤⇤ 2 ⇤⇤ 1 sup xm⇤ , y ⇤⇤ X ⇤,X ⇤⇤ y ⇤⇤ X ⇤⇤ m N |h i | 2k k 2

and therefore, for any point in the closure of R⇤⇤,inparticularfor x Jx. ⇤⇤

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.3

Another characteristic of our construction is that 1 x⇤ , x⇤⇤ Jw < , n > n > m. |h m niX ⇤,X ⇤⇤ | p p

therefore, for n > np > m,

x⇤ , x⇤⇤ Jx x⇤ , x⇤⇤ Jw + w x, x⇤ |h m iX ⇤,X ⇤⇤ |  |h m niX ⇤,X ⇤⇤ | |h n miX ,X ⇤ |

Since x is a limit point of wn n N in the weak topology, given xm⇤ { } 2 and an integer N > m there exist w with w x, x < 1 n |h n m⇤ iX ,X ⇤ | N e n > nN > m.Forthiselementwehave 2 x⇤ , x⇤⇤ Jx x⇤ , x⇤⇤ Jw + w x, x⇤ < |h m iX ⇤,X ⇤⇤ |  |h m niX ⇤,X ⇤⇤ | |h n miX ,X ⇤ | N

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem Eberlein-Smulianˇ Theorem The Krein-Smulianˇ Theorem Lemma B.1.3

and, consequently x , x Jx =0forallm.Asseen h m⇤ ⇤⇤ iX ⇤,X ⇤⇤ above 1 sup xm⇤ , x⇤⇤ Jx X ⇤,X ⇤⇤ x⇤⇤ Jx X ⇤⇤ m N |h i | 2k k 2 and therefore x⇤⇤ = Jx. This concludes the proof.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem The Krein-Smulianˇ Theorem

Before we begin, we present an important auxiliar result.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem The Krein-Smulianˇ Theorem Lemma B.2.1

Lemma Let X be a separable Banach space and x X . Suppose for all ⇤⇤ 2 ⇤⇤ x⇤ X ⇤ and sequence xn⇤ in X ⇤ which converges to x⇤ in the 2 { } n weak⇤ topology; this is, x, xn⇤ !1 x, x⇤ for all x X ,wehave n h i ! h i 2 that x , x !1 x , x .Thenx = Jx for some x X . h n⇤ ⇤⇤i ! h ⇤ ⇤⇤i ⇤⇤ 2 Proof: Let xj j N a dense subset of X . Suppose that x⇤⇤ / JX ; { } 2 2 this is, that d(x⇤⇤, JX )=d > 0. By the Hahn-Banach Theorem, there exist x X such that, x = 1, ⇤⇤⇤ 2 ⇤⇤⇤ k ⇤⇤⇤kX ⇤⇤⇤ JX , x =0e x , x = d.Let h ⇤⇤⇤iX ⇤⇤,X ⇤⇤⇤ h ⇤⇤ ⇤⇤⇤iX ⇤⇤,X ⇤⇤⇤

W = z⇤ : x , z⇤ < 1fori =1, , n . n { |h i iX ,X ⇤ | ··· }

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem The Krein-Smulianˇ Theorem Lemma B.2.1

By the (JX ⇤ is dense in X ⇤⇤⇤ with the weak⇤ topology of X ), given Jx , , Jx , x X and ✏ > 0, there ⇤⇤⇤ 1 ··· n ⇤⇤ 2 ⇤⇤ exist x X , x = 1, such that ⇤ 2 ⇤ k ⇤kX ⇤

x , x ⇤ = x , x ⇤ Jx , x ⇤⇤⇤ = Jx , Jx ⇤ x ⇤⇤⇤ <✏, |h 1 i| |h 1 iX ,X ⇤ h 1 iX ⇤⇤,X ⇤⇤⇤ | |h 1 iX ⇤⇤,X ⇤⇤⇤ | ......

x , x ⇤ = x , x ⇤ Jx , x ⇤⇤⇤ = Jx , Jx ⇤ x ⇤⇤⇤ <✏, |h n i| |h n iX ,X ⇤ h 1 iX ⇤⇤,X ⇤⇤⇤ | |h n iX ⇤⇤,X ⇤⇤⇤ | x ⇤, x ⇤⇤ x ⇤⇤, x ⇤⇤⇤ = x ⇤⇤, Jx ⇤ x ⇤⇤⇤ <✏. |h iX ⇤,X ⇤⇤ h iX ⇤⇤,X ⇤⇤⇤ | |h iX ⇤⇤,X ⇤⇤⇤ |

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem The Krein-Smulianˇ Theorem Lemma B.2.1

Therefore, there exist a functional x B¯X ⇤ (0) z X : z , x d/2 W .Thesequence n⇤ 2 1 \{ ⇤ 2 ⇤ |h ⇤ ⇤⇤iX ⇤,X ⇤⇤ | }\ n x converges to zero in the weak topology of X indeed, given { n⇤} ⇤ ⇤ x X and ✏ > 0, there exist x with (x/✏) x < 1and 2 j k j k

x/✏, x⇤ x/✏ x , x⇤ + x , x⇤ < 2, for all n j. |h n iX ,X ⇤ |  |h j n iX ,X ⇤ | |h j n iX ,X ⇤ | However, x , x d/2 and this gives us a contradiction, |h n⇤ ⇤⇤iX ⇤,X ⇤⇤ | this concludes the proof of lemma.

We are now in a position to prove the Krein-Smulianˇ Theorem.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem The Krein-Smulianˇ Theorem Krein-Smulianˇ

Using Eberlein Smulian result we the the following theorem wich is already known in the strong topology.

Theorem (Krein-Smulian)ˇ If X is a Banach space and K X is weakly compact, then the ⇢ closed coK of K is weakly compact.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem The Krein-Smulianˇ Theorem Proof of K-S Theorem

First we reduced our prove to the case that X is separable. From Eberlein Smulian Theorem, its enough to show that every sequence of elements of coK has a weakly convergent subsequence.

Since each element of a sequence of coK is a convex finite linear combination of elements of K, the sequence will be generate by a sequence S in K.

Let Y be the closure of the subspace generate by S, its enough to show that Kˆ = K Y is weakly compact (Theorem 1) in Y . \

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem The Krein-Smulianˇ Theorem

Hence, its enough to consider X separable and K weakly compact. Define Kw as the subset K with the weak topology. Consider T : X C(K )definedbyTx (k)=x (k), k K and ⇤ ! w ⇤ ⇤ 2 the dual operator of T , T : C(K ) X . ⇤ w ⇤ ! ⇤⇤ Choose any element of C(Kw )⇤, by the Riesz representation Theorem is a regular µ,andlet xn⇤ n N a bounded { } 2 sequence that converges in the weak⇤ topology of X ⇤ to x⇤.

ICMC - USP SMA 5878 Functional Analysis II Eberlein Smulian Theorem The Krein-Smulianˇ Theorem

Then, by the dominated convergence Theorem,

n x⇤, T ⇤µ = x⇤(k)dµ(k) !1 x⇤(k)dµ(k)= x⇤, T ⇤µ . h n iX ⇤,X ⇤⇤ n ! h iX ⇤,X ⇤⇤ Z Z From Lemma B.2.1 we have that T µ JX . ⇤ 2 Now, take the unitary disk in C(Kw )⇤, wich is convex and compact 1 in weak⇤ topology. Then, the range of the disk by J T ⇤ is also convex, weakly compact and contains K.

This shows that co(K) is weakly compact and finishes the proof.

ICMC - USP SMA 5878 Functional Analysis II