Skip to content

Topological Closure

Enlarge a subset to the least closed set containing it in a specified topology, equivalently including every point whose neighborhoods meet the subset.

Version
v1 · 2026-10-07 · History
Domain-specific #
14035
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
General Topology → Mathematics
Aliases
Closure Topology

Core Idea

Topological closure takes a subset \(A\) of a chosen topological space \(X\) and returns the smallest closed set containing it. A point is in that closure exactly when every open neighborhood of the point meets \(A\). The answer depends on the topology: the same points can have different closures under different open-set systems. This is a set operation, not a physical distance or a promise that a sequence approaches each added point.[^ref-bb3bc030a232]

Scope of Application

The rule applies to subsets of any topological space. In the usual topology on the real line, the rationals are dense and their closure is all of \(\mathbb R\). In the Zariski topology on \(\operatorname{Spec}(k[x])\), the singleton generic point \((0)\) also has the whole spectrum as its closure. The carriers and reasons differ, but the least-closed-superset test is the same.[ref-3d7ec2ce8bea][ref-d28e0544aa09]

The Zariski point is a scheme point, not an ordinary closed coordinate point. Euclidean and Zariski closed sets need not agree. An arbitrary Zariski closed set also need not be one irreducible variety.[ref-ae41cea63083][ref-2e5cebf9946f]

Clarity

“Near \(A\)” means that no open neighborhood separates the point from \(A\) in the chosen topology. It does not always mean zero metric distance or the limit of a sequence. The neighborhood test and the smallest-closed-superset test give two ways to prove the same membership fact.[^ref-bb3bc030a232]

The operation obeys the Kuratowski laws: it preserves the empty set and finite unions, contains its input, and adding closure twice changes nothing more. These laws characterize a topological closure operator. A general hull operation need not satisfy all of them.[^ref-bb3bc030a232]

Manages Complexity

Closure replaces all closed supersets of \(A\) with their least member, making a potentially large family of constraints one definite set. To exclude a point, find just one open neighborhood that misses \(A\). To show density, show every point survives the neighborhood test, giving \(\operatorname{cl}_X(A)=X\).[^ref-bb3bc030a232]

Abstract Reasoning

First name the carrier and its topology. Then name the subset, compute its least closed superset, and test which points every neighborhood forces into it. If the topology changes, repeat the calculation. A calculation using ordinary real intervals cannot simply be transplanted to Zariski open sets.[ref-bb3bc030a232][ref-ae41cea63083]

Knowledge Transfer

This method carries from real analysis to algebraic geometry because both supply a topology and subsets. Transfer the definition and proof method, not the concrete meaning of an open neighborhood. Rational density uses intervals in \(\mathbb R\); the generic point's closure uses Zariski sets \(V(I)\) in \(\operatorname{Spec}(k[x])\).[ref-3d7ec2ce8bea][ref-d28e0544aa09]

Example

Let \(X=\mathbb R\) with its usual topology and \(A=\mathbb Q\). Every open interval around every real number contains a rational. Thus every real number passes the neighborhood test and \(\operatorname{cl}_{\mathbb R}(\mathbb Q)=\mathbb R\).[ref-3d7ec2ce8bea][ref-bb3bc030a232]

For an unlike case, let \(X=\operatorname{Spec}(k[x])\) with the Zariski topology and \(A=\{(0)\}\). The Stacks Project gives the closure of a singleton prime \(\mathfrak p\) as \(V(\mathfrak p)\). Here \(V(0)=X\), so one generic point is dense in the spectrum. This does not say every singleton in every topology is dense.[^ref-d28e0544aa09]

Relationships to Other Abstractions

Local relationship map for Topological ClosureParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Topological ClosureDOMAINDomain-specific abstraction: Topological Space — presupposesTopologicalSpaceDOMAIN

Current abstraction Topological Closure Domain-specific

Parents (1) — more general patterns this builds on

  • Topological Closure presupposes Topological Space Domain-specific

    Topological closure requires the open and closed subsets of a specified topological space.

Hierarchy paths (5) — routes to 3 parentless roots

Neighborhood in Abstraction Space

Topological Closure sits in a sparse region of the domain-specific corpus (68th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Point-Set Topology Foundations (17 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

The live Prime Closure centers on a set staying inside itself under a chosen operation, though it also discusses closure operators. This entry is specifically the topological least-closed-superset operation. Convex hull can add the segment between two points that are already a closed two-point set; it is not that set's Euclidean topological closure. Sequential closure needs extra conditions before it can stand in for the neighborhood test. The recorded DAG prerequisite is Topological Space, whose open sets make this calculation possible.[^ref-bb3bc030a232]

References

[^ref-bb3bc030a232]: Ronald Freiwald, Topological Spaces, Chapter 3, university-authored topology text, Definitions 2.7 and Theorem 2.8, PDF pp.3–4; Theorems 5.18–5.19, PDF pp.18–19; Chapter III §10 Example 10.7, PDF pp.43–44, on sequence closure outside first-countable settings. Full text consulted for closure definitions, neighborhood test, and operator laws. [^ref-3d7ec2ce8bea]: MIT Mathematics, 18.095 IAP 2015 Lecture 1, Lemma 1.9; university lecture notes proving \(\mathbb Q\) dense in \(\mathbb R\). [^ref-d28e0544aa09]: The Stacks Project, The Stacks Project, Definitions 10.17.1 and 10.17.3 and Lemma 10.17.2 on \(\operatorname{Spec}(R)\) and Zariski closed sets \(V(I)\); Lemma 10.26.1(1) on the closure of a singleton prime \(\mathfrak p\) as \(V(\mathfrak p)\). One living work, with two section locators. [^ref-ae41cea63083]: MIT OpenCourseWare, Algebraic Geometry I Lecture Notes, Lecture 3, PDF p.7; distinguishes the Zariski and classical topologies. [^ref-2e5cebf9946f]: Anand Deopurkar, Algebraic Geometry Notes, §§1.5.3 and 1.6.1–1.6.7; instructor-authored exposition of Zariski versus Euclidean closed sets, vanishing ideals, and algebraic closed sets.