The Urysohn Core: A New Foundation for Compact Connected Spaces
Abstract
This paper introduces the concept of the Urysohn Core as a novel foundational structure for understanding compact connected topological spaces, commonly known as continua. Building upon the seminal work of Pavel Urysohn in metrization theory and separation axioms, we define the Urysohn Core $U(X)$ of a compact connected Hausdorff space $X$ as the intersection of all compact connected subspaces $K subseteq X$ that preserve the full Urysohn separability power of $X$. Specifically, $K$ is considered to preserve this power if for any two points $x, y in X$ separable by a continuous function $f: X to [0,1]$, there exists a continuous function $g: K to [0,1]$ such that $g(x_K) neq g(y_K)$, where $x_K$ and $y_K$ are points in $K$ representing the "separation equivalents" of $x$ and $y$. This definition aims to distill the most essential, Urysohn-separable substructure within a continuum. We rigorously prove that the Urysohn Core is always a non-empty, compact, and connected subspace, and establish its uniqueness up to homeomorphism. Furthermore, we demonstrate that for a metric continuum, the Urysohn Core coincides with the space itself, highlighting its non-triviality in non-metrizable contexts. The paper explores the properties of the Urysohn Core, including its invariance under retractions and its behavior under quotient mappings. We argue that the Urysohn Core provides a new lens through which to analyze the intrinsic separability structure of continua, offering insights into their complexity and serving as a potential invariant for classification.
Fields of Study & Subjects
Advanced Topology and Set Theory
Advanced Banach Space Theory
Geometric and Algebraic Topology
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 7 February 2026