Math Reasoning - Functions
Math Reasoning - Functions
◆ Examples:
1. If f : X → Y is injective then n ≤ m
2. If f : X → Y is surjective then n ≥ m
3. If f : X → Y is bijective then n = m
➔ Range
◆ Let X and Y be sets, and let f : X → Y,
The range or image of f is the set
{ y ∈ Y | (∃x ∈ X) (y = f(x) } = { f(x) ∈ Y | x ∈ X }
◆ The range is a subset of the codomain
◆ The function f will always be onto its range
➔ Injective / Bijective / Surjective Practice
.
➔ Identity Function
◆ The identity function on a set X, denoted IX : X → X
is defined as, for all x∈X, IX (x) = x
➔ Function Compositions
◆ Let f : A → Y and g : B → C be functions with Y⊆B.
The composition of f and g, denoted g॰f : A → C
Is defined by the rule g॰f (x) = g (f (x))
◆ Note: even if f : A → A & g : A → A are both defined,
◆ f॰g = g॰f need not be true
◆ Example:
● f(x) = 2x ● (g॰f)(2) = 16
● g(x) = x2 ● (f॰g)(2) = 8
◆ Properties:
Let X, Y, Z and W be sets.
Let f : X → Y, g : Y → Z, and h : Z → W
➔ Inverse Functions
◆ Inverse Properties:
Let functions f and g be defined that f : X → Y and g: Y → Z
1. If f and g are both injective, then g॰f is injective
2. If f and g are both surjective, then g॰f is surjective
3. If f and g are both bijective, then g॰f is bijective
4. If g॰f is injective, then f is injective but g need not be
5. If g॰f is surjective, then g is surjective but f need not be