THere is a proof that integers can be constructed from the natural numbers

by identifying Z witht he quotient set NxN/~.

Can anyone help with this proof??

Printable View

- May 21st 2005, 02:10 AMzeenatural numbers...
THere is a proof that integers can be constructed from the natural numbers

by identifying Z witht he quotient set NxN/~.

Can anyone help with this proof?? - Dec 27th 2014, 07:10 AMRebesquesRe: natural numbers...
You can define a relation on by .

Prove that is an equivalence relation (how?).

The equivalence classes for now form a group, which is isomorphic to the integers, with the (class independent- prove it for fun) operation . - Dec 27th 2014, 07:19 AMHallsofIvyRe: natural numbers...
Note that we can think of the "natural numbers" as a subset of the integers, defined in this way, by associating the natural number n with the class containing the pair (a, a+ n). The number "0" is then the class containing (n, n) for all natural numbers n.