Related papers: Free topological vector spaces

We say that a topological space $X$ is selectively highly divergent (SHD) if for every sequence of non-empty open sets $\{U_n\mid n\in\omega \}$ of $X$, we can find $x_n\in U_n$ such that the sequence $(x_n)$ has no convergent subsequences.…

Let $\mathbf{TB}$ be the category of totally bounded, locally compact metric spaces with the $C_0$ coarse structures. We show that if $X$ and $Y$ are in $\mathbf{TB}$ then $X$ and $Y$ are coarsely equivalent if and only if their Higson…

We study spaces $\mathcal{CV}^{k}(\Omega,E)$ of $k$-times continuously partially differentiable functions on an open set $\Omega\subset\mathbb{R}^{d}$ with values in a locally convex Hausdorff space $E$. The space…

The concept of the strong Pytkeev property, recently introduced by Tsaban and Zdomskyy in [32], was successfully applied to the study of the space $C_c(X)$ of all continuous real-valued functions with the compact-open topology on some…

Given a topological group $G$ that can be embedded as a topological subgroup into some topological vector space (over the field of reals) we say that $G$ has invariant linear span if all linear spans of $G$ under arbitrary embeddings into…

A topological space $X$ is called almost discretely Lindel\"of if every discrete set $D \subset X$ is included in a Lindel\"of subspace of $X$. We say that the space $X$ is {\em $\mu$-sequential} if for every non-closed set $A \subset X$…

It is proved that any countable topological vector space over a finite field $\mathbb F_p$ or, equivalently, any countable Abelian topological group of prime exponent has a closed discrete basis.

For classes of topological vector spaces, we analyze under which conditions open-mapping, continuous-inverse, and closed-graph properties are equivalent. Here, closure under quotients with closed subspaces and closure under closed graphs…

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].

Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…

The lifting theorem of Valdivia concerning (pre) compact sets and convergent (respectively, Cauchy) sequences from a quasi-(LB) space to a metrizable, strictly barrelled space is extended to a strictly larger collection of range spaces.…

We introduce and investigate a topological version of St\"ackel's 1907 characterization of finite sets, with the goal of obtaining an interesting notion that characterizes usual compactness (or a close variant of it). Define a $T_2$…

In this paper, we introduce the concept of quasi-point-separable topological vector spaces, which has the following important properties: 1.In general, the conditions for a topological vector space to be quasi-point-separable is not very…

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…

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…

We prove that a Hausdorff space $X$ is very $\mathrm I$-favorable if and only if $X$ is the almost limit space of a $\sigma$-complete inverse system consisting of (not necessarily Hausdorff) second countable spaces and surjective d-open…

We prove that, for a Tychonoff space $X$, the space $C_p(X)$ is barrelled if and only if it is a Mackey group.

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

It is a well-known result in pointfree topology that every locally compact frame is spatial. Whether this result extends to MT-algebras (McKinsey-Tarski algebras) was an open problem. We resolve it in the negative by constructing a locally…

We give new characterizations of spaces $X$ which are $k_\mathbb{R}$-spaces or $s_\mathbb{R}$-spaces. Applying the obtained results we provide some sufficient and necessary conditions on $X$ for which $C_p(X)$ is a $k_\mathbb{R}$-space or…