0% found this document useful (0 votes)
32 views2 pages

STAT103 Sets Summary

1. A set is a well-defined collection of objects. Common sets include numbers, people, and geometric shapes defined by listing elements or using descriptions. Sets can also be defined using set-builder notation to construct sets from other sets. The empty set ∅ contains no elements. 2. Set operations combine sets. The union of sets A and B contains elements in A or B. The intersection contains elements in both A and B. The difference of A and B contains elements in A but not B. The Cartesian product of sets contains all pairs of elements. 3. A function maps each element of set A to an element of set B. Sets are equivalent if a bijection exists between them.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
32 views2 pages

STAT103 Sets Summary

1. A set is a well-defined collection of objects. Common sets include numbers, people, and geometric shapes defined by listing elements or using descriptions. Sets can also be defined using set-builder notation to construct sets from other sets. The empty set ∅ contains no elements. 2. Set operations combine sets. The union of sets A and B contains elements in A or B. The intersection contains elements in both A and B. The difference of A and B contains elements in A but not B. The Cartesian product of sets contains all pairs of elements. 3. A function maps each element of set A to an element of set B. Sets are equivalent if a bijection exists between them.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Review of Set Theory

1 Definitions and Important Examples of Sets


Definition. A set is a well-defined, unordered collection of objects. If x is one of the objects in a set X,
we say x is an element of X (in symbols: x ∈ X).
The requirement that a set X is well-defined asks that the question “is x an element of X?” has an
unambiguous yes or no answer.
Defining sets with list method: list elements, separated by commas, between curly braces.
• {apples, oranges, pears}
• {Bob, Mark, Dylan, Alice}
• N = {0, 1, 2, 3, . . .} (the set of natural numbers)
• Z = {. . . , −2, −1, 0, 1, 2, . . .} (the set of integers)
Defining sets with description: describe the set unambiguously in words.
• The set of current USask students
• R =The set of points on the number line (the set of real numbers)
• The set of people taller than 1.8m
Defining sets with set-builder notation: use a formula or condition to construct a set from a previous
reference set.
• if a, b ∈ R,
– (a, b) = {x ∈ R : a < x < b}
– (a, b] = {x ∈ R : a < x ≤ b}
– [a, b) = {x ∈ R : a ≤ x < b}
– [a, b] = {x ∈ R : a ≤ x ≤ b}
• Z+ = {n ∈ Z : n > 0} (the set of positive integers)
• {n ∈ Z : n/2 ∈ Z} (the set of even integers)
• Q = {a/b : a ∈ Z, b ∈ Z+ } = {x ∈ R : qx ∈ Z for some q ∈ Z+ } (the set of rational numbers)
The empty set ∅ is the set with no elements.

2 Set Operations and Relations


Definition. Given two sets A, B, A is a subset of B (in symbols: A ⊆ B) if every element of A is an
element of B. A is a proper subset of B (in symbols: A ⊊ B) if A ⊆ B and B has at least one element
not in A.
Need to be careful about difference between subsets and elements when some elements are also sets.
As an example, if B = {∅, 2, 3, {4, 5}, 6}, then {2, 3} ⊆ B, {4, 5} ∈ B, ∅ ⊆ B and ∅ ∈ B.
Definition. the union of two sets A and B (in symbols: A ∪ B) is the set whose elements are objects x
so that x ∈ A or x ∈ B.

1
For example, if A = {1, 2, 3}, B = {3, 4}, A ∪ B = {1, 2, 3, 4}.
Definition. The intersection of two sets A and B (in symbols: A ∩ B) is the set whose elements are
objects x so that x ∈ A and x ∈ B.
For example, if A = {1, 2, 3}, B = {3, 4}, A ∩ B = {3}.
Definition. The Set difference A − B is the set consisting of all elements of A which are not elements of
B.
For example, if A = {1, 2, 3}, B = {3, 4}, then A − B = {1, 2} and B − A = {4}.
Definition. The Cartesian product A × B is the set of pairs (a, b), where a ∈ A and b ∈ B.
For example, if A = {1, 2, 3}, B = {3, 4}, A × B = {(1, 3), (1, 4), (2, 3), (2, 4), (3, 3), (3, 4)}.

3 Functions and Cardinality


Definition. Given two sets A, B, a function f from A to B (in symbols: f : A → B) is a rule which takes
each a ∈ A and assigns some f (a) ∈ B to it. A function f : A → B is injective if f (a1 ) ̸= f (a2 ) whenever
a1 , a2 ∈ A and a1 ̸= a2 . A function is surjective if for every element b ∈ B, there is some a ∈ A so that
f (a) = b. a bijection is a function which is injective and surjective.
A function f : A → B is a bijection if and only if it has an inverse, i.e. there is a function f −1 : B → A
so that f (f −1 (b)) = b and f −1 (f (a)) = a for any a ∈ A, b ∈ B.
Definition. Two sets A and B are equivalent (in symbols: A ⇐⇒ B) if there is a bijection f : A → B.
Two finite sets are equivalent if and only if they have the same number of elements.
Definition. A set A is infinite if it has a proper subset S ⊊ A which is equivalent to A. It is finite
otherwise.
Examples of infinite sets include N (adding one gives bijection with N − {0}), Z (multiplying by two
gives bijection with even integers).
Definition. A set is countable if it is equivalent to N. Alternately a set A is countable if there is a
(possibly infinite) list which contains every element of A.
N, Z, and Q are all countable, as are all finite sets.
Theorem (Cantor’s diagonal theorem). The set R of real numbers is not countable.
Proof. Suppose a1 , a2 , a3 , . . . is an infinite list of real numbers. We can find a real number b = 0.b1 b2 b3 . . .
whose first decimal place b1 is different than the first decimal place of a1 , whose second decimal place b2
is different than the second decimal place of a2 , and whose nth decimal place bn is different than the nth
decimal place of an for any positive integer n. Since b differs in at least one decimal place from every
an , it can’t be on the list. Therefore no infinite list can contain all real numbers, so the real numbers
are not countable.

The Cardinality of a set A (in symbols: |A|) is a measure of the size of A.


• If A is finite and has n elements, then |A| = n.
• If A is infinite and countable, then the cardinality of A is called countably infinite, and this is
written |A| = ℵ0 ( ℵ0 is pronounced “alef not”).

• The cardinality of R is called the cardinality of the continuum, and this is written |A| = ℶ1 ( ℶ1
is pronounced “beth one”).

You might also like