MAT102 Lecture 11B
- 05FunctionIExercises_Student.pdf
- In class exercise
- If
how is related to - Is one a subset of another?
- Are they equal?
- I know that the image of the set is like the range
- The pre-image is anything that maps to an element in it.
does not necessarily mean - Why:
- If the function isn't injective, there's a value missed from
which doesn't map to
- If the function isn't injective, there's a value missed from
- Proof:
- Let
- The output of
- Let
- Solution:
- Example:
- Claim:
- If
and - Then
- Subset Inclusion
- Let
- Now we want to show that
- If
then will be true.
- Let
when is injective - If not, then when we do the pre-image, there can be something else mapping to the same output.
- If
- Example:
- Theorem:
- Let
- #tk term test 1 would be questions until this
is injective , - If
is injective, then - The image of the entire domain is the codomain
- Let
- Now we want to show that
- If
then will be true.
- Let
- Let
so at least it would be - so
- Let
- If
#tk - Contrapositive
is injective , - Contrapositive
, is not injective - This is essentially surjectivity, we're saying that there is an element of the pre-image of the image where it maps to an element that wasn't in the image.
- Solution:
- Suppose
is injective - To show equality, we'll show that
- Since the other inclusion is already proven.
- Let
- Since
is in that set. - Then
- Can't use injectivity yet
- So there
- Since
is injective, if we have two outputs equal, the inputs are equal so
- Let
- Suppose
- Let
- 1
- a
- This is any
, we want it to be in both. left=-0.5; right=10; top=10; bottom=-0.5; --- y=0|dashed (0,1) (1,1) (2,1) (3,1) (4,1) (5,1) (6,1) (7,1) (8,1) (9,1) (10,1) (-1,1)
- b
- A line at
with this restriction on it's domain left=-3; right=10; top=10; bottom=-0.5; --- y=1|-2<=x<=0 y=1|1<=x<=2 y=0|x<=-2 y=0|0<=x<=1 y=0|1<=x
- c
- Two finely dotted lines
- Essentially two lines
left=-3; right=10; top=10; bottom=-0.5; --- y=1 y=0
- a
- 2
- If
is the characteristic function of… - Since
if - then
is anything in
- If
- 3
- 4
is a universe of discourse be the set of all functions on that map onto - Define
by - Show that
is a bijection - Injectivity:
- To show injectivity, if we have two outputs being equal then the inputs are equal
- Choose
and - Since these functions are equal by assumption.
- and
- So we're done.
- Choose
- Choose
and - Assumption functions are equal
because - Functions are equal so,
as well.
- Choose
- This means
so this is injective - Solution:
- Assume
and - Show that
- So
- Let
- So
- This shows us that
- So
- Let
- Assume
- Surjectivity: #tk
- Fix
and show that there's always a solution - Definition
- That means there is some set
or - Where it maps to
as - Pick
as our set in the domain. - If I take the characteristic set of
, I get . - Otherwise as
- Get the pre-image as
- Show that
- If
- then we get
from
- then we get
- We get
from
- We get
- That means there is some set
- It's a bijection
- Fix