10 CHAPTER 2. THE REAL AND COMPLEX NUMBERS

These axioms are known as the field axioms and any set (there are many others besidesR) which has two such operations satisfying the above axioms is called a field. Divisionand subtraction are defined in the usual way by x− y ≡ x+(−y) and x/y ≡ x

(y−1). It is

assumed that the reader is completely familiar with these axioms in the sense that he orshe can do the usual algebraic manipulations taught in high school and junior high algebracourses. The axioms listed above are just a careful statement of exactly what is necessaryto make the usual algebraic manipulations valid. A word of advice regarding divisionand subtraction is in order here. Whenever you feel a little confused about an algebraicexpression which involves division or subtraction, think of division as multiplication by themultiplicative inverse as just indicated and think of subtraction as addition of the additiveinverse. Thus, when you see x/y, think x

(y−1)

and when you see x− y, think x+(−y) .In many cases the source of confusion will disappear almost magically. The reason forthis is that subtraction and division do not satisfy the associative law. This means thereis a natural ambiguity in an expression like 6− 3− 4. Do you mean (6−3)− 4 = −1 or6− (3−4) = 6− (−1) = 7? It makes a difference doesn’t it? However, the so calledbinary operations of addition and multiplication are associative and so no such confusionwill occur. It is conventional to simply do the operations in order of appearance readingfrom left to right. Thus, if you see 6−3−4, you would normally interpret it as the first ofthe above alternatives. This is no problem for English speakers, but what if you grew upspeaking Hebrew or Arabic in which you read from right to left?

In the first part of the following theorem, the claim is made that the additive inverse andthe multiplicative inverse are unique. This means that for a given number, only one numberhas the property that it is an additive inverse and that, given a nonzero number, only onenumber has the property that it is a multiplicative inverse. The significance of this is that ifyou are wondering if a given number is the additive inverse of a given number, all you haveto do is to check and see if it acts like one.

Theorem 2.1.10 The above axioms imply the following.

1. The multiplicative inverse and additive inverses are unique.

2. 0x = 0, −(−x) = x,

3. (−1)(−1) = 1, (−1)x =−x

4. If xy = 0 then either x = 0 or y = 0.

Proof: Suppose then that x is a real number and that x+y = 0 = x+ z. It is necessary toverify y = z. From the above axioms, there exists an additive inverse, −x for x. Therefore,

−x+0 = (−x)+(x+ y) = (−x)+(x+ z)

and so by the associative law for addition,

((−x)+ x)+ y = ((−x)+ x)+ z

which implies 0+ y = 0+ z. Now by the definition of the additive identity, this impliesy = z. You should prove the multiplicative inverse is unique.

Consider 2. It is desired to verify 0x = 0. From the definition of the additive identityand the distributive law it follows that

0x = (0+0)x = 0x+0x.