I wanted to ask here if this proving process were correct: f(a)= a div d

driliwra7

driliwra7

Answered question

2022-09-07

I wanted to ask here if this proving process were correct:
f ( a ) = a div d
We must show this is an onto function
If it is onto, then y in the codomain, a in the domain such that f ( a ) = y
Consider an arbitrary y in the codomain. We know that f ( a ) = y if and only if a div d = y.
a div d = y implies that a = d y + r .
But then f ( d y + r ) = y because:
f ( d y + r )= ( d y + r ) div d meanining that
d y + r = d q + k where q= ( d y + r ) div d
Now since a = d y + r, a mod d is equal to ( d y + r ) mod d so k = r
This means that:
d y + r = d q + r, so the quotient q of d y + r is y. But then f ( d y + r ) = y, so for an arbitray y, there is an element d y + r in the domain such that f ( d y + r ) is y, as we wanted to show.

Answer & Explanation

Teagan Sutton

Teagan Sutton

Beginner2022-09-08Added 12 answers

Step 1
Your reasoning (insofar as I can understand it) is circular. First you say
𝑎  div  𝑑 = 𝑦  implies that  𝑎 = 𝑑 𝑦 + 𝑟
without specifying any particular a whose existence you want to prove.
Step 2
Then you end with
 for an arbitrary  𝑦 ,  there is an element  𝑑 𝑦 + 𝑟
but you never did actually point out such an element.
Here's a hint. What is the remainder when you divide a = 3 by d = 7?

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?