This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (March 2013) ( Learn how and when to remove this template message)

In topology and mathematics in general, the boundary of a subset S of a topological space X is the set of points in the closure of S not belonging to the interior of S. An element of the boundary of S is called a boundary point of S. The term boundary operation refers to finding or taking the boundary of a set. Notations used for boundary of a set S include ${\displaystyle \operatorname {bd} (S),\operatorname {fr} (S),}$ and ${\displaystyle \partial S}$. Some authors (for example Willard, in General Topology) use the term frontier instead of boundary in an attempt to avoid confusion with a different definition used in algebraic topology and the theory of manifolds. Despite widespread acceptance of the meaning of the terms boundary and frontier, they have sometimes been used to refer to other sets. For example, Metric Spaces by E. T. Copson uses the term boundary to refer to Hausdorff's border, which is defined as the intersection of a set with its boundary. ^[1] Hausdorff also introduced the term residue, which is defined as the intersection of a set with the closure of the border of its complement. ^[2]

A connected component of the boundary of S is called a boundary component of S.

Common definitions

There are several equivalent definitions for the boundary of a subset ${\displaystyle S\subseteq X}$ of a topological space ${\displaystyle X,}$ which will be denoted by ${\displaystyle \partial _{X}S,}$ ${\displaystyle \operatorname {Bd} _{X}S,}$ or simply ${\displaystyle \partial S}$ if ${\displaystyle X}$ is understood:

1. It is the closure of ${\displaystyle S}$ minus the interior of ${\displaystyle S}$ in ${\displaystyle X}$:
   $${\displaystyle \partial S~:=~{\overline {S}}\setminus \operatorname {int} _{X}S}$$

   
   where ${\displaystyle {\overline {S}}=\operatorname {cl} _{X}S}$ denotes the closure of ${\displaystyle S}$ in ${\displaystyle X}$ and ${\displaystyle \operatorname {int} _{X}S}$ denotes the topological interior of ${\displaystyle S}$ in ${\displaystyle X.}$
2. It is the intersection of the closure of ${\displaystyle S}$ with the closure of its complement:
   $${\displaystyle \partial S~:=~{\overline {S}}\cap {\overline {(X\setminus S)}}}$$

   
3. It is the set of points ${\displaystyle p\in X}$ such that every neighborhood of ${\displaystyle p}$ contains at least one point of ${\displaystyle S}$ and at least one point not of ${\displaystyle S}$:
   $${\displaystyle \partial S~:=~\{p\in X:{\text{ for every neighborhood }}O{\text{ of }}p,\ O\cap S\neq \varnothing \,{\text{ and }}\,O\cap (X\setminus S)\neq \varnothing \}.}$$

   

A boundary point of a set refers to any element of that set's boundary. The boundary ${\displaystyle \partial _{X}S}$ defined above is sometimes called the set's topological boundary to distinguish it from other similarly named notions such as the boundary of a manifold with boundary or the boundary of a manifold with corners, to name just a few examples.

Properties

The closure of a set ${\displaystyle S}$ equals the union of the set with its boundary:

where ${\displaystyle {\overline {S}}=\operatorname {cl} _{X}S}$ denotes the closure of ${\displaystyle S}$ in ${\displaystyle X.}$ A set is closed if and only if it contains its boundary, and open if and only if it is disjoint from its boundary. The boundary of a set is closed; ^[3] this follows from the formula ${\displaystyle \partial _{X}S~:=~{\overline {S}}\cap {\overline {(X\setminus S)}},}$ which expresses ${\displaystyle \partial _{X}S}$ as the intersection of two closed subsets of ${\displaystyle X.}$

("Trichotomy") Given any subset ${\displaystyle S\subseteq X,}$ each point of ${\displaystyle X}$ lies in exactly one of the three sets ${\displaystyle \operatorname {int} _{X}S,\partial _{X}S,}$ and ${\displaystyle \operatorname {int} _{X}(X\setminus S).}$ Said differently,

and these three sets are pairwise disjoint. Consequently, if these set are not empty ^{[note 1]} then they form a partition of ${\displaystyle X.}$

A point ${\displaystyle p\in X}$ is a boundary point of a set if and only if every neighborhood of ${\displaystyle p}$ contains at least one point in the set and at least one point not in the set. The boundary of the interior of a set as well as the boundary of the closure of a set are both contained in the boundary of the set.

Examples

Characterizations and general examples

A set and its complement have the same boundary:

A set ${\displaystyle U}$ is a dense open subset of ${\displaystyle X}$ if and only if ${\displaystyle \partial _{X}U=X\setminus U.}$

The interior of the boundary of a closed set is empty. ^{[proof 1]} Consequently, the interior of the boundary of the closure of a set is empty. The interior of the boundary of an open set is also empty. ^{[proof 2]} Consequently, the interior of the boundary of the interior of a set is empty. In particular, if ${\displaystyle S\subseteq X}$ is a closed or open subset of ${\displaystyle X}$ then there does not exist any nonempty subset ${\displaystyle U\subseteq \partial _{X}S}$ such that ${\displaystyle U}$ is open in ${\displaystyle X.}$ This fact is important for the definition and use of nowhere dense subsets, meager subsets, and Baire spaces.

A set is the boundary of some open set if and only if it is closed and nowhere dense. The boundary of a set is empty if and only if the set is both closed and open (that is, a clopen set).

Concrete examples

Consider the real line ${\displaystyle \mathbb {R} }$ with the usual topology (that is, the topology whose basis sets are open intervals) and ${\displaystyle \mathbb {Q} ,}$ the subset of rational numbers (whose topological interior in ${\displaystyle \mathbb {R} }$ is empty). Then

• ${\displaystyle \partial (0,5)=\partial [0,5)=\partial (0,5]=\partial [0,5]=\{0,5\}}$
• ${\displaystyle \partial \varnothing =\varnothing }$
• ${\displaystyle \partial \mathbb {Q} =\mathbb {R} }$
• ${\displaystyle \partial (\mathbb {Q} \cap [0,1])=[0,1]}$

These last two examples illustrate the fact that the boundary of a dense set with empty interior is its closure. They also show that it is possible for the boundary ${\displaystyle \partial S}$ of a subset ${\displaystyle S}$ to contain a non-empty open subset of ${\displaystyle X:=\mathbb {R} }$; that is, for the interior of ${\displaystyle \partial S}$ in ${\displaystyle X}$ to be non-empty. However, a closed subset's boundary always has an empty interior.

In the space of rational numbers with the usual topology (the subspace topology of ${\displaystyle \mathbb {R} }$), the boundary of ${\displaystyle (-\infty ,a),}$ where ${\displaystyle a}$ is irrational, is empty.

The boundary of a set is a topological notion and may change if one changes the topology. For example, given the usual topology on ${\displaystyle \mathbb {R} ^{2},}$ the boundary of a closed disk ${\displaystyle \Omega =\left\{(x,y):x^{2}+y^{2}\leq 1\right\}}$ is the disk's surrounding circle: ${\displaystyle \partial \Omega =\left\{(x,y):x^{2}+y^{2}=1\right\}.}$ If the disk is viewed as a set in ${\displaystyle \mathbb {R} ^{3}}$ with its own usual topology, that is, ${\displaystyle \Omega =\left\{(x,y,0):x^{2}+y^{2}\leq 1\right\},}$ then the boundary of the disk is the disk itself: ${\displaystyle \partial \Omega =\Omega .}$ If the disk is viewed as its own topological space (with the subspace topology of ${\displaystyle \mathbb {R} ^{2}}$), then the boundary of the disk is empty.

Boundary of an open ball vs. its surrounding sphere

This example demonstrates that the topological boundary of an open ball of radius ${\displaystyle r>0}$ is not necessarily equal to the corresponding sphere of radius ${\displaystyle r}$ (centered at the same point); it also shows that the closure of an open ball of radius ${\displaystyle r>0}$ is not necessarily equal to the closed ball of radius ${\displaystyle r}$ (again centered at the same point). Denote the usual Euclidean metric on ${\displaystyle \mathbb {R} ^{2}}$ by

which induces on ${\displaystyle \mathbb {R} ^{2}}$ the usual Euclidean topology. Let ${\displaystyle X\subseteq \mathbb {R} ^{2}}$ denote the union of the ${\displaystyle y}$-axis ${\displaystyle Y:=\{0\}\times \mathbb {R} }$ with the unit circle centered at the origin ${\displaystyle \mathbf {0} :=(0,0)\in \mathbb {R} ^{2}}$; that is, ${\displaystyle X:=Y\cup S^{1},}$ which is a topological subspace of ${\displaystyle \mathbb {R} ^{2}}$ whose topology is equal to that induced by the (restriction of) the metric ${\displaystyle d.}$ In particular, the sets ${\displaystyle Y,S^{1},Y\cap S^{1}=\{(0,\pm 1)\},}$ and ${\displaystyle \{0\}\times [-1,1]}$ are all closed subsets of ${\displaystyle \mathbb {R} ^{2}}$ and thus also closed subsets of its subspace ${\displaystyle X.}$ Henceforth, unless it clearly indicated otherwise, every open ball, closed ball, and sphere should be assumed to be centered at the origin ${\displaystyle \mathbf {0} =(0,0)}$ and moreover, only the metric space ${\displaystyle (X,d)}$ will be considered (and not its superspace ${\displaystyle (\mathbb {R} ^{2},d)}$); this being a path-connected and locally path-connected complete metric space.

Denote the open ball of radius ${\displaystyle r>0}$ in ${\displaystyle (X,d)}$ by ${\displaystyle B_{r}:=\left\{p\in X:d(p,\mathbf {0} )<r\right\}}$ so that when ${\displaystyle r=1}$ then

is the open sub-interval of the ${\displaystyle y}$-axis strictly between ${\displaystyle y=-1}$ and ${\displaystyle y=1.}$ The unit sphere in ${\displaystyle (X,d)}$ ("unit" meaning that its radius is ${\displaystyle r=1}$) is while the closed unit ball in ${\displaystyle (X,d)}$ is the union of the open unit ball and the unit sphere centered at this same point:

However, the topological boundary ${\displaystyle \partial _{X}B_{1}}$ and topological closure ${\displaystyle \operatorname {cl} _{X}B_{1}}$ in ${\displaystyle X}$ of the open unit ball ${\displaystyle B_{1}}$ are:

In particular, the open unit ball's topological boundary ${\displaystyle \partial _{X}B_{1}=\{(0,1),(0,-1)\}}$ is a proper subset of the unit sphere ${\displaystyle \left\{p\in X:d(p,\mathbf {0} )=1\right\}=S^{1}}$ in ${\displaystyle (X,d).}$ And the open unit ball's topological closure ${\displaystyle \operatorname {cl} _{X}B_{1}=B_{1}\cup \{(0,1),(0,-1)\}}$ is a proper subset of the closed unit ball ${\displaystyle \left\{p\in X:d(p,\mathbf {0} )\leq 1\right\}=S^{1}\cup \left(\{0\}\times [-1,1]\right)}$ in ${\displaystyle (X,d).}$ The point ${\displaystyle (1,0)\in X,}$ for instance, cannot belong to ${\displaystyle \operatorname {cl} _{X}B_{1}}$ because there does not exist a sequence in ${\displaystyle B_{1}=\{0\}\times (-1,1)}$ that converges to it; the same reasoning generalizes to also explain why no point in ${\displaystyle X}$ outside of the closed sub-interval ${\displaystyle \{0\}\times [-1,1]}$ belongs to ${\displaystyle \operatorname {cl} _{X}B_{1}.}$ Because the topological boundary of the set ${\displaystyle B_{1}}$ is always a subset of ${\displaystyle B_{1}}$'s closure, it follows that ${\displaystyle \partial _{X}B_{1}}$ must also be a subset of ${\displaystyle \{0\}\times [-1,1].}$

In any metric space ${\displaystyle (M,\rho ),}$ the topological boundary in ${\displaystyle M}$ of an open ball of radius ${\displaystyle r>0}$ centered at a point ${\displaystyle c\in M}$ is always a subset of the sphere of radius ${\displaystyle r}$ centered at that same point ${\displaystyle c}$; that is,

always holds.

Moreover, the unit sphere in ${\displaystyle (X,d)}$ contains ${\displaystyle X\setminus Y=S^{1}\setminus \{(0,\pm 1)\},}$ which is an open subset of ${\displaystyle X.}$ ^{[proof 3]} This shows, in particular, that the unit sphere ${\displaystyle \left\{p\in X:d(p,\mathbf {0} )=1\right\}}$ in ${\displaystyle (X,d)}$ contains a non-empty open subset of ${\displaystyle X.}$

Boundary of a boundary

For any set ${\displaystyle S,\partial S\supseteq \partial \partial S,}$ where ${\displaystyle \,\supseteq \,}$ denotes the superset with equality holding if and only if the boundary of ${\displaystyle S}$ has no interior points, which will be the case for example if ${\displaystyle S}$ is either closed or open. Since the boundary of a set is closed, ${\displaystyle \partial \partial S=\partial \partial \partial S}$ for any set ${\displaystyle S.}$ The boundary operator thus satisfies a weakened kind of idempotence.

In discussing boundaries of manifolds or simplexes and their simplicial complexes, one often meets the assertion that the boundary of the boundary is always empty. Indeed, the construction of the singular homology rests critically on this fact. The explanation for the apparent incongruity is that the topological boundary (the subject of this article) is a slightly different concept from the boundary of a manifold or of a simplicial complex. For example, the boundary of an open disk viewed as a manifold is empty, as is its topological boundary viewed as a subset of itself, while its topological boundary viewed as a subset of the real plane is the circle surrounding the disk. Conversely, the boundary of a closed disk viewed as a manifold is the bounding circle, as is its topological boundary viewed as a subset of the real plane, while its topological boundary viewed as a subset of itself is empty. In particular, the topological boundary depends on the ambient space, while the boundary of a manifold is invariant.

See also

• See the discussion of boundary in topological manifold for more details.
• Boundary of a manifold – Topological space that locally resembles Euclidean spacePages displaying short descriptions of redirect targets
• Bounding point – Mathematical concept related to subsets of vector spaces
• Closure (topology) – All points and limit points in a subset of a topological space
• Exterior (topology) – Largest open subset of some given setPages displaying short descriptions of redirect targets
• Interior (topology) – Largest open subset of some given set
• Nowhere dense set – Mathematical set whose closure has empty interior
• Lebesgue's density theorem, for measure-theoretic characterization and properties of boundary
• Surface (topology) – Two-dimensional manifold

Notes

Citations

References

• Munkres, J. R. (2000). Topology. Prentice-Hall. ISBN  0-13-181629-2.
• Willard, S. (1970). General Topology. Addison-Wesley. ISBN  0-201-08707-3.
• van den Dries, L. (1998). Tame Topology. ISBN  978-0521598385.