1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions...
-
Upload
hester-nash -
Category
Documents
-
view
214 -
download
0
Transcript of 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions...
![Page 1: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/1.jpg)
1
Annoucement
Skills you need:
(1) (In Thinking) You think and move by• Logic• Definitions• Mathematical properties (Basic algebra etc.)
(2) (In Exploration) You understand by:• Trying examples• Drawing diagrams
– For relations, 3 visualization tools have been given to you. Be flexible in using your alternatives.
(3) Using (1) and (2) to understand new things.
![Page 2: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/2.jpg)
2
Lecture 3 (part 1)
FunctionsReading: Epp Chp 7.1, 7.3, 7.5
![Page 3: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/3.jpg)
3
Overview
Functions– Definition– Visualization Tool– Examples– Notation– Identity Function
Definitions– Domain, codomain,
range– Image, inverse image– Let f:A B and let S A
and T B.• S InvImgf(Imgf(S))
• Imgf(InvImgf(T)) T
Operations on Functions– Set related (,,):
1. If fg is a function, then f = g2. If fg is a function, then f = g3. If fg is a function, then fg=
– Inverse– Composition– Theorems
1. G o f is a function.
2. F o idA idB o f f3. (h o g) o f = h o (g o f)4. (g o f)-1 = f-1 o g-1
Special Kinds of Functions– Injective, Surjective,
Bijective– Theorems
• Preservation under ‘o’.• On inverses
Multi-argument functions
![Page 4: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/4.jpg)
4
1. Definition: Function
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
![Page 5: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/5.jpg)
5
1. Definition: Function
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
A function is a relation. It’s just a special kind of relation – a relation with 2 restrictions.
![Page 6: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/6.jpg)
6
1. Definition: Function
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
1. Every element in A must be associated with AT LEAST one element in B.
Extract the meaning from the logical expression.
A BR
![Page 7: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/7.jpg)
7
1. Definition: Function
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
2. An element in A can only be associated with AT MOST one element in B.
Extract the meaning from the logical expression.
A BR
![Page 8: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/8.jpg)
8
1. Definition: Function
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
1 and 2 taken together: Every element in A can only be associated with EXACTLY ONE element in B.
Extract the meaning from the logical expression.
A BR
![Page 9: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/9.jpg)
9
2. Visualisation Tool: Arrow Diagram
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
A Bf
Not a function
![Page 10: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/10.jpg)
10
2. Visualisation Tool: Arrow Diagram
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
Yes, it’s a function.
A Bf
![Page 11: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/11.jpg)
11
2. Visualisation Tool: Arrow Diagram
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
Not a function
A Bf
![Page 12: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/12.jpg)
12
3. Examples
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
Example 1:
Is R a function?
No. (Cond 1)
No. (Cond 2)
Yes.
R = {(1,2)}
R A x BA
{1,2,3}
B
{1,2,3}
R = {(1,2),(2,3),(1,3)}{1,2,3} {1,2,3}
R = {(1,1),(2,1),(3,1)}{1,2,3} {1,2,3}
{1,2,3,4} {1,2,3} R = {(1,1),(2,2),(3,3)} No. (Cond 1)
{1,2,3} {1,2,3,4} R = {(1,1),(2,2),(3,3)} Yes.
![Page 13: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/13.jpg)
13
3. Examples
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
Example 2: Let R Q x Z such that…
(i) x R y iff x = y.
Q: Is R a function?
A: No (1st Condition: ½ maps to nothing)
Q Z
½ ?
(ii) (a/b) R c iff a.b = c.
Q: Is R a function?
A: Yes
![Page 14: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/14.jpg)
14
3. Examples
Given a relation R from a set A to a set B, R is a function iff1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1 = y2.
Example 3: Let R Z x Z such that…
(i) x R y iff y = x2.
Q: Is R a function?
A: Yes.
(ii) x R y iff x = y2.
Q: Is R a function?
A: No. (1st and 2nd Condition violated)
Z Z
3 ?
1 1
-1
![Page 15: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/15.jpg)
15
3. Examples
Functions in real life:1. Hamming distance function (p351).
2. Encoding/decoding functions (p351).
3. Boolean functions (p352).
4. A program is a function.
![Page 16: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/16.jpg)
16
Eg. 3: F Z x {0,1}, a F b iff (a is even b=1) (a is odd b=0)
4. Notation
We usually use “f,g,h,F,G,H” to denote functions. If the relation f A x B is a function, we write it as:
f : A B If there is a way to compute yB from any given
xA, we usually write ‘f(x)’ in place of ‘y’.
We will write it as:Eg. 1: F Z x Z , x F y iff y = x2. ‘F’ is a function.
F : Z Z, F(x) = x2
We will write it as:Eg. 2: F Z x Z , x F y iff y = x2 + 2x + 1
F : Z Z, F(x) = x2 + 2x + 1
F : Z {0,1}, F(x) =
1, if x is even
0, otherwise
![Page 17: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/17.jpg)
17
4. Notation
We usually use “f,g,h,F,G,H” to denote functions. If the relation f A x B is a function, we write it as:
f : A B If there is a way to compute yB from any given
xA, we usually write ‘f(x)’ in place of ‘y’.
Therefore, the definitions instead of…
1. xA, yB, x R y
2. xA, y1,y2B, x R y1 x R y2 y1=y2.
1. xA, yB, y = f(x)
2. xA, y1,y2B, y1=f(x) y2=f(x) y1=y2.
… can be also expressed as…
![Page 18: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/18.jpg)
18
5. The identity function.
The identity function on any given set, is a function that maps every element to itself.
idA : A A, xA, idA(x) = x
![Page 19: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/19.jpg)
19
Overview
Functions– Definition– Visualization Tool– Examples– Notation– Identity Function
Definitions– Domain, codomain,
range– Image, inverse image– Let f:A B and let S A
and T B.• S InvImgf(Imgf(S))
• Imgf(InvImgf(T)) T
Operations on Functions– Set related (,,):
1. If fg is a function, then f = g2. If fg is a function, then f = g3. If fg is a function, then fg=
– Inverse– Composition– Theorems
1. g f is a function.
2. f idA idB f f3. (h g) f = h (g f)4. (g f)-1 = f-1 g-1
Special Kinds of Functions– Injective, Surjective,
Bijective– Theorems
• Preservation under ‘’.• On inverses
Multi-argument functions
![Page 20: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/20.jpg)
20
6. Definition: domain, codomain, range
Given a function: f : A B,– The set A is known as the domain of f.– The set B is known as the codomain of f.– The set { yB | xA, y=f(x)} is known as the
range of f.
A Bf
![Page 21: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/21.jpg)
21
6. Definition: domain, codomain, range
Given a function: f : A B,– The set A is known as the domain of f.– The set B is known as the codomain of f.– The set { yB | xA, y=f(x)} is known as the
range of f.
A Bf
Domain(f)
![Page 22: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/22.jpg)
22
6. Definition: domain, codomain, range
Given a function: f : A B,– The set A is known as the domain of f.– The set B is known as the codomain of f.– The set { yB | xA, y=f(x)} is known as the
range of f.
A Bf
Codomain(f)
![Page 23: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/23.jpg)
23
6. Definition: domain, codomain, range
Given a function: f : A B,– The set A is known as the domain of f.– The set B is known as the codomain of f.– The set { yB | xA, y=f(x)} is known as the
range of f.
A Bf
Range(f)
NOTE:
range(f) codomain(f)
![Page 24: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/24.jpg)
24
6. Definition: domain, codomain, range
Given a function: f : A B,– The set A is known as the domain of f.– The set B is known as the codomain of f.– The set { yB | xA, y=f(x)} is known as the
range of f.
Example 1: f : Z Z+, f(x) = |2x|
a. domain(f) = Z
b. codomain(f) = Z+
c. range(f) = positive even numbers: {2x | x Z+}
![Page 25: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/25.jpg)
25
6. Definition: domain, codomain, range
Given a function: f : A B,– The set A is known as the domain of f.– The set B is known as the codomain of f.– The set { yB | xA, y=f(x)} is known as the
range of f.
Example 2:
Let f : Z Z, f(x) = 2x + 1; g : Z Z, g(x) = 2x - 1
Then range(f) = range(g).
Range(f) = 2x+1 = 2(x+1) – 1 = Range(g)
xZ, f(x) = g(x+1)
![Page 26: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/26.jpg)
26
7. Definition: Image, Inverse Image.
Given a function: f : A B, and S A– The image of S is defined as:
Imgf(S) = { yB | xS, y=f(x)}
A Bf
![Page 27: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/27.jpg)
27
7. Definition: Image, Inverse Image.
Given a function: f : A B, and S A– The image of S is defined as:
Imgf(S) = { yB | xS, y=f(x)}
S
Image of S
NOTE: Imgf(S) range(f) codomain(f)
A Bf
![Page 28: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/28.jpg)
28
7. Definition: Image, Inverse Image.
Given a function: f : A B, and S A– The image of S is defined as:
Imgf(S) = { yB | xS, y=f(x)} Given a function: f : A B, and T B
– The inverse image of T is defined as:
InvImgf(T) = { xA | yT, y=f(x)}
Inverse image of T
TA B
f
![Page 29: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/29.jpg)
29
7. Definition: Image, Inverse Image.
Given a function: f : A B, and S A– The image of S is defined as:
Imgf(S) = { yB | xS, y=f(x)} Given a function: f : A B, and T B
– The inverse image of T is defined as:
InvImgf(T) = { xA | yT, y=f(x)}
Example: f : Z Z+, f(x) = |x|
a. Imgf({10,-20}) = {10,20}
b. InvImgf({10,20}) = {10, 20, -10, -20}
![Page 30: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/30.jpg)
30
7. Definition: Image, Inverse Image.
Given a function: f : A B, and S A– The image of S is defined as:
Imgf(S) = { yB | xS, y=f(x)}or
yImgf(S) iff xS and y=f(x)
Given a function: f : A B, and T B– The inverse image of T is defined as:
InvImgf(T) = { xA | yT, y=f(x)}or
xInvImgf(T) iff yT and y=f(x)
Axiomatic definition
![Page 31: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/31.jpg)
31
7.1 Theorem: Image, Inverse Image.
Given any function: f : A B, S A, T B1. S InvImgf(Imgf(S))
2. Imgf(InvImgf(T)) T
A Bf
Proof of (1): (Use diagrams to help visualise!)
![Page 32: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/32.jpg)
32
7.1 Theorem: Image, Inverse Image.
A Bf
S
Proof of (1): (Use diagrams to help visualize!)
Given any function: f : A B, S A, T B1. S InvImgf(Imgf(S))
2. Imgf(InvImgf(T)) T
![Page 33: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/33.jpg)
33
7.1 Theorem: Image, Inverse Image.
A Bf
S
Proof of (1):
Given any function: f : A B, S A, T B1. S InvImgf(Imgf(S))
2. Imgf(InvImgf(T)) T
Assume xS
Therefore xInvImgf(Imgf(S))
Then yB such that y = f(x) (Since f is a function)
Therefore yImgf(S) (Defn: yImgf(S) iff xS and y=f(x))
xy
Therefore yImgf(S) and y = f(x)
Imgf(S)
![Page 34: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/34.jpg)
34
7.1 Theorem: Image, Inverse Image.
A Bf
Imgf(S)
Proof of (1):
Given any function: f : A B, S A, T B1. S InvImgf(Imgf(S))
2. Imgf(InvImgf(T)) T
Assume xS
Therefore xInvImgf(Imgf(S))
Then yB such that y = f(x) (Since f is a function)
Therefore yImgf(S) (Defn: yImgf(S) iff xS and y=f(x))
Therefore yImgf(S) and y = f(x)
(Defn:xInvImgf(T) iff
yT and y=f(x))
xy
![Page 35: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/35.jpg)
35
7.1 Theorem: Image, Inverse Image.
…Proof of (2) left as an exercise…
(Again, the skill that you must pick up is that you must use diagrams wherever
possible, to help visualize the problem and use it to help you reason about proofs)
Given any function: f : A B, S A, T B1. S InvImgf(Imgf(S))
2. Imgf(InvImgf(T)) T
![Page 36: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/36.jpg)
36
Overview
Functions– Definition– Visualization Tool– Examples– Notation– Identity Function
Definitions– Domain, codomain,
range– Image, inverse image– Let f:A B and let S A
and T B.• S InvImgf(Imgf(S))
• Imgf(InvImgf(T)) T
Operations on Functions– Set related (,,):
1. If fg is a function, then f = g2. If fg is a function, then f = g3. If fg is a function, then fg=
– Inverse– Composition– Theorems
1. g f is a function.
2. f idA idB f f3. (h g) f = h (g f)4. (g f)-1 = f-1 g-1
Special Kinds of Functions– Injective, Surjective,
Bijective– Theorems
• Preservation under ‘’.• On inverses
Multi-argument functions
![Page 37: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/37.jpg)
37
8. Operations on Functions.
A function is a (special) relation. A relation is a set (of ordered pairs). Therefore, all definitions and operations
on sets and relations are extended over to functions.
![Page 38: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/38.jpg)
38
8.1 Equality of Functions
Given 2 functions, f : A B, g : A B,
f = g iff f g and g f Or, in cases where y can be computed directly
from x:
f = g iff
xA, y1=f(x) y2=g(x) y1=y2
Which is equivalent to:
f = g iff xA, f(x) = g(x)
![Page 39: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/39.jpg)
39
8.2 Union, Intersection, Difference
Given 2 functions, f : A B, g : A B, f g, f g, fg are defined as accordingly in set theory (since functions are sets).…Or, in cases where y can be computed directly from x:– (fg)(x) = y iff y = f(x) or y g(x)
– (fg)(x) = y iff y = f(x) and y g(x)
– (fg)(x) = y iff y = f(x) and y g(x)
NOTE: f g, f g, fg need not necessarily be functions. At most, one can only conclude that f g, f g, fg are relations. In order to assert that they are functions, one must prove that the 2 conditions necessary for functions are true.
![Page 40: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/40.jpg)
40
8.2 Union, Intersection, Difference
Theorem: Given 2 functions f and g from A to B,1. If f g is a function, then f = g2. If f g is a function, then f = g3. If fg is a function, then f g =
Proof of (1): (Direct proof: f = g iff xA, f(x) = g(x)
A Bf
x
A Bg
x
A Bf g
x
y1
y2
y2
y1But fg is a function!
Defn:y1= (fg)(x) and y2= (fg)(x) then y1=y2.
![Page 41: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/41.jpg)
41
8.2 Union, Intersection, Difference
Theorem: Given 2 functions f and g from A to B,1. If f g is a function, then f = g2. If f g is a function, then f = g3. If fg is a function, then f g =
Proof of (1): (Direct proof: f = g iff xA, f(x) = g(x)Let xA.
Since f is a function, then y1B, y1= f(x), (x,y1)f
Since g is a function, then y2B, y2= g(x), (x,y2)g
Therefore (x,y1) f g and (x,y2) f g.
i.e. y1f g)(x) and y2 f g)(x)
But since fg is a function, then y1=y2 .
Therefore f(x) = g(x) (By definition of function equality)
![Page 42: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/42.jpg)
42
8.2 Union, Intersection, Difference
Theorem: Given 2 functions f and g from A to B,1. If f g is a function, then f = g2. If f g is a function, then f = g3. If fg is a function, then f g =
Proof of (3): (By contradiction)
A Bf g
x y
A B f
x y
A B g
x y
A B f-g
x
![Page 43: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/43.jpg)
43
8.2 Union, Intersection, Difference
Theorem: Given 2 functions f and g from A to B,1. If f g is a function, then f = g2. If f g is a function, then f = g3. If fg is a function, then f g =
Proof of (3): (By contradiction)
Assume that f g
Then by definition, (x,y) f g
That means that (x,y) f and (x,y) g
That means that (x,y) (f – g).
But f – g is a function! xA, yB, y = (f – g)(x). So there must be a (x,y) (f – g) =>
Contradiction!
Therefore f g .
![Page 44: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/44.jpg)
44
8.2 Union, Intersection, Difference
Theorem: Given 2 functions f and g from A to B,1. If f g is a function, then f = g2. If f g is a function, then f = g3. If fg is a function, then f g =
Proof of (2) left as an exercise
Similar to Proof of (1).
![Page 45: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/45.jpg)
45
8.3 Definition: Inverse of a function
Given a function, f : A B, the inverse of a function is defined in the same way as that of a relation:
f-1 = { (y,x) | (x,y) f }
NOTE: f-1 need not necessarily be a function. It is first and foremost, a relation. In order to assert that they are functions, one must prove that the 2 conditions necessary for functions are true. So
f-1 B x A
If f-1 is a function, then we write:
f-1 : B A
… and then say that:
f(x) = y iff f-1(y) = x
![Page 46: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/46.jpg)
46
8.3 Definition: Inverse of a function
Find the inverse of the function f(x) = (1+x)/(1-x).
Ans:– Let y = (1+x)/(1-x). Express x in terms of y.
– Therefore: y – yx = 1 + x
– Therefore: y – 1 = yx + x
– Therefore: x(y+1) = y–1
– Therefore: x = (y–1)/(y+1)
– Therefore: f-1(y) = (y–1)/(y+1)
– i.e. f-1(x) = (x–1)/(x+1)
![Page 47: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/47.jpg)
47
8.4 Definition: Composition of functions
Given 2 functions, f : A B, g : B C, then the composition of function ‘g o f’ is defined (in the same way as relation composition) as:
g o f = { (x,z) | yB, (x,y)f (y,z)g}
Or,
z = (g o f)(x) iff yB, y = f(x) z = g(y)
And since f and g are functions, y if it exists, must be unique. So:
(g o f)(x) = g(f(x))
![Page 48: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/48.jpg)
48
8.5 Properties of function composition
Given any functions, f : A B, g : B C, h : C D,1. g o f is a function. (o preserves function property)
2. f o idA idB o f f3. (h o g) o f = h o (g o f) (From relations: o is associative)4. (g o f)-1 = f-1 o g-1 (From relations)
Since a function is a relation, there’s no need to prove (3) and (4) since the properties of (3) and (4) are proven in the lecture on relations.
![Page 49: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/49.jpg)
49
8.5 Properties of function composition
Given any functions, f : A B, g : B C, h : C D,1. g o f is a function. ( o preserves function property)
2. f o idA idB o f f3. (h o g) o f = h o (g o f) (From relations: o is associative)4. (g o f)-1 = f-1 o g-1 (From relations)
Proof of (1): Let f : A B, g : B C. Is g o f a function?
Proof of condition 1: xA, zC, z = (g o f)(x) Let xA. Then yB, y = f(x) (Since f is a function) Also, zC, z = g(y) (Since g is a function) Therefore zC, z = g(f(x)) Therefore zC, z = (g o f)(x)
![Page 50: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/50.jpg)
50
8.5 Properties of function composition
Given any functions, f : A B, g : B C, h : C D,1. g o f is a function. (o preserves function property)
2. f o idA idB o f f3. (h o g) o f = h o (g o f) (From relations: o is associative)4. (g o f)-1 = f-1 o g-1 (From relations)
Proof of (1): Let f : A B, g : B C. Is g o f a function?
Proof of condition 2:
xA, z1=(g o f)(x) z2=(g o f)(x) z1=z2.
Let z1=(g o f)(x) z2=(g o f)(x)
z1=g(f(x)) z2=g(f(x)) (Defn of composition)
z1=g(y) z2=g(y) (Since f is a function)
z1=z2. (Since g is a function)Yes, g o f Is a function.
![Page 51: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/51.jpg)
51
8.5 Properties of function composition
Given any functions, f : A B, g : B C, h : C D,1. g o f is a function. (o preserves function property)2. f o idA idB o f f3. (h o g) o f = h o (g o f) (From relations: o is associative)4. (g o f)-1 = f-1 o g-1 (From relations)
Proof of (2):
(f o idA)(x) = f (idA(x)) (since aA, idA(a) = a)
= f(x)
(idB o f )(x)= idB(f(x)) (since bB, idB(b) = b)
= f(x)
Therefore f o idA idB o f f.
![Page 52: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/52.jpg)
52
Overview
Functions– Definition– Visualization Tool– Examples– Notation– Identity Function
Definitions– Domain, codomain,
range– Image, inverse image– Let f:A B and let S A
and T B.• S InvImgf(Imgf(S))
• Imgf(InvImgf(T)) T
Operations on Functions– Set related (,,):
1. If fg is a function, then f = g2. If fg is a function, then f = g3. If fg is a function, then fg=
– Inverse– Composition– Theorems
1. G o f is a function.
2. F o idA idB o f f3. (h o g) o f = h o (g o f)4. (g o f)-1 = f-1 o g-1
Special Kinds of Functions– Injective, Surjective,
Bijective– Theorems
• Preservation under ‘o’.• On inverses
Multi-argument functions
![Page 53: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/53.jpg)
53
9. Special Kinds of functions
Three types of functions:– Injective (1-1)– Surjective (onto)– Bijective (1-1 correspondence)
![Page 54: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/54.jpg)
54
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
A Bf
x1
x2
![Page 55: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/55.jpg)
55
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
A Bf
x1
x2
An element in B can only receive from at most one element in A.
![Page 56: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/56.jpg)
56
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
NOTE: This is different from saying:
x1,x2A, x1 = x2 f(x1) = f(x2)
A Bf
x1x2
![Page 57: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/57.jpg)
57
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
NOTE: This is different from saying:
x1,x2A, x1 = x2 f(x1) = f(x2)
A Bf
x1x2
An element in A can only send to at most one element in B.
(2nd cond of function)
![Page 58: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/58.jpg)
58
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
Q: Is f an injection?
A: No.
BA
x1
x2
f
Examples:
![Page 59: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/59.jpg)
59
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
Q: Is f an injection?
A: Yes.
A
x1
x2
Bf
Examples:
![Page 60: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/60.jpg)
60
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
Examples:
f : Z Z, f(x) = x2
Q: Is f an injection?
A: No.
A
1
-1
Bf
1F(1) = F(-1) but 1 -1
![Page 61: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/61.jpg)
61
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
Examples:
Q: Is f an injection?
A: No.
f : Z Z, f(x) =
x – 1 if x >= 0
x if x<0
A-2
Bf
0-1012
1
-1F(0) = F(-1) but 0 1
![Page 62: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/62.jpg)
62
9.1 Injective (1-1) Functions
Definition: Let f : A B. f is injective (or one-to-one) iff
x1,x2A, f(x1) = f(x2) x1 = x2
Examples:
f : Z Z, f(x) = 3x+2
Q: Is f an injection?
A: Yes. Proof:
Assume f(a) = f(b)3a+2 = 3b+2a=b A Bf
-1012
-1258
![Page 63: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/63.jpg)
63
9.2 Surjective (onto) Functions
Definition: Let f : A B. f is surjective (or onto) iff
yB, xA, f(x) = y
A B
f
Again, note that this is different from saying:
xA, yB, f(x) = y
(This is 1st condition of a function)
(“Every girl is loved by some boy”)
(“Every boy loves some girl”)
(Boys) (Girls)
![Page 64: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/64.jpg)
64
9.2 Surjective (onto) Functions
Definition: Let f : A B. f is surjective (or onto) iff
yB, xA, f(x) = y Or,
Codomain(f) = Range(f)
Q: Is f a surjection?
A: No.
Examples:
A
a
b
Bf
![Page 65: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/65.jpg)
65
9.2 Surjective (onto) Functions
Definition: Let f : A B. f is surjective (or onto) iff
yB, xA, f(x) = y Or,
Codomain(f) = Range(f)
Q: Is f a surjection?
A: Yes.
A
a
b
Bf
Examples:
![Page 66: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/66.jpg)
66
9.2 Surjective (onto) Functions
Definition: Let f : A B. f is surjective (or onto) iff
yB, xA, f(x) = y Or,
Codomain(f) = Range(f)
Examples:
f : Z Z, f(x) = x2
Q: Is f a surjection?
A: No.
yB, xA, f(x) y. Take y = -1.
-1?
![Page 67: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/67.jpg)
67
9.2 Surjective (onto) Functions
Definition: Let f : A B. f is surjective (or onto) iff
yB, xA, f(x) = y Or,
Codomain(f) = Range(f)
Examples:
f : Z Znonneg, f(x) = x2
Q: Is f a surjection?
A: No.
yB, xA, f(x) y. Take y = 3.
3?1
24
1
![Page 68: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/68.jpg)
68
9.2 Surjective (onto) Functions
Definition: Let f : A B. f is surjective (or onto) iff
yB, xA, f(x) = y Or,
Codomain(f) = Range(f)
Examples:
Q: Is f a surjection?
A: No.
yB, xA, f(x) y. Take y = 0.
0?-1
01
-1
f : Z Z, f(x) =x+1 if x>=0
x otherwise
![Page 69: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/69.jpg)
69
9.2 Surjective (onto) Functions
Definition: Let f : A B. f is surjective (or onto) iff
yB, xA, f(x) = y Or,
Codomain(f) = Range(f)
Examples:
f : R R, f(x) = 4x-1
Take any y, where y = 4x + 1.
There exist an x, where x = (y-1)/4 (which is in R)
Q: Is f a surjection?
A: Yes.
![Page 70: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/70.jpg)
70
9.2 Surjective (onto) Functions
Definition: Let f : A B. f is surjective (or onto) iff
yB, xA, f(x) = y Or,
Codomain(f) = Range(f)
Examples:
f : Z Z, f(x) = 4x-10?
-1
03
-5
yB, xA, f(x) y. Take y = 0.
Q: Is f a surjection?
A: No.
![Page 71: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/71.jpg)
71
9.2 Surjective (onto) Functions
Application– Pigeon-Hole Principle (Later)– Hashing
• Static Hashing• Dynamic Hashing
– Linear Hashing– Extendible Hashing
(Database Management Systems Course)
![Page 72: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/72.jpg)
72
9.3 Bijective Functions
Definition: Let f : A B. f is bijective (or 1-1 correspondence) iff– f is injective (1-1); and– f is surjective (onto)
Not injective, Not surjective
Injective, but not surjective
Not injective, but surjective
Injective AND surjective = bijective
![Page 73: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/73.jpg)
73
9.3 Bijective Functions
Application:– Cardinality (Next lecture)
![Page 74: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/74.jpg)
74
9.4.1 Theorem (preservation under composition)
Theorem (preservation under composition): Given f : AB and g : BC,
1. If f and g are injective, then (g o f) is injective.
2. If f and g are surjective, then (g o f) is surjective.
3. If f and g are bijective, then (g o f) is bijective.
4. The converse of the above 3 statements is not true
Proof of (1): x1,x2A, (g o f)(x1) = (g o f)(x2) x1 = x2
(g o f)(x1) = (g o f)(x2)g(f(x1))= g(f(x2)) (By defn of composition)f(x1) = f(x2) (Since g is injective)x1 = x2 (Since f is injective)
![Page 75: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/75.jpg)
75
9.4.1 Theorem (preservation under composition)
Theorem (preservation under composition): Given f : AB and g : BC,
1. If f and g are injective, then (g o f) is injective.
2. If f and g are surjective, then (g o f) is surjective.
3. If f and g are bijective, then (g o f) is bijective.
4. The converse of the above 3 statements is not true
f g
g o f
Converse of (1) is not true.
g o f is injective.
But g is not injective.
![Page 76: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/76.jpg)
76
9.4.1 Theorem (preservation under composition)
Theorem (preservation under composition): Given f : AB and g : BC,
1. If f and g are injective, then (g o f) is injective.
2. If f and g are surjective, then (g o f) is surjective.
3. If f and g are bijective, then (g o f) is bijective.
4. The converse of the above 3 statements is not true
Proof of (2): (cC, aA, (g o f)(a) = c)
Let cC
Since g is surjective, then bB, g(b) = c
Since f is surjective, then aA, f(a) = b
Therefore aA, bB, f(a) = b and g(b) = c
Therefore aA, g(f(a)) = c
Therefore aA, (g o f)(a) = c
![Page 77: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/77.jpg)
77
9.4.1 Theorem (preservation under composition)
Theorem (preservation under composition): Given f : AB and g : BC,
1. If f and g are injective, then (g o f) is injective.
2. If f and g are surjective, then (g o f) is surjective.
3. If f and g are bijective, then (g o f) is bijective.
4. The converse of the above 3 statements is not true
f g
g o f
Converse of (2) is not true.
g o f is surjective
But f is not surjective.
![Page 78: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/78.jpg)
78
9.4.1 Theorem (preservation under composition)
Theorem (preservation under composition): Given f : AB and g : BC,
1. If f and g are injective, then (g o f) is injective.
2. If f and g are surjective, then (g o f) is surjective.
3. If f and g are bijective, then (g o f) is bijective.
4. The converse of the above 3 statements is not true
Proof of (3):
Since f and g are both bijective, then by definition, f and g are both injective and surjective.
By previous two theorems, g o f is injective.and also g o f is surjective
Therefore, g o f is bijective.
(The converse is not true. It follows from the previous 2 counter-examples.)
![Page 79: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/79.jpg)
79
9.4.2 Theorem (On inverses)
Theorem: Given f : A B,
If f is a bijection, then f-1 is a function from B to A.
Proof:
(a) To show 1st condition: Every element in B must map to some element in A.
Assume any y B,
Since f is surjective (due to the fact that f is bijective), then xA such that f(x) = y.
So xA such that x = f-1(y)
A B
![Page 80: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/80.jpg)
80
9.4.2 Theorem (On inverses)
Theorem: Given f : A B,
If f is a bijection, then f-1 is a function from B to A.
Proof:
(b) To show 2nd condition: An element in B must map to at most one element in A.
Assume f-1(y) = x1 and f-1(y) = x2
Then f(x1) = y and f(x2) = y
Since f is injective (due to the fact that f is bijective), then x1 = x2
A B
![Page 81: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/81.jpg)
81
9.4.3 Theorem (On inverses)Theorem: Given f : A B,
1. If f is a bijection, then f-1 is a bijection.2. If f is a bijection, then
a. f-1 o f = idA
b. f o f-1 = idB
Proof of (1):
(a) To show is f-1 injective (1-1)
Assume f-1(y1) = f-1(y2) = x
Then x = f-1(y1) and x = f-1(y2)
Therefore f(x) = y1 and f(x) = y2
Therefore y1 = y2 (Since f is a function)
![Page 82: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/82.jpg)
82
9.4.3 Theorem (On inverses)Theorem: Given f : A B,
1. If f is a bijection, then f-1 is a bijection.2. If f is a bijection, then
a. f-1 o f = idA
b. f o f-1 = idB
Proof of (1):
(b) To show is f-1 surjective (onto)
(aA, bB, f-1(b) = a)
Assume aA
Since f is a function, therefore bB, f(a) = b
bB, f-1(b) = a.
![Page 83: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/83.jpg)
83
9.4.3 Theorem (On inverses)Theorem: Given f : A B,
1. If f is a bijection, then f-1 is a bijection.2. If f is a bijection, then
a. f-1 o f = idA
b. f o f-1 = idB
Proof of (2a):
(f-1 o f)(x) = f-1(f(x))
Let x’ = f-1(f(x)).
Then f(x’) = f(x) (Since f-1(b) = a iff f(a) = b)
So x’ = x (Since f is a bijection)
Therefore x = f-1(f(x)). Meaning that: (f-1 o f)(x) = x.
So f-1 o f = idA
![Page 84: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/84.jpg)
84
9.4.3 Theorem (On inverses)Theorem: Given f : A B,
1. If f is a bijection, then f-1 is a bijection.2. If f is a bijection, then
a. f-1 o f = idA
b. f o f-1 = idB
Proof of (2b):
(f o f-1)(x) = f (f-1(x))
Let y’ = f (f-1(y)).
Then f-1(y) = f-1(y’) (Since f-1(b) = a iff f(a) = b)
So y = y’ (Since f-1 is a bijection)
Therefore y = f (f-1(y)). Meaning that: (f o f-1)(y) = y.
So f o f-1 = idB
![Page 85: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/85.jpg)
85
10. Multi-argument functions
In general, a function can take in more than 1 argument.
f : (A x B) C Example:
f : (Z x Z) Z , where f(x,y) = 2x + 3y f is a function:
– Condition 1: Every element in (Z x Z) is mapped to some element in Z.
– Condition 2: The mapping is a unqiue mapping: if f(x,y) = j and f(x,y) = k, then it must be true that j = k.
![Page 86: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/86.jpg)
86
10. Multi-argument functions
Example:
f : (Z x Z) Z , where f(x,y) = 2x + 3y
(0,0)(0,1)(1,0)
(0,-1)
123
0-1-2
![Page 87: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/87.jpg)
87
10. Multi-argument functions
Multi-argument functions can be expressed as functions to functions.
Example:
f : Z (Z Z) , where f x y = 2x + 3y
012
-1 01
-103
-3
01
-125
-1
![Page 88: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/88.jpg)
88
10. Multi-argument functions
Multi-argument functions can be expressed as functions to functions.
Example:
f : Z (Z Z) , where f x y = 2x + 3y
The result of a applying a function to an argument is another function!!!
Expressing multi-argument functions in this way is known as ‘currying’.
Taught in courses on programming language theory
![Page 89: 1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)](https://reader035.fdocuments.net/reader035/viewer/2022062803/56649f035503460f94c17648/html5/thumbnails/89.jpg)
89
End of Lecture