Search

We characterize when the countable power of a Corson compactum has a dense metrizable subspace and construct consistent examples of Corson compacta whose countable power does not have a dense metrizable subspace. We also give several remarks about ccc Corson compacta and, as a byproduct, we obtain a new proof of Kunen and van Mill's characterization of when a Corson compactum supporting a strictly positive measure is metrizable.

$\Delta$-spaces have been defined by a natural generalization of a classical notion of $\Delta$-sets of reals to Tychonoff topological spaces; moreover, the class $\Delta$ of all $\Delta$-spaces consists precisely of those $X$ for which the locally convex space $C_p(X)$ is distinguished. The aim of this article is to better understand the boundaries of the class $\Delta$, by presenting new examples and counter-examples. 1) We examine when trees considered as topological spaces equipped with the interval topology belong to $\Delta$. In particular, we prove that no Souslin tree is a $\Delta$-space. Other main results are connected with the study of 2) $\Psi$-spaces built on maximal almost disjoint families of countable sets; and 3) Ladder system spaces. It is consistent with CH that all ladder system spaces on $\omega_1$ are in $\Delta$. We show that in forcing extension of ZFC obtained by adding one Cohen real, there is a ladder system space on $\omega_1$ which is not in $\Delta$. We resolve several open problems posed in the literature., Comment: The paper has been accepted for publication

In this paper we undertake a systematic study of those locally convex spaces $E$ such that $(E, w)$ is (linearly) Eberlein-Grothendieck, where $w$ is the weak topology of $E$. Let $C_{k}(X)$ be the space of continuous real-valued functions on a Tychonoff space $X$ endowed with the compact-open topology. The main results of our paper are: (1) For a first-countable space $X$ (in particular, for a metrizable $X$) the locally convex space $(C_{k}(X), w)$ is Eberlein-Grothendieck if and only if $X$ is both $\sigma$-compact and locally compact; (2) $(C_{k}(X), w)$ is linearly Eberlein-Grothendieck if and only if $X$ is compact. We characterize $E$ such that $(E, w)$ is linearly Eberlein-Grothendieck for several other important classes of locally convex spaces $E$. Also, we show that the class of $E$ for which $(E, w)$ is linearly Eberlein-Grothendieck preserves linear continuous quotients. Various illustrating examples are provided., Comment: 20 pages

$C_p(X)$ denotes the space of continuous real-valued functions on a Tychonoff space $X$ endowed with the topology of pointwise convergence. A Banach space $E$ equipped with the weak topology is denoted by $E_{w}$. It is unknown whether $C_p(K)$ and $C(L)_{w}$ can be homeomorphic for infinite compact spaces $K$ and $L$ \cite{Krupski-1}, \cite{Krupski-2}. In this paper we deal with a more general question: what are the Banach spaces $E$ which admit certain continuous surjective mappings $T: C_p(X) \to E_{w}$ for an infinite Tychonoff space $X$? First, we prove that if $T$ is linear and sequentially continuous, then the Banach space $E$ must be finite-dimensional, thereby resolving an open problem posed in \cite{Kakol-Leiderman}. Second, we show that if there exists a homeomorphism $T: C_p(X) \to E_{w}$ for some infinite Tychonoff space $X$ and a Banach space $E$, then (a) $X$ is a countable union of compact sets $X_n, n \in \omega$, where at least one component $X_n$ is non-scattered; (b) $E$ necessarily contains an isomorphic copy of the Banach space $\ell_{1}$., Comment: 13 pages

As proved in [16], for a Tychonoff space $X$, a locally convex space $C_{p}(X)$ is distinguished if and only if $X$ is a $\Delta$-space. If there exists a linear continuous surjective mapping $T:C_p(X) \to C_p(Y)$ and $C_p(X)$ is distinguished, then $C_p(Y)$ also is distinguished [17]. Firstly, in this paper we explore the following question: Under which conditions the operator $T:C_p(X) \to C_p(Y)$ above is open? Secondly, we devote a special attention to concrete distinguished spaces $C_p([1,\alpha])$, where $\alpha$ is a countable ordinal number. A complete characterization of all $Y$ which admit a linear continuous surjective mapping $T:C_p([1,\alpha]) \to C_p(Y)$ is given. We also observe that for every countable ordinal $\alpha$ all closed linear subspaces of $C_p([1,\alpha])$ are distinguished, thereby answering an open question posed in [17]. Using some properties of $\Delta$-spaces we prove that a linear continuous surjection $T:C_p(X) \to C_k(X)_w$, where $C_k(X)_w$ denotes the Banach space $C(X)$ endowed with its weak topology, does not exist for every infinite metrizable compact $C$-space $X$ (in particular, for every infinite compact $X \subset \mathbb{R}^n$)., Comment: 13 pages

Given a class $\mathcal P$ of Banach spaces, a locally convex space (LCS) $E$ is called {\em multi-$\mathcal P$} if $E$ can be isomorphically embedded into a product of spaces that belong to $\mathcal P$. We investigate the question whether the free locally convex space $L(X)$ is strongly nuclear, nuclear, Schwartz, multi-Hilbert or multi-reflexive. If $X$ is a Tychonoff space containing an infinite compact subset then, as it follows from the results of \cite{Aus}, $L(X)$ is not nuclear. We prove that for such $X$ the free LCS $L(X)$ has the stronger property of not being multi-Hilbert. We deduce that if $X$ is a $k$-space, then the following properties are equivalent: (1) $L(X)$ is strongly nuclear; (2) $L(X)$ is nuclear; (3) $L(X)$ is multi-Hilbert; (4) $X$ is countable and discrete. On the other hand, we show that $L(X)$ is strongly nuclear for every projectively countable $P$-space (in particular, for every Lindel\"of $P$-space) $X$. We observe that every Schwartz LCS is multi-reflexive. It is known that if $X$ is a $k_\omega$-space, then $L(X)$ is a Schwartz LCS \cite{Chasco}, hence $L(X)$ is multi-reflexive. We show that for any first-countable paracompact (in particular, metrizable) space $X$ the converse is true, so $L(X)$ is multi-reflexive if and only if $X$ is a $k_\omega$-space, equivalently, if $X$ is a locally compact and $\sigma$-compact space. Similarly, we show that for any first-countable paracompact space $X$ the free abelian topological group $A(X)$ is a Schwartz group if and only if $X$ is a locally compact space such that the set $X^{(1)}$ of all non-isolated points of $X$ is $\sigma$-compact., Comment: 19 pages

In our paper [18] we showed that a Tychonoff space $X$ is a $\Delta$-space (in the sense of [20], [30]) if and only if the locally convex space $C_{p}(X)$ is distinguished. Continuing this research, we investigate whether the class $\Delta$ of $\Delta$-spaces is invariant under the basic topological operations. We prove that if $X \in \Delta$ and $\varphi:X \to Y$ is a continuous surjection such that $\varphi(F)$ is an $F_{\sigma}$-set in $Y$ for every closed set $F \subset X$, then also $Y\in \Delta$. As a consequence, if $X$ is a countable union of closed subspaces $X_i$ such that each $X_i\in \Delta$, then also $X\in \Delta$. In particular, $\sigma$-product of any family of scattered Eberlein compact spaces is a $\Delta$-space and the product of a $\Delta$-space with a countable space is a $\Delta$-space. Our results give answers to several open problems posed in \cite{KL}. Let $T:C_p(X) \longrightarrow C_p(Y)$ be a continuous linear surjection. We observe that $T$ admits an extension to a linear continuous operator $\widehat{T}$ from $R^X$ onto $R^Y$ and deduce that $Y$ is a $\Delta$-space whenever $X$ is. Similarly, assuming that $X$ and $Y$ are metrizable spaces, we show that $Y$ is a $Q$-set whenever $X$ is. Making use of obtained results, we provide a very short proof for the claim that every compact $\Delta$-space has countable tightness. As a consequence, under Proper Forcing Axiom (PFA) every compact $\Delta$-space is sequential. In the article we pose a dozen open questions.

We prove that the locally convex space $C_{p}(X)$ of continuous real-valued functions on a Tychonoff space $X$ equipped with the topology of pointwise convergence is distinguished if and only if $X$ is a $\Delta$-space in the sense of \cite {Knight}. As an application of this characterization theorem we obtain the following results: 1) If $X$ is a \v{C}ech-complete (in particular, compact) space such that $C_p(X)$ is distinguished, then $X$ is scattered. 2) For every separable compact space of the Isbell--Mr\'owka type $X$, the space $C_p(X)$ is distinguished. 3) If $X$ is the compact space of ordinals $[0,\omega_1]$, then $C_p(X)$ is not distinguished. We observe that the existence of an uncountable separable metrizable space $X$ such that $C_p(X)$ is distinguished, is independent of ZFC. We explore also the question to which extent the class of $\Delta$-spaces is invariant under basic topological operations.

The famous Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space, has remained unsolved for 85 years, though it has been answered in the affirmative for reflexive Banach spaces and even Banach spaces which are duals. The analogous problem for locally convex spaces has been answered in the negative, but has been shown to be true for large classes of locally convex spaces including all non-normable Fr\'echet spaces. In this paper the analogous problem for topological groups is investigated. Indeed there are four natural analogues: Does every non-totally disconnected topological group have a separable quotient group which is (i) non-trivial; (ii) infinite; (iii) metrizable; (iv) infinite metrizable. All four questions are answered here in the negative. However, positive answers are proved for important classes of topological groups including (a) all compact groups; (b) all locally compact abelian groups; (c) all $\sigma$-compact locally compact groups; (d) all abelian pro-Lie groups; (e) all $\sigma$-compact pro-Lie groups; (f) all pseudocompact groups. Negative answers are proved for precompact groups., Comment: 26 pages

We prove that if $H$ is a topological group such that all closed subgroups of $H$ are separable, then the product $G\times H$ has the same property for every separable compact group $G$. Let $c$ be the cardinality of the continuum. Assuming $2^{\omega_1} = c$, we show that there exist: (1) pseudocompact topological abelian groups $G$ and $H$ such that all closed subgroups of $G$ and $H$ are separable, but the product $G\times H$ contains a closed non-separable $\sigma$-compact subgroup; (2) pseudocomplete locally convex vector spaces $K$ and $L$ such that all closed vector subspaces of $K$ and $L$ are separable, but the product $K\times L$ contains a closed non-separable $\sigma$-compact vector subspace., Comment: 14 pages

A topological space $X$ is defined to have an $\omega^\omega$-base if at each point $x\in X$ the space $X$ has a neighborhood base $(U_\alpha[x])_{\alpha\in\omega^\omega}$ such that $U_\beta[x]\subset U_\alpha[x]$ for all $\alpha\le\beta$ in $\omega^\omega$. We characterize topological and uniform spaces whose free (locally convex) topological vector spaces or free (Abelian or Boolean) topological groups have $\omega^\omega$-bases., Comment: 30 pages (some references are updated). arXiv admin note: text overlap with arXiv:1606.01967

We characterize topological (and uniform) spaces whose free (locally convex) topological vector spaces have a local $\mathfrak G$-base. A topological space $X$ has a local $\mathfrak G$-base if every point $x$ of $X$ has a neighborhood base $(U_\alpha)_{\alpha\in\omega^\omega}$ such that $U_\beta\subset U_\alpha$ for all $\alpha\le\beta$ in $\omega^\omega$. To construct $\mathfrak G$-bases in free topological vector spaces, we exploit a new description of the topology of a free topological vector space over a topological (or more generally, uniform) space., Comment: 24 pages

Let $X$ and $Y$ be compact Hausdorff spaces and suppose that there exists a linear continuous surjection $T:C_{p}(X) \to C_{p}(Y)$, where $C_{p}(X)$ denotes the space of all real-valued continuous functions on $X$ endowed with the pointwise convergence topology. We prove that $\dim X=0$ implies $\dim Y = 0$. This generalizes a previous theorem \cite[Theorem 3.4]{LLP} for compact metrizable spaces. Also we point out that the function space $C_{p}(P)$ over the pseudo-arc $P$ admits no densely defined linear continuous operator $C_{p}(P) \to C_{p}([0,1])$ with a dense image., Comment: 15 pages

A topological space $L$ is called a linear ordered topological space (LOTS) whenever there is a linear order $\leq$ on $L$ such that the topology on $L$ is generated by the open sets of the form $(a, b)$ with $a < b$ and $a, b \in L \cup \{ -\infty, +\infty \}$. A topological space $X$ is called a generalized ordered space (GO-space) whenever $X$ is topologically embeddable in a LOTS. Main Theorem: Let $X$ be a Hausdorff topological space. Assume that any continuous image of $X$ is a GO-space. Then $X$ is homeomorphic to a countable successor ordinal (with the order topology). The converse trivially holds., Comment: 13 pages

Early this century K. H. Hofmann and S. A. Morris introduced the class of pro-Lie groups which consists of projective limits of finite-dimensional Lie groups and proved that it contains all compact groups, all locally compact abelian groups, and all connected locally compact groups and is closed under the formation of products and closed subgroups. They defined a topological group $G$ to be almost connected if the quotient group of $G$ by the connected component of its identity is compact. We show here that all almost connected pro-Lie groups as well as their continuous homomorphic images are $R$-factorizable and \textit{$\omega$-cellular}, i.e.~every family of $G_\delta$-sets contains a countable subfamily whose union is dense in the union of the whole family. We also prove a general result which implies as a special case that if a topological group $G$ contains a compact invariant subgroup $K$ such that the quotient group $G/K$ is an almost connected pro-Lie group, then $G$ is $R$-factorizable and $\omega$-cellular. Applying the aforementioned result we show that the sequential closure and the closure of an arbitrary $G_{\delta,\Sigma}$-set in an almost connected pro-Lie group $H$ coincide., Comment: 22 pages

A topological group $G$ is said to have a local $\omega^\omega$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $\omega^\omega$. In particular, every metrizable group is such, but the class of groups with a local $\omega^\omega$-base is significantly wider. The aim of this article is to better understand the boundaries of this class, by presenting new examples and counter-examples. Ultraproducts and non-arichimedean ordered fields lead to natural families of non-metrizable groups with a local $\omega^\omega$-base which nevertheless are Baire topological spaces. More examples come from such constructions as the free topological group $F(X)$ and the free Abelian topological group $A(X)$ of a Tychonoff (more generally uniform) space $X$, as well as the free product of topological groups. We show that 1) the free product of countably many separable topological groups with a local $\omega^\omega$-base admits a local $\omega^\omega$-base; 2) the group $A(X)$ of a Tychonoff space $X$ admits a local $\omega^\omega$-base if and only if the finest uniformity of $X$ has a $\omega^\omega$-base; 3) the group $F(X)$ of a Tychonoff space $X$ admits a local $\omega^\omega$-base provided $X$ is separable and the finest uniformity of $X$ has a $\omega^\omega$-base., Comment: 20 pages, latex 2e, accepted for publication in Fundam. Math

A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie groups which consists of projective limits of finite-dimensional Lie groups and proved that it contains all compact groups, locally compact abelian groups and connected locally compact groups and is closed under products and closed subgroups. A topological group G is almost connected if the quotient group of G by the connected component of its identity is compact. We prove that an almost connected pro-Lie group is separable iff its weight is not greater than c. It is deduced that an almost connected pro-Lie group is separable if and only if it is a subspace of a separable Hausdorff space. It is proved that a locally compact (even feathered) topological group G which is a subgroup of a separable Hausdorff topological group is separable, but the conclusion is false if it is assumed only that G is homeomorphic to a subspace of a separable Tychonoff space. Every precompact topological group of weight less than or equal to c is topologically isomorphic to a closed subgroup of a separable pseudocompact group of weight c. This implies that there is a wealth of closed nonseparable subgroups of separable pseudocompact groups. An example is presented under CH of a separable countably compact abelian group which contains a non-separable closed subgroup. It is proved that the following conditions are equivalent for an omega-narrow topological group G: (i) G is a subspace of a separable regular space; (ii) G is a subgroup of a separable topological group; (iii) G is a closed subgroup of a separable pathconnected locally pathconnected group., Comment: 21 pages

A topological space $X$ has the strong Pytkeev property at a point $x\in X$ if there exists a countable family $\mathcal N$ of subsets of $X$ such that for each neighborhood $O_x\subset X$ and subset $A\subset X$ accumulating at $x$, there is a set $N\in\mathcal N$ such that $N\subset O_x$ and $N\cap A$ is infinite. We prove that for any $\aleph_0$-space $X$ and any space $Y$ with the strong Pytkeev property at a point $y\in Y$ the function space $C_k(X,Y)$ has the strong Pytkeev property at the constant function $X\to \{y\}\subset Y$. If the space $Y$ is rectifiable, then the function space $C_k(X,Y)$ is rectifiable and has the strong Pytkeev property at each point. We also prove that for any pointed spaces $(X_n,*_n)$, $n\in\omega$, with the strong Pytkeev property their Tychonoff product and their small box-product both have the strong Pytkeev property at the distinguished point. We prove that a sequential rectifiable space $X$ has the strong Pytkeev property if and only if $X$ is metrizable or contains a clopen submetrizable $k_\omega$-subspace. A locally precompact topological group is metrizable if and only if it contains a dense subgroup with the strong Pytkeev property., Comment: 15 pages. arXiv admin note: text overlap with arXiv:1311.1468

We prove that each metrizable space (of cardinality less or equal to continuum) has a (first countable) uniform Eberlein compactification and each scattered metrizable space has a scattered hereditarily paracompact compactification. Each compact scattered hereditarily paracompact space is uniform Eberlein and belongs to the smallest class of compact spaces, that contain the empty set, the singleton, and is closed under producing the Aleksandrov compactification of the topological sum of a family of compacta from that class., Comment: 6 pages