Lattice Theory

🔳Lattice Theory Unit 7 – Complemented Lattices and Boolean Algebras

Complemented lattices and Boolean algebras are fundamental structures in lattice theory. They build on the concept of bounded lattices, introducing the notion of complements. Complemented lattices generalize this idea, while Boolean algebras add distributivity, resulting in unique complements. These structures have wide-ranging applications, from set theory to logic and quantum mechanics. Boolean algebras, in particular, form the foundation of digital circuit design and propositional logic. Understanding these concepts is crucial for grasping advanced topics in algebra and logic.

Key Concepts and Definitions

  • Lattice defined as a partially ordered set in which every pair of elements has a least upper bound (join) and a greatest lower bound (meet)
  • Bounded lattice contains a top element \top and a bottom element \bot
  • Complemented lattice defined as a bounded lattice where each element aa has a complement aa' such that aa=a \vee a' = \top and aa=a \wedge a' = \bot
    • Complements in a complemented lattice are not necessarily unique
  • Boolean algebra defined as a complemented distributive lattice
    • In a Boolean algebra, complements are unique
  • Atoms are the minimal non-zero elements in a lattice
  • Duality principle states that for every theorem in lattice theory, there is a dual theorem obtained by interchanging joins and meets, and \top and \bot
  • Isomorphism between lattices preserves the lattice structure and operations

Lattice Structures and Properties

  • Lattices can be represented using Hasse diagrams, where elements are nodes and lines represent the partial order
  • A sublattice is a subset of a lattice that is closed under joins and meets
  • A lattice is distributive if the following identities hold for all elements aa, bb, and cc:
    • a(bc)=(ab)(ac)a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)
    • a(bc)=(ab)(ac)a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c)
  • A lattice is modular if it satisfies the modular law: if aca \leq c, then a(bc)=(ab)ca \vee (b \wedge c) = (a \vee b) \wedge c
  • A lattice is complete if every subset has a join and a meet
  • A lattice is atomic if every element is the join of atoms
  • A lattice is algebraic if every element is the join of compact elements, where an element aa is compact if aSa \leq \bigvee S implies aTa \leq \bigvee T for some finite subset TST \subseteq S

Complemented Lattices: Fundamentals

  • In a complemented lattice, every element has at least one complement
  • The complement of \top is \bot, and the complement of \bot is \top
  • If aba \leq b, then bab' \leq a' for any complements aa' and bb' of aa and bb, respectively
  • The meet of an element and its complement is always \bot, and their join is always \top
  • In a finite complemented lattice, the number of elements is always a power of 2
  • A complemented lattice is distributive if and only if complements are unique
  • A complemented modular lattice is called an orthomodular lattice
    • Orthomodular lattices have applications in quantum logic

Boolean Algebras: Introduction

  • Boolean algebras are complemented distributive lattices
  • In a Boolean algebra, complements are unique, and the complement of an element aa is denoted as aa' or aˉ\bar{a}
  • Boolean algebras satisfy the following additional identities for all elements aa and bb:
    • aa=a \wedge a' = \bot and aa=a \vee a' = \top (complement laws)
    • a=aa \wedge \top = a and a=aa \vee \bot = a (identity laws)
    • aa=aa \wedge a = a and aa=aa \vee a = a (idempotent laws)
    • ab=baa \wedge b = b \wedge a and ab=baa \vee b = b \vee a (commutative laws)
    • (ab)c=a(bc)(a \wedge b) \wedge c = a \wedge (b \wedge c) and (ab)c=a(bc)(a \vee b) \vee c = a \vee (b \vee c) (associative laws)
    • a(bc)=(ab)(ac)a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c) and a(bc)=(ab)(ac)a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c) (distributive laws)
    • (a)=a(a')' = a (double complement law)
  • De Morgan's laws hold in Boolean algebras: (ab)=ab(a \wedge b)' = a' \vee b' and (ab)=ab(a \vee b)' = a' \wedge b'
  • Every finite Boolean algebra is isomorphic to the power set of a finite set with set-theoretic operations

Relationship Between Complemented Lattices and Boolean Algebras

  • Every Boolean algebra is a complemented distributive lattice
  • A complemented lattice is a Boolean algebra if and only if it is distributive
  • Stone's representation theorem states that every Boolean algebra is isomorphic to a field of sets (a set algebra)
  • In a Boolean algebra, the complement of an element is unique, while in a complemented lattice, an element may have multiple complements
  • A complemented lattice can be embedded into a Boolean algebra using the MacNeille completion
  • The Dedekind-MacNeille completion of a complemented lattice is the smallest complete lattice containing it
  • The center of a complemented lattice consists of all elements with a unique complement, forming a Boolean sublattice

Theorems and Proofs

  • Theorem: A lattice is distributive if and only if it does not contain a sublattice isomorphic to M3M_3 or N5N_5
    • Proof involves showing that the existence of M3M_3 or N5N_5 sublattices leads to a contradiction with distributivity
  • Theorem: A complemented lattice is a Boolean algebra if and only if it is distributive
    • Proof relies on showing that distributivity implies uniqueness of complements and vice versa
  • Theorem: Every finite Boolean algebra has 2n2^n elements for some non-negative integer nn
    • Proof uses induction on the number of atoms and the fact that each element is the join of a unique set of atoms
  • Theorem: A lattice is a Boolean algebra if and only if it is isomorphic to a sublattice of the power set of some set
    • Proof involves constructing an isomorphism between the Boolean algebra and a set algebra
  • Theorem: The axioms for Boolean algebras are independent
    • Proof requires demonstrating that removing any one axiom results in a structure that is not a Boolean algebra

Applications and Examples

  • Power set lattices: The power set of a set XX, denoted P(X)\mathcal{P}(X), forms a Boolean algebra under set inclusion, union, and intersection
    • Example: For X={1,2,3}X = \{1, 2, 3\}, P(X)\mathcal{P}(X) is a Boolean algebra with 8 elements
  • Propositional logic: The set of propositional formulas forms a Boolean algebra under logical equivalence, disjunction, and conjunction
    • Example: p(qr)p \wedge (q \vee r) is equivalent to (pq)(pr)(p \wedge q) \vee (p \wedge r) in propositional logic
  • Switching circuits: Boolean algebras are used to model and optimize switching circuits in digital electronics
    • Example: A simple circuit with two switches in series is modeled by the Boolean expression xyx \wedge y
  • Lindenbaum-Tarski algebras: The set of sentences in a formal language modulo logical equivalence forms a Boolean algebra
    • Example: In first-order logic, the Lindenbaum-Tarski algebra is used to prove the completeness theorem
  • Quantum logic: Orthomodular lattices, which are a generalization of Boolean algebras, are used to model quantum-mechanical systems
    • Example: The lattice of closed subspaces of a Hilbert space is an orthomodular lattice

Practice Problems and Exercises

  1. Prove that in a distributive lattice, if ab=aca \wedge b = a \wedge c and ab=aca \vee b = a \vee c, then b=cb = c.
  2. Show that in a Boolean algebra, a(bc)=(ab)(ac)a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c) for all elements aa, bb, and cc.
  3. Prove that a finite lattice is complemented if and only if it is isomorphic to a sublattice of a finite power set lattice.
  4. Let LL be a complemented lattice. Prove that the following statements are equivalent:
    • LL is a Boolean algebra
    • LL is distributive
    • Every element of LL has a unique complement
  5. Prove that a lattice is a Boolean algebra if and only if it satisfies the following identities for all elements aa and bb:
    • a(ab)=aa \wedge (a \vee b) = a
    • a(ab)=aa \vee (a \wedge b) = a
  6. Show that the center of a complemented lattice forms a Boolean sublattice.
  7. Construct the Hasse diagram of the Boolean algebra formed by the power set of {1,2,3,4}\{1, 2, 3, 4\}.
  8. Prove that every finite Boolean algebra is atomic.


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.