Video Upload Options

In mathematics, a limit point (or cluster point or accumulation point) of a set [math]\displaystyle{ S }[/math] in a topological space [math]\displaystyle{ X }[/math] is a point [math]\displaystyle{ x }[/math] that can be "approximated" by points of [math]\displaystyle{ S }[/math] in the sense that every neighbourhood of [math]\displaystyle{ x }[/math] with respect to the topology on [math]\displaystyle{ X }[/math] also contains a point of [math]\displaystyle{ S }[/math] other than [math]\displaystyle{ x }[/math] itself. A limit point of a set [math]\displaystyle{ S }[/math] does not itself have to be an element of [math]\displaystyle{ S. }[/math] There is also a closely related concept for sequences. A cluster point or accumulation point of a sequence [math]\displaystyle{ (x_n)_{n \in \mathbb{N}} }[/math] in a topological space [math]\displaystyle{ X }[/math] is a point [math]\displaystyle{ x }[/math] such that, for every neighbourhood [math]\displaystyle{ V }[/math] of [math]\displaystyle{ x, }[/math] there are infinitely many natural numbers [math]\displaystyle{ n }[/math] such that [math]\displaystyle{ x_n \in V. }[/math] This definition of a cluster or accumulation point of a sequence generalizes to nets and filters. In contrast to sets, for a sequence, net, or filter, the term "limit point" is not synonymous with a "cluster/accumulation point"; by definition, the similarly named notion of a limit point of a filter (respectively, a limit point of a sequence, a limit point of a net) refers to a point that the filter converges to (respectively, the sequence converges to, the net converges to). The limit points of a set should not be confused with adherent points for which every neighbourhood of [math]\displaystyle{ x }[/math] contains a point of [math]\displaystyle{ S }[/math]. Unlike for limit points, this point of [math]\displaystyle{ S }[/math] may be [math]\displaystyle{ x }[/math] itself. A limit point can be characterized as an adherent point that is not an isolated point. Limit points of a set should also not be confused with boundary points. For example, [math]\displaystyle{ 0 }[/math] is a boundary point (but not a limit point) of set [math]\displaystyle{ \{ 0 \} }[/math] in [math]\displaystyle{ \R }[/math] with standard topology. However, [math]\displaystyle{ 0.5 }[/math] is a limit point (though not a boundary point) of interval [math]\displaystyle{ [0, 1] }[/math] in [math]\displaystyle{ \R }[/math] with standard topology (for a less trivial example of a limit point, see the first caption). This concept profitably generalizes the notion of a limit and is the underpinning of concepts such as closed set and topological closure. Indeed, a set is closed if and only if it contains all of its limit points, and the topological closure operation can be thought of as an operation that enriches a set by uniting it with its limit points.