Adherent point

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, an adherent point (also closure point or point of closure)[1] is a slight generalization of the idea of a limit point.

If A is a subset of a topological space X, then a point x in X is an adherent point of A if every open set containing x contains at least one point of A. A point x is an adherent point for A if and only if x is in the closure of A.

This definition is more general than that of a limit point, in that for a limit point it is required that every open set containing x contains at least one point of A different from x. Thus every limit point is an adherent point, but the converse fails. An adherent point of A is either a limit point of A or an element of A (or both). An adherent point which is not a limit point is an isolated point.

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

[edit] Examples

  • If S is a subset of a metric space X which is bounded above, then sup S is adherent to S.
  • For any subset S of a metric space M, S contains all of its adherent points if, and only if, S is closed in M.
  • In the interval (a, b], a is an adherent point that is not in the interval.

[edit] Notes

  1. ^ Steen, p. 5; Lipschutz, p. 69; Adamson, p. 15.

[edit] References

Personal tools
Namespaces

Variants
Actions
Navigation
Interaction
Toolbox
Print/export
Languages