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:
“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)
“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)
““All men live in suffering
I know as few can know,
Whether they take the upper road
Or stay content on the low....””
—William Butler Yeats (1865–1939)
“A continual feast of commendation is only to be obtained by merit or by wealth: many are therefore obliged to content themselves with single morsels, and recompense the infrequency of their enjoyment by excess and riot, whenever fortune sets the banquet before them.”
—Samuel Johnson (1709–1784)