ds3sets
ds3sets
Nguyen An Khuong,
Tran Tuan Anh, Le
Chapter 3
Hong Trang
Sets
Discrete Structures for Computing on September 2, 2017
Contents
Sets
Set Operation
Contents
1 Sets Sets
Set Operation
2 Set Operation
3.2
Sets
Course outcomes
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
3.3
Sets
Set Definition
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
• Set is a fundamental discrete structure on which all discrete
structures are built
• Sets are used to group objects, which often have the same
properties
Contents
Example
Sets
Set Operation
• Set of all the students who are currently taking Discrete
Mathematics 1 course.
• Set of all the subjects that K2011 students have to take in
the first semester.
• Set of natural numbers N
Definition
A set is an unordered collection of objects.
The objects in a set are called the elements (phần tử ) of the set.
A set is said to contain (chứa) its elements.
3.4
Sets
Notations
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
Sets
Set Operation
Definition (Set Description)
3.5
Sets
Equal Sets
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
Two sets are equal iff they have the same elements. Contents
Sets
Example
• {1, 3, 5} = {3, 5, 1}
• {1, 3, 5} = {1, 3, 3, 3, 5, 5, 5, 5}
3.6
Sets
Venn Diagram
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
3.7
Sets
Special Sets
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Contents
• Empty set (tập rỗng ) has no elements, denoted by ∅, or {}
Sets
• What is {∅}?
• Answer: singleton
3.8
Sets
Subset
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
The set A is called a subset (tập con) of B iff every element of A
is also an element of B, denoted by A ⊆ B.
Contents
• ∀x(x ∈ A → x ∈ B)
• For every set S,
(i) ∅ ⊆ S, (ii) S ⊆ S.
3.9
Sets
Cardinality
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
If S has exactly n distinct elements where n is non-negative
integers, S is finite set (tập hữu hạn), and n is cardinality (bản
số ) of S, denoted by |S|.
Contents
Example
Sets
• A is the set of odd positive integers less than 10. |A| = 5. Set Operation
Definition
A set that is infinite if it is not finite.
Example
3.10
Sets
Power Set
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
Given a set S, the power set (tập lũy thừa) of S is the set of all
subsets of the set S, denoted by P (S).
Contents
Sets
Example
Set Operation
What is the power set of {0, 1, 2}?
P ({0, 1, 2}) = {∅, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}}
Example
3.11
Sets
Power Set
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Contents
Theorem Sets
If a set has n elements, then its power set has 2n elements. Set Operation
3.12
Sets
Ordered n-tuples
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
The ordered n-tuple (dãy sắp thứ tự) (a1 , a2 , . . . , an ) is the
ordered collection that has a1 as its first element, a2 as its second
Contents
element, . . ., and an as its nth element. Sets
Set Operation
Definition
Two ordered n-tuples (a1 , a2 , . . . , an ) = (b1 , b2 , . . . , bn ) iff ai = bi ,
for i = 1, 2, . . . , n.
Example
2-tuples, or ordered pairs (cặp), (a, b) and (c, d) are equal iff
a = c and b = d
3.13
Sets
Cartesian Product
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
Let A and B be sets. The Cartesian product (tích Đề-các) of A
and B, denoted by A × B, is the set of ordered pairs (a, b), where Contents
Set Operation
A × B = {(a, b) | a ∈ A ∧ b ∈ B}
Example
Cartesian product of A = {1, 2} and B = {a, b, c}. Then
A × B = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c)}
Show that A × B 6= B × A
3.14
Sets
Cartesian Product
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
Sets
Set Operation
Example
A = {0, 1}, B = {1, 2}, C = {0, 1, 2}. What is A × B × C?
A×B×C = {(0, 1, 0), (0, 1, 1), (0, 1, 2), (0, 2, 0), (0, 2, 1),
(0, 2, 2), (1, 1, 0), (1, 1, 1), (1, 1, 2), (1, 2, 0),
(1, 2, 1), (1, 2, 2)}
3.15
Sets
Union
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
The union (hợp) of A and B
A ∪ B = {x | x ∈ A ∨ x ∈ B}
Contents
Sets
A B
• Example:
• {1,2,3} ∪ {2,4} = {1,2,3,4}
• {1,2,3} ∪ ∅ = {1,2,3}
3.16
Sets
Intersection
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
The intersection (giao) of A and B
A ∩ B = {x | x ∈ A ∧ x ∈ B}
Contents
Sets
A B
Example:
• {1,2,3} ∩ {2,4} = {2}
• {1,2,3} ∩ N = {1,2,3}
3.17
Sets
Union/Intersection
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Contents
n
Sets
[
Ai = A1 ∪ A2 ∪ ... ∪ An = {x | x ∈ A1 ∨ x ∈ A2 ∨ ... ∨ x ∈ An } Set Operation
i=1
n
\
Ai = A1 ∩ A2 ∩ ... ∩ An = {x | x ∈ A1 ∧ x ∈ A2 ∧ ... ∧ x ∈ An }
i=1
3.18
Sets
Difference
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
The difference (hiệu) of A and B
A − B = {x | x ∈ A ∧ x ∈
/ B}
Contents
Sets
A B
Example:
• {1,2,3} - {2,4} = {1,3}
• {1,2,3} - N = ∅
3.19
Sets
Complement
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Definition
The complement (phần bù) of A
A = {x | x ∈A}
/
Contents
Sets
Set Operation
Example:
• A = {1,2,3} then A = ???
• Note that A - B = A ∩ B
3.20
Sets
Set Identities
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Set Operation
A∩∅ = ∅ Luật nuốt
A∪A = A Idempotent laws
A∩A = A Luật lũy đẳng
(Ā) = A Complementation law
Luật bù
3.21
Sets
Set Identities
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Set Operation
A ∩ (B ∩ C) = (A ∩ B) ∩ C Luật kết hợp
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) Distributive laws
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Luật phân phối
A∪B = A∩B De Morgan’s laws
A∩B = A∪B Luật De Morgan
3.22
Sets
Method of Proofs of Set Equations
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Set Operation
• Prove that A ⊆ B and B ⊆ A
• Use membership table
• Use set builder notation and logical equivalences
3.23
Sets
Example (1)
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Contents
Sets
Set Operation
Example
Verify the distributive rule P ∪ (Q ∩ R) = (P ∪ Q) ∩ (P ∪ R)
3.24
Sets
Example (2)
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Example
Prove: A ∩ B = A ∪ B
Contents
(1) Show that A ∩ B ⊆ A ∪ B Sets
3.25
Sets
Example (3)
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Prove: A ∩ B = A ∪ B
Contents
Set Operation
1 1 1 0 0
1 0 0 1 1
0 1 0 1 1
0 0 0 1 1
3.26
Sets
Example (4)
Nguyen An Khuong,
Tran Tuan Anh, Le
Hong Trang
Prove: A ∩ B = A ∪ B
A∩B = {x|x 6∈ A ∩ B} Contents
3.27