Related papers: Universally complete spaces of continuous function…
The completeness of Gaussians in a Hilbert functional space is established
A Cech closure space $(X,u)$ is a set $X$ with a (Cech) closure operator $u$ which need not be idempotent. Many properties which hold in topological spaces hold in Cech closure spaces as well. The notions of proper (splitting) and…
We give a short proof that, for nice $X$, the based fundamental groupoid of $X$ with topology induced by the compact open topology on the space of paths, is indeed the universal covering space of $X$.
We show that the hypercomplete $\infty$-topos associated with any replete topos is Postnikov complete, positively answering a question of Bhatt and Scholze; this will be deduced from the Milnor sequences for sheaves of spaces on replete…
A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…
We prove that strong finite total curvature complete hypersurfaces of (n+1)-euclidean space are proper and diffeomorphic to a compact manifold minus finitely many points. With an additional condition, we also prove that the Gauss map of…
We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…
A function $f:X\to Y$ between topological spaces is called $\sigma$-$continuous$ (resp. $\bar\sigma$-$continuous$) if there exists a (closed) cover $\{X_n\}_{n\in\omega}$ of $X$ such that for every $n\in\omega$ the restriction…
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 introduce a ZFC method that enables us to build spaces (in fact special dense subspaces of certain Cantor cubes) in which we have "full control" over all dense subsets. Using this method we are able to construct, in ZFC, for each…
A space $X$ is called a $k_{R}$-space, if $X$ is Tychonoff and the necessary and sufficient condition for a real-valued function $f$ on $X$ to be continuous is that the restriction of $f$ on each compact subset is continuous. In this paper,…
A space $X$ is sequentially separable if there is a countable $S\subset X$ such that every point of $X$ is the limit of a sequence of points from $S$. In 2004, N.V. Velichko defined and investigated concepts close to sequentially…
Absolute continuity implies uniform continuity, but generally not vice versa. In this short note, we present one sufficient condition for a uniformly continuous function to be absolutely continuous, which is the following theorem: For a…
We give a characterization of countable discrete subspace $A$ of a topological space $X$ such that there exists a (linear) continuous mapping $\varphi:C_p^*(A)\to C_p(X)$ with $\varphi(y)|_A=y$ for every $y\in C_p^*(A)$. Using this…
We investigate several boundedness properties of function spaces considered as uniform spaces.
It is proved that the free Boolean topological group $B(X)$ on a Tychonoff space $X$ is Weil complete if and only if the space $X$ is Dieudonn\'e complete. This result provides a positive answer to a question posed by the first listed…
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…
It is proved that the isometry classes of pointed connected complete Riemannian $n$-manifolds form a Polish space, $\mathcal{M}_*^\infty(n)$, with the topology described by the $C^\infty$ convergence of manifolds. This space has a canonical…
The classical theorems of Banach and Stone, Gelfand and Kolmogorov, and Kaplansky show that a compact Hausdorff space $X$ is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure,…
A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel…