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...

10 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


£30 /hr

Michelangelo M.

Degree: MMath Mathematics with Placement (Masters) - Bath University

Subjects offered:Further Mathematics , Maths+ 4 more

Further Mathematics

“Mathematics student at the University of Bath, willing to help you love this subject and improve your grades.”

£30 /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...”

£26 /hr

Tadas T.

Degree: MMathPhil Mathematics and Philosophy (Bachelors) - Oxford, St Anne's College University

Subjects offered:Further Mathematics , Maths+ 3 more

Further Mathematics
-Personal Statements-
-Oxbridge Preparation-

“University of Oxford Maths and Philosophy student happy to help students learn and stay motivated!”

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.

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

Prove that i^i is real.

View IB Further Mathematics tutors

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