TheoremBase

Closure of a Subset of a Topological Space

Statement

Let (X,T)(X,\mathcal{T}) be a topological space, and let A⊆XA\subseteq X. The closure of AA in XX is the subset

cl⁡X(A)={x∈X: U∩A≠∅ for every U∈T with x∈U}\operatorname{cl}_X(A)=\{x\in X:\ U\cap A\neq\varnothing \text{ for every } U\in\mathcal{T} \text{ with } x\in U\}

of XX. Its elements are called the adherent points of AA in XX. When the ambient space XX is clear from context, the closure of AA in XX is also written A‾\overline{A}.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…