In
topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...
, the closure of a subset of points in a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...
consists of all
point
Point or points may refer to:
Places
* Point, Lewis, a peninsula in the Outer Hebrides, Scotland
* Point, Texas, a city in Rains County, Texas, United States
* Point, the NE tip and a ferry terminal of Lismore, Inner Hebrides, Scotland
* Point ...
s in together with all
limit points
In mathematics, a limit point, accumulation point, or cluster point of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also conta ...
of . The closure of may equivalently be defined as the
union
Union commonly refers to:
* Trade union, an organization of workers
* Union (set theory), in mathematics, a fundamental operation on sets
Union may also refer to:
Arts and entertainment
Music
* Union (band), an American rock group
** ''Un ...
of and its
boundary
Boundary or Boundaries may refer to:
* Border, in political geography
Entertainment
*Boundaries (2016 film), ''Boundaries'' (2016 film), a 2016 Canadian film
*Boundaries (2018 film), ''Boundaries'' (2018 film), a 2018 American-Canadian road trip ...
, and also as the
intersection
In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, their i ...
of all
closed set
In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a cl ...
s containing . Intuitively, the closure can be thought of as all the points that are either in or "near" . A point which is in the closure of is a
point of closure
In mathematics, an adherent point (also closure point or point of closure or contact point) Steen, p. 5; Lipschutz, p. 69; Adamson, p. 15. of a subset A of a topological space X, is a point x in X such that every neighbourhood of x (or equivalen ...
of . The notion of closure is in many ways
dual to the notion of
interior.
Definitions
Point of closure
For
as a subset of a
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
,
is a point of closure of
if every
open ball
In mathematics, a ball is the solid figure bounded by a ''sphere''; it is also called a solid sphere. It may be a closed ball (including the boundary points that constitute the sphere) or an open ball (excluding them).
These concepts are defin ...
centered at
contains a point of
(this point can be
itself).
This definition generalizes to any subset
of a
metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
Fully expressed, for
as a metric space with metric
is a point of closure of
if for every
there exists some
such that the distance
(
is allowed). Another way to express this is to say that
is a point of closure of
if the distance
where
is the
infimum
In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest low ...
.
This definition generalizes to
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...
s by replacing "open ball" or "ball" with "
neighbourhood
A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural are ...
". Let
be a subset of a topological space
Then
is a or of
if every neighbourhood of
contains a point of
(again,
for
is allowed). Note that this definition does not depend upon whether neighbourhoods are required to be open.
Limit point
The definition of a point of closure is closely related to the definition of a
limit point of a set
In mathematics, a limit point, accumulation point, or cluster point of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also contai ...
. The difference between the two definitions is subtle but important – namely, in the definition of a limit point
of a set
, every neighbourhood of
must contain a point of
. (Each neighbourhood of
has
but it also must have a point of
that is different from
.) A limit point of
has more strict condition than a point of closure of
in the definitions. The set of all limit points of a set
is called the . A limit point of a set is also called ''cluster point'' or ''accumulation point'' of the set.
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 mathematics, a point ''x'' is called an isolated point of a subset ''S'' (in a topological space ''X'') if ''x'' is an element of ''S'' and there exists a neighborhood of ''x'' which does not contain any other points of ''S''. This is equival ...
. In other words, a point
is an isolated point of
if it is an element of
and there is a neighbourhood of
which contains no other points of
than
itself.
For a given set
and point
is a point of closure of
if and only if
is an element of
or
is a limit point of
(or both).
Closure of a set
The of a subset
of a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...
denoted by
or possibly by
(if
is understood), where if both
and
are clear from context then it may also be denoted by
or
(Moreover,
is sometimes capitalized to
.) can be defined using any of the following equivalent definitions:
- is the set of all Adherent point, points of closure of
- is the set together with all of its limit points.
- is the intersection of all
closed set
In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a cl ...
s containing
- is the smallest closed set containing
- is the union of and its
boundary
Boundary or Boundaries may refer to:
* Border, in political geography
Entertainment
*Boundaries (2016 film), ''Boundaries'' (2016 film), a 2016 Canadian film
*Boundaries (2018 film), ''Boundaries'' (2018 film), a 2018 American-Canadian road trip ...
- is the set of all for which there exists a
net
Net or net may refer to:
Mathematics and physics
* Net (mathematics), a filter-like topological generalization of a sequence
* Net, a linear system of divisors of dimension 2
* Net (polyhedron), an arrangement of polygons that can be folded up ...
(valued) in that converges to in
The closure of a set has the following properties.
*
is a
closed superset of
.
* The set
is closed
if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bicondi ...
.
* If
then
is a subset of
* If
is a closed set, then
contains
if and only if
contains
Sometimes the second or third property above is taken as the of the topological closure, which still make sense when applied to other types of closures (see below).
In a
first-countable space
In topology, a branch of mathematics, a first-countable space is a topological space satisfying the "first axiom of countability". Specifically, a space X is said to be first-countable if each point has a countable neighbourhood basis (local base) ...
(such as a
metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
),
is the set of all
limits
Limit or Limits may refer to:
Arts and media
* ''Limit'' (manga), a manga by Keiko Suenobu
* ''Limit'' (film), a South Korean film
* Limit (music), a way to characterize harmony
* "Limit" (song), a 2016 single by Luna Sea
* "Limits", a 2019 ...
of all convergent
sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...
s of points in
For a general topological space, this statement remains true if one replaces "sequence" by "
net
Net or net may refer to:
Mathematics and physics
* Net (mathematics), a filter-like topological generalization of a sequence
* Net, a linear system of divisors of dimension 2
* Net (polyhedron), an arrangement of polygons that can be folded up ...
" or "
filter
Filter, filtering or filters may refer to:
Science and technology
Computing
* Filter (higher-order function), in functional programming
* Filter (software), a computer program to process a data stream
* Filter (video), a software component tha ...
" (as described in the article on
filters in topology
Filters in topology, a subfield of mathematics, can be used to study topological spaces and define all basic topological notions such a convergence, continuity, compactness, and more. Filters, which are special families of subsets of some give ...
).
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 In mathematics, a closure operator on a set ''S'' is a function \operatorname: \mathcal(S)\rightarrow \mathcal(S) from the power set of ''S'' to itself that satisfies the following conditions for all sets X,Y\subseteq S
:
Closure operators are dete ...
below.
Examples
Consider a
sphere
A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
in a 3 dimensional space. Implicitly there are two regions of interest created by this sphere; the sphere itself and its interior (which is called an open 3-
ball
A ball is a round object (usually spherical, but can sometimes be ovoid) with several uses. It is used in ball games, where the play of the game follows the state of the ball as it is hit, kicked or thrown by players. Balls can also be used f ...
). It is useful to distinguish between the interior and the surface of the sphere, so we distinguish between the open 3-ball (the interior of the sphere), and the closed 3-ball – the closure of the open 3-ball that is the open 3-ball plus the surface (the surface as the sphere itself).
In
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...
:
* In any space,
. In other words, the closure of the empty set
is
itself.
* In any space
Giving
and
the
standard (metric) topology:
* If
is the Euclidean space
of
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s, then