Prove that the function f:ZxZ -> ZxZ defined by f(x,y) = (2x+y,x+y) is a bijetion.

Here, we must remember the definition of a bijection. To be bijective, a function must be both injective and surjective. For a function to be injective, we must have that f(a) = f(b) implies that a = b. For a function to be surjective, we must have that for all elements of the range (right hand side), there is an element of the domain (left hand side) that is sent to it by the function.

So, let's start by showing injectivity. We take two pairs (p,q) and (r,s) such that f(p,q) = f(r,s).

We have 2p + q = 2r + s (1) and p + q = r + s (2). I have labelled them (1) and (2) for convenience. Now we look at (1) - (2), and get p = r. Applying this to equation (2), q = s. Therefore, (p,q) = (r,s), our function is injective.

Next, we must consider surjectivity. Let us take a point (a,b) in Z x Z. If 2x + y = a and x + y = b, then as before we can find that x = a - b and y = 2b - a. Therefore, for any a and b in Z x Z, we have found values of x and y that map to it. Since a and b are integers, x and y must also be integers. Therefore our function is surjective as required.

Combining the two results, we have that the function is bijective.

Felix S. IB Maths tutor, 11 Plus Maths tutor, GCSE Maths tutor, 13 pl...

6 months ago

Answered by Felix, an IB Further Mathematics tutor with MyTutor

Still stuck? Get one-to-one help from a personally interviewed subject specialist


£22 /hr

Hanumanth Srikar K.

Degree: Maths and Economics (Bachelors) - LSE University

Subjects offered: Further Mathematics , Maths+ 3 more

Further Mathematics

“Hanumanth Srikar Karri - London School of Economics”

£20 /hr

Oliver T.

Degree: Mathematics (Masters) - Edinburgh University

Subjects offered: Further Mathematics , Maths

Further Mathematics

“Hello! I'm currently a 2nd year Mathematics student at the University of Edinburgh with a sturdy passion for all things Mathematics. Not only do I love Maths, I love teaching Maths and helping people with problems. In particular, I en...”

£20 /hr

Szymon K.

Degree: Mechanical Engineering (Masters) - Manchester University

Subjects offered: Further Mathematics , Physics+ 1 more

Further Mathematics

“About me: I am a student pursuing my degree in Mechanical Engineering at the University of Manchester. Ever since I can remember I have always been passionate about passing my knowledge to others. As a tutor I taught people of differen...”

About the author

Felix S.

Currently unavailable: for new students

Degree: Mathematics (Masters) - Warwick University

Subjects offered: Further Mathematics , Maths

Further Mathematics

“About me: Hi, I'm Felix and I'm currently studying for a Mathematics degree at Warwick University. I am very keen to show people not just how to pass maths exams, but how to actuallyenjoy the subject too! I got A* in GCSE Maths and th...”

You may also like...

Posts by Felix

Express 0.545454... as a fraction in its simplest form.

Given a^2 < 4 and a+2b = 8. Work out the range of possible values of b. Give your answer as an inequality.

Prove that the function f:ZxZ -> ZxZ defined by f(x,y) = (2x+y,x+y) is a bijetion.

Sunita has 75 pens and she ties them into bundles of 8. How many pens does she have left over?

Other IB Further Mathematics questions

Prove that the function f:ZxZ -> ZxZ defined by f(x,y) = (2x+y,x+y) is a bijetion.

Prove that i^i is real.

Use l’Hôpital’s rule to find lim(csc(x) - cot(x)) as x -> 0.

View IB Further Mathematics tutors


We use cookies to improve our service. By continuing to use this website, we'll assume that you're OK with this. Dismiss