Related papers: Separability and Submetrizability in Locally Conve…

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…

We consider the space $M(X)$ of separable measures on the Borel $\sigma$-algebra ${\cal B}(X)$ of a metric space $X$. The space $M(X)$ is furnished with the Kantorovich-Rubinshte\u{i}n metric known also as the ``Hutchinson distance''. We…

In this paper a construction of a metrizable zero-dimensional CDH space $X$ such that $X^2$ has exactly $\mathfrak{c}$ countable dense subsets is provided. Furthermore, it is shown that the space can be constructed consistently co-analytic.…

We demonstrate that a reproducing kernel Hilbert or Banach space of functions on a separable absolute Borel space or an analytic subset of a Polish space is separable if it possesses a Borel measurable feature map.

Building on the work of Avraham, Rubin, and Shelah, we aim to build a variant of the Fra\"iss\'e theory for uncountable models built from finite submodels. With this aim, we generalize the notion of an increasing set of reals to other…

This article fits in the context of the approach to topological problems in terms of the underlying convergence space structures, and serves as yet another illustration of the power of the method. More specifically, we spell out…

We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of…

Let M be a complete metric space. It is proved that if the space or scalar-valued bounded continuous functions on M admits an isometric shift, then M is separable.

An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…

Motivated by persistent homology and topological data analysis, we consider formal sums on a metric space with a distinguished subset. These formal sums, which we call persistence diagrams, have a canonical 1-parameter family of metrics…

Countable tightness may be destroyed by countably closed forcing. We characterize the indestructibility of countable tightness under countably closed forcing by combinatorial statements similar to the ones Tall used to characterize…

We study sets of local dimensions for self-similar measures in $\mathbb{R}$ satisfying the finite neighbour condition, which is formally stronger than the weak separation condition but satisfied in all known examples. Under a mild technical…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…

To a metric space $X$ we associate a compact topological space $\nu' X$ called the corona of $X$. Then a coarse map $f:X\to Y$ between metric spaces is mapped to a continuous map $\nu' f:\nu' X\to \nu' Y$ between coronas. Sheaf cohomology…

Three themes of general topology: quotient spaces; absolute retracts; and inverse limits - are reapproached here in the setting of metrizable uniform spaces, with an eye to applications in geometric and algebraic topology. The results…

One shows for Banach bundles in a certain class that having a second countable locally compact Hausdorff base space and separable fibers implies the separability of the Banach space of the all sections that vanish at infinity. In the…

Heinrich Tietze has shown that for a closed connected subset of euclidean space being convex is a local property. We generalize this to CAT(0)-spaces and locally compact CAT(\kappa) spaces. As an application we give a construction of…

Given a partially ordered set $P$ we study properties of topological spaces $X$ admitting a $P$-base, i.e., an indexed family $(U_\alpha)_{\alpha\in P}$ of subsets of $X\times X$ such that $U_\beta\subset U_\alpha$ for all $\alpha\le\beta$…

We study tightness properties and selective versions of separability in bitopological function spaces endowed with set-open topologies.