A locally convex space (lcs) $E$ is said to have an $ω^ω$-base if $E$ has a neighborhood base $\{U_α:α\inω^ω\}$ at zero such that $U_β\subseteq U_α$ for all $α\leqβ$. The class of lcs with an $ω^ω$-base is large, among others contains all $(LM)$-spaces (hence $(LF)$-spaces), strong duals of distinguished Fréchet lcs (hence spaces of distributions $D'(Ω)$). A remarkable result of Cascales-Orihuela states that every compact set in a lcs with an $ω^ω$-base is metrizable. Our main result shows that every uncountable-dimensional lcs with an $ω^ω$-base contains an infinite-dimensional metrizable compact subset. On the other hand, the countable-dimensional space $φ$ endowed with the finest locally convex topology has an $ω^ω$-base but contains no infinite-dimensional compact subsets. It turns out that $φ$ is a unique infinite-dimensional locally convex space which is a $k_{\mathbb{R}}$-space containing no infinite-dimensional compact subsets. Applications to spaces $C_{p}(X)$ are provided.
We give the first example of a locally quasi-convex (even countable reflexive and $k_ω$) abelian group $G$ which does not admit the strongest compatible locally quasi-convex group topology. Our group $G$ is the Graev free abelian group $A_G(\mathbf{s})$ over a convergent sequence $\mathbf{s}$.
Our main result states that the hyperspace of convex compact subsets of a compact convex subset $X$ in a locally convex space is an absolute retract if and only if $X$ is an absolute retract of weight $\leω_1$. It is also proved that the hyperspace of convex compact subsets of the Tychonov cube $I^{ω_1}$ is homeomorphic to $I^{ω_1}$. An analogous result is also proved for the cone over $I^{ω_1}$. Our proofs are based on analysis of maps of hyperspaces of compact convex subsets, in particular, selection theorems for such maps are proved.
We show that the free locally convex space $L(\mathbf{s})$ over a convergent sequence $\mathbf{s}$ is not a Mackey space. Consequently $L(\mathbf{s})$ is not a Mackey group that answers negatively a question posed in [4].
Salas and Garcia introduced the concept of an extended locally convex space in [D. Salas and S. Tapia-Garcia. Extended seminorms and extended topological vector spaces. Topology and its Applications, 2016] which extends the idea of an extended normed space (introduced by Beer in G. Beer. Norms with infinite values. Journal of Convex Analysis, 2015). This article gives an attractive formulation of the finest locally convex topology of an extended locally convex space and provides a systematic study of the resulting locally convex space. As an application, we characterize the coincidence of the …
In this paper, we show that for every locally compact abelian group G, the following statements are equivalent: (i) G contains no sequence {x_n} such that {0} \cup {\pm x_n : n \in N} is infinite and quasi-convex in G, and x_n --> 0; (ii) one of the subgroups {g \in G : 2g=0 and {g \in G : 3g=0} is open in G; (iii) G contains an open compact subgroup of the form Z_2^κor Z_3^κfor some cardinal κ.
Rectangular TVS-cone metric spaces are introduced and Kannan's fixed point theorem is proved in these spaces. Two approaches are followed for the proof. At first we prove the theorem by a direct method using the structure of the space itself. Secondly, we use the nonlinear scalarization used recently by Wei-Shih Du in [A note on cone metric fixed point theory and its equivalence, {Nonlinear Analysis},72(5),2259-2261 (2010).] to prove the equivalence of the Banach contraction principle in cone metric spaces and usual metric spaces. The proof is done without any normality assumption on the cone …
It is shown that a Banach space with locally uniformly convex dual admits an equivalent norm which is itself locally uniformly convex. It follows that on any such space all continuous real-valued functions may be uniformly approximated by C^1 functions.
For a locally quasi-convex (lqc) abelian group $G$, we give the first description of all compatible group topologies on $G$ and apply this result to the Mackey group problem for lqc groups. We characterize lqc abelian groups which are Mackey groups or admit a Mackey group topology and provide a characterization of two Mackey groups whose product is Mackey. We obtain the first characterization of locally convex spaces which are Mackey groups.
We provide necessary and/or sufficient conditions on vector spaces $V$ of real sequences to be a Fréchet space such that each coordinate map is continuous, that is, to be a locally convex FK space. In particular, we show that if $c_{00}(\mathcal{I})\subseteq V\subseteq \ell_\infty(\mathcal{I})$ for some ideal $\mathcal{I}$ on $ω$, then $V$ is a locally convex FK space if and only if there exists an infinite set $S\subseteq ω$ for which every infinite subset does not belong to $\mathcal{I}$.
Let $L(X)$ be the free locally convex space over a Tychonoff space $X$. If $X$ is Dieudonné complete (for example, metrizable), then $L(X)$ is a reflexive group if and only if $X$ is discrete. Answering a question posed in [9] we prove also that $L(X)$ is an Ascoli space if and only if $X$ is a countable discrete space.
We define a locally convex space $E$ to have the $Josefson$-$Nissenzweig$ $property$ (JNP) if the identity map $(E',σ(E',E))\to ( E',β^\ast(E',E))$ is not sequentially continuous. By the classical Josefson-Nissenzweig theorem, every infinite-dimensional Banach space has the JNP. A characterization of locally convex spaces with the JNP is given. We thoroughly study the JNP in various function spaces. Among other results we show that for a Tychonoff space $X$, the function space $C_p(X)$ has the JNP iff there is a weak$^\ast$ null-sequence $(μ_n)_{n\inω}$ of finitely supported sign-measures on $…
For an infinite cardinal $κ$ let $\ell_2(κ)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(κ)$ of density $κ$. We prove that a non-separable convex subset $X$ of density $κ$ in a locally convex linear metric space if homeomorphic to the space (i) $\ell_2^f(κ)$ if and only if $X$ can be written as countable union of finite-dimensional locally compact subspaces, (ii) $[0,1]^ω\times \ell_2^f(κ)$ if and only if $X$ contains a topological copy of the Hilbert cube and $X$ can be written as a countable union of locally compact subspaces.
We characterize Ascoli spaces by showing that a Tychonoff space $X$ is Ascoli iff the canonical map from the free locally convex space $L(X)$ over $X$ into $C_k\big(C_k(X)\big)$ is an embedding of locally convex spaces. We prove that an uncountable direct sum of non-trivial locally convex spaces is not Ascoli. If a $c_0$-barrelled space $X$ is weakly Ascoli, then $X$ is linearly isomorphic to a dense subspace of $\mathbb{R}^Γ$ for some $Γ$. Consequently, a Fréchet space $E$ is weakly Ascoli iff $E=\mathbb{R}^N$ for some $N\leqω$. If $X$ is a $μ$-space and a $k$-space (for example, metrizable),…
We extend the well-known Gelfand-Phillips property for Banach spaces to locally convex spaces, defining a locally convex space $E$ to be Gelfand-Phillips if every limited set in $E$ is precompact in the topology on $E$ defined by barrels. Several characterizations of Gelfand-Phillips spaces are given. The problem of preservation of the Gelfand-Phillips property by standard operations over locally convex spaces is considered. Also we explore the Gelfand-Phillips property in spaces $C(X)$ of continuous functions on a Tychonoff space $X$. If $τ$ and $\mathcal T$ are two locally convex topologies …
A topological space $X$ is $κ$-Fréchet--Urysohn if for every open subset $U$ of $X$ and every $x\in \overline{U}$ there exists a sequence in $ U$ converging to $x$. We prove that every $κ$-Fréchet--Urysohn Tychonoff space $X$ is Ascoli. We apply this statement and some of known results to characterize the $κ$-Fréchet--Urysohn property in various important classes of locally convex spaces. In particular, answering a question posed in [7] we obtain that $C_p(X)$ is Ascoli iff $X$ has the property $(κ)$.
We introduce the strong Gelfand-Phillips property for locally convex spaces and give several characterizations of this property. We characterize the strong Gelfand-Phillips property among locally convex spaces admitting a stronger Banach space topology. If $C_{\mathcal T}(X)$ is a space of continuous functions on a Tychonoff space $X$, endowed with a locally convex topology $\mathcal T$ between the pointwise topology and the compact-open topology, then: (a) the space $C_{\mathcal T}(X)$ has the strong Gelfand-Phillips property iff $X$ contains a compact countable subspace $K\subseteq X$ of fin…
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_α)_{α\inω^ω}$ such that $U_β\subset U_α$ for all $α\leβ$ in $ω^ω$. 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.
We study quasi-locally complete locally convex spaces and generalize this concept to quasi-locally Baire locally convex spaces. It is shown that an inductive limit of strictly webbed spaces is regular if it is quasi-locally Baire. This extends Qiu's theorem on regularity. Additionally, if each step is strictly webbed and quasi-locally Baire, then the inductive limit is quasi-locally Baire if it is regular. Relevant examples are provided.
We provide theorems containnig both Kakutani and Browder fixed points theorems as immediate corollaries, as well as Michael and Browder selection theorems. For this purpose we introduce convex structures more general than those of locally convex and non-locally convex topological vector spaces or generalized convexity structures due to Michael, Van de Vel and Horvath.
Motivated by Rosenthal's famous $l^1$-dichotomy in Banach spaces, Haydon's theorem, and additionally by recent works on tame dynamical systems, we introduce the class of tame locally convex spaces. This is a natural locally convex analogue of Rosenthal Banach spaces (for which any bounded sequence contains a weak Cauchy subsequence). Our approach is based on a bornology of tame subsets which in turn is closely related to eventual fragmentability. This leads, among others, to the following results: $\bullet$ extending Haydon's characterization of Rosenthal Banach spaces, by showing that a lcs $…
