In topology and mathematics in general, the boundary of a subset ''S'' of a topological space ''X'' is the set of points which can be approached both from ''S'' and from the outside of ''S''. More precisely, it 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 bd(''S''), fr(''S''), and $\backslash 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. Hausdorff also introduced the term residue, which is defined as the intersection of a set with the closure of the border of its complement. 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 ''S'' of a topological space ''X'': *the closure of ''$S$'' minus the interior of $S$: $\backslash partial\; S\; :=\; \backslash bar\; \backslash setminus\; S^\backslash circ$ *the intersection of the closure of ''$S$'' with the closure of its complement: $\backslash partial\; S\; :=\; \backslash overline\; \backslash cap\; \backslash overline$ *the set of points $p\; \backslash in\; X$ such that every neighborhood of $p$ contains at least one point of ''$S$'' and at least one point not of ''$S$'': $\backslash partial\; S\; :=\; \backslash$


Examples

Consider the real line $\backslash R$ with the usual topology (i.e. the topology whose basis sets are open intervals) and $\backslash Q$, the subset of rationals (with empty interior). One has * $\backslash partial\; (0,5)\; =\; \backslash partial,5)\; =\; \backslash partial\; (0,5=\; \backslash partial,5\backslash$ * $\backslash partial\; \backslash varnothing=\; \backslash varnothing$ * $\backslash partial\; \backslash Q\; =\; \backslash R$ * $\backslash partial\; (\backslash Q\; \backslash cap,\; 1=,\; 1/math>\; These\; last\; two\; examples\; illustrate\; the\; fact\; that\; the\; boundary\; of\; adense\; setwith\; empty\; interior\; is\; its\; closure.\; In\; the\; space\; of\; rational\; numbers\; with\; the\; usual\; topology\; (thesubspace\; topologyof$ \backslash R$),\; the\; boundary\; of$ (-\backslash infty,\; a)$,\; where\; \text{'}\text{'}a\text{'}\text{'}\; is\; irrational,\; is\; empty.\; The\; boundary\; of\; a\; set\; is\; atopologicalnotion\; and\; may\; change\; if\; one\; changes\; the\; topology.\; For\; example,\; given\; the\; usual\; topology\; on$ \backslash R^2$,\; the\; boundary\; of\; a\; closed\; disk$ \backslash Omega\; =\; \backslash $is\; the\; disk\text{'}s\; surrounding\; circle:$ \backslash partial\; \backslash Omega\; =\; \backslash $.\; If\; the\; disk\; is\; viewed\; as\; a\; set\; in$ \backslash R^3$with\; its\; own\; usual\; topology,\; i.e.$ \backslash Omega\; =\; \backslash $,\; then\; the\; boundary\; of\; the\; disk\; is\; the\; disk\; itself:$ \backslash partial\; \backslash Omega\; =\; \backslash Omega$.\; If\; the\; disk\; is\; viewed\; as\; its\; own\; topological\; space\; (with\; the\; subspace\; topology\; of$ \backslash R^2$),\; then\; the\; boundary\; of\; the\; disk\; is\; empty.$

Properties

* The boundary of a set is closed. * 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. * 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 the boundary of the complement of the set: $\backslash partial\; S\; =\; \backslash partial(S^c)$. * The interior of the boundary of a closed set is the empty set. * If $U$ is a dense open subset of $X$ then $\backslash partial\; U\; =\; X\; \backslash setminus\; U.$ Hence: * ("Trichotomy") Given a set $S$, a point lies in exactly one of the sets $\backslash overset$, $\backslash partial\; S$, and $(X\backslash setminus\; S)^$. *''p'' is a boundary point of a set if and only if every neighborhood of ''p'' contains at least one point in the set and at least one point not in the set. * 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 closure of a set equals the union of the set with its boundary: $\backslash overline\; =\; S\; \backslash cup\; \backslash partial\; S$. * The boundary of a set is empty if and only if the set is both closed and open (that is, a clopen set). * The interior of the boundary of the closure of a set is the empty set. ::::File:Accumulation And Boundary Points Of S.PNG :''Conceptual Venn diagram showing the relationships among different points of a subset $S$ of Rⁿ. A = set of limit points of $S,$ B = set of boundary points of $S,$ area shaded green = set of interior points of $S,$ area shaded yellow = set of isolated points of $S,$ areas shaded black = empty sets. Every point of $U$ is either an interior point or a boundary point. Also, every point of $U$ is either an accumulation point or an isolated point. Likewise, every boundary point of S is either an accumulation point or an isolated point. Isolated points are always boundary points.''


Boundary of a boundary

For any set ''S'', ∂''S'' ⊇ ∂∂''S'', with equality holding if and only if the boundary of ''S'' has no interior points, which will be the case for example if ''S'' is either closed or open. Since the boundary of a set is closed, $\backslash partial\; \backslash partial\; S\; =\; \backslash partial\; \backslash partial\; \backslash partial\; S$ for any set ''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. * * * * * * * , for measure-theoretic characterization and properties of boundary *


References




Further reading

* * *{{cite book |last=van den Dries |first= L. |date=1998 |title=Tame Topology |isbn=978-0521598385 Category:General topology