# Proof of Eberlein–Smulian Theorem for a reflexive Banach spaces

Looking for the proof of Eberlein-Smulian Theorem.

Searching for the proof is what I break with this morning. Some of my friends recommend Haim Brezis (Functional Analysis, Sobolev Spaces and Partial Differential Equations). After I search the book, I only found the statement of the theorem, is the proof very difficult to grasp? Why is Haim Brezis skip it in his book?

Please I need a reference where I can find the proof in detail.

Theorem:(Eberlein-Smul'yan Theorem) A Banach space $E$ is reflexive if and only if every (norm) bounded sequence in $E$ has a subsequence which converges weakly to an element of $E$.

-
-1: I quote from Brézis right after stating the theorem as Theorem 3.19: The proof of Theorem 3.19 is rather delicate and is omitted; see e.g. R. Holmes [1], K. Yosida [1], N. Dunford-J.T. Schwartz [1], Diestel [2], or Problem 10. What more do you want? – t.b. Jun 3 '12 at 9:55
@t.b.: Nothing. – Hassan Muhammad Jun 3 '12 at 9:59