Is this function surjective or injective? I have the following function f : <mrow class="

hushjelpw4

hushjelpw4

Answered question

2022-05-29

Is this function surjective or injective?
I have the following function f : Z × N Q , f ( m , n ) = m / n. Is this function injective or surjective? How can I prove it? I'm new to discrete maths so please bear with me.

Answer & Explanation

Haleigh Vega

Haleigh Vega

Beginner2022-05-30Added 13 answers

Step 1
To prove surjection, we must show that for every element of the codomain, the function maps at least one element of the domain to it. It then suffices to show that given any arbitrary element q Q , we can produce an element ( m , n ) Z × N such that f ( m , n ) = q.
Proof: Let q Q , then by definition q = a b for some a , b Z ( b 0 ) . If b > 0, let m = a and n = b. Then clearly m Z and n N so we will have f ( m , n ) = f ( a , b ) = a b = q as desired. Otherwise if b < 0 let m = a and n = b, then we will have m Z and n N f ( m , n ) = f ( a , b ) = a b = a b = q, as desired.
Step 2
Now to prove f is injective, we must consider whether each element of the domain is mapped by the function to no more than 1 element of the codomain. To show that f is not injective, it suffices then to find one counter example of two elements in the domain which f maps to the same element of the codomain. This simply takes some guess and check, and there are usually many possible examples.
Proof: Consider ( 2 , 3 ) , ( 4 , 6 ) Z × N . Then we have, f ( 2 , 3 ) = 2 3 = 4 6 = f ( 4 , 6 ).
Since ( 2 , 3 ) ( 4 , 6 ) but f ( 2 , 3 ) = f ( 4 , 6 ) conclude f is not injective.
Avah Knapp

Avah Knapp

Beginner2022-05-31Added 6 answers

Step 1
First of all, recall the meaning of injective and surjective
1. Surjective means that the image of the function is the entire codomain (in your case Q)Injective means there are not two elements in the domain of the function for which map to the same point of the codomain.
2. Injective means there are not two elements in the domain of the function for which map to the same point of the codomain.
Step 2
Your function is surjective and not injective.
1. It's surjective because every rational number can be represented by an integer divided by a natural number
It's not injective because 1 / 2 = 2 / 4 f ( 1 , 2 ) = f ( 2 , 4 ), but (1,2) and (2,4) are different points in Z × N .

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?