Partially ordered space

In mathematics, a partially ordered space[1] (or pospace) is a topological space equipped with a closed partial order , i.e. a partial order whose graph is a closed subset of .

From pospaces, one can define dimaps, i.e. continuous maps between pospaces which preserve the order relation.

Equivalences

For a topological space equipped with a partial order , the following are equivalent:

  • is a partially ordered space.
  • For all with , there are open sets with and for all .
  • For all with , there are disjoint neighbourhoods of and of such that is an upper set and is a lower set.

The order topology is a special case of this definition, since a total order is also a partial order.

Properties

Every pospace is a Hausdorff space. If we take equality as the partial order, this definition becomes the definition of a Hausdorff space.

Since the graph is closed, if and are nets converging to x and y, respectively, such that for all , then .

See also

References

  1. Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S. (2009). Continuous Lattices and Domains. doi:10.1017/CBO9780511542725. ISBN 9780521803380.
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.