# Boundary (topology)

﻿
Boundary (topology)

:"For a different notion of boundary related to manifolds, see that article."In topology, 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 formally, 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". Notations used for boundary of a set "S" include bd("S"), fr("S"), and ∂"S". Some authors (for example Willard, in "General Topology") use the term 'frontier', instead of boundary in an attempt to avoid confusion with the concept of boundary used in algebraic topology.

A ml|Connected_space|Formal_definition|connected component of the boundary of "S" is called a boundary component of "S".

Common definitions

There are several common (and equivalent) definitions to the boundary of a subset "S" of a topological space "X":
*the closure of "S" without the interior of "S": ∂"S" = "S" "S"o.
*the intersection of the closure of "S" with the closure of its complement: ∂"S" = "S"("X" "S").
*the set of points "p" of "X" such that every neighborhood of "p" contains at least one point of "S" and at least one point not of "S".

Examples

Consider the real line R with the usual topology (i.e. the topology whose basis sets are open intervals). One has

* ∂(0,5) = ∂ [0,5) = ∂(0,5] = ∂ [0,5] = {0,5}
* ∂∅ = ∅
* ∂Q = R
* ∂(Q ∩ [0,1] ) = [0,1]

These last two examples illustrate the fact that the boundary of a dense set with empty interior is its closure.

In the space of rational numbers with the usual topology (the subspace topology of R), the boundary of the set of numbers of which the square is less than 2 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 R2, the boundary of a closed disk Ω = {("x","y") | "x"2 + "y"2 ≤ 1} is the disk's surrounding circle: ∂Ω = {("x","y") | "x"2 + "y"2 = 1}. If the disk is viewed as a set in R3 with its own usual topology, i.e. Ω = {("x","y",0) | "x"2 + "y"2 ≤ 1}, then the boundary of the disk is the disk itself: ∂Ω = Ω. If the disk is viewed as its own topological space (with the induced topology), then the boundary of the disk is empty.

Properties

* The boundary of a set is closed.
* The boundary of a set is the boundary of the complement of the set: ∂"S" = ∂("SC").Hence:
* "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. "S" = "S" ∪ ∂"S".
* The boundary of a set is empty if and only if the set is both closed and open (that is, a clopen set).
* In Rn, every closed set is the boundary of some set.

:::::"Conceptual Venn diagram showing the relationships among different points of a subset S of Rn. A = set of accumulation 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 S is either an interior point or a boundary point. Also, every point of S 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. This is always true if "S" is either closed or open. Since the boundary of any set is closed, ∂∂"S" = ∂∂∂"S" for any set "S". The boundary operator thus satisfies a weakened kind of idempotence. In particular, the boundary of the boundary of a set will usually be nonempty .

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 than the boundary of a manifold or of a simplicial complex. For example, the topological boundary of a closed disk viewed as a topological space is empty, while its boundary in the sense of manifolds is the circle surrounding the disk.

ee also

*See the discussion of boundary in topological manifold for more details.

References

*cite book | author = J. R. Munkres | title = Topology | publisher = Prentice-Hall | year = 2000 | id=ISBN 0-13-181629-2
*cite book | author = S. Willard | title = General Topology | publisher = Addison-Wesley | year = 1970 | id=ISBN 0-201-08707-3

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Boundary — (plural: boundaries) may refer to: Border in psychology, Personal boundaries in mathematics, Boundary (topology), the closure minus the interior of a subset of a topological space; an edge in the topology of manifolds, as in the case of a… …   Wikipedia

• topology — topologic /top euh loj ik/, topological, adj. topologically, adv. topologist, n. /teuh pol euh jee/, n., pl. topologies for 3. Math. 1. the study of those properties of geometric forms that remain invariant under c …   Universalium

• Boundary representation — In solid modeling and computer aided design, boundary representation often abbreviated as B rep or BREP is a method for representing shapes using the limits. A solid is represented as a collection of connected surface elements, the boundary… …   Wikipedia

• List of general topology topics — This is a list of general topology topics, by Wikipedia page. Contents 1 Basic concepts 2 Limits 3 Topological properties 3.1 Compactness and countability …   Wikipedia

• Glossary of topology — This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… …   Wikipedia

• Chain (algebraic topology) — This article is about algebraic topology. For the term chain in order theory, see chain (order theory). In algebraic topology, a simplicial k chain is a formal linear combination of k simplices.[1] Integration on chains Integration is defined on… …   Wikipedia

• Interior (topology) — The point x is an interior point of S, since it is contained within S together with an open ball around it. The point y is on the boundary of S. In mathematics, specifically in topology, the interior of a set S of points of a topological space… …   Wikipedia

• Long line (topology) — In topology, the long line (or Alexandroff line) is a topological space analogous to the real line, but much longer. Because it behaves locally just like the real line, but has different large scale properties, it serves as one of the basic… …   Wikipedia

• Geometry and topology — In mathematics, geometry and topology is an umbrella term for geometry and topology, as the line between these two is often blurred, most visibly in local to global theorems in Riemannian geometry, and results like the Gauss–Bonnet theorem and… …   Wikipedia

• Shilov boundary — In functional analysis, a branch of mathematics, the Shilov boundary is the smallest closed subset of the structure space of a commutative Banach algebra where an analog of the maximum modulus principle holds. It is named after its discoverer,… …   Wikipedia