6.10: Summary
( \newcommand{\kernel}{\mathrm{null}\,}\)
- Important definitions:
- Cartesian product
- function
- domain
- codomain, range
- one-to-one
- onto
- bijection
- identity map
- inverse function
- composition
- image
- pre-image
- Notation:
- A×B
- f:A→B
- f(a)
- ∀a1,a2∈A
- IA
- f−1
- g∘f
- {f(a)∣a∈A}
- f(A1)
- f−1(B1)
- A function f:A→B has an inverse f−1:B\righarrowA ifff is a bijection.
- The inverse of a bijection is a bijection