Upper and Lower Sets
Let X be a topological space and let ≤ be the specialization preorder on X. Every open set is an upper set with respect to ≤ and every closed set is a lower set. The converses are not generally true. In fact, a topological space is an Alexandrov space if and only if every upper set is open (or every lower set is closed).
Let A be a subset of X. The smallest upper set containing A is denoted ↑A and the smallest lower set containing A is denoted ↓A. In case A = {x} is a singleton one uses the notation ↑x and ↓x. For x ∈ X one has:
- ↑x = {y ∈ X : x ≤ y} = ∩{open sets containing x}.
- ↓x = {y ∈ X : y ≤ x} = ∩{closed sets containing x} = cl{x}.
The lower set ↓x is always closed; however, the upper set ↑x need not be open or closed. The closed points of a topological space X are precisely the minimal elements of X with respect to ≤.
Read more about this topic: Specialization (pre)order
Famous quotes containing the words upper and lower, upper and, upper and/or sets:
“Upper and Lower Kingdom will declare
God’s in this wooden toy,
no less
than where
great Taurus ploughs his course.”
—Hilda Doolittle (1886–1961)
“I am not afraid of the priests in the long-run. Scientific method is the white ant which will slowly but surely destroy their fortifications. And the importance of scientific method in modern practical life—always growing and increasing—is the guarantee for the gradual emancipation of the ignorant upper and lower classes, the former of whom especially are the strength of the priests.”
—Thomas Henry Huxley (1825–95)
“You doubt we read the stars on high,
Nathless we read your fortunes true;
The stars may hide in the upper sky,
But without glass we fathom you.”
—Ralph Waldo Emerson (1803–1882)
“Nothing sets a person up more than having something turn out just the way it’s supposed to be, like falling into a Swiss snowdrift and seeing a big dog come up with a little cask of brandy round its neck.”
—Claud Cockburn (1904–1981)