A point x in a topological space is an accumulation (limit) point of a set S if every neighbourhood of x contains at least one point of S distinct from x itself; equivalently x belongs to the derived set S' of limit points.

Principle

Accumulation points capture limits of sequences or nets from the set without requiring membership; they reflect local infinite presence of S near x and are central to closure, convergence, and compactness arguments.

Demonstration

In the real line, every point of the sequence 1/n accumulates at 0: any interval around 0 contains infinitely many 1/n. Conversely, isolated points like 5 in the set {5} are not accumulation points.

Misapplication

Treating accumulation points as synonymous with points of closure that must belong to S can mislead: an accumulation point need not be in S (e.g., 0 is accumulation point of {1/n} but not a member), and conflating with isolated points confuses local finiteness.

Consequence

Correct use identifies where sequences can converge, where limit operations produce new points, and aids classification of sets (closed sets equal S ∪ S' ) and compactness (every infinite subset of a compact metric space has an accumulation point).

Reversal

Viewing only isolated points or membership reverses the notion: one ignores points that are limits of members and thereby misses convergence phenomena and the derived set structure.

Boundary

Defined in general topological spaces using neighbourhoods or nets; in non-Hausdorff spaces sequence-based intuition may fail and nets/filters are required. Excludes combinatorial notions of accumulation in discrete finite settings unless topology supports it.

Semantic Tension

Competes with 'limit point' used in metric/sequential contexts and with 'cluster point' which some authors use interchangeably; tension arises in non-first-countable spaces where sequences may not detect all accumulation points.

Synthesis

An accumulation point is where a set clusters: every neighbourhood contains other set points, signaling possible limits of sequences or nets and contributing to closure and compactness properties even if the point itself is not in the set.