K-Topology¶
The topology on the real line generated by ordinary open intervals together with intervals having K={1/n} deleted, a canonical finer-than-Euclidean counterexample that is Hausdorff but not regular.
Core Idea¶
The K-topology is a deliberately modified topology on the set of real numbers. Let
Take as a basis every ordinary open interval \((a,b)\) together with every deleted-sequence interval \((a,b)\setminus K\). The topology generated by this basis is denoted \(\mathbb R_K\). Equivalently, start with the usual topology on \(\mathbb R\) and declare \(\mathbb R\setminus K\) open; intersections with usual intervals then produce the new basic neighborhoods.
Scope of Application¶
The K-topology is used in general topology to test separation axioms, metrizability implications, compactness, quotient constructions, and the effect of refining a topology. It is a standard counterexample separating Hausdorff spaces from regular spaces: every metric space is regular, so the same witness also proves that \(\mathbb R_K\) is not metrizable.
It supports analysis of quotient failure. If the closed subset \(K\) is collapsed to a point, a Hausdorff quotient would provide disjoint neighborhoods of the collapsed point and the image of \(0\); their inverse images would separate \(K\) and \(0\) in \(\mathbb R_K\), which is impossible.
Clarity¶
The example forces four claims to be audited separately: finer, Hausdorff, regular, and metrizable. Adding open sets makes the topology finer, but refinement does not monotonically improve every desirable property. Hausdorffness survives here because every Euclidean separation remains available. Regularity fails because the newly closed set \(K\) cannot be separated from \(0\). Metrizability then fails because metric spaces are regular. The construction therefore blocks the invalid shortcut “more open sets means better separation in every sense.”
Manages Complexity¶
Rather than searching a large exotic space for a separation counterexample, the K-topology localizes the entire failure around one familiar convergent sequence. Most points keep ordinary neighborhoods. One new open complement changes precisely the needed closure and convergence facts, while the retained Euclidean intervals preserve Hausdorff separation. The proof burden compresses to tracking how neighborhoods of \(0\) and of \(1/n\) intersect.
Abstract Reasoning¶
Basis verification. The two kinds of sets cover \(\mathbb R\). If a point lies in the intersection of two basis members, an ordinary interval around it can be narrowed and, when needed, have \(K\) deleted, producing a basis member inside the intersection. Hence the family generates a topology.
Knowledge Transfer¶
Within topology, the complete mechanism transfers as a proof pattern: begin with a familiar space, select a nonclosed set missing an accumulation point, adjoin its complement as open, then audit which properties survive and which fail. This pattern helps construct countermodels for claims about refinement, convergence, separation, quotient spaces, and metrizability. The K-topology is the canonical concrete instance whose calculations can be replayed before attempting a broader construction.
Relationships to Other Abstractions¶
Current abstraction K-Topology Domain-specific
Parents (1) — more general patterns this builds on
-
K-Topology is a kind of Topological Space Domain-specific
The K-topology instantiates Topology through an explicit open-set structure and Refinement by strictly enlarging the Euclidean topology.
Hierarchy paths (5) — routes to 3 parentless roots
- K-Topology → Topological Space → Closure
- K-Topology → Topological Space → Set and Membership
- K-Topology → Topological Space → Topology
- K-Topology → Topological Space → Intersection → Set and Membership
- K-Topology → Topological Space → Union → Set and Membership
Neighborhood in Abstraction Space¶
K-Topology sits in a sparse region of the domain-specific corpus (77th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- A-paracompact Space — 0.83
- Eells–Kuiper Manifold — 0.83
- Differential Structure — 0.83
- Freiling's Axiom of Symmetry — 0.82
- Normal space — 0.82
Computed from structural-signature embeddings · 2026-09-08