7-functions
7-functions
1
More function terminology
• f: X Y
– f is the function name
– X is the domain
– Y is the co-domain
– xX yY f sends x to y
– f(x) = y f of x; the value of f at x ; the image of x under f
R f Z
Domain Co-domain
f(4.3)
4.3 4
Alice A “a” 1
Bob B “bb“ 2
Chris C “cccc” 3
Dave D “dd” 4
Emma F “e” 5
5
Even more functions
Range
a 1 “a” 1
e 2 “bb“ 2
i 3 “cccc” 3
o 4 “dd” 4
u 5 “e” 5
6
Function arithmetic
• Let f1(x) = 2x
• Let f2(x) = x2
7
Types of functions
• F:X Y is a one-to-one (or injective) function iff
(x1,x2 X)[F(x1) = F(x2) x1 = x2], or
alternatively
(x1,x2 X)[x1 x2 F(x1) F(x2)]
a 1 a 1
e 2 e 2
i 3 i 3
o 4 o 4
5 5
in the co-domain i 3
o 4
5
A one-to-one function
10
Onto functions
• F: X Y is an onto (or surjective) function iff
(y Y)(x X)[F(x) = y]
11
Onto functions
• A function is onto if each element in the co-
domain is an image of some pre-image
– Meaning all elements in the right are mapped to
a 1 a 1
e 2 e 2
i 3 i 3
o 4 o 4
u 5
elements in the i 3
o 4
co-domain
u
An onto function
13
Onto vs. one-to-one
• Are the following functions onto, one-to-one,
both, or neither?
a 1 a 1
a 1
b 2 b 2
b 2
c 3 c 3
c 3
4 d 4
4
1-to-1, not onto Both 1-to-1 and onto Not a valid function
a 1 a 1
b 2 b 2
c 3 c 3
d d 4
Onto, not 1-to-1 Neither 1-to-1 nor onto 14
Bijections
• Consider a function that is a 1
b 2
both one-to-one and onto:
c 3
d 4
F: X Y is bijective iff F: X Y is one-to-one and
onto
If F: X Y is bijective then it has an inverse
function
15
Proving functions one-to-one
and onto
f: R R f(x) = 3x 4
(x1 , x2 R ) [ f ( x1 ) f ( x2 ) x1 x2 ]
• Prove or give a counterexample that f is onto
– recall the definition of onto is
(y R ) (x R ) [ f ( x) y ]
Identity functions
• A function such that the image and the pre-
image are ALWAYS equal
• f(x) = 1*x
• f(x) = x + 0
17
Inverse functions
Let f(x) = 2*x
R f R
f-1
f(4.3)
4.3 8.6
f-1(8.6)
a 1 a 1
b 2 b 2
c 3 c 3
4 d
• g(1) = 5, f(5) = 13
20
Compositions of functions
f○g
A B C
g f
g(a) f(a)
a f(g(a))
g(a)
(f ○ g)(a)
21
Compositions of functions
Let f(x) = 2x+3 f○g
Let g(x) = 3x+2
R R R
g f
g(1) f(5)
f(g(1))=13
1
g(1)=5
(f ○ g)(1)
Let f(x)=2x+1
This is a plot
of f(x)
24
Useful functions
• Floor: x means take the greatest integer less
than or equal to the number
• round(x) = floor(x+0.5)
25
Sample floor/ceiling questions
• Find these values
1.1 1
1.1 2
-0.1 -1
-0.1 0
2.99 3
-2.99 -2
½+½ ½+1 = 3/2 = 1
½ + ½ + ½ 0 + 1 + ½ = 3/2 = 2
26
Ceiling and floor properties
Let n be an integer
(1a) x = n if and only if n ≤ x < n+1
(1b) x = n if and only if n-1 < x ≤ n
(1c) x = n if and only if x-1 < n ≤ x
(1d) x = n if and only if x ≤ n < x+1
(2) x-1 < x ≤ x ≤ = x < x+1
(3a) -x = - x
(3b) -x = - x
(4a) x+n = x+n
(4b) x+n = x+n
27
Ceiling property proof
• Prove rule 4a: x+n = x+n
– Where n is an integer
– Will use rule 1a: x = n if and only if n ≤ x < n+1
• Direct proof!
– Let m = x
– Thus, m ≤ x < m+1 (by rule 1a)
– Add n to both sides: m+n ≤ x+n < m+n+1
– By rule 4a, m+n = x+n
– Since m = x, m+n also equals x+n
– Thus, x+n = m+n = x+n
28
Factorial
• Factorial is denoted by n!
• n! = n * (n-1) * (n-2) * … * 2 * 1
• Thus, 6! = 6 * 5 * 4 * 3 * 2 * 1 = 720
29
Proving function problems
• Let f be a function from A to B, and let S and T
be subsets of A. Show that
a ) f ( S T ) f ( S ) f (T )
b) f ( S T ) f ( S ) f (T )
30
Proving function problems
• f(SUT) = f(S) U f(T)
• Will show that each side is a subset of the other
• Two cases!
• Show that f(SUT) f(S) U f(T)
– Let b f(SUT). Thus, b=f(a) for some aS U T
– Either aS, in which case bf(S)
– Or aT, in which case bf(T)
– Thus, bf(S) U f(T)
• Show that f(S) U f(T) f(S U T)
– Let b f(S) U f(T)
– Either b f(S) or b f(T) (or both!)
– Thus, b = f(a) for some a S or some a T
– In either case, b = f(a) for some a S U T
31
Proving function problems
• f(S∩T) f(S) ∩ f(T)
32
Proving function problems
• Let f be an invertible function from Y to Z
• Let g be an invertible function from X to Y
• Show that the inverse of f○g is:
– (f○g)-1 = g-1 ○ f-1
33
Proving function problems
f g g 1
f 1 ( z ) f g g 1 f 1 ( z )
f g g f ( z )
1 1
f g g f ( z )
1 1
f f ( z)
1
z
• The second equality is similar
34