Definition:Boundary (Topology)

Definition
Let $T = \struct {S, \tau}$ be a topological space.

Let $H \subseteq S$.

Then the boundary of $H$ consists of all the points in the closure of $H$ which are not in the interior of $H$.

Thus, the boundary of $H$ is defined as:
 * $\partial H := H^- \setminus H^\circ$

where $H^-$ denotes the closure and $H^\circ$ the interior of $H$.

Also known as
The boundary of a subset $H$ is also seen referred to as the frontier of $H$.

Notation
The boundary of $H$ is variously denoted (with or without the brackets):
 * $\partial H$
 * $\map {\operatorname b} H$
 * $\map {\operatorname {Bd} } H$
 * $\map {\operatorname {fr} } H$ (where $\operatorname {fr}$ stands for frontier)
 * $H^b$

The notations of choice on are $\partial H$ and $H^b$.

Also see

 * Boundary is Intersection of Closure with Closure of Complement


 * Definition:Boundary (Geometry)