All Study Guides Lattice Theory Unit 7
🔳 Lattice Theory Unit 7 – Complemented Lattices and Boolean AlgebrasComplemented 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 a a a has a complement a ′ a' a ′ such that a ∨ a ′ = ⊤ a \vee a' = \top a ∨ a ′ = ⊤ and a ∧ a ′ = ⊥ a \wedge a' = \bot a ∧ a ′ = ⊥
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 a a a , b b b , and c c c :
a ∧ ( b ∨ c ) = ( a ∧ b ) ∨ ( a ∧ c ) a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c) a ∧ ( b ∨ c ) = ( a ∧ b ) ∨ ( a ∧ c )
a ∨ ( b ∧ c ) = ( a ∨ b ) ∧ ( a ∨ c ) a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c) a ∨ ( b ∧ c ) = ( a ∨ b ) ∧ ( a ∨ c )
A lattice is modular if it satisfies the modular law: if a ≤ c a \leq c a ≤ c , then a ∨ ( b ∧ c ) = ( a ∨ b ) ∧ c a \vee (b \wedge c) = (a \vee b) \wedge c a ∨ ( b ∧ c ) = ( a ∨ b ) ∧ 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 a a a is compact if a ≤ ⋁ S a \leq \bigvee S a ≤ ⋁ S implies a ≤ ⋁ T a \leq \bigvee T a ≤ ⋁ T for some finite subset T ⊆ S T \subseteq S T ⊆ 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 a ≤ b a \leq b a ≤ b , then b ′ ≤ a ′ b' \leq a' b ′ ≤ a ′ for any complements a ′ a' a ′ and b ′ b' b ′ of a a a and b b b , 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 a a a is denoted as a ′ a' a ′ or a ˉ \bar{a} a ˉ
Boolean algebras satisfy the following additional identities for all elements a a a and b b b :
a ∧ a ′ = ⊥ a \wedge a' = \bot a ∧ a ′ = ⊥ and a ∨ a ′ = ⊤ a \vee a' = \top a ∨ a ′ = ⊤ (complement laws)
a ∧ ⊤ = a a \wedge \top = a a ∧ ⊤ = a and a ∨ ⊥ = a a \vee \bot = a a ∨ ⊥ = a (identity laws)
a ∧ a = a a \wedge a = a a ∧ a = a and a ∨ a = a a \vee a = a a ∨ a = a (idempotent laws)
a ∧ b = b ∧ a a \wedge b = b \wedge a a ∧ b = b ∧ a and a ∨ b = b ∨ a a \vee b = b \vee a a ∨ b = b ∨ a (commutative laws)
( a ∧ b ) ∧ c = a ∧ ( b ∧ c ) (a \wedge b) \wedge c = a \wedge (b \wedge c) ( a ∧ b ) ∧ c = a ∧ ( b ∧ c ) and ( a ∨ b ) ∨ c = a ∨ ( b ∨ c ) (a \vee b) \vee c = a \vee (b \vee c) ( a ∨ b ) ∨ c = a ∨ ( b ∨ c ) (associative laws)
a ∧ ( b ∨ c ) = ( a ∧ b ) ∨ ( a ∧ c ) a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c) a ∧ ( b ∨ c ) = ( a ∧ b ) ∨ ( a ∧ c ) and a ∨ ( b ∧ c ) = ( a ∨ b ) ∧ ( a ∨ c ) a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c) a ∨ ( b ∧ c ) = ( a ∨ b ) ∧ ( a ∨ c ) (distributive laws)
( a ′ ) ′ = a (a')' = a ( a ′ ) ′ = a (double complement law)
De Morgan's laws hold in Boolean algebras: ( a ∧ b ) ′ = a ′ ∨ b ′ (a \wedge b)' = a' \vee b' ( a ∧ b ) ′ = a ′ ∨ b ′ and ( a ∨ b ) ′ = a ′ ∧ b ′ (a \vee b)' = a' \wedge b' ( a ∨ b ) ′ = a ′ ∧ 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 M 3 M_3 M 3 or N 5 N_5 N 5
Proof involves showing that the existence of M 3 M_3 M 3 or N 5 N_5 N 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 2 n 2^n 2 n elements for some non-negative integer n n n
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 X X X , denoted P ( X ) \mathcal{P}(X) P ( X ) , forms a Boolean algebra under set inclusion, union, and intersection
Example: For X = { 1 , 2 , 3 } X = \{1, 2, 3\} X = { 1 , 2 , 3 } , P ( X ) \mathcal{P}(X) 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 ∧ ( q ∨ r ) p \wedge (q \vee r) p ∧ ( q ∨ r ) is equivalent to ( p ∧ q ) ∨ ( p ∧ r ) (p \wedge q) \vee (p \wedge r) ( p ∧ q ) ∨ ( p ∧ 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 x ∧ y x \wedge y x ∧ 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
Prove that in a distributive lattice, if a ∧ b = a ∧ c a \wedge b = a \wedge c a ∧ b = a ∧ c and a ∨ b = a ∨ c a \vee b = a \vee c a ∨ b = a ∨ c , then b = c b = c b = c .
Show that in a Boolean algebra, a ∧ ( b ∨ c ) = ( a ∧ b ) ∨ ( a ∧ c ) a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c) a ∧ ( b ∨ c ) = ( a ∧ b ) ∨ ( a ∧ c ) for all elements a a a , b b b , and c c c .
Prove that a finite lattice is complemented if and only if it is isomorphic to a sublattice of a finite power set lattice.
Let L L L be a complemented lattice. Prove that the following statements are equivalent:
L L L is a Boolean algebra
L L L is distributive
Every element of L L L has a unique complement
Prove that a lattice is a Boolean algebra if and only if it satisfies the following identities for all elements a a a and b b b :
a ∧ ( a ∨ b ) = a a \wedge (a \vee b) = a a ∧ ( a ∨ b ) = a
a ∨ ( a ∧ b ) = a a \vee (a \wedge b) = a a ∨ ( a ∧ b ) = a
Show that the center of a complemented lattice forms a Boolean sublattice.
Construct the Hasse diagram of the Boolean algebra formed by the power set of { 1 , 2 , 3 , 4 } \{1, 2, 3, 4\} { 1 , 2 , 3 , 4 } .
Prove that every finite Boolean algebra is atomic.