Closure (topology): Difference between revisions
Jump to navigation
Jump to search
imported>Subpagination Bot m (Add {{subpages}} and remove any categories (details)) |
imported>Richard Pinch (added Properties) |
||
| Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
In [[mathematics]], the '''closure''' of a subset ''A'' of a [[topological space]] ''X'' is the set union of ''A'' and ''all'' its [[topological space#Some topological notions|limit points]] in ''X''. It is usually denoted by <math>\overline{A}</math>. Other equivalent definitions of the closure of A are as the smallest [[closed set]] in ''X'' containing ''A'', or the intersection of all closed sets in ''X'' containing ''A''. | In [[mathematics]], the '''closure''' of a subset ''A'' of a [[topological space]] ''X'' is the set union of ''A'' and ''all'' its [[topological space#Some topological notions|limit points]] in ''X''. It is usually denoted by <math>\overline{A}</math>. Other equivalent definitions of the closure of A are as the smallest [[closed set]] in ''X'' containing ''A'', or the intersection of all closed sets in ''X'' containing ''A''. | ||
==Properties== | |||
* A set is contained in its closure, <math>A \subseteq \overline{A}</math>. | |||
* The closure of a closed set ''F'' is just ''F'' itself, <math>F = \overline{F}</math>. | |||
* Closure is [[idempotence|idempotent]]: <math>\overline{\overline A} = \overline A</math>. | |||
* The complement of the closure of a set in ''X'' is the [[interior (topology)|interior]] of the complement of that set; the complement of the interior of a set in ''X'' is the closure of the complement of that set. | |||
Revision as of 13:21, 27 December 2008
In mathematics, the closure of a subset A of a topological space X is the set union of A and all its limit points in X. It is usually denoted by . Other equivalent definitions of the closure of A are as the smallest closed set in X containing A, or the intersection of all closed sets in X containing A.
Properties
- A set is contained in its closure, .
- The closure of a closed set F is just F itself, .
- Closure is idempotent: .
- The complement of the closure of a set in X is the interior of the complement of that set; the complement of the interior of a set in X is the closure of the complement of that set.
