Section 1.1 Sets and Functions
A set is is just a collection of objects (where the order in which the objects are listed does not matter). The following set operations should be familiar to you: intersectionDefinition 1.1.1. Set Inclusion and Equality.
If
We say that
Checkpoint 1.1.2. Prove Set Inclusion.
Define
and
Prove that \(A \subseteq B\) holds.
Pick an arbitrary element in \(A\text{,}\) call it \(x\text{.}\) Then you know \(x = 6s + 3\) for some integer \(s\text{.}\) Can you express \(x\) in the form \(3t\) where \(t\) is an integer?
Remark 1.1.3.
Interval notation is used to refer to sets of real numbers. It is incorrect, for instance, to say that
Definition 1.1.4. Function.
A function
is a rule that takes elements from its domain
Definition 1.1.5. Injective, surjective, bijective.
A function
-
injective if for every
-
surjective if for every
there exists an so that - bijective if it is both injective and surjective.
Checkpoint 1.1.6. Injective, surjective, bijective, or none?
For each function, determine if it is injective, surjective, bijective, or none of these:
- \(f: \mathbb{R} \rightarrow (0,+\infty)\text{,}\) \(f(x) = \sqrt{x^2+1}\)
- \(g: \mathbb{N} \rightarrow \mathbb{N}\text{,}\) \(g(m) = 3m + 7m^2\)
- \(h: \mathbb{Z} \times \mathbb{Z} \rightarrow \mathbb{Z}\text{,}\) \(h(a,b) = \dfrac{ab(b-1)}{2}\)
1. none, 2. injective, 3. surjective.
Definition 1.1.7. Composition.
Given two functions
for all
Theorem 1.1.8. Properties of Compositions.
The composition of two (injections, surjections, bijections) is a(n) (injection, surjection, bijection).
Checkpoint 1.1.9. Prove Theorem 1.1.8.
Prove Theorem 1.1.8.
Definition 1.1.10. Cardinality Relations.
Two sets
if there exists a bijection between them.
We also say
if there exists an injective function from
Checkpoint 1.1.11. There are as many natural numbers as odd integers.
Prove that the set of odd integers
has the same cardinality as \(\mathbb{N}\text{.}\)
Construct a bijection from \(O\) to \(\mathbb{N}\text{.}\)
Definition 1.1.12. Power Set.
Let
that is, it contains all subsets of
Checkpoint 1.1.13. Cardinality of a Power Set.
Prove that if \(A\) is finite, then