Related papers: Ring-theoretic approaches to point-set topology

We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the…

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

For a space $X$ let $\mathcal{K}(X)$ be the set of compact subsets of $X$ ordered by inclusion. A map $\phi:\mathcal{K}(X) \to \mathcal{K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a…

We prove that the locally convex space $C_{p}(X)$ of continuous real-valued functions on a Tychonoff space $X$ equipped with the topology of pointwise convergence is distinguished if and only if $X$ is a $\Delta$-space in the sense of \cite…

A 1910 theorem of Brouwer characterizes the Cantor set as the unique totally disconnected, compact metric space without isolated points. A 1920 theorem of Sierpinski characterizes the rationals as the unique countable metric space without…

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the…

Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to…

A test space is the set of outcome-sets associated with a collection of experiments. This notion provides a simple mathematical framework for the study of probabilistic theories -- notably, quantum mechanics -- in which one is faced with…

Let $T''(X)$ and $T'(X)$ denote the collections of all real-valued functions on $X$ which are continuous on a dense cozero set and on an open dense subset of $X$ respectively. $T''(X)$ contains $C(X)$ and forms a subring of $T'(X)$ under…

We prove a compactness theorem for embedded measured hyperbolic Riemann surface laminations in a compact almost complex manifold $(X, J)$. To prove compactness result, we show that there is a suitable topology on the space of measured…

Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper…

In this article, we study the rational cohomology rings of Voisin's punctual Hilbert schemes $X^{[n]}$ associated to a symplectic compact fourfold $X$. We prove that these rings can be universally constructed from $H^*(X,\mathbb{Q})$ and…

Let $X$ be a ringed space together with the data $M$ of a set $M_x$ of prime ideals of $\O_{X,x}$ for each point $x \in X$. We introduce the localization of $(X,M)$, which is a locally ringed space $Y$ and a map of ringed spaces $Y \to X$…

We prove that the space of radical ideals of a ring $R$, endowed with the hull-kernel topology, is a spectral space, and that it is canonically homeomorphic to the space of the nonempty Zariski closed subspaces of Spec$(R)$, endowed with a…

A regular topological space $X$ is defined to be a $\mathfrak P_0$-space if it has countable Pytkeev network. A network $\mathcal N$ for $X$ is called a Pytkeev network if for any point $x\in X$, neighborhood $O_x\subset X$ of $x$ and…

Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on…

We show that if a (locally compact) group $G$ acts properly on a locally compact $\sigma$-compact space $X$ then there is a family of $G$-invariant proper continuous finite-valued pseudometrics which induces the topology of $X$. If $X$ is…

We already saw in [A1] that the space of dynamically marked rational maps can be identified to a subspace of the space of covers between trees of spheres on which there is a notion of convergence that makes it sequentially compact. In the…

A topological space is $Suslin$ ($Lusin$) if it is a continuous (and bijective) image of a Polish space. For a Tychonoff space $X$ let $C_p(X)$, $C_k(X)$ and $C_{{\downarrow}F}(X)$ be the space of continuous real-valued functions on $X$,…