Chapter 5 Flashcards
Domain, image
Let f be a function. The set of all possible first elements of the ordered pairs in f is called the domain of f and is denoted dom f . The set of all possible second elements of the ordered pairs in f is called the image of f and is denoted im f .
(f: A → B)
Let f be a function and let A and B be sets. We say that f is a function from A to B provided dom f = A and im f ⊆ B. In this case, we write f: A → B. We also say that f is a mapping from A to B.
To show (f: A → B)
To prove that f is a function from a set A to a set B:
- Prove that f is a function.
- Prove that dom f = A.
- Prove that im f ⊆ B.
Proposition 24.10
Let A and B be finite sets with |A| = a and |B| = b. The number of functions from A to B is b^a.
(One-to-one)
A function f is called one-to-one provided that, whenever (x, b), (y, b) ⋲ f. we must have x = y. In other words, if x ≠ y, then f(x) ≠ f(y).
Proving a function is one-to-one
To show that f is one-to-one:
- Direct method: Suppose f(x) = f(y)…. Therefore x = y. Therefore f is one-to-one.
- Contrapositive method: Suppose x ≠ y…. Therefore f (x) ≠ f(y). Therefore f is one-to-one.
- Contradiction method: Suppose f(x) = f(y) but x ≠ y…. →← Therefore f is one-to-one.
Onto
Let f: A → B. We say that f is onto B provided that for every b ⋲ B there is an a ⋲ A so that f(a) = b. In other words, im f = B.
Proving a function is onto
To show f: A → B is onto:
- Direct method: Let b be an arbitrary element of B. Explain how to find/construct an element a ⋲ A such that f(a) = b. Therefore f is onto.
- Set method: Show that the sets B and im f are equal.
Theorem 24.21
Let A and B be sets and let f: A → B. The inverse relation f^-1 is a function from B to A if and only if f is one-to-one and onto B.
Bijection
Let f: A → B. We call f a bijection provided it is both one-to-one and onto.
Pigeonhole Principle
Let A and B be finite sets and let f: A → B. If |A| > |B|, then f is not one-to-one. If |A|< |B|, then f is not onto
Proposition 24.25
Let A and B be finite sets and let f: A → B. If f is a bijection, then |A| = |B|.
Composition of functions
Let A, B, and C be sets and let f: A → B and g: B → C. Then the function g ℴ f is a function from A to C defined by (g ℴ f)(a) = g[f(a)] where a ⋲ A. The function g ℴ f is called the composition of g and f.
Proof Template 22
Proving two functions are equal.
Let f and g be functions. To prove f = g, do the following:
1. Prove that dom f = dom g.
2. Prove that for every x in their common domain, f(x) = g(x).
Permutation
Let A be a set. A permutation on A is a bijection from A to itself.