Interior (topology) - Exterior of A Set

Exterior of A Set

The exterior of a subset S of a topological space X, denoted ext(S) or Ext(S), is the interior int(X \ S) of its relative complement. Alternatively, it can be defined as X \ S—, the complement of the closure of S. Many properties follow in a straightforward way from those of the interior operator, such as the following.

  • ext(S) is an open set that is disjoint with S.
  • ext(S) is the union of all open sets that are disjoint with S.
  • ext(S) is the largest open set that is disjoint with S.
  • If S is a subset of T, then ext(S) is a superset of ext(T).

Unlike the interior operator, ext is not idempotent, but the following holds:

  • ext(ext(S)) is a superset of int(S).

Read more about this topic:  Interior (topology)

Famous quotes containing the words exterior and/or set:

    “The competent leader of men cares little for the niceties of other peoples’ characters: he cares much—everything—for the exterior uses to which they may be put.... These are men to be moved. How should he move them? He supplies the power; others simply the materials on which that power operates.”
    —Woodrow Wilson (1856–1924)

    “They say it’s worse to be ugly. I think it must only be different. If you’re pretty, you are subject to one set of assaults; if you’re plain you are subject to another.”
    —Alix Kates Shulman (b. 1932)