Upper set

Upper set
The powerset algebra of the set {1,2,3,4} with the upset \uparrow\{1\} colored green.

In mathematics, an upper set (also called an upward closed set or just an upset) of a partially ordered set (X,≤) is a subset U with the property that x is in U and xy imply y is in U.

The dual notion is lower set (alternatively, down set, decreasing set, initial segment; the set is downward closed), which is a subset L with the property that x is in L and yx imply y is in L.

Properties

  • Every partially ordered set is an upper set of itself.
  • The intersection and the union of upper sets is again an upper set.
  • The complement of any upper set is a lower set, and vice versa.
  • Given a partially ordered set (X,≤), the family of lower sets of X ordered with the inclusion relation is a complete lattice, the down-set lattice O(X).
  • Given an arbitrary subset Y of an ordered set X, the smallest upper set containing Y is denoted using an up arrow as ↑Y.
    • Dually, the smallest lower set containing Y is denoted using a down arrow as ↓Y.
  • A lower set is called principal if it is of the form ↓{x} where x is an element of X.
  • Every lower set Y of a finite ordered set X is equal to the smallest lower set containing all maximal elements of Y: Y = ↓Max(Y) where Max(Y) denotes the set containing the maximal elements of Y.
  • A directed lower set is called an order ideal.
  • The minimal elements of any upper set form an antichain.
    • Conversely any antichain A determines an upper set {x: for some y in A, xy}. For partial orders satisfying the descending chain condition this correspondence between antichains and upper sets is 1-1, but for more general partial orders this is not true.

Ordinal numbers

An ordinal number is usually identified with the set of all smaller ordinal numbers. Thus each ordinal number forms a lower set in the class of all ordinal numbers, which are totally ordered by set inclusion.

References

  • Blanck, J. (2000) "Domain representations of topological spaces". Theoretical Computer Science, 247, 229–255.
  • Hoffman, K. H. (2001), The low separation axioms (T0) and (T1)
  • Davey, B.A., and Priestley, H. A. (2002). Introduction to Lattices and Order (2nd ed.). Cambridge University Press. ISBN 0-521-78451-4. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Upper Rhine — • Ecclesiastical province; includes the Archdiocese of Freiburg and the suffragan Dioceses of Fulda, Mainz, Limburg, and Rottenburg Catholic Encyclopedia. Kevin Knight. 2006. Upper Rhine     Upper Rhine …   Catholic encyclopedia

  • Upper Hutt —   City   The location of Upper Hutt City within Wellington Region Cou …   Wikipedia

  • Upper Cumberworth — is a small village in West Yorkshire, England that is situated between the villages of Denby Dale and Shepley, above the village of Lower Cumberworth. It occupies a rural location, surrounded by fields and woodland but within easy reach via… …   Wikipedia

  • Upper Silesia plebiscite — was a plebiscite for self determination of Upper Silesia demanded by one of the clauses of the Treaty of Versailles. The German government had declared during the negotiations in London, and indeed at an earlier period, that the possession of… …   Wikipedia

  • upper classes — upper class or upper classes noun The people of the highest social rank • • • Main Entry: ↑up * * * the ˌupper ˈclass noun singular ( …   Useful english dictionary

  • Upper and lower probabilities — are representations of imprecise probability. Whereas probability theory uses a single number, the probability, to describe how likely an event is to occur, this method uses two numbers: the upper probability of the event and the lower… …   Wikipedia

  • Upper Holloway — is also an area of the Derbyshire village Holloway. See Holloway, Derbyshire. Upper Holloway is a district in the London Borough of Islington, London. The name has fallen out of common use and the area is generally regarded as being a part of… …   Wikipedia

  • Upper Yafa — Upper Yafa, Upper Yafa i (Arabic: يافع العليا [IPA|Yāfiʿ al ʿUlyā] ), or the Sultanate of Upper Yafa (Arabic: سلطنة يافع العليا [IPA|Salṭanat Yāfiʿ al ʿUlyā] ), was a state in the British Aden Protectorate and the Protectorate of South Arabia. It …   Wikipedia

  • Upper Largo — or Kirkton of Largo is a small town situated in the East Neuk of Fife, Scotland. Resting on the southern slopes of the 290m (965 feet) Largo Law and a mile north of the shore of Largo Bay forming one of a pair with the rather larger Lower Largo.… …   Wikipedia

  • Upper-atmospheric lightning — is an obsolete term that is no longer used by researchers to refer to a family of electrical breakdown phenomena that occurs well above the altitudes of normal lightning. Current usage favors Transient Luminous Event (TLE) to refer to one of the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”