Real number

From Mathematics

The real numbers are a fundamental structure in the study of mathematics. The real numbers are a mathematical set with the properties of a complete ordered field. While these properties identify a number of facts, not all of them are essential to completely define the real numbers.

The real numbers can either be defined axiomatically as a complete ordered field, or can be reduced by set theory as a set of all limits of cauchy sequences of rational numbers (a completion of a metric space). Either way, the constructions produce field-isomorphic sets.

Contents 1 Axioms 1.1 Field axioms 1.2 Order axioms 1.3 Least upper bound axiom 2 Definitions 2.1 Natural numbers 2.2 Integers 2.3 Rational Numbers 2.4 Other subsets 3 Theorems

[edit] Axioms

The minimum set of properties that must be given "by definition" so that all other properties may be proven from them is the set of axioms for the real numbers. We begin with a set . We call the elements of the real numbers.

[edit] Field axioms

Main article: Field

The field axioms define how two operations, addition (symbolized by ) and multiplication (symbolized by , a dot or, where no confusion exists, simple concatenation of objects without a symbol) interact with the set of real numbers. For these axioms, we assume the existence of two operations, and on .

For any two real numbers , and , we may assume:

1. Commutivity:
   1. ;
   2. (or, );
2. Associativity:
   1. ;
   2. ;
3. Distributive property: ;
4. Identities:
   1. Additive: There exists a real number such that for any real number , ;
   2. Multiplicative: There also exists a real number , different from such that for any real number , ;
5. Inverses:
   1. Additive: There exists a real number such that .;
   2. Multiplicative: If , there exists a real number such that .

[edit] Order axioms

Along with the field properties, there exists a total order on the real numbers that make the real numbers an ordered field. That is a total order is to satisfy the following properties for all , , and in :

1. Antisymmetry: If and , then ;
2. Transitivity: If and , then ;
3. Totality: Either or .

With the total order property, we can define other relations , , and .

Furthermore, an ordered field must also satisfy the following properties:

1. Translation invariance: If , then ;
2. Closure of multiplication on non-negative elements: if and , then ;

[edit] Least upper bound axiom

To understand the least upper bound axiom, we must first understand what an upper bound is. If is a subset of the real numbers, and is a real number, we define to be an upper bound for if for all in .

The least upper bound property states:

1. If is a non-empty subset of the real numbers, and there exists some upper bound of , then there exists an upper bound of that is the least upper bound. That is, if is any real number that is also an upper bound for , then .

The immediate implications of the least upper bound property is that if is a non-empty subset of the reals that has an upper bound, then the least upper bound of is the maximum element in if it exists. Otherwise, the least upper bound is the minimum element of the set of real numbers that are all greater than every element in .

[edit] Definitions

As with any field, we may define subtraction and division as follows:

1. For all , ;
2. For all with ,

As with an ordered field, we may define:

1. Absolute value function: For all real numbers , if and otherwise.

We may also consider special subsets of :

[edit] Natural numbers

The natural numbers () can be axiomatized using the Peano axioms. However, if one wishes to consider as a subset of , one may define the natural numbers as being the additive submonoid generated by the multiplicative identity:

It can be then shown that the natural numbers as defined above also model the Peano axioms, when one considers as the successor function. Also, even though this definition is in terms of additive submonoids, it turns out that the natural numbers is also closed under multiplication, and hence a semiring.

[edit] Integers

The set of integers can be defined as either the union of the natural numbers and their additive inverses, the smallest additive subgroup or ring containing the natural numbers, or merely the additive subgroup or subring generated by the multiplicative identity:

[edit] Rational Numbers

The rational numbers can be defined as the prime subfield (smallest subfield) of the real numbers, or as the field of fractions of the integers:

[edit] Other subsets

1. The set of positive real numbers: ;
2. The set of negative real numbers: ;
3. The set of nonzero real numbers: ;
4. The set of positive rational numbers: ;
5. The set of negative rational numbers: ;
6. The set of nonzero rational numbers: ;
7. The set of positive integers: ;
8. The set of negative integers:

[edit] Theorems

The following are true for any , , and , and are a direct result of the real numbers being a field (as well as a ring).

1. (proof);
2. If , then (proof);
3. (this is why does not have a multiplicative inverse) (proof);
4. (proof);
5. (proof);
6. (proof);
7. (proof);
8. (proof).

This is a result of the Least Upper Bound axiom:

1. The set of real numbers is a complete metric space. That is, every Cauchy sequence converges.