www.company.com
Module Code MA1032N:Logic
Lecture for Week 6
2012-2013 Autumn
www.company.com
AgendaWeek 6 Lecture coverage:
– Power Set
– Cartesian Product
– Partitions
www.company.com
Power Set
The set whose elements consist of all the
subsets of a given set A is called the power set
of A.
This set is written P(A).
Thus P(A) = {X:X ⊆ A }
www.company.com
Power Set (Cont.)
www.company.com
Power Set (Cont.)
Example:
So If B = 2 then P(B) = 4 =22
www.company.com
Power Set (Cont.)
www.company.com
Power Set (Cont.)
www.company.com
Power Set (Cont.)
Theorem 2
A set containing n distinct elements has 2n subsets
More formally:
www.company.com
The Cartesian Product of Two Sets
www.company.com
The Cartesian Product of Two Sets(Cont.)
www.company.com
The Cartesian Product of Two Sets(Cont.)
www.company.com
Partitions
www.company.com
Partitions (Cont.)
www.company.com
Set Partition
A
WX Y
In this diagram, the set A (the rectangle) is partitioned into sets W,X, and Y.
www.company.com
Partitions (Cont.)
www.company.com
Partitions (Cont.)
www.company.com
Partitions (Cont.)
We implied in our definition of partition that the
number of blocks in a partition is finite.
A more general definition would allow for an infinite
number of blocks, although we will not be
concerned with these. However: