1
$\begingroup$

We will define the relation ~ on $\mathbb N \times \mathbb N$ by $(a,b)\sim (c,d)$ iff $a + d = b + c$.

Prove that the operation given by: $[(a,b)][(c,d)] \stackrel{\text{def}}= [(ac + bd, ad + bc)]$ is well-defined.

My attempt at this proof:

Let $(a,b)$ and $(a',b')$ be elements of $[(a,b)]$, and similarly, $(c,d)$ and $(c',d')$ be elements of $[(c,d)]$.

My guess is that we need to show that:

$(a'c' + b'd', a'd' + b'c')$ is an element of $[(ac + bd, ad + bc)]$.

So we know the following:

$$aa' + bb' = ab' + ba' \\ cc' + dd' = cd' + bc'$$

But now I'm wondering what to work with. It would be great if someone could give some assistance. Thank you!

Edit: I am also seeking assistance on the following problems:

Q: Prove that $\mathbb N \times \mathbb N$/~ contains an additive identity, i.e. find an element [(i, j)] ∈ $\mathbb N \times \mathbb N$/~ with the property that

$$[(i,j)] + [(c,d)] = [(c,d)] $$

Q: Prove that every element of $\mathbb N \times \mathbb N$/~ has an additive inverse, i.e. for any $[(a,b)] \in \mathbb N \times \mathbb N/~$, show that there exists $[(c,d)] \in \mathbb N \times \mathbb N/~$ such that

$$[(a,b)] + [(c,d)] = [(i,j)]$$ where [(i,j)] is the additive identity.

1 Answers 1

1

What is it all about? We want to introduce the negative numbers, constructed somehow using only the naturals. An integer is represented by $(a,b)$ and it wants to be $a-b$ which not necessarily exist yet (in $\mathbb N$), and now we are only allowed to use $+$ and natural numbers.

How did you get the last 2 equations? They should be $a+b' = b+a'$ and $c+d' = d+c'$..

When $(a,b)\sim(a',b')$, either $a\le a'$ or $a'

First assume that $C:=(c,d)$ is fixed, and $A:=(a,b)\sim (a',b')=:A'$, then show that $AC\sim A'C$. Finally this same step applies for $A'C\sim A'C'$.

For the rest two questions, guess what integers are represented by the following pairs: $(149,149)$, $(2,7)$, $(7,2)$.. hope it helps

  • 0
    Makes sense, thank you. Would you be able to assist on the other 2 questions?2012-10-07
  • 0
    just post them..2012-10-07
  • 0
    Dear Berci, they're in this thread. (under the edit). Thank you.2012-10-07
  • 0
    ..well.. I would suggest to start them by yourself. Have any ideas? Guess, what could be an $(i,j)$ for the unit of +? What could be the additive inverse of an $(a,b)$?2012-10-07
  • 0
    The way I thought of it so far is that: The element [(i,j)] can be thought of "zero" and the element [(c,d)] can be thought of -[(a,b)].2012-10-07
  • 1
    Yes. But, what $(i,j)$ pairs represent zero, and, for $(a,b)$, what pair represents "$-(a,b)$"? Note that we still don't have $-$ yet. For example, what integer does $(2,7)$ represent?2012-10-07
  • 0
    I'm not quite sure what (2,7) represents as an integer.2012-10-07
  • 0
    Aha.. Please reread the first half of the 3rd sentence of my answer above, and then retry. Don't be afraid if it's *too easy*.. :)2012-10-07
  • 0
    So (149, 149) would imply 0 since 149 - 149 = 0? Does that imply (i, i) or (j, j) represent zero? for (a,b), would (b,a) represent -(a,b) since a - b = - (b - a)?2012-10-07
  • 0
    That's it, exactly. I would say 'represents' instead of 'implies', though.. Any pair $(n,n)$ represents the zero (you can check that they all $\sim$ with each other), and the additive inverse of $(a,b)$ is $(b,a)$, because their sum represents zero..2012-10-07
  • 0
    Thank you for the assistance again, Berci!2012-10-07