Definition:Limit Point of Set/Definition from Open Neighborhood

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T = \struct {S, \tau}$ be a topological space.

Let $A \subseteq S$.


A point $x \in S$ is a limit point of $A$ if and only if every open neighborhood $U$ of $x$ satisfies:

$A \cap \paren {U \setminus \set x} \ne \O$

That is, if and only if every open set $U \in \tau$ such that $x \in U$ contains some point of $A$ distinct from $x$.


Also known as

A limit point is also known as:

a cluster point
an accumulation point.

However, note that an accumulation point is also seen with a subtly different definition from that of a limit point, so be careful.


Also see


Sources