Function
Function
appetizer is about…
Functions
1
Functions
A function f from a set A to a set B is an
assignment of exactly one element of B to each
element of A.
We write
f(a) = b
if b is the unique element of B assigned by the
function f to the element a of A.
If f is a function from A to B, we write
f: A→B
(note: Here, “→“ has nothing to do with if… then)
2
Functions
If f:A→B, we say that A is the domain of f and B
is the codomain of f.
3
Functions
Let us take a look at the function f:P→C with
P = {Linda, Max, Kathy, Peter}
C = {Boston, New York, Hong Kong, Moscow}
f(Linda) = Moscow
f(Max) = Boston
f(Kathy) = Hong Kong
f(Peter) = New York
4
Functions
f(Linda) = Moscow
f(Max) = Boston
f(Kathy) = Hong Kong
f(Peter) = Boston
5
Functions
Other ways to represent f:
6
Functions
If the domain of our function f is large, it is
convenient to specify f with a formula, e.g.:
f:R→R
f(x) = 2x
7
Functions
Let f1 and f2 be functions from A to R.
Then the sum and the product of f1 and f2 are
also functions from A to R defined by:
(f1 + f2)(x) = f1(x) + f2(x)
(f1f2)(x) = f1(x) f2(x)
Example:
f1(x) = 3x, f2(x) = x + 5
(f1 + f2)(x) = f1(x) + f2(x) = 3x + x + 5 = 4x + 5
(f1f2)(x) = f1(x) f2(x) = 3x (x + 5) = 3x2 + 15x
8
Functions
9
Functions
Let us look at the following well-known function:
f(Linda) = Moscow
f(Max) = Boston
f(Kathy) = Hong Kong
f(Peter) = Boston
What is the image of S = {Linda, Max} ?
f(S) = {Moscow, Boston}
What is the image of S = {Max, Peter} ?
f(S) = {Boston}
10
Properties of Functions
11
Properties of Functions
And again…
f(Linda) = Moscow g(Linda) = Moscow
f(Max) = Boston g(Max) = Boston
f(Kathy) = Hong Kong g(Kathy) = Hong Kong
f(Peter) = Boston g(Peter) = New York
Is f one-to-one? Is g one-to-one?
12
Properties of Functions
How can we prove that a function f is one-to-one?
Whenever you want to prove something, first take
a look at the relevant definition(s):
∀x, y∈A (f(x) = f(y) → x = y)
Example:
f:R→R
f(x) = x2
Disproof by counterexample:
f(3) = f(-3), but 3 ≠ -3, so f is not one-to-one.
13
Properties of Functions
… and yet another example:
f:R→R
f(x) = 3x
One-to-one: ∀x, y∈A (f(x) = f(y) → x = y)
To show: f(x) ≠ f(y) whenever x ≠ y (indirect proof)
x≠y
⇔ 3x ≠ 3y
⇔ f(x) ≠ f(y),
so if x ≠ y, then f(x) ≠ f(y), that is, f is one-to-one.
14
Properties of Functions
15
Properties of Functions
A function f:A→B is called onto, or surjective, if
and only if for every element b∈B there is an
element a∈A with f(a) = b.
In other words, f is onto if and only if its range is
its entire codomain.
16
Properties of Functions
Examples:
In the following examples, we use the arrow
representation to illustrate functions f:A→B.
17
Properties of Functions
Linda Boston
Is f injective?
Max No.
New York
Is f surjective?
Kathy Hong Kong No.
Is f bijective?
Peter Moscow No.
18
Properties of Functions
Linda Boston
Is f injective?
No.
Max New York
Is f surjective?
Kathy Hong Kong Yes.
Is f bijective?
Peter Moscow No.
Paul
19
Properties of Functions
Linda Boston
Is f injective?
Yes.
Max New York
Is f surjective?
Kathy Hong Kong No.
Is f bijective?
Peter Moscow No.
Lübeck
20
Properties of Functions
Linda Boston
Is f injective?
No! f is not even
Max New York
a function!
Kathy Hong Kong
Peter Moscow
Lübeck
21
Properties of Functions
Linda Boston
Is f injective?
Yes.
Max New York
Is f surjective?
Kathy Hong Kong Yes.
Is f bijective?
Peter Moscow Yes.
Helena Lübeck
22
Inversion
23
Inversion
Example: The inverse function
f-1 is given by:
f(Linda) = Moscow f-1(Moscow) = Linda
f(Max) = Boston f-1(Boston) = Max
f(Kathy) = Hong Kong f-1(Hong Kong) = Kathy
f(Peter) = Lübeck f-1(Lübeck) = Peter
f(Helena) = New York f-1(New York) = Helena
Clearly, f is bijective. Inversion is only
possible for bijections
(= invertible functions)
24
Inversion
Linda Boston f
26
Composition
Example:
27
Composition
(f-1°f)(x) = f-1(f(x)) = x
28
Graphs
29
Floor and Ceiling Functions
The floor and ceiling functions map the real
numbers onto the integers (R→Z).
The floor function assigns to r∈R the largest
z∈Z with z ≤ r, denoted by ⎣r⎦.
Examples: ⎣2.3⎦ = 2, ⎣2⎦ = 2, ⎣0.5⎦ = 0, ⎣-3.5⎦ = -4
The ceiling function assigns to r∈R the smallest
z∈Z with z ≥ r, denoted by ⎡r⎤.
Examples: ⎡2.3⎤ = 3, ⎡2⎤ = 2, ⎡0.5⎤ = 1, ⎡-3.5⎤ = -3
30