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/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)
“But that beginning was wiped out in fear
The day I swung suspended with the grapes,
And was come after like Eurydice
And brought down safely from the upper regions;
And the life I live now’s an extra life
I can waste as I please on whom I please.”
—Robert Frost (1874–1963)
“The vain man does not wish so much to be prominent as to feel himself prominent; he therefore disdains none of the expedients for self-deception and self-outwitting. It is not the opinion of others that he sets his heart on, but his opinion of their opinion.”
—Friedrich Nietzsche (1844–1900)