The Extended Real Line with Reentry: A Compact Quotient Space Separating US from KC

This paper constructs the Extended Real Line with Reentry (ERI), a compact, path-connected, T₁ space that is US but not KC, thereby providing an explicit counterexample that separates these properties in the Wilansky hierarchy while demonstrating that its only continuous real-valued functions are constants.

The Gist

Imagine you are building a city. In a normal city (a standard mathematical space called Hausdorff), if two people are standing at different locations, you can always draw a fence around one and a separate fence around the other so they never touch. This is the rule of "good behavior" in geometry.

However, mathematicians have discovered a whole hierarchy of "almost good" cities. Some are so chaotic that people can't be separated at all. Others are in the middle: they are mostly well-behaved, but with a few weird glitches.

This paper introduces a brand new, very specific city called ERI (Extended Real Line with Reentry). It's a mathematical "monster" designed to solve a decades-old puzzle: Can you have a city where everyone has a unique address (US), but you still can't put fences between everyone (not KC)?

Here is the story of ERI, explained without the heavy math jargon.

1. The Setup: Merging Three Worlds

Imagine the number line, stretching from negative infinity to positive infinity. Now, imagine you take three specific spots on this line:

1. Negative Infinity (the far left edge)
2. Zero (the middle)
3. Positive Infinity (the far right edge)

In the city of ERI, we glue these three distinct spots together into a single super-point called Star ($\ast$).

• The Catch: Usually, if you glue things together, you get a messy, confusing place. But ERI has a special rule for the neighborhood around Star.
• The "Density" Rule: To be allowed to enter the neighborhood of Star, a path must be "dense." Think of it like this: If you are walking toward Star, you cannot just walk down a single, narrow sidewalk. You must be walking on a path that is so crowded with people that if you look at any empty spot in the city, your path is already there. You can't sneak up on Star quietly; you have to be everywhere at once.

2. The Magic Trick: Unique Limits vs. No Fences

The paper proves that ERI is a "Goldilocks" space that sits right between two famous mathematical properties:

• US (Unique Sequential): If you walk down a street and keep going, you will eventually arrive at one and only one destination. You can't wander and end up at two different places at the same time.
• KC (Kompacts Closed): In a "perfect" city, if you gather a group of people who are all huddled together (a compact set), that group should be easy to isolate with a fence. In ERI, this fails. You can have a huddled group that is impossible to fence off from the rest of the city.

The Analogy:
Imagine a party (the compact set).

• In a normal city, you can put a rope around the party so no one outside can touch it.
• In ERI, the party is so "sticky" that the rope keeps slipping off. The party is compact (everyone is close), but it's not closed (you can't isolate it).
• BUT, if you are a single person walking through the party, you will still only meet one person at a time. You won't accidentally bump into two people at the exact same spot.

3. Why Does This Work? (The "No First-Countability" Secret)

Why can ERI do this? The paper reveals the secret weapon: Star has no "countable" neighborhood.

In most cities, you can describe the area around a point by listing a finite number of concentric rings (like ripples in a pond). You can say, "Step 1 is this ring, Step 2 is that ring."

• In ERI, Star is so crowded that you cannot list the rings. There are too many ways to approach it.
• Because you can't list the steps, sequences (people walking step-by-step) behave nicely and find only one destination.
• But nets (a more complex, web-like way of moving) can get confused and find two destinations.

This is the key: ERI breaks the rule that "if you can't separate people with fences, you can't have unique walking paths." It does this by making the "fences" around Star so weird and complex that walking paths (sequences) can't see the confusion, but the city's structure (topology) still feels the chaos.

4. The Big Picture: Why Should We Care?

For a long time, mathematicians knew that "Unique Limits" (US) and "Closed Compact Sets" (KC) were different things, but finding a simple, concrete example that was also connected (one piece) and path-connected (you could walk from anywhere to anywhere) was hard.

Most previous examples were:

• Disconnected: Like a pile of scattered rocks.
• Abstract: Built using complex, invisible logic (like "maximal almost disjoint families").
• Broken: Not path-connected.

ERI is special because:

1. It's a single, connected line. You can walk from the far left to the far right without jumping.
2. It's explicit. We can draw it and describe exactly how the rules work.
3. It separates the concepts. It proves that you can have a city where walking paths are unique, but the city's "fences" are broken.

5. The "Functional Triviality" Twist

There is one final, funny twist. Because the city is so weirdly connected and the "Star" point is so sticky, you cannot measure anything in this city with a ruler.

If you try to assign a number (like a temperature or a height) to every point in ERI in a smooth way, the only possible answer is that everything is the same number. The city is so "glued together" that it has no internal variation that a smooth function can detect. It's a city where the map is flat, even though the terrain is wild.

Summary

The paper constructs a mathematical city called ERI where:

• The Rules: Three distant points are glued into one, and the neighborhood of that point is "crowded" (dense).
• The Result: You can walk through the city and always know exactly where you are going (Unique Limits), but you cannot build fences to separate groups of people (Not KC).
• The Lesson: It proves that the ability to walk in a straight line doesn't guarantee that the city is perfectly organized. It fills a missing gap in the map of mathematical spaces, showing us a new, weird, but beautiful corner of geometry.

Technical Summary

Here is a detailed technical summary of the paper "The Extended Real Line with Reentry: A Compact Quotient Space Separating US from KC" by Damián Rafael Lattenero.

1. Problem Statement

The paper addresses a specific gap in the Wilansky hierarchy of separation axioms in general topology. This hierarchy studies properties strictly between $T_1$ (Fréchet) and $T_2$ (Hausdorff). The relevant axioms are:

• US (Uniquely Sequential): Every convergent sequence has a unique limit.
• KC (Kompacts Closed): Every compact subset is closed.

The known implications are $T_2 \implies KC \implies US \implies T_1$. While it is known that $KC \implies US$ is strict (i.e., there exist US spaces that are not KC), existing examples of compact, path-connected spaces that are US but not KC are either non-constructive (relying on Maximal Almost Disjoint families), totally disconnected, or lack a transparent convergence criterion.

The paper seeks to construct an explicit, elementary, compact, and path-connected topological space that is US but not KC, thereby providing a concrete counterexample to the implication $US \implies KC$ in the context of compact spaces.

2. Methodology: The ERI Construction

The author introduces the Extended Real Line with Reentry (ERI), denoted as $X$. The construction proceeds as follows:

• Base Space: Start with the extended real line $\bar{\mathbb{R}} = [-\infty, +\infty]$ with its standard order topology.
• Quotient Identification: Define an equivalence relation $\sim$ that collapses the set $A = \{-\infty, 0, +\infty\}$ into a single point, denoted as $\ast$. Let $q: \bar{\mathbb{R}} \to X_0$ be the quotient map.
• Modified Topology: Instead of the standard quotient topology, the author defines a Filter-Modified Quotient (FMQ) topology $\tau_{ERI}$. A subset $U \subseteq X_0$ is open if:
  1. $q^{-1}(U)$ is open in $\bar{\mathbb{R}}$ (standard quotient condition).
  2. Density Condition: If $\ast \in U$, then $q^{-1}(U)$ must be dense in $\bar{\mathbb{R}}$.

This density condition is the core mechanism. It forces neighborhoods of the collapsed point $\ast$ to be "large" (dense in the preimage), which prevents the separation of $\ast$ from other points (destroying Hausdorff) while simultaneously constraining sequential convergence to ensure uniqueness.

3. Key Contributions and Results

A. Topological Properties of ERI

The paper proves that the space $X = (X_0, \tau_{ERI})$ possesses the following properties:

1. Compactness: $X$ is compact because it is a continuous image of the compact space $\bar{\mathbb{R}}$ under a topology coarser than the standard quotient topology.
2. Path-Connectedness: $X$ is path-connected. The linear paths in $\bar{\mathbb{R}}$ project to continuous paths in $X$, even those passing through $\ast$.
3. $T_1$ but not $T_2$:
   • $X$ is $T_1$ (singletons are closed).
   • $X$ is not Hausdorff. The point $\ast$ cannot be separated from any other point $\hat{x}$ because every open neighborhood of $\ast$ has a dense preimage, which must intersect the preimage of any non-empty open set containing $\hat{x}$.
4. US (Uniquely Sequential):
   • Convergence Criterion: A sequence $\hat{x}_n \to \ast$ if and only if the sequence $(x_n)$ in $\bar{\mathbb{R}} \setminus \{0\}$ has no accumulation point in $\bar{\mathbb{R}} \setminus \{0\}$.
   • Uniqueness: Due to this criterion, a sequence cannot converge to both $\ast$ and a standard point $\hat{x}$, nor to two distinct standard points. Thus, limits are unique.
5. Not KC:
   • The set $K = q([1, 2])$ is compact (as the continuous image of a compact interval) but not closed.
   • Its complement contains $\ast$, but the preimage of the complement is $\bar{\mathbb{R}} \setminus [1, 2]$, which is not dense (it misses the interior of $[1, 2]$). Thus, the complement is not open, so $K$ is not closed.
6. Failure of First-Countability:
   • $X$ is not first-countable at $\ast$. The Baire Category Theorem implies that a countable intersection of dense open sets is dense; if a countable base existed at $\ast$, one could construct a contradiction regarding the density of the intersection of their preimages.
   • Significance: This failure is the precise mechanism allowing $X$ to be US without being $T_2$. In first-countable spaces, US implies $T_2$.

B. Position in the Refined Hierarchy

The paper locates ERI precisely within the refined hierarchy developed by Clontz:
$$T_2 \implies KC \implies \text{weakly Hausdorff (wH)} \implies k_2\text{-Hausdorff} \implies US \implies T_1$$

• ERI is $k_2$-Hausdorff: For any continuous map $f$ from a compact Hausdorff space $K$ to $X$, the diagonal is closed in the image. The proof relies on a "Closed Fibers Principle," showing that continuous maps from compact sources cannot "approach" $\ast$ while simultaneously converging to a non-$\ast$ point.
• ERI is not weakly Hausdorff: There exists a continuous image of a compact Hausdorff space (specifically $q([1, 2])$) that is not closed.
• ERI is Sequentially Closed (SC): Every convergent sequence together with its limit forms a closed set.

C. Generalization and Framework

The author generalizes the construction to the Filter-Modified Quotient (FMQ) framework.

• For any compact Hausdorff space $Y$ without isolated points and any finite set $A \subset Y$, collapsing $A$ to a point $\ast$ with the density condition yields a space with the same properties (Compact, $T_1$, US, not KC, $k_2$-Hausdorff).
• This demonstrates that the separation of US and KC is a robust phenomenon in compact path-connected spaces, not an artifact of the specific real line construction.

D. Functional Triviality

A notable result is that the only continuous real-valued functions on $X$ are constants.

• $C(X, \mathbb{R}) \cong \mathbb{R}$.
• This highlights the "coarseness" of the topology: while it supports non-trivial sequential convergence, it is too coarse to support non-constant continuous functions to $\mathbb{R}$, a common feature of non-Hausdorff spaces with dense points.

4. Significance

1. Explicit Counterexample: ERI provides the first constructive, elementary, and path-connected example of a compact space that is US but not KC. Previous examples were either non-constructive (van Douwen's space), disconnected, or lacked a clear convergence description.
2. Clarification of Mechanisms: The paper isolates the density condition as the specific mechanism that simultaneously destroys $T_2$ and KC while preserving US. It explicitly links the failure of first-countability to the possibility of being US without being $T_2$.
3. Hierarchy Calibration: By proving ERI is $k_2$-Hausdorff but not weakly Hausdorff, the paper fills a specific niche in the Clontz hierarchy, distinguishing it from other known examples like the one-point compactification of the Arens–Fort space (which shares the hierarchy position but lacks path-connectedness).
4. Theoretical Framework: The introduction of the FMQ framework and the "Closed Fibers Principle" offers a new tool for constructing and analyzing non-Hausdorff spaces, potentially applicable to other areas of topology and functional analysis.

In summary, the paper successfully constructs a "perfect" counterexample that separates the US and KC axioms in the realm of compact, path-connected spaces, offering deep insights into the structural role of first-countability and density in separation axioms.