Real Analysis – Basics
— Introduction —
Physics is the name of the game we’ll be playing in this blog. And for one to know and understand Physics, one has to know and understand some Mathematics. We’ll start things off with Calculus (Real Analysis) because it is the cornerstone of Physics.
Topics that will be dealt with will be the Axioms of the Real numbers, the notion of limit and limits per se, Differential Calculus, Integral Calculus, and Series.
At this point I still don’t know the precise order this topics will be dealt with (the main problem is where should we study Series) but all of these things will appear.
Please see this link because mathematical symbols will be used a lot on this blog and I want you to be able to follow things through. At first a more verbal approach will be used but gradually mathematical stenography will appear more and more.
— 1. Field Axioms —
First of all let us assume the existence of a set of Real numbers, which we denote by the symbol in which two operations are defined. These operations are the addition operation, and the multiplication operation.
Let us also suppose that there exists a subset of which we’ll call the set of the positive numbers, and denote by . These four terms will be taken as primitive concepts (also called undefined terms).
Axiom 1 Addition and multiplication are commutative
That is, for every , and belonging to it is and . Where denotes the addition operation and denotes the multiplication operation. 
Axiom 2
Addition and multiplication are associative That is, for every , , and belonging to it is and 
Axiom 3
Multiplication is distributive in relation to addition For every , , and belonging to it is 
A few remarks are now in order. First of all let us note that because of Axiom 1 we can prove that each one of these neutral elements is unique in . Let us do it in the case of the multiplication (the addition case has a perfectly analogous proof) operation.
What we are trying to prove is: if we assume that we have two neutral elements, and for the multiplication operation they are one and the same. So here it goes:
(so in particular the equation is valid for and so ) and (so in particular this equation is valid for and so ).
Thus and . But considering Axiom 1 multiplication is commutative and so . Hence .
Please note the crucial point that Axiom 1 had in this proof. Thinking a little bit more we can see that whenever addition and multiplication are commutative in a given field we have an unique neutral element. For noncommuting fields things need not to be so.
After proving the unicity of both neutral elements and taking into account Axiom 4 (which states that the two neutral elements are distinct) we can now make some new definitions.
Definition 1 The neutral element of addition will be called zero and denoted by the symbol . To the neutral element of multiplication we will call one and denote it by the symbol . 
We will now introduce a further axiom and some more results.
Axiom 5
Following definition 1

From the previous axiom follows:
 The element is called the additive inverse of ( or opposite ) and it is easy to prove its unicity.
Let us suppose that we have and for which and are valid equalities.
But
Where Axiom 4 ; definition 1; Axiom 2; Axiom 1, Axiom 4 and definition 1; Axiom 2 and Axiom 4 were used respectively.
Thus there is only one opposite to every real number.
After proving the unicity of the opposite in the addition operation it is possible for us to denote the symmetric of by the symbol so that it is .
 is called the multiplicative inverse, or the reciprocal, of . In an analogous manner that we proved that the opposite is unique we can also prove that the reciprocal is unique. Thus it makes sense for us to denote it by a symbol and the symbol is or .
Definition 2 A field is defined to be a set where and are well defined operations and all five previous axioms are verified. — 1.1. Consequences of the Field Axioms —
Now we will state (and in some cases prove ) some familiar results from the building blocks we achieved so far.
Theorem 1 if then . Proof: In this case a proof won’t be given because I feel that the result is much more important than the proof.
Theorem 2 (Possibility and unicity of subtraction) There exists an operation that is inverse to the addition operation. Proof:
First we tackle the existence part of the theorem:
Hence by taking we indeed have .
Now we tackle the unicity part of the theorem: and . By Theorem 1 it follows .
Is called the difference between and and is denoted by the
Theorem 3 (Possibility and unicity of division) There exists an operation that is inverse to the multiplication operation. Proof: It is analogous to Theorem 2
is called the quotient between and and denoted by or
Theorem 4 Proof:
Theorem 5 Proof: Left as an exercise for the reader.
All of this may seem tautological to people who aren’t used to proper mathematical reasoning but it isn’t. The point of all of these definitions, axioms and theorems is that Mathematics is built is being built from the ground up so that no doubts can be cast to the results we state.
January 5, 2009 at 1:33 pm
[…] Using Axiom I to Axiom V (and if you don’t remember them here’s a refresher), prove the following […]