Determine whether f : Z x Z --> Z is onto if f (m, n) = m + n + 1. Two parts: first, prove or disprove the function is one-to-one AND second, prove or disprove the function is onto.
Hi Haichi
Injective f(a,b)=f(c,b) see if you have a=c and b=d If you do then it is injective.
Hello, sorry I was away from the computer
how do I prove if it is one to one function?
basically we want to suppose f(a,b)=f(c,d) and if we show (a,b)=(c,d) then we have shown it is injection . Or we can try to think of an example that shows it isn't injective. Can you think of (a,b) not equal to (c,d) such that f(a,b) equal f(c,d)
f (m, n) = m + n + 1? how do I use (a,b) = (c,d) equation?
f(a,b)=f(c,d) a+b+1=c+d+1 a+b=c+d Does this imply a=c and b=d? Well it could actually imply the other way around couldn't it? a=d and b=c So maybe we can try to think of a counterexample: think of choosing one where a=d and b=c
(a,b) is what we are plugging in (c,d) is what we are plugging in
oh ok so any integer will match?
I'm saying you can provide a counterexample to the injective part
And I gave you a hint as to what to pick
that will only work if I pick one integer for all a,b,c,d?
I will copy what I pasted above: "So maybe we can try to think of a counterexample: think of choosing one where a=d and b=c"
I am sorry. I dont know what counterexample to use for this question
I'm asking you to think of one where a=d and b=c
to prove that it is incorrect?
We are proving this it is not injective.
Because we can show that (a,b) not equal to (c,d) implies f(a,b)=f(c,d) for some values a,b,c, and d.
so if i want a=d and b=c I will randomly select two points such that that happens (4,3) and (3,4)
now what is f(4,3) and what is f(3,4)?
right so it is not injective?
im sorry im not sure what you're asking
remember that f(m,n)=m+n+1?
ok so that is not one to one function?
Right because we were about to find (a,b) not equal (c,d) such that f(a,b)=f(c,d)
(3,4) doesn't equal (4,3) but f(3,4)=f(4,3)=8
That is called a counterexample
ok what about onto function?
You want to suppose b is an element of the codomain which happens to be the set of integers in this case. You want to prove there exists (m,n) in the ZxZ for which f(m,n)=b
f(m,n)=m+n+1=b We want to chose an m and n such that does =b
I will let you choose m and n such that when you simplify m+n+1 you get b
b would be in co domain? does it have to match domain numbers?
what does that mean exactly?
if (m,n) is in domain and m + n +1 is in codomain, these wont match?
sorry im just confused lol
I kinda don't understand what you say saying exactly I'm just asking you to choose an m and n such that when simplify m+n+1 you get b
if I chose (3,2) and b would be 6?
well the problem with that is you aren't showing you get all the integers
that would be 5 = 6 in form of (m,n) = m + n + 1?
m+n+1=b solving for either m or n m=b-n-1 So I will choose m=b-n-1 and n=n so f(b-n-1,n)=(b-n-1)+n+1=b so this shows that every element of the codomain does get hit Therefore the function is surjective
f(b-n-1,n)=(b-n-1)+n+1=b ?
-n+n=0 -1+1=0 only thing left is b
how do you know the difference between injective and surjective?
I understand them by the diagrams but not in the equations
f:A->B injective: For every x,y in A..if x does not equal y then f(x) does not equal f(y) --as you seen we found a counterexample for this above. we found x does not equal y such that we had f(x) equals f(y) surjective: If for every b in B there is a in A with f(a)=b ---This is an exisential proof. All we have to is find an element a in the domain such that we get f(a)=b where b represents every element of the codomain B. m and n were both integers b was an integer choosing m to b-n-1 was fine because b-n-1 is also an integer for any integer b b is an integer the set of integers is closed under addition/subtraction
Ok, i think I get it. Thank you for your help!
So in others words for this problem that wasn't the only way to choose m and n.
we could have chose to left m as is and to select n as b-m-1
of we could have even chose m as 0 and n as b-1
or chose m as b-1 and n as 0
We just needed to show we get every element of the codomain
for the surjective part
Ok I think I understand it now. Thank you!
Join our real-time social learning platform and learn together with your friends!