Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Introduction to Lattices and Order
Maths textbook

Introduction to Lattices and Order is a mathematical textbook on order theory by Brian A. Davey and Hilary Priestley. It was published by the Cambridge University Press in their Cambridge Mathematical Textbooks series in 1990, with a second edition in 2002. The second edition is significantly different in its topics and organization, and was revised to incorporate recent developments in the area, especially in its applications to computer science. The Basic Library List Committee of the Mathematical Association of America has suggested its inclusion in undergraduate mathematics libraries.

We don't have any images related to Introduction to Lattices and Order yet.
We don't have any YouTube videos related to Introduction to Lattices and Order yet.
We don't have any PDF documents related to Introduction to Lattices and Order yet.
We don't have any Books related to Introduction to Lattices and Order yet.
We don't have any archived web articles related to Introduction to Lattices and Order yet.

Topics

Both editions of the book have 11 chapters; in the second book they are organized with the first four providing a general reference for mathematicians and computer scientists, and the remaining seven focusing on more specialized material for logicians, topologists, and lattice theorists.10

The first chapter concerns partially ordered sets, with a fundamental example given by the partial functions ordered by the subset relation on their graphs, and covers fundamental concepts including top and bottom elements and upper and lower sets. These ideas lead to the second chapter, on lattices, in which every two elements (or in complete lattices, every set) has a greatest lower bound and a least upper bound. This chapter includes the construction of a lattice from the lower sets of any partial order, and the Knaster–Tarski theorem constructing a lattice from the fixed points of an order-preserving functions on a complete lattice. Chapter three concerns formal concept analysis, its construction of "concept lattices" from collections of objects and their properties, with each lattice element representing both a set of objects and a set of properties held by those objects, and the universality of this construction in forming complete lattices. The fourth of the introductory chapters concerns special classes of lattices, including modular lattices, distributive lattices, and Boolean lattices.11

In the second part of the book, chapter 5 concerns the theorem that every finite Boolean lattice is isomorphic to the lattice of subsets of a finite set, and (less trivially) Birkhoff's representation theorem according to which every finite distributive lattice is isomorphic to the lattice of lower sets of a finite partial order. Chapter 6 covers congruence relations on lattices. The topics in chapter 7 include closure operations and Galois connections on partial orders, and the Dedekind–MacNeille completion of a partial order into the smallest complete lattice containing it. The next two chapters concern complete partial orders, their fixed-point theorems, information systems, and their applications to denotational semantics. Chapter 10 discusses order-theoretic equivalents of the axiom of choice, including extensions of the representation theorems from chapter 5 to infinite lattices, and the final chapter discusses the representation of lattices with topological spaces, including Stone's representation theorem for Boolean algebras and the duality theory for distributive lattices.12

Two appendices provide background in topology needed for the final chapter, and an annotated bibliography.13

Audience and reception

This book is aimed at beginning graduate students,14 although it could also be used by advanced undergraduates.15 Its many exercises make it suitable as a course textbook,1617 and serve both to fill in details from the exposition in the book, and to provide pointers to additional topics.18 Although some mathematical sophistication is required of its readers, the main prerequisites are discrete mathematics, abstract algebra, and group theory.1920

Writing of the first edition, reviewer Josef Niederle calls it "an excellent textbook", "up-to-date and clear".21 Similarly, Thomas S. Blyth praises the first edition as "a well-written, satisfying, informative, and stimulating account of applications that are of great interest",22 and in an updated review writes that the second edition is as good as the first.23 Likewise, although Jon Cohen has some quibbles with the ordering and selection of topics (particularly the inclusion of congruences at the expense of a category-theoretic view of the subject), he concludes that the book is "a wonderful and accessible introduction to lattice theory, of equal interest to both computer scientists and mathematicians".24

Both Blyth and Cohen note the book's skilled use of LaTeX to create its diagrams, and its helpful descriptions of how the diagrams were made.2526

References

  1. Blyth, T. S. (1991), "Review of Introduction to Lattices and Order (1st ed.)", Mathematical Reviews, MR 1058437 /wiki/Mathematical_Reviews

  2. Davidow, Amy (February 1991), "Review of Introduction to Lattices and Order (1st ed.)", Telegraphic Reviews, The American Mathematical Monthly, 98 (2): 184, JSTOR 2323967 /wiki/The_American_Mathematical_Monthly

  3. Niederle, Josef, "Review of Introduction to Lattices and Order (1st ed.)", zbMATH, Zbl 0701.06001 /wiki/ZbMATH

  4. Blyth, T. S. (2003), "Review of Introduction to Lattices and Order (2nd ed.)", Mathematical Reviews, MR 1902334 /wiki/Mathematical_Reviews

  5. Cohen, Jonathan (March 2007), "Review of Introduction to Lattices and Order (2nd ed.)" (PDF), ACM SIGACT News, 38 (1): 17–23, doi:10.1145/1233481.1233488, S2CID 15496160 http://users.cecs.anu.edu.au/~jon/review.pdf

  6. Slavík, Václav, "Review of Introduction to Lattices and Order (2nd ed.)", zbMATH, Zbl 1002.06001 /wiki/ZbMATH

  7. Blyth, T. S. (2003), "Review of Introduction to Lattices and Order (2nd ed.)", Mathematical Reviews, MR 1902334 /wiki/Mathematical_Reviews

  8. Slavík, Václav, "Review of Introduction to Lattices and Order (2nd ed.)", zbMATH, Zbl 1002.06001 /wiki/ZbMATH

  9. "Introduction to Lattices and Order", MAA Reviews (index page only, no review), Mathematical Association of America, retrieved 2021-07-28 https://www.maa.org/press/maa-reviews/introduction-to-lattices-and-order

  10. Blyth, T. S. (2003), "Review of Introduction to Lattices and Order (2nd ed.)", Mathematical Reviews, MR 1902334 /wiki/Mathematical_Reviews

  11. Cohen, Jonathan (March 2007), "Review of Introduction to Lattices and Order (2nd ed.)" (PDF), ACM SIGACT News, 38 (1): 17–23, doi:10.1145/1233481.1233488, S2CID 15496160 http://users.cecs.anu.edu.au/~jon/review.pdf

  12. Cohen, Jonathan (March 2007), "Review of Introduction to Lattices and Order (2nd ed.)" (PDF), ACM SIGACT News, 38 (1): 17–23, doi:10.1145/1233481.1233488, S2CID 15496160 http://users.cecs.anu.edu.au/~jon/review.pdf

  13. Slavík, Václav, "Review of Introduction to Lattices and Order (2nd ed.)", zbMATH, Zbl 1002.06001 /wiki/ZbMATH

  14. Davidow, Amy (February 1991), "Review of Introduction to Lattices and Order (1st ed.)", Telegraphic Reviews, The American Mathematical Monthly, 98 (2): 184, JSTOR 2323967 /wiki/The_American_Mathematical_Monthly

  15. Slavík, Václav, "Review of Introduction to Lattices and Order (2nd ed.)", zbMATH, Zbl 1002.06001 /wiki/ZbMATH

  16. Davidow, Amy (February 1991), "Review of Introduction to Lattices and Order (1st ed.)", Telegraphic Reviews, The American Mathematical Monthly, 98 (2): 184, JSTOR 2323967 /wiki/The_American_Mathematical_Monthly

  17. Niederle, Josef, "Review of Introduction to Lattices and Order (1st ed.)", zbMATH, Zbl 0701.06001 /wiki/ZbMATH

  18. Cohen, Jonathan (March 2007), "Review of Introduction to Lattices and Order (2nd ed.)" (PDF), ACM SIGACT News, 38 (1): 17–23, doi:10.1145/1233481.1233488, S2CID 15496160 http://users.cecs.anu.edu.au/~jon/review.pdf

  19. Davidow, Amy (February 1991), "Review of Introduction to Lattices and Order (1st ed.)", Telegraphic Reviews, The American Mathematical Monthly, 98 (2): 184, JSTOR 2323967 /wiki/The_American_Mathematical_Monthly

  20. Cohen, Jonathan (March 2007), "Review of Introduction to Lattices and Order (2nd ed.)" (PDF), ACM SIGACT News, 38 (1): 17–23, doi:10.1145/1233481.1233488, S2CID 15496160 http://users.cecs.anu.edu.au/~jon/review.pdf

  21. Niederle, Josef, "Review of Introduction to Lattices and Order (1st ed.)", zbMATH, Zbl 0701.06001 /wiki/ZbMATH

  22. Blyth, T. S. (1991), "Review of Introduction to Lattices and Order (1st ed.)", Mathematical Reviews, MR 1058437 /wiki/Mathematical_Reviews

  23. Blyth, T. S. (2003), "Review of Introduction to Lattices and Order (2nd ed.)", Mathematical Reviews, MR 1902334 /wiki/Mathematical_Reviews

  24. Cohen, Jonathan (March 2007), "Review of Introduction to Lattices and Order (2nd ed.)" (PDF), ACM SIGACT News, 38 (1): 17–23, doi:10.1145/1233481.1233488, S2CID 15496160 http://users.cecs.anu.edu.au/~jon/review.pdf

  25. Blyth, T. S. (1991), "Review of Introduction to Lattices and Order (1st ed.)", Mathematical Reviews, MR 1058437 /wiki/Mathematical_Reviews

  26. Cohen, Jonathan (March 2007), "Review of Introduction to Lattices and Order (2nd ed.)" (PDF), ACM SIGACT News, 38 (1): 17–23, doi:10.1145/1233481.1233488, S2CID 15496160 http://users.cecs.anu.edu.au/~jon/review.pdf