Set representations of abstract lattices组抽象格表示.pptVIP

Theorem 11 For any poset P, E(P) exists. P is algebraic iff E(P) is continuous. For any poset P, Γ(P) ≈Γ(E(P)) If L has a Scott representation, then it has a dcpo Scott representation E. Some problems Is it true that for any two dcpos P, Q, Γ(P)≈ Γ(Q) implies P≈Q ? 2. Which dcpo P has the property that Γ(P) ≈ Γ(Q) implies P ≈ Q? 3. Is it true that for any C-lattice L, there is a dcpo P, such that (P, σ(P)) is sober and P is a Scott representation of L? 4. As in the case of topological representations, we can also define a partial order on the set of Scott representations of a lattice. Which C-lattice have a maximal (minimal) Scott representation? 5. If L and M have Scott representations, must L×M also has Scott representation? References C. E. Aull and R. Lowen, Handbooks of the history of general topology, Kluwer Academic Publishers, 1997. W.J. Thron, Lattice equivalence of topological spaces, Duke Math. J. 29 (1962), 671-680. D. Drake and W.J. Thron, On the representations of an abstract lattices as the family of closed sets of a topological space,Trans. Amer. Math. Soc. 120 (1965), 57-71. M. C. Thornton, Topological spaces and lattices of lower semicontinuous functions, Trans. Amer. Math. Soc. 181 (1973), 495-560. G. Gierz, K. H. Hoffmann, K. Keimel, J. D. Lawson, M. W. Mislove and D. S. Scott, Continuous Lattices and Domains, Cambridge University Press, 2003. W. K. Ho and D. Zhao, Lattices of Scott closed sets, Comment. Math. Univ. Carolinae , 50(2009) , 2 : 297-314. Set representations of abstract lattices Zhao Dongsheng 2009.6 Outline A. Set representation B. Topological representation C. Representation as set of lower semicontinuous functions D. Representations as Scott closed sets E. Some problems A. Set representation A lattice is a set lattice if its elements are sets , its order relation is given by set inclusion, and it is closed under taking finite unions and intersections. A set