Related papers: Selective separability on spaces with an analytic …
In this brief article we characterize the relatively compact subsets of $\mathcal{A}^p$ for the topology $\sigma(\mathcal{A}^p,\mathcal{R}^q)$ (see below), by the weak compact subsets of $L^p$ . The spaces $\mathcal{R}^q$ endowed with the…
We provide a ZFC example of a compact space K such that C(K)* is w*-separable but its closed unit ball is not w*-separable. All previous examples of such kind had been constructed under CH. We also discuss the measurability of the supremum…
In this note we study the open-point topological games in order to analyze the least upper bound for density of dense subsets of a topological space. This way we may also analyze the behavior of such cardinal invariants in taking products…
In this paper we continue to study the property of separability of functional space C(X) with the open-point and bi-point-open topologies.
An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…
Existing weakly supervised semantic segmentation (WSSS) methods usually utilize the results of pre-trained saliency detection (SD) models without explicitly modeling the connections between the two tasks, which is not the most efficient…
Let $(X,\rho,G)$ be a $G-$action topological system, where $G$ is a countable infinite discrete amenable group and $X$ a compact metric space. We prove a variational principle for topological entropy of saturated sets for systems which have…
Discrete Morse theory emerged as an essential tool for computational geometry and topology. Its core structures are discrete gradient fields, defined as acyclic matchings on a complex $C$, from which topological and geometrical informations…
This note identifies compact and {\sigma}-compact subsets of probability measures on a class of metric spaces with respect to the weak convergence topology. Moreover, it is shown by an example, that the space of probability measures on a…
ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same category as the original space, with an associated…
We show that the unit ball of a Hilbert space in its weak topology is a continuous image of the countable power of the Alexandroff compactification of a discrete set, and we deduce some combinatorial properties of its lattice of open sets…
We will introduce the countable separation property (CSP) of Banach spaces X, which is defined as follows: For each subset \mathcal{F} of X^{\ast}, which separates X, there exists a countable separating subset \mathcal{F}_{0} of…
We prove that the free locally convex space $L(X)$ over a metrizable space $X$ has countable tightness if and only if $X$ is separable.
In this paper we study the reflections of the category of topological and semitopological semigroups on the category of the class of topological spaces satisfying separation axioms $T_{0}$, $T_{1}$, $T_{2}$, $T_{3}$ and regular and we apply…
We study the complex-analytic geometry of semi-positive holomorphic line bundles on compact K\"ahler manifolds. In one of our main results, for a $\mathbb{Q}$-effective line bundle satisfying a natural torsion-type assumption, we show the…
We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces,…
In this paper, we present several density-type theorems which show how to find a copy of a sparse bipartite graph in a graph of positive density. Our results imply several new bounds for classical problems in graph Ramsey theory and improve…
For the additive real BSS machines using only constants 0 and 1 and order tests we consider the corresponding Turing reducibility and characterize some semi-decidable decision problems over the reals. In order to refine, step-by-step, a…
We examine the analyticity of the class of separable Banach spaces possessing the $\pi$-property, defined in terms of convergence along a filter. Our results establish that this class is $\Sigma^1_3$ whenever the underlying filter is…