Related papers: Topological spaces with an $\omega^\omega$-base

We briefly show how the use of topological spaces and $\sigma$-algebras in physics can be rederived and understood as the fundamental requirement of experimental verifiability. We will see that a set of experimentally distinguishable…

For an infinite cardinal $\kappa$ let $\ell_2(\kappa)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(\kappa)$ of density $\kappa$. We prove that a non-separable convex subset $X$ of density $\kappa$ in a…

We prove that a locally compact space with an upper curvature bound is a topological manifold if and only if all of its spaces of directions are homotopy equivalent and not contractible. We discuss applications to homology manifolds, limits…

We give an algebraic characterization of pre-Hilbert spaces with an orthonormal basis. This characterization is used to show that there are pre-Hilbert spaces $X$ of dimension and density $\lambda$ for any uncountable $\lambda$ without any…

It is expected that the $D$-topology makes every diffeological vector space into a topological vector space. We show that it is the case for a large class of diffeological vector spaces via $k_\omega$-space theory, but not so in general.…

Let $B$ be a curve defined over an algebraically closed field $k$ and let $X\to B$ be an elliptic surface with base curve $B$. We investigate the geometry of everywhere locally trivial principal homogeneous spaces for $X$, i.e. elements of…

A topological space is defined to be banalytic (resp. analytic) if it is the image of a Polish space under a Borel (resp. continuous) map. A regular topological space is analytic if and only if it is banalytic and cosmic. Each (regular)…

A generalization of the triangle inequality is introduced by a mapping similar to a t-conorm mapping. This generalization leads us to a notion for which we use the $\star$-metric terminology. We are interested in the topological space…

We establish that every second countable completely regularly preordered space (E,T,\leq) is quasi-pseudo-metrizable, in the sense that there is a quasi-pseudo-metric p on E for which the pseudo-metric p\veep^-1 induces T and the graph of…

In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it…

We use topological consequences of PFA, MA$_{\omega_1}$(S)[S] and PFA(S)[S] proved by other authors to show that normal first countable linearly H-closed spaces with various additionals properties are compact in these models.

The deck of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}] \colon x \in X\}$, where $[Z]$ denotes the homeomorphism class of $Z$. A space $X$ is topologically reconstructible if whenever…

In this paper, we show that the low energy spaces in the prescribed singularity case $\mathcal{E}_{\psi}(X,\theta,\phi)$ have a natural topology which is completely metrizable. This topology is stronger than convergence in capacity.

In a recent paper \cite{T} the fact that a class of locally compact metric spaces $X$, among which are Euclidean spaces, are not homemorphic to their punctured version $X\men\{p\}$, was given an interesting new proof which does not use…

In this paper, we study the uniformities on the double coset spaces in topological groups. As an implication, the quotient spaces of topological groups with a $q$-point are studied. It mainly shows that: (1) Suppose that $G$ is a…

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…

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.

We prove that, for every cardinal number $\alpha\geq {\mathfrak c}$, there exists a metrizable space $X$ with $|X|=\alpha$ such that for every pair of quasiorders $\leq_1$, $\leq_2$ on a set $Q$ with $|Q| \leq \alpha$ satisfying the…

In applications it is useful to know whether a topological preordered space is normally preordered. It is proved that every $k_\omega$-space equipped with a closed preorder is a normally preordered space. Furthermore, it is proved that…

We investigate $\mathcal F$-Borel topological spaces. We focus on finding out how a~complexity of a~space depends on where the~space is embedded. Of a~particular interest is the~problem of determining whether a~complexity of given space $X$…