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:
“This idoll which you terme Virginitie,
Is neither essence subject to the eie,
No, nor to any one exterior sence,
Nor hath it any place of residence,
Nor is’t of earth or mold celestiall,
Or capable of any forme at all.”
—Christopher Marlowe (1564–1593)
“The time is out of joint. O cursèd spite
That ever I was born to set it right!”
—William Shakespeare (1564–1616)