READING: II §1 F3 and F4
Back to reading:
II preview
begin quote ita"
CHAPTER II [:]
The Real Number System
[...] §1. THE FIELD PROPERTIES.
"end quote
Please get the book and read along.
topic index
contents
F3 AND F4: UNIQUE SOLUTIONS TO x + a = b AND xa = b
Rosenlicht uses the usual convention that xa means x times a. The table immediately below shows a summary of his results. In order to combine the proofs into a single proof, I have excluded in F3 the case where a is zero. This case can be done separately at the end.
F3  if :  then :  x is the unique real number ba  and  
F4  if :  then :  x is the unique real number b/a  and 
Define:  to be  
Define: 

to be 

I would like to use the symbol for multiplication. Therefore, the second equation above will be xa = b. I want to do this because the two proofs are the same if we have a symbol that can stand for either addition or multiplication, and for that purpose I would like to combine the two symbols inside a circle: . Here is a larger version that makes it more obvious what is intended:
When this symbol is encountered, it can be read either as "plus" or as "times". Then the single proof below gives the two proofs with these two readings of the symbol. However, the economy of having one proof is not my main reason for doing this. Instead, I want to emphasize something about the neutral elements and inverses: The numbers 0 and 1 are very familiar, but at this point in the logical development they are just symbols for the neutral elements which we have postulated. A similar remark, applies to a and a. They are just symbols for the additive and multiplicative inverses, and this means they should give us no discomfort: We will develop negative numbers and fractions and powers later. Using the combined "plus times" symbol forces us to introduce combined symbols for the neutral elements and inverses. I will use Neu and Inv(a) as shown below. Remember: 0 and 1 are the only numbers we have so far, and a and a are just symbols for the additive and multiplicative inverses.
Neu  = 

,  Inv(a)  = 


The proof uses the fundamental argument form of mathematical logic that is called modus ponens. According to the Oxford English Dictionary, this is "The rule of logic which states that if a conditional statement if p then q is accepted, and the antecedent p holds, then the consequent q may be inferred". Using R to represent the set of real numbers, we show that
if xR and xa = b then x = bInv(a)
=  

=  b Inv(a)  Existence of inverses and nature of + and as functions 
x ( aInv(a) )  =  

=  
= 
And the conditional is proven.
Next, we verify that the real number b Inv(a) is a solution of the equation xa = b.
( bInv(a) ) a  
b ( Inv(a)a )  


Existence of neutral elements 
And this completes the proof.

Exercise: Rewrite twice the expressions in the two tables immediately above. First, replace by + and replace Neu and Inv(a) by their appropriate values. Second, replace by and again replace Neu and Inv(a) by their appropriate values. Note that you may need to adjust the use of parenthesis. For example, bInv(a) can become b + a which is better written as b + (a).