Consider an infinite dimensional Banach space X equipped with its weak topology \sigma(X,X^*). It is not a metrizable space, but if it is a paracompact space? Related properties for the weak topology on some subsets of X?
It is well known that the weak topology is Hausdorff. Also this topology is regular. Moreover, if $\mathcal{U}=\{U_s:s\in I\}$ is an open covering of a reflexive Banach space $X$, then for every $n\in N$,
Thus $\underset{n\in\mathbb{N}}{\cup}\{U_{\alpha^n_i}:1=1,\dots,s_n\}$ is a countable subcovering of $\mathcal{U}$.
Therefore $X$ is Lindelöf.
Finally, since every regular Lindelöf space is paracompact, it follows that if $X$ is a reflexive Banach space then $X$ with the weak topololy is paracompact.
Thank you very much! Several people said me, that the answer is known, but without any references. Do you know some spaces being examples or counterexamples for Theorem 1?
It seems to me that the words "weak topology" in Morita's paper (in the reference given by George) are not related to the meaning of these words in Mieczyslaw Cichon question.
Some extracts from page 8 of the paper (see also its Theorem 4, p. 12):
Now, recall that a topological space B is paracompact if each open cover of B has a locally finite refinement . ......It is known that a Lindelöf space is necessarily paracompact.
Lemma 5. (p. 8) If a Banach space B is w-paracompact, then B is w-Lindelof.
.........
The next few lemmas give an indication of how near to being w-paracompact certain B are. (See [11, Chapter 5] (Kelley) for definitions, as well as proofs that paracompact spaces have the properties referred to in these lemmas.).....
Thank you, Professor Liaqat Khan! It is exactly the paper which is a basis for my question. Unfortunately, in some future applications, I need precisely "paracompactness" and the current problem is to find either class of Banach spaces or family of subsets of a Banach space in which the weak topology is paracompact. Thank you for your recommendation!
It is well known that the weak topology is Hausdorff. Also this topology is regular. Moreover, if $\mathcal{U}=\{U_s:s\in I\}$ is an open covering of a reflexive Banach space $X$, then for every $n\in N$,
Thus $\underset{n\in\mathbb{N}}{\cup}\{U_{\alpha^n_i}:1=1,\dots,s_n\}$ is a countable subcovering of $\mathcal{U}$.
Therefore $X$ is Lindelöf.
Finally, since every regular Lindelöf space is paracompact, it follows that if $X$ is a reflexive Banach space then $X$ with the weak topololy is paracompact.