In mathematics, an adherent point (also closure point or point of closure or contact point)^[1] of a subset ${\displaystyle A}$ of a topological space ${\displaystyle X,}$ is a point ${\displaystyle x}$ in ${\displaystyle X}$ such that every neighbourhood of ${\displaystyle x}$ (or equivalently, every open neighborhood of ${\displaystyle x}$) contains at least one point of ${\displaystyle A.}$ A point ${\displaystyle x\in X}$ is an adherent point for ${\displaystyle A}$ if and only if ${\displaystyle x}$ is in the closure of ${\displaystyle A,}$ thus

${\displaystyle x\in \operatorname {Cl} _{X}A}$ if and only if for all open subsets ${\displaystyle U\subseteq X,}$ if ${\displaystyle x\in U{\text{ then }}U\cap A\neq \varnothing .}$

This definition differs from that of a limit point of a set, in that for a limit point it is required that every neighborhood of ${\displaystyle x}$ contains at least one point of ${\displaystyle A}$ different from ${\displaystyle x.}$ Thus every limit point is an adherent point, but the converse is not true. An adherent point of ${\displaystyle A}$ is either a limit point of ${\displaystyle A}$ or an element of ${\displaystyle A}$ (or both). An adherent point which is not a limit point is an isolated point.

Intuitively, having an open set ${\displaystyle A}$ defined as the area within (but not including) some boundary, the adherent points of ${\displaystyle A}$ are those of ${\displaystyle A}$ including the boundary.

If ${\displaystyle S}$ is a non-empty subset of ${\displaystyle \mathbb {R} }$ which is bounded above, then the supremum ${\displaystyle \sup S}$ is adherent to ${\displaystyle S.}$ In the interval ${\displaystyle (a,b],}$ ${\displaystyle a}$ is an adherent point that is not in the interval, with usual topology of ${\displaystyle \mathbb {R} .}$

A subset ${\displaystyle S}$ of a metric space ${\displaystyle M}$ contains all of its adherent points if and only if ${\displaystyle S}$ is (sequentially) closed in ${\displaystyle M.}$

Adherent points and subspaces

Suppose ${\displaystyle x\in X}$ and ${\displaystyle S\subseteq X\subseteq Y,}$ where ${\displaystyle X}$ is a topological subspace of ${\displaystyle Y}$ (that is, ${\displaystyle X}$ is endowed with the subspace topology induced on it by ${\displaystyle Y}$). Then ${\displaystyle x}$ is an adherent point of ${\displaystyle S}$ in ${\displaystyle X}$ if and only if ${\displaystyle x}$ is an adherent point of ${\displaystyle S}$ in ${\displaystyle Y.}$

More information By assumption, ...

Proof

By assumption, ${\displaystyle S\subseteq X\subseteq Y}$ and ${\displaystyle x\in X.}$ Assuming that ${\displaystyle x\in \operatorname {Cl} _{X}S,}$ let ${\displaystyle V}$ be a neighborhood of ${\displaystyle x}$ in ${\displaystyle Y}$ so that ${\displaystyle x\in \operatorname {Cl} _{Y}S}$ will follow once it is shown that ${\displaystyle V\cap S\neq \varnothing .}$ The set ${\displaystyle U:=V\cap X}$ is a neighborhood of ${\displaystyle x}$ in ${\displaystyle X}$ (by definition of the subspace topology) so that ${\displaystyle x\in \operatorname {Cl} _{X}S}$ implies that ${\displaystyle \varnothing \neq U\cap S.}$ Thus ${\displaystyle \varnothing \neq U\cap S=(V\cap X)\cap S\subseteq V\cap S,}$ as desired. For the converse, assume that ${\displaystyle x\in \operatorname {Cl} _{Y}S}$ and let ${\displaystyle U}$ be a neighborhood of ${\displaystyle x}$ in ${\displaystyle X}$ so that ${\displaystyle x\in \operatorname {Cl} _{X}S}$ will follow once it is shown that ${\displaystyle U\cap S\neq \varnothing .}$ By definition of the subspace topology, there exists a neighborhood ${\displaystyle V}$ of ${\displaystyle x}$ in ${\displaystyle Y}$ such that ${\displaystyle U=V\cap X.}$ Now ${\displaystyle x\in \operatorname {Cl} _{Y}S}$ implies that ${\displaystyle \varnothing \neq V\cap S.}$ From ${\displaystyle S\subseteq X}$ it follows that ${\displaystyle S=X\cap S}$ and so ${\displaystyle \varnothing \neq V\cap S=V\cap (X\cap S)=(V\cap X)\cap S=U\cap S,}$ as desired. ${\displaystyle \blacksquare }$

Close

Consequently, ${\displaystyle x}$ is an adherent point of ${\displaystyle S}$ in ${\displaystyle X}$ if and only if this is true of ${\displaystyle x}$ in every (or alternatively, in some) topological superspace of ${\displaystyle X.}$

• Closed set – Complement of an open subset
• Closure (topology) – All points and limit points in a subset of a topological space
• Limit of a sequence – Value to which tends an infinite sequence
• Limit point of a set – Cluster point in a topological spacePages displaying short descriptions of redirect targets
• Subsequential limit – The limit of some subsequence