Edge (topology)

from Wikipedia, the free encyclopedia
An area (light blue) and its edge (dark blue).

In the mathematical sub-area of topology , the term edge is an abstraction of the descriptive representation of a boundary of an area.


The edge of a subset of a topological space is the difference between the closure and interior of . The edge of a set is usually denoted by, so:

(*) .

The points from are called edge points .


Every boundary point of is also a point of contact from and every point of contact is an element of or boundary point of . The points of contact of together form the conclusion of . So it is


For each subset the topological space is divided into the interior of , the edge of and the exterior of :


Both in algebraic topology and in the theory of bounded manifolds there are terms of “edge” that are related to the boundary concept of set theoretical topology discussed here, but do not agree with it (and with each other).


  • The edge of a set is always closed.
  • The boundary of a set consists precisely of those points for which it is true that each of its surroundings contains both points from and points that are not in .
  • The edge of a set is always the same as the edge of its complement.
  • The edge of a set is the intersection of the end of the set with the end of its complement.
  • A set is closed exactly when it contains its edge.
  • A set is open if and only if it is disjoint to its edge .
  • A set is open and closed exactly when its margin is empty.
  • Let there be a topological space, an open subset with the subspace topology and a subset. Then the edge of in is equal to the intersection of with the edge of in . If the requirement of openness is dropped, the corresponding statement generally does not apply, even if is. In the example , is also , and this set has no boundary at all, although it is identical to this one.


  • If there is an open or closed circular disc in the plane , the edge of is the corresponding circular line .
  • The edge of as a subset of is whole .

Marginal axioms

For a topological space , the formation of the boundary is a set operator on , the power set of . This met for and remember to follow the four rules, the so-called edge axioms:


The structure of the topological space is clearly defined by the four rules (R1) - (R4) . The set operator auf given by means of (**) is a closing operator in the sense of the Kuratovskian envelope axioms and thus, in connection with (*), is reversibly uniquely linked with the boundary operator .

The following applies to the set system , i.e. the set of open sets of :


Individual evidence

  1. ^ Vaidyanathaswamy: Set topology. 1964, pp. 57-58.
  2. ^ Schubert: Topology. 1975, p. 16.