TY - JOUR
T1 - On topological properties of Fréchet locally convex spaces with the weak topology
AU - Gabriyelyan, S. S.
AU - Kakol, J.
AU - Kubzdela, A.
AU - Lopez-Pellicer, M.
N1 - Publisher Copyright:
© 2015 Elsevier B.V.
PY - 2015/9/1
Y1 - 2015/9/1
N2 - We describe the topology of any cosmic space and any ℵ0-space in terms of special bases defined by partially ordered sets. Using this description we show that a Baire cosmic group is metrizable. Next, we study those locally convex spaces (lcs) E which under the weak topology σ(E, E') are ℵ0-spaces. For a metrizable and complete lcs E not containing (an isomorphic copy of) ℓ1 and satisfying the Heinrich density condition we prove that (E, σ(E, E')) is an ℵ0-space if and only if the strong dual of E is separable. In particular, if a Banach space E does not contain ℓ1, then (E, σ(E, E')) is an ℵ0-space if and only if E' is separable. The last part of the paper studies the question: Which spaces (E, σ(E, E')) are ℵ0-spaces? We extend, among the others, Michael's results by showing: If E is a metrizable lcs or a (DF)-space whose strong dual E' is separable, then (E, σ(E, E')) is an ℵ0-space. Supplementing an old result of Corson we show that, for a Čech-complete Lindelöf space X the following are equivalent: (a) X is Polish, (b) Cc(X) is cosmic in the weak topology, (c) the weak*-dual of Cc(X) is an ℵ0-space.
AB - We describe the topology of any cosmic space and any ℵ0-space in terms of special bases defined by partially ordered sets. Using this description we show that a Baire cosmic group is metrizable. Next, we study those locally convex spaces (lcs) E which under the weak topology σ(E, E') are ℵ0-spaces. For a metrizable and complete lcs E not containing (an isomorphic copy of) ℓ1 and satisfying the Heinrich density condition we prove that (E, σ(E, E')) is an ℵ0-space if and only if the strong dual of E is separable. In particular, if a Banach space E does not contain ℓ1, then (E, σ(E, E')) is an ℵ0-space if and only if E' is separable. The last part of the paper studies the question: Which spaces (E, σ(E, E')) are ℵ0-spaces? We extend, among the others, Michael's results by showing: If E is a metrizable lcs or a (DF)-space whose strong dual E' is separable, then (E, σ(E, E')) is an ℵ0-space. Supplementing an old result of Corson we show that, for a Čech-complete Lindelöf space X the following are equivalent: (a) X is Polish, (b) Cc(X) is cosmic in the weak topology, (c) the weak*-dual of Cc(X) is an ℵ0-space.
KW - Banach space
KW - K-network
KW - Locally convex Fréchet space
KW - Weak topology
KW - ℵ-space
UR - http://www.scopus.com/inward/record.url?scp=84928744428&partnerID=8YFLogxK
U2 - 10.1016/j.topol.2015.05.075
DO - 10.1016/j.topol.2015.05.075
M3 - Article
AN - SCOPUS:84928744428
SN - 0166-8641
VL - 192
SP - 123
EP - 137
JO - Topology and its Applications
JF - Topology and its Applications
ER -