| Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
|
|||||
| First Prev [ 1 2 ] Next Last |
If both numbers are of the same sign, the result is positive (even if they are both negative):
In a similar manner to rational numbers, we can extend the natural numbers N to the integers Z by defining integers as an ordered pair of natural numbers (a, b). We can extend addition and multiplication to these pairs with the following rules:
We define an equivalence relation ~ upon these pairs with the following rule:
This equivalence relation is compatible with the addition and multiplication defined above, and we may define Z to be the quotient set N2/~, i.e. we identify two pairs (a, b) and (c, d) if they are equivalent in the above sense.
We can also define a total order on Z by writing
This will lead to an additive zero of the form (a, a), an additive inverse of (a, b) of the form (b, a), a multiplicative unit of the form (a+1, a), and a definition of subtraction