2 - Sets, Functions, Cardinality
2 - Sets, Functions, Cardinality
If P (x) is a predicate, then there is a set S that collects all objects x for
which P (x) is true. We write S = {x : P (x)}.
The set of elements that belong to both A and , is called the intersection
B
of A and B, dented A ∩ B.
(i) identities:- A ∩ A = A, A ∪ A = A.
(ii) interaction with the empty set
A ∩ ϕ = ϕ, A ∪ ϕ = A.
(iii) Symmetry:- A ∪ B = B ∪ A, A ∩ B = B ∩ A.
(iv) Associativity:- A ∪ (B ∪ C) = (A ∪ B) ∪ C , A ∩ (B ∩ C) = (A ∩ B) ∩ C .
α∈J α∈J
Difference of sets
if A and B an sets, A − B is the set that contains all objects in A, which are
not in B , written A − B = {x ∈ A ∣ x ∉ B} .
Properties of difference
A − (B ∪ C) = (A − B) ∩ (A − C).
Contesian Products
let S1 , S2 … Sn he sets, n
X i=1 S i is the set of ordered n-tuples (x 1 , … x n ) with
xi ∈ Si .
(A × B) ∩ (C × D) = (A ∩ C) × (B ∩ D)
Proof.
Functions
Cardinality
x̄
ii≠ x . Then K ∈ R, but K ∉ f (N) . Contradicting the Surjectivity of the map
ii
f.
∗
e = a for the smallest j. set e = e , delete e from E, and repeat this
j
∗
1
∗
let
Proof.