Specialization (pre)order - Upper and Lower Sets

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)

    “Give me the islands of the upper air,
    all mountains
    and the towering mountain trees.”
    —Hilda Doolittle (1886–1961)

    “I would rather have as my patron a host of anonymous citizens digging into their own pockets for the price of a book or a magazine than a small body of enlightened and responsible men administering public funds. I would rather chance my personal vision of truth striking home here and there in the chaos of publication that exists than attempt to filter it through a few sets of official, honorably public-spirited scruples.”
    —John Updike (b. 1932)