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:
“There was never yet an uninteresting life. Such a thing is an impossibility. Inside of the dullest exterior there is a drama, a comedy, and a tragedy.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“The lady—bearer of this—says she has two sons who want to work. Set them at it, if possible. Wanting to work is so rare a merit, that it should be encouraged.”
—Abraham Lincoln (1809–1865)