Real Analysis/Counting Numbers

Real Analysis
Ordered Sets

Ordered Sets edit

An ordered set is a group of objects with an unambiguous sense of what is bigger. Instead of giving an abstract definition of ordering we will begin with some examples of ordered sets and explore what basic assumptions are necessary to flesh them out. This approach, though not as rigorous, should be more approachable. Our first and most important set is the natural numbers.

Natural Numbers edit

The basic set of analysis is the natural numbers   (Some authors take   — when we wish to refer to this set, we use  ). The natural numbers are all you need for counting. This set is defined by its properties. The first property of the set of natural numbers   is that it has an equivalence relation   meaning the following axioms are satisfied:

  1. Reflexivity
    For all  
  2. Symmetry
    For all   if and only if  ;
  3. Transitivity
    For all   if   and  , then  ;

These terse mathematical statements can be written in a less rigorous way. The first statement simply states that every natural number is equal to itself. The second states that the statement of equality is true regardless of the order you say it. The last statement says that when two natural numbers are equal and one of them equals something else they all three must be equal. These are the simple assumptions we make when we loosely talk about equality. This short list gives us a way to check if a proposed equality satisfies our notions of what it means for two things to be equal. Associated with this equivalence relation is an ordering meaning these additional axioms are satisfied:

  1. Trichotomy
    For all  , one and only one of the following hold:
     
     
     
    The notation   means   or  , and the notation   means   or  .
  2. Transitivity of < and >.
    For all  , if   and  , then  .
    For all  , if   and  , then  .

Trichotomy means that any two natural numbers are either equal or the bigger number can be uniquely chosen. Transitivity says that, if there is a third number that is bigger than the biggest of our first two, then it is bigger than the smaller one as well. With this we now have a concise definition of what it means for our numbers to have an order. Finally the natural numbers   have an associated operation called addition. The set   and the operation of addition   satisfy the following axioms:

  1. Closure
    For all  .
  2. Commutativity
    For all  .
  3. Associativity
    For all  .
    Meaning we can unambiguously write  
  4. Compatibility with Ordering
    For all  

Meaning if we add two natural numbers the result is a natural number. The order in which we add the numbers is not important and if I add two natural numbers the sum is bigger than either of the ones I started with. This is our notion of addition of positive numbers simplified to the basic assumptions. There is only one more assumption needed to bring the natural numbers as we know them into a well defined existence, the set of natural numbers is not empty. We can name the smallest element of   the number 1.

There exists a number   so that   for all  

This statement simply says one exists and is less than or equal to any other natural number. With these assumptions we can go on and derive all the properties of  .

Multiplication edit

On the natural numbers we can define a second operator, multiplication  . The concept of multiplication on   is simply a shorthand for repeated addition. Here are the axioms of multiplication.

  1. Closure
    For all  .
  2. Identity
    For all  .
  3. Commutativity
    For all  .
  4. Associativity
    For all  ,
    meaning we may unambiguously write  .
  5. Distributivity
    For all  .
  6. Compatibility with ordering
    For all  .

Meaning natural numbers when multiplied give natural numbers. Any number times 1 gives itself. The order and the grouping is not important for multiplication. The last two give how multiplication behaves with respect to addition and the ordering on  . Always writing   for multiplication is tedious so we abbreviate it as  . Furthermore we abbreviate a repeated product of a particular number with a superscript counting the number of times the number is repeated. For example,

 

Peano Axioms edit

An alternate derivation of the set of natural numbers can be characterized by a few axioms called the Peano or Dedekind–Peano axioms. A slight modification of the definitions of addition and multiplication in the Peano axioms would construct a different set where the element "0" (soon to be described) can actually be some natural number different from 0. These axioms can thus serve as the definition of the set of natural numbers.

  1.  
    There exists an element called "0" within the set of natural numbers.
  2.  
    Every natural number has a successor which is also a natural number.
  3.  
    There is no natural number whose successor is 0.
  4.  
    The successor function is one-to-one.
  5.  
    Mathematical induction: if 0 is within the set, and n being within the set implies that its successor is also within the set, then all natural numbers are within the set.

A natural number can be defined as an element of the set of natural numbers. These axioms can be used to prove very important basic theorems about basic operations and predicates, which are addition, multiplication, and order. Addition and multiplication are very important binary operators, and ordering is a very important binary predicate. They can be defined as follows:

  • Ordering
     
    The successor of a number y is greater than the number y.
     
    If a number x is greater than a number y then the successor of x is greater than y.
  • Addition
     
    The sum of any number and zero returns the number.
     
    The sum of a number x and the successor of a number y is the successor of the sum of x and y.
  • Multiplication
     
    The product of any number and zero is zero.
     
    The product of a number x and the successor of a number y is the sum of x and the product of x and y.

It is not necessary to know these definitions to know what addition, multiplication, and ordering mean. However, these definitions show how it is possible to construct addition, multiplication, and ordering from the Peano axioms.

Alternative constructions of addition and multiplication edit

The basic element does not necessarily have to be an identity for addition. Indeed, if the definitions of addition and multiplication were defined differently then the basic element is commonly written "1".

  1.  
    1 is an element of the set.
  2.  
    For any natural number x the sum of x and 1 is also a natural number.
  3.  
    The sum of any natural number x and 1 is different from x.
  4.  
    Adding one is a one-to-one function.
  5.  
    Mathematical induction: If 1 is an element of a set A, where for any element x of A the sum of x and 1 is also in the set, then all the natural numbers are in the set A.

Zermelo Fraenkel Axioms edit

The natural numbers can also be constructed from sets. This is not a necessary step, and may be skipped, but it shows that set theory provides a sufficient basis for explaining the natural numbers. The Zermelo Fraenkel axioms provide sufficient conditions for a set which satisfies the Peano axioms.

  1. Let 0 be associated with the empty set  .
  2. Let the set  
    The successor of a natural number n is the union of the set associated with n and the set containing n. Thus, each natural number is a set containing its predecessors.
    For example, let 0 :=  , then 1 :=   = {0}
      = {0}∪{1} = {0} ∪ {{0}} = {0, {0}} = and hence {0,1}, 3 is {0,1,2}, and so on.
  3.  
    There is a set called   containing   (the null set) and such that for any element x, the set   is also within the set. This axiom is called the axiom of infinity and the set so constructed is identified with the natural numbers.

This construction of the natural numbers obviously satisfies the first three Peano axioms. The fact that Sx=Sy→x=y holds can be seen easily by the fact that  . The fifth Peano axiom holds because if  , then this set would be the natural numbers, and so the natural numbers would be a trivial subset of A.

Integers edit

If we extend   by adding   we can get the notion of an identity for addition, given by:

 

stating that there is a number  , which, when added to a natural number, gives that number back again. Here we have a choice to make: where in our ordering does   fit? The usual choice is   and is the one we will make here, though it is worth pointing out the curious nature of this choice. Having defined zero, the possibility of an inverse of   arises. We denote the set of inverses as  , and the set satisfies the following axiom:

 

Combining all three we obtain the integers

 .

The integers allow us to keep track of debts as well as count things, in other words to perform accounting. If you assume that the axioms for addition hold where the well ordering assumes takes the form

 

and that the identity, closure and distributivity of multiplication hold for the integers   then the multiplication operation can also be expanded to include all the integers  

They can be constructed from the natural numbers easily. They can each be equivalence classes of ordered pairs (a,b) where a and b are both natural numbers. Then one can say that (a,b) and (c,d) are equal when a+d=b+c, the sum (a,b)+(c,d)=(a+c,b+d) and the product (a,b)(c,d)=(ac+bd,ad+bc) where the definitions of the sum and product of natural numbers are used. There is an additive identity element in the form (a,a) because (a,a)+(b,c)=(a+b,a+c) which is equivalent to (b,c) because a+b+c=a+b+c. All such elements of the form (a,a) are obviously equivalent. All elements (a,b) have the additive inverse (b,a) because (a,b)+(b,a)=(a+b,a+b). The best way to think of these ordered pairs (a,b) is to think of them as a-b. Thus, (a,a) can be thought of as "0."

Absolute Value edit

Typically, we think of the integers as extending to positive and negative infinity. Since this geometric notion is so fundamental to our understanding, we should like to talk about geometric properties. In particular, we need to know what is meant by the distance between two integers. To this end, we define the symbol   as the function that gives the distance from   to zero by mapping   onto their respective inverses in   and mapping zero onto itself.

 

We can now define the distance between two integers, which we refer to as points in any geometric context, by taking the absolute value of their difference:  . This distance function satisfies some nice, geometric properties:

  1. Positivity
      and is equal to 0 iff  .
  2. Symmetry
     
  3. Triangle Inequality
     

Pay special attention to the triangle inequality, as it will be used very often in later chapters.

In general, any set with a distance function satisfying these properties is called a metric space. It is easy to show that the integers form a metric space under the metric d:

  1. Positivity
    • If  , then  .
    • If  , then  .
  2. Symmetry
    • If  , then  , so  .
    • If  , then  , so  .
  3. Triangle Inequality
    • If  , then  .
    • If  , then  .
    • This gives us   and  .
    • Adding, we see that  .
    • If  , then  .
    • If  , then  .
    • Thus in all cases  .
    • Replacing   with   and   with   yields  .

Another fundamental property of the absolute value is that it is multiplicative:

 

The proof is left as an exercise. As above, it is simply a matter of checking all the cases.