5

Is the weak topology on a Banach space( or normed linear space ) first countable or Lindelöf? If not, which condition should be added?

Definition: A topology space is said to be Lindelöf if its any open-cover has a countable subcover.

"A subset, say, X, of a Banach space( or normed linear space ) is weakly compact iff any sequence of X has a subsequence converging weakly to some element in X", is this statement right?

We need first countability and Lindelöf condition for the equivalence between compactness and sequential compactness, don't we?

Najib Idrissi
  • 54,185
Eric Yau
  • 804
  • It's certainly not first countable for infinite dimensional spaces. Your statement is correct, it's the Eberlein-Smulian theorem (you should say "relatively weakly compact", though). – David Mitra Jan 09 '15 at 16:05
  • See this for the assertion I made in the previous comment. – David Mitra Jan 09 '15 at 16:11
  • awesome! Thanks! But, forgive my ignorance, you said "It's certainly not first countable for infinite dimensional spaces", how to prove it or which book I could find it in? Thanks again! – Eric Yau Jan 09 '15 at 16:23
  • See the answer in the link in my previous comment. – David Mitra Jan 09 '15 at 16:24

1 Answers1

4

The classic paper on the Lindelöf question is by Corson (1). I wrote a couple of papers on similar questions, too... (2,3,4)

In addition to weak topology Lindelöf, Corson investigates weak topology normal, realcompact, or paracompact. In all cases, some Banach spaces have the property, others do not.

One of Corson's results: If $M$ is a locally compact group, then for the Banach space $C_0(M)$ (continuous functions vanishing at infinity), the following are equivalent: (a) $C_0(M)$ weak topology is normal; (b) $C_0(M)$ weak topology is Lindelöf; (c) $M$ is metrizable.

More: $X$ weak is paracompact iff $X$ weak is Lindelöf.

If $X^n$ weak is normal for all $n$, then $X$ weak is realcompact.

  1. Corson, H. H., "The weak topology of a Banach space." Trans. Amer. Math. Soc. 101 (1961) 1–15.

  2. Edgar, G. A., "Measurability in a Banach space." Indiana Univ. Math. J. 26 (1977) 663–677.

  3. Edgar, G. A., "Measurability in a Banach space. II." Indiana Univ. Math. J. 28 (1979) 559–579.

  4. Edgar, G. A. & Wheeler, R. F., "Topological properties of Banach spaces." Pacific J. Math. 115 (1984) 317–350.

Najib Idrissi
  • 54,185
GEdgar
  • 111,679