请输入您要查询的字词:

 

单词 ContinuousPoset
释义

continuous poset


A poset P is said to be continuousMathworldPlanetmathPlanetmath if for every aP

  1. 1.

    the set wb(a)={uPua} is a directed setMathworldPlanetmath,

  2. 2.

    wb(a) exists, and

  3. 3.

    a=wb(a).

In the first condition, indicates the way below relation on P. It is true that in any poset, if b:=wb(a) exists, then ba. So for a poset to be continuous, we require that ab.

A continuous lattice is a complete latticeMathworldPlanetmath whose underlying poset is continuous. Note that if P is a complete lattice, condition 1 above is automatically satisfied: suppose u,va and DP with aD, then there are finite subsets F,G of D with uF and vG. Then H:=FGD is finite and uv(F)(G)=H, or uva, implying that wb(a) is directed.

Examples.

  1. 1.

    Any finite poset is continuous, and so is any finite latticeMathworldPlanetmath (since it is completePlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath).

  2. 2.

    A chain is continuous iff it is complete.

  3. 3.

    The lattice of ideals of a ring is continuous.

  4. 4.

    The set of all lower semicontinuous functions from a fixed compactPlanetmathPlanetmath topological spaceMathworldPlanetmath into the extended real numbers is a continuous lattice.

  5. 5.

    The set of all closed convex subsets of a compact convex subset of n ordered by reverse inclusion is a continuous lattice.

Remarks.

  • Every algebraic lattice is continuous.

  • Every continuous meet semilattice is meet continuous.

References

  • 1 G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, D. S. Scott, Continuous Lattices and Domains, Cambridge University Press, Cambridge (2003).
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 20:47:00