Closure (topology)
From Wikipedia, the free encyclopedia
In mathematics, the closure of a set S consists of all points which are intuitively "close to S". A point which is in the closure of S is a point of closure of S. The notion of closure is in many ways dual to the notion of interior.
Contents |
[edit] Definitions
[edit] Point of closure
For S a subset of an Euclidean space, x is a point of closure of S if every open ball centered at x contains a point of S. (This point may be x itself and x needn't be in S.)
This definition generalises to any subset S of a metric space X. Fully expressed, for X a metric space with metric d, x is a point of closure of S if for every r > 0, there is a y in S such that the distance d(x, y) < r. (Again, we may have x = y.) Another way to express this is to say that x is a point of closure of S if the distance d(x, S) := inf{d(x, s) : s in S} = 0.
This definition generalises to topological spaces by replacing "open ball" or "ball" with "neighbourhood". Let S be a subset of a topological space X. Then x is a point of closure of S if every neighbourhood of x contains a point of S. Note that this definition does not depend upon whether neighbourhoods are required to be open.
[edit] Limit point
The definition of a point of closure is closely related to the definition of a limit point. The difference between the two definitions is subtle but important — namely, in the definition of limit point, every neighborhood of the point x in question must contain a point of the set other than x itself.
Thus, every limit point is a point of closure, but not every point of closure is a limit point. A point of closure which is not a limit point is an isolated point. In other words, a point x is an isolated point of S if it is an element of S and if there is a neighbourhood of x which contains no other points of S other than x itself.
For a given set S and point x, x is a point of closure of S if and only if x is an element of S or x is a limit point of S.
[edit] Closure of a set
The closure of a set S is the set of all points of closure of S. The closure of S is denoted cl(S), Cl(S), or . The closure of a set has the following properties.
- cl(S) is a closed superset of S.
- cl(S) is the intersection of all closed sets containing S.
- cl(S) is the smallest closed set containing S.
- A set S is closed if and only if S = cl(S).
- If S is a subset of T, then cl(S) is a subset of cl(T).
- If A is a closed set, then A contains S if and only if A contains cl(S).
Sometimes the second or third property above is taken as the definition of the topological closure.
In a first-countable space (such as a metric space), cl(S) is the set of all limits of all convergent sequences of points in S. For a general topological space, this statement remains true if one replaces "sequence" by "net" or "filter".
Note that these properties are also satisfied if "closure", "superset", "intersection", "contains/containing", "smallest" and "closed" are replaced by "interior", "subset", "union", "contained in", "largest", and "open". For more on this matter, see closure operator below.
[edit] Examples
- In any space, the closure of the empty set is the empty set.
- In any space X, X = cl(X).
- If X is the Euclidean space R of real numbers, then cl((0, 1)) = [0, 1].
- If X is the Euclidean space R, then the closure of the set Q of rational numbers is the whole space R. We say that Q is dense in R.
- If X is the complex plane C = R2, then cl({z in C : |z| > 1}) = {z in C : |z| ≥ 1}.
- If S is a finite subset of a Euclidean space, then cl(S) = S. (For a general topological space, this property is equivalent to the T1 axiom.)
On the set of real numbers one can put other topologies rather than the standard one.
- If X = R, where R has the lower limit topology, then cl((0, 1)) = [0, 1).
- If one considers on R the topology in which every set is open (closed), then cl((0, 1)) = (0, 1).
- If one considers on R the topology in which the only open (closed) sets are the empty set and R itself, then cl((0, 1)) = R.
These examples show that the closure of a set depends upon the topology of the underlying space. The last two examples are special cases of the following.
- In any discrete space, since every set is open (closed), every set is equal to its closure.
- In any indiscrete space X, since the only open (closed) sets are the empty set and X itself, we have that the closure of the empty set is the empty set, and for every non-empty subset A of X, cl(A) = X. In other words, every non-empty subset of an indiscrete space is dense.
The closure of a set also depends upon in which space we are taking the closure. For example, if X is the set of rational numbers, with the usual subspace topology induced by the Euclidean space R, and if S = {q in Q : q2 > 2}, then S is closed in Q, and the closure of S in Q is S; however, the closure of S in the Euclidean space R is the set of all real numbers greater than or equal to
[edit] Closure operator
The closure operator − is dual to the interior operator o, in the sense that
- S− = X \ (X \ S)o
and also
- So = X \ (X \ S)−
where X denotes the topological space containing S, and the backslash refers to the set-theoretic difference.
Therefore, the abstract theory of closure operators and the Kuratowski closure axioms can be easily translated into the language of interior operators, by replacing sets with their complements.
[edit] Facts about closures
The set S is closed if and only if Cl(S) = S. In particular, the closure of the empty set is the empty set, and the closure of X itself is X. The closure of an intersection of sets is always a subset of (but need not be equal to) the intersection of the closures of the sets. In a union of finitely many sets, the closure of the union and the union of the closures are equal; the union of zero sets is the empty set, and so this statement contains the earlier statement about the closure of the empty set as a special case. The closure of the union of infinitely many sets need not equal the union of the closures, but it is always a superset of the union of the closures.
If A is a subspace of X containing S, then the closure of S computed in A is equal to the intersection of A and the closure of S computed in X: . In particular, S is dense in A iff A is a subset of ClX(S).