Professional Documents
Culture Documents
ISBN 978-952-94-0570-1
ISBN 978-952-94-0571-8
ISBN 978-952-94-0572-5
ISBN 978-952-94-0573-2
Finland 2018
Preface
The 1-st book is done to provide a complete construction of numbers, length and area.
It is obviously the most reasonable way to start a course of mathematics. Almost everyone knows
that when we operate with numbers, we do it according to the certain rules.
Unfortunately, there is never any explanation of where these rules came from, despite the fact that
it is a very important question, to say the least.
Really, almost anyone knows the “sign rules” a (b) (a) b (a b), (a) (b) a b [A],
naumov8v@gmail.com
Table of contents
Matrixes………………………………………………………………………………. 46
Integer numbers…………………………………………………………………….. 53
Rational numbers…………………………………………………………………… 73
Real Numbers………………………………………………………………………... 93
Angles…………………………………………………………………………………. 165
Literature…...………………………………………………………………………... 171
I also would like to thank Alexander Bebris, as his educational web site and the project
“English Galaxy” provided a great course of English grammar, which is essential for writing.
Natural Numbers
every symbol of this set is unique. And we can use small letters a, b, c, d .... to denote some natural
numbers. If letters a, b both denote the same natural number, then we must write a b ,
if a, b denote different natural numbers, we must write a b.
Sets and are equal if they consist of exactly the same elements.
In any other case we write .
If contains a , we write a . If doesn’t contain a , we write a .
When a we say “ a belongs to ”, when a we say “ a doesn’t belong to ”.
The writing means “ is a subset of ”, it means that every element of belongs to .
For convenience we define an empty set - the set without any elements.
And by definition, any set contains an empty set as a subset, .
Def. Let A and B are any sets. The intersection of A and B is the set
{a | a and a } which consists of all the elements that belong to A and to B.
The union of A and B is the set {a | a or a } which consists of all the elements
that belong to A or to B (Notice: if a is a common element of A and B, we do not include it twice
in , only once). And finally, the difference of A and B is the set
\ {a | a but a } which consists of all the elements that belong to A, but do not
belong to B.
Def. A and B are any sets. And f is any rule such that: for every element a the rule f
compares exactly one element b , then f is called a function (or a mapping) from A to B.
And we denote it like f : . Let a and f compares to a some element b , then
we write 6 of a ” and “ a is a preimage of b ”.
f (a) b . And we say that “ b is an image
Natural Numbers
So, when we write f : , we mean that for every a some element b is compared.
But there is no requirement [pict1] that every element b is compared to some a , some
elements of may not have any preimage in . The set is called a domain of f , and we can
write D( f ) . The set E ( f ) {b || a : f (a) b} - is a
subset of , and E ( f ) is called an image of f . Notice that E ( f )
mustn’t coincide with , it just belongs to . In general, f may
transfer different elements a, c into the same b , so it can
“glue together” different elements of [pict1].
In the case when f doesn’t “glue together” any elements of
a c , then f (a) f (c) ),
(I.e., for any a, c : if pict.1
Def. A and B are any sets. If there exist any one-to-one mapping f : , then we say
“A is equivalent to B”, and we write .
If f : is one to one, then f 1 : is one-to-one, therefore .
And we can just say “sets A and B are equivalent”.
If there is no any one-to-one mapping f : , then we say “A is not equivalent to B”.
7
Natural
General definition. is a set of any kind. AndNumbers
"" is some condition that may be true for
some pairs a, b . And for any a, b exactly one of the next cases is true:
ab (the condition is true for the pair a, b ) or a b (the condition is not true for the pair a, b ).
And also [A] a a (for any a ) (reflexivity), [B] If a b , then b a (symmetricity),
[C] If a b and b c , then a c (transitivity). Then "" is called an equivalence relation on .
Example. is a set, and is divided into some sets
|| [pict3] without common elements:
if . Let’s define that elements a, b are
equivalent a b if and only if both a, b belong to
the same set . Then "" is an equivalence relation on .
Really, aa for any a , if a b , then both a, b belong to
some set and therefore b a . If a b and b c , then a, b, c pict.3
belong to the same set and therefore a c .
The main property of any equivalence relation. is a set, then any equivalence relation ""
on divides into disjoint sets, which are classes of equivalent elements.
Proof. Let we have some equivalence relation "" on . For every a let’s consider the class
a {all || a}. The set a includes all the elements which are equivalent to a.
Let’s fix an arbitrary pair of sets a and b . Let’s show that exactly one of the next cases is true:
a b , or a b . If a b , then we have the first case. Let a b ,
then there exist some such that a and b . From the condition a follows that
a . From the condition b follows that b . Then a b . Any element a
belongs to some class a , and any classes a , b coincide completely, or do not have any common
elements at all, then is divided into disjoint sets. Everything is proved.
Def. A set is called an ordered set if there exist some condition " " that may be true for
some pairs a, b . If " " is true for some pair a, b , we write a b . And also:
[A] For any a, b only one of the next cases is true: a b , or a b , or b a .
[B] " " is transitive: if a b and b c , then a c .
In such case we say that " " is an order relation on . And we can write (, ) instead of ,
in order to emphasize that there is an order on . We must agree that in the case a b we will
a ”. We also need to agree that the writings a b
say “ a is less than b ”, or “ b is greater than
and b a are equivalent. If a b or a b , we will write a b and say “ a is not greater than b ”,
or “ b is not less than a ”.
Natural numbers.
Def. N is a nonempty set. There exist the element e , which is called “one”, and one-to-one
mapping n : \ {e}. For any element a , the element n(a) is called “next to a ”.
And the induction axiom is true in [pict4].
Then is called a set of natural numbers and elements of are called natural numbers.
It’s easy to see that the set of natural numbers is not an ordinary set, it is a structure which consists
of the ( set ) (mapping ) (induction axiom) .
Let’s provide an example which satisfies to the given definition. It’s very easy to do, let’s take the
letter A and let’s consider the set of “words” {A, AA, AAA , AAAA, AAAAA, AAAAAA, ...}.
A . We designate e A .
Our set comprises all the possible “words” with only one letter
And we also define one-to-one mapping n : \ { A}: for any word AA ... A we compare
the word on the right of it, so n( A ... A) A ... AA . Then n is one-to-one mapping \ { A} .
Let’s check that the induction axiom is true in , really let’s assume that [ A] and [B] are true for
some set . From [ A] follows that A , from [B] follows that if some word belongs to ,
then the word on the right of it also belongs to . From [ A] we have A , then from [B] follows
that AA , then AAA , then AAAA and etc. And therefore, must contain every word
A ..... A , then . So the induction axiom is true. And our set is a set of natural numbers.
Similarly B {B, BB, BBB, BBBB, ......} is also a set of natural numbers. As letters A and B
are in fact different symbols, then the sets and B are different sets. But it’s very easy to see
that these sets have the “same structure”. In math such sets are called isomorphic.
The main theorem. Any set of natural numbers N can be written as:
{e, n(e), n(n(e)), n(n(n(e))), n(n(n(n(e)))) .........}.
Let’s assume that this theorem is true. From this theorem we see that if is written like
{e, n(e), n(n(e)), .......}(each next element is an image (after the mapping n ) of it’s left
neighbor), then for any a the element n(a) is literally next to a .
Really, if a a n... n(e).., then n(a) nn(... n(e)..) stays on the right of a and n(a)
is literally next to a.
9
Natural Numbers
Let now , are some sets of natural numbers. Then, according to the main theorem:
{e , n(e ), n(n(e )), n(n(n(e ))), n(n(n(n(e )))) ...}
{e , n(e ), n(n(e )), n(n(n(e ))), n(n(n(n(e )))) ...}
From here we see that , are almost identical, they have similar elements and the same
structure.
In order to prove the main theorem let’s prove at first several auxiliary lemmas.
Lemma1. a, b -are any natural numbers. Then: a b n(a) n(b) and a b n(a) n(b) .
Proof. By definition n : \ {e} is one-to-one mapping (from here immediately follows
everything we need).
Def. Let a is any natural number.
Any element n(n(... n(a)..)) (the image of a
after several mappings n ) [pict5] is called a
descendant of a. pict.5
Proof. Let Ω is the set of all descendants of e . Let’s consider the set {e} .
descendants, then e does not belong to , therefore {e} \ {e} , then any natural
number, except one, is a descendant of one.
Let’s prove now the main theorem. Let is a set of natural numbers. Let’s take e and
build the set ord {e, n(e), n(n(e)), n(n(n(e))), n(n(n(n(e)))) ........}it includes the element e
and all it’s descendants. Let’s show that ord is really a set, we have to show that there are no
identical elements in the row: {e, n(e), n(n(e)), n(n(n(e))), n(n(n(n(e)))) ........}(in the other case
ord contains twice the same natural number and it is not a set). Let’s assume the contrary:
~
there are some elements d , d in the row [R] {e, n(e), n(n(e)), n(n(n(e))), n(n(n(n(e)))) ........}
~
which are equal d d and stay on different positions.
~ ~
Without loss of generality d is on the left of d in [R], then ord {e, n(e), n(n(e)) ... d .... d .....}.
~
Here every element, except e , is an image of it’s left neighbor, then d is a descendant of d , so
~ ~
n(... n(d )..) d . As d d , then n(... n(d )..) d it contradicts to the lemma2, therefore, there
are no equal elements in [R]. So ord is a set, each element of ord is some natural number, then
ord .
Conversely ord , really, according to the lemma3, any natural number a e is a descendant
of one, so it belongs to ord and also e ord , therefore ord . Then ord .
The main theorem is proved.
Def. is a set. And is some rule that for every pair of elements a, b compares some
element a b of . Then is called a binary operation (or just an operation) on .
And we write : .
is called commutative if a b b a for any a, b .
is called associative if (a b) c a (b c) for any a, b, c .
Associativity means: for any a, b, c , the result of applying to the pair (a b), c is always
exactly the same as a result of applying to the pair a, (b c) .
Def. Addition "" of natural numbers is the binary operation on N such that
[A] a e n(a) a [B] a n(b) n(a b) a, b .
Let’s show that this definition is correct. There exist the unique binary operation on N with the
properties [A] and [B].
11
Natural Numbers
Existence. Let’s take one e and define the addition " e " on the set of all pairs {(e, b) || b }
where e is fixed and b is an arbitrary natural number. We define: e e b / by def / n(b) b .
Let is the set of all natural numbers a , for every of which there exist it’s own sum " a " , which
is defined on the set of all pairs {(a, b) || b } and satisfies to [A] and [B]. By the induction axiom
we will show that . [ A] e (as were shown above) [B] If some a , then it has it’s
own sum " a " , which is defined on the set of all pairs {(a, b) || b } such that [A] and [B].
Let’s take the next element n(а) and define for it it’s own sum " n (a ) " on the set of all pairs
{(n(a), b) || b } through the sum " a " . By definition: n(a) n( a ) b / by def / n(a a b) b .
n(a) n( a ) n(b) n a a n(b) n n(a a b) n n(a) n( a ) b (property [B]) then n(a) .
Therefore . It means that for every natural number a there exist it’s own sum " a " , which
is defined on the set {(a, b) || b } and satisfies [A] and [B]. Let’s finally define the operation ""
on every pair (a, b) . We define: a b / by def / a a b . Then "" satisfies to [A] and [B].
The existence is proved.
Uniqueness. Let’s show that the operation "" is unique. We assume that there exist some other
addition "" with the same properties [A] and [B]. If we show that for every pair (a, b) of natural
numbers a b a b , then "" and "" are the same operation. Let’s fix an arbitrary a .
Let M is the set of all natural numbers b such that a b a b . We will show that M N :
[ A] e , because a e n(a) and a e n(a) (property [A]), then a e a e .
12
Natural Numbers
Properties of addition
Associativity. (a b) c a (b c) for any a, b, c .
Proof. Let’s fix arbitrary numbers a, b . Let is the set of all natural numbers e such that
(a b) c a (b c) . [A] e , because (a b) e n(a b) a n(b) a (b e)
[B] if some c M , then (a b) c a (b c) . Let’s consider:
a b n(c) n((a b) c) n(a (b c)) a n(b c) a (b n(c)) n(c) .
And, according to the induction axiom, . Then (a b) c a (b c) for any a, b, c .
13
Natural Numbers
Def. (, ) is some ordered set. Elements a, c are called neighbors if there is no any b Ω,
such that a b c , or c b a . The element a is called the first if a b for any other
Subtraction ""
Def. Let’s consider the set of all pairs (a, b) where a b. Subtraction "" is the mapping
, which for every pair (a, b) compares the natural number c such that a b c .
We will denote c a b , and we will say that c is a “difference of a and b ”.
So, by definition, for any a b we have a b (a b) . Addition "" is commutative, therefore
we can write b (a b) (a b) b a for any a b .
Exercise. For any a, b, c, d (where a b and c d ) the next formulas are true:
[A] a a b , [B] a b c d a d b c , [C] (a b) (c d ) (a c) (b d ) ,
[D] (a b) (c d ) (a d ) (b c) (in this property there is a requirement (a b) (c d ) ),
[E] a b m a m b (for any m a, m b ) a c b c (for any c a, c b ),
[F] a b m a m b (for any m a, m b ) a c b c (for any c a, c b ).
Def. Let is an ordered set and X is a subset of . The element M max is called the
greatest element of X if for any x : x M max . The element mmin is called the least
element of X if for any x : x mmin .
Theorem1. Any nonempty subset of natural numbers has the least number mmin .
If there exist some number M such that x M || x , then X also has the greatest
number M max .
Proof. Let’s fix an arbitrary subset of natural numbers. If e , then e is the least number
of . Let e . Let’s consider the set L {a || a x, x }, obviously e L .
There exist some natural number such that L , but n() L (if there is no such number,
then, by the induction axiom, L and is empty).
Let’s show that n(∆) is the least number in L.
[A] Let’s show that n() . We consider the set G {a || a x, x }. Then the set of natural
numbers N is divided into the sets L, , G and these sets do not have any common elements.
We know that n() L , then n() , or n() G .
15
Natural Numbers
If G is not an empty set and n() G , then: is less than any number of and n() is greater
than any number of . Then there exist some ~
x such that ~
x n() which is impossible,
because , n() are neighbors. So, in any case n() G , then there must be n() .
[B] Let’s show that n() x for any x . If it’s not true, then there exist some ~
x such that
~
x n() . As is less than any number of , then again ~
x n() , which is impossible.
Therefore n() x, x . From [A] and [B] follows that n() is the least number of .
Then G has the least number g min . Obviously g min e (really, if g min e , then must be empty).
[C] Let’s show that ( gmin e) . As we have shown above, the set is divided into the sets
L, , G without common elements. For sure ( g min e) G (because if ( g min e) G , then g min
is not the least number in G ). If L is an empty set, then ( gmin e) and we go to the step [D].
Let L is not empty, let’s assume that ( g min e) L . Then for every x there must be
( g min e) x gmin which is impossible, because ( g min e) and g min are neighbors.
Therefore, in any case ( g min e) L ( g min e) .
[D] Let’s show that ( g min e) x for any x . If it is not true, then there exist ~
x such that
( g e) ~
min x . Then ( g e) ~
min x g which is impossible, because ( g e) and g are
min min min
neighbors. Then ( g min e) x for any x . From [C] and [D] follows that ( g min e) is the
greatest number of .
Any set of natural numbers can be written as
{e, n(e), n(n(e)), n(n(n(e))), n(n(n(n(e)))) ......} , this writing is very voluminous,
that’s why we denote: e 1, n(e) 2, n(n(e)) 3, .... n(n(n(n(n(n(n(n(n(e))))))))) 10 .
Then {1, 2, 3, ...., 10, n(n(n(n(n(n(n(n(n(n(1)))))))))) .......} [N]. We will show later
the possibility of a decimal notation: any natural number can be written in a unique way as
a combination of symbols 0,1,2...9 . Now we do not have sufficient instruments to prove it.
For example, we do not have a zero number 0 in , this number will appear only when we build
the ring of integer numbers. We could add the zero number now, but then we would have to go
through all the previous theory and check that all the properties and assertions are still true for
the new set {0} . Such approach is very inconvenient. Also, the proof of the possibility of a
decimal notation requires some facts from the divisibility theory, and this theory can be build for
integer numbers. That’s why we will use the notation [N] of natural numbers for a while.
16
Natural Numbers
[Ordinary induction]. is any assertion which makes a claim that is based on k, where k is
some natural number. If [ step A] and [ step B] are true, then is true for every natural number k
[ step A] is true in the case when k 1,
[ step B] If is true for some number k, then must be true for the next number n(k ) .
Proof. is our assertion and both [ step A] and [ step B] are true.
Let’s denote the set {all natural numbers k , for which is true}. Let’s show that ,
by using the induction axiom. From here will follow that is true for every natural number k.
1 because of the [ step A] . If some natural number k belongs to , then is true for this
number k. Because of the [ step B] , the assertion must be true for the next natural number n(k )
and therefore n(k ) . Then: if some k , then n(k ) .
According to the induction axiom, .
Def. For any natural number k, the set {a || 1 a k} is called a segment of natural nubers,
and we denote it like [1, k ] .
The set of natural numbers can be written as
{1, 2, 3, ...., 10, n(n(n(n(n(n(n(n(n(n(1)))))))))) .......} [N]. From [N] follows that all the
numbers of any segment [1, k ] go one after another in [N], starting from 1 and up to k .
And therefore, we can agree to use the similar notation for any segment [1, k ] . So,
[1,1] {1} , [1,2] {1,2} , [1,3] {1,2,3} ... [1,8] {1,2,3,4,5,6,7,8}.
Segments [1, k ] and [1, m] are equal (equal as sets) k m .
Reminder: set’s and are called equivalent if there exist one-to-one mapping f :
Def. A is a set of any kind. If there exist some segment of natural numbers [1, k ] such that
[1, k ] , then we say “A is a finite set” and “there are k elements in A”.
And we write | | k .
Assertion1.The given definition is correct. If some set is equivalent to some segment of natural
numbers, then that segment is unique (there can’t be [1, k ] and [1, m] , where [1, k ] [1, m] ).
Assertion (auxiliary). For any k : if [1, k ] [1, m] , then [1, k ] is not equivalent to [1, m] .
Proof. By ordinary induction. [ step A] “ is true in the case when k 1”.
We have to show: if [1,1] [1, m] , then these segments are not equivalent. As [1,1] [1, m] ,
then m 1, then m 1 , then the set [1, m] contains 1 and 2 (and maybe some other numbers).
Let’s assume that the segments are equivalent, then [1,1] [1, m] , then there exist one-to-one
mapping f : [1,1] [1, m] f : {1} [1, m] . If f (1) 1, then 2 does not have any pre-image in {1} .
17
Natural Numbers
If f (1) 2 , then 1 does not have any pre-image in {1} . If f (1) 1 and f (1) 2 , then both 1 and
2 do not have any pre-image in {1} . Therefore f is not one-to-one, and we have a contradiction.
So, is true when k 1.
[ step B] if is true for some natural number k. So, for [1, k ] we have: if [1, k ] [1, m] ,
then these segments are not equivalent. We have to show that the same is true for n(k ) .
Let’s assume the contrary: [1, n(k )] [1, w] , but these segments are equivalent. Then there exist
one-to-one mapping f : [1, n(k )] [1, w] . Here w 1. Really, if w 1, then [1, n(k )] [1,1] which is
impossible, because n(k ) 1 [1, n(k )] [1,1] , then these segments can’t be equivalent ( [step A] ).
So w 1.
Def. A is a set of any kind. If A is an empty set, then it is a finite set by definition.
If A is not an empty set and A is not equivalent to any segment [1, k ] , then we say
“A is an infinite set ” or “there are infinitely many elements in A”.
According to the previous definition, any set A is either finite or infinite and no other variants.
18
Natural Numbers
Assertion3. is a finite set, then any subset || is also a finite set and .
have k . Let’s consider the case n(k ) . According to the assertion2, for any element a
there must be \ a k . Let’s fix now any subset || . As there exist the
element a such that a . Then \ {a} .
If \ {a} (and \ {a}), then, according to our assumption,(at the beginning of the [ step ] )
there must be \ {a} k n(k ) n(k ) . So the steps [ step A] and [ step ] are
~
completed, then our assertion is true for every natural number
k . And the assertion3 is proved.
Consequence1. is a set. If there exist some subset
|| , [pict7], then is an infinite set.
Proof. Let’s assume the contrary: is a finite set.
Let’s notice that . Really, if , then pict.7
and therefore , which contradicts to the requirement
. Then there exist some segment [1, k ] such that [1, k ] . As , then [1, k ] , then
k . We also have || , then (assertion2) , but k and we have
a contradiction. Therefore is an infinite set.
19
Natural Numbers
Proof. n : \ {e} is one-to-one mapping. And the set is equivalent to it’s subset \ {e} .
According to the consequence1, is an infinite set.
[Advanced induction]. is any assertion which makes a claim that is based on k, where k is
some natural number. If [ step A] and [ step B] are true, then is true for every natural number k
[ step A] is true in the case when k 1,
[ step B] If is true for some natural numbers 1,2 ... k , then must be true for the number n(k ) .
Proof. is our assertion and both [ step A] and [ step B] are true.
Let is the set of all natural numbers k, for which is not true. If X is an empty set, then is
true for every natural number k. Let , then according to the theorem1, the set X has the
least number xmin . Notice that xmin 1 (really, if xmin 1, then is not true for the number 1 ,
but according to the [ step A] , the assertion is true for 1 ).
So xmin is a minimal number for which is not true. Then is true for any natural number
a xmin . So is true for 1,2 .... ( xmin 1) , then, according to the [ step B] , the assertion must be
true for the number n( xmin 1) xmin , then xmin , and we have a contradiction. Therefore ,
and is true for every natural number k.
Def . Any sum a b c d ... m without any brackets must be calculated in the next way:
we take a and add b to it from the right side, then we get (a b) , then we add c to it from the
right side. Then we get ((a b) c) , then we add d to it from the right side. Then we get
(((a b) c) d ) and etc. In the end we will have the element ...(((a b) c) d ) ...) m ,
by definition, this element is equal to the sum a b c d ... m .
So a b c ... m / by def / ...(((a b) c) d ) ...) m - this arrangement of brackets is
called the standard arrangement of brackets. We say that brackets are arranged here in the
standard way.
20
Natural Numbers
When there is only one element a in the sum, the standard arrangement of brackets has no
brackets at all. Even for the sum a b the are no brackets at all in the standard arrangement.
Only when we have the sum like: a b c , then the standard arrangement of brackets is
(a b) c . And for any sum a b c d , the standard arrangement is ((a b) c) d and etc.
In general a sum of several elements with some arrangement of brackets is called an “expression”.
The “expression” is some collection of summands a, b, c, d ..., signs "" and pairs of brackets [],(),{} .
Summands a, b, c, d ... are always elements of some fixed set , where the operation "" is defined.
Pairs of brackets must be arranged reasonably. Any pairs [],() may be arranged only like this
..[...]... (...).. or like this (...[...] ...). The arrangement like ..[...(... ]...).. is forbidden.
If some brackets [] contain only one element d , then we can discard these brackets: [d ] d .
And similarly, if some brackets [] contain the whole initial expression, we can also discard them.
If some brackets [] contain some other brackets () inside and there are no elements between them
[()], then we can discard the internal brackets: [()] [] .
The main restriction. From now on we consider only such expressions, in which a set of all
summands and a set of all pairs of brackets are both finite sets. Moreover, we consider only
expressions with admissible arrangements of brackets that do not have any redundant brackets
that can be discarded.
If the set of all summands (of some expression) is equivalent to some segment [1, k ] of natural
numbers, we say that “the expression contains k elements ” or “the expression consists of k
elements” (or “there are k elements in the expression”) or just that “we have a finite expression”.
Any expression denotes a sum of several elements of , which must be calculated in a certain way
(the process is described in the [ Step 1 ] and [ Step 2 ] below). In any case, for any expression,
the result of our calculations is always some element v .
21
Natural Numbers
Now we need to calculate the expression [expression] in these brackets, by using the Def from
above, the result is some element S . Then all the internal expression [expression] , together with
it’s outer brackets [...] must be replaced by S , so [...]replaced
by
S .
Then after n performances of the [ Step 1 ] we will get “the final” expression without any brackets
at all. If the initial expression contained k elements, then the final expression (for sure) contains
t k elements. If the final expression consists of one element, then that element must be taken as a
result of our calculations. If the final expression consists of several elements, then their sum must
be calculated according to the Def , and the result must be taken as a result of our calculations.
So, in the result we will always get some element v , then, by definition, our initial expression
is equal to v.
We can consider the last expression as a sum of elements a, (b c), d . Then, by associativity:
(a b) (c d ) (a (b c)) d . We have deduced that the expressions (a b) (c d ) and
(a (b c)) d are equal, despite the fact that they have different arrangements of brackets.
22
Natural Numbers
Assertion4. Let we have an expression with k elements with some arrangement of brackets,
then any brackets {} which do not contain the whole expression, contain an expression with m k
elements. The proof is obvious here.
Proof. Let’s use an advanced induction. [ step A] is obviously true in the case when k 1.
In such case an expression consists of only one element a and there are no any brackets.
(There can’t be brackets (a) or [(a)] , because we have agreed not to consider expressions that have
any redundant brackets). And the standard arrangement of brackets for the expression a also has
no brackets at all, so we already have the standard arrangement.
[ step B] if is true for some numbers 1,2 ... k . Then any expression with 1,2 ... k elements will
not change after the standard rearrangement of brackets.
Let’s take an arbitrary expression with n(k ) elements, let an (k ) is it’s last summand.
[First case] If there are no brackets on the right of an (k ) , then our expression is:
the expression on the left of an( k ) an( k ) .
[A] If the whole expression on the left of an (k ) is already captured by some brackets, then the whole
expression is the sum: [ the expression on the left of an( k ) ] an( k ) . The expression on the left
of an (k ) consists of k elements, therefore, it will not change if we rearrange brackets in it in the
standard way, then the initial expression is equal to (...(((a b) c) d ) ...) m an( k ) -here
we have the standard arrangement.
[B] If the expression on the left of an (k ) is not captured by any brackets, then there can be the next
cases:
[1-st case] The expression on the left of an (k ) consists of one element b , then b can’t be captured
by any brackets, so the total expression is b an (k ) and there are no any brackets in the standard
arrangement for such sum and we already have the standard arrangement.
[2-nd case] The expression on the left of an (k ) consists of more than one element.
Then, according to the rules of calculation of an expression with brackets ( [ Step 1 ] and
[Step 2 ] ), the expression on the left of an (k ) must be calculated at first in any case, regardless of
the arrangement of brackets in this expression.
Then we can enclose this expression in the new brackets, because in any case it must be calculated
at first, so: the expression on the left of an( k ) an( k ) [the expression on the left of an( k ) ] an( k ) .
23
Natural Numbers
And again, the expression inside the square brackets consists of k elements and therefore
it will not change if we rearrange brackets in it in the standard way. Then our initial expression
is equal to (...(((a b) c) d ) ...) m an ( k ) -here we have the standard arrangement.
[Second case] Let there is one or several brackets ], ),} on the right of an (k ) .
Let’s take the rightmost bracket } . The brackets {} can’t contain the whole expression
(if {} contain the whole expression, then these are redundant brackets). Then the initial expression
is a sum of two expressions: the expression which stays on the left of {} and the expression which
stays inside {} . According to the assertion4 , the expression inside {} consists of m n(k ) elements.
And similarly, the expression on the left of {} consists of h n(k ) elements. Then, according to our
assumption, (at the beginning of the [ step B] ) we can rearrange brackets in each of these
expressions in the standard way, each of these expressions will not change.
Then the initial expression is a sum of two expressions with standard arrangements of brackets:
~
(...(((a b) c) ...) v) {(...((((q w) x) ... u) an( k ) } (S ) {(S ) an( k ) }
/ associativ ity / S S an( k ) .
~
The expression S S consists of k elements and (according to our assumption) it will not
~
Conclusion. From the main theorem2 follows that: if the operation "": is associative,
then in any given expression we can rearrange brackets in any way we want (we can choose the
arrangement of brackets which is more convenient for calculations). A new expression is always
equal to an initial expression.
Def. Let we have some finite expression with some arrangement of brackets. And a,b are some
summands. We replace a by b and by
a , and we do not change any other summands,
b
or signs "" , or brackets [],(),{} . Then we say that “we permute elements a,b ”.
Assertion5. If the operation "": is not only associative, but also commutative,
then any finite expression will not change after permutation of any of it’s elements.
24
Natural Numbers
which are on the left of a and b (if there are such elements) we place in the square brackets [] ,
and all the elements which are on the right of a and b (if there are such elements) we place in {} .
Then:
The initial expression [c d ... m] (a b) {h u .. x} / /commutativity a b b a //
[c d ... m] (b a) {h u .. x} // Let' s return the initial arrangement of brackets //
The expression we need . The last expression is exactly the initial expression, where a and b
are permuted.
Let’s prove now the assertion5. Let we have some expression where we need to permute some
elements a, b . If these elements stay near by, then, by lemma5, we can permute them and the
expression will not change.
Let elements a, b are not near by. Without loss of generality a is on the left of b.
Then we can permute a with it’s “right neighbors” until a and b become neighbors.
Then we permute a and b . Then we permute b with it’s “left neighbors” until b stays on the
initial position of a . So, by making several permutations of elements that stood near by, we have
permuted a and b . Notice that during these permutations we haven’t changed any brackets, or
signs "" in our expression, we just permuted some neighbor elements. Now we have the “final
expression” which is exactly what we need. Any permutation of neighbor elements gives an equal
expression (lemma5). Then initial and final expressions are equal. Everything is proved.
We have already proved that the addition "" of natural numbers is commutative and associative,
therefore, in any sum of natural numbers with any arrangement of brackets we can rearrange
brackets how we want and permute numbers how we want, a sum will not change.
Therefore, if we have sums of natural numbers and these sums consist of the same numbers,
then these sums are equal.
Theorem3. Any sets and of natural numbers are isomorphic (isomorphic as ordered sets).
Proof. Let and are our sets. We define 1
f
1 and if a
f
a , then
n(a )
f
n(a ) . In other words, by definition: f (1 ) 1 and if f (a ) a , then
f n(a ) n(a ) . We can see that f is a rule that for some elements of compares some
elements of .
25
Natural Numbers
[Step1] Let’s show that f is defined on all , we need to show that for every a the element
f (a ) exists, and it is some element of .
Let is the set of all elements a of , for every of which the element f (a ) exists.
[A] 1 because f (1 ) 1 , [B] if some a , then f (a ) a for some a , from
the equality f (a ) a and the definition of f follows that f n(a ) n(a ) , so for n(a ) the
element f n(a ) does exist. Then n(a ) . And . And now we can say that f is
a mapping from to .
[Step2] Let’s show that f fully covers . Let is a subset of , the set consists of all
elements a which have some pre-image in . [ A] 1 , because f (1 ) 1 .
[B] if some a , then f (a ) a for some a , from here (according to the definition
of f ) immediately follows that f n(a ) n(a ) , and it means that n(a ) . So ,
then f fully covers .
[Step3] Let’s show that f doesn’t “glue together” elements of . Let f (a ) a and f (b ) b
and a b , let’s show that a b . Let’s assume the contrary: a b , it is equivalent to
f (a ) f (b ) . As a b , then without loss of generality a b . According to the main
theorem, the set can be written as:
{1 , n(1 ), n(n(1 )), n(n(n(1 ))), n(n(n(n(1 )))) ...} and a must be on the left of b in
this “row” (if a is on the right of b , then b a , which contradicts to a b ), then
{1 , n(1 ), n(n(1 )), n(n(n(1 ))), a .... b .....}, then b n(n(... n(a ))) , then
f (b ) f n(n(... n(a ))). From the definition of f it’s easy to see that it has the next property:
f (n(a )) n( f (a )) for any a , then
f n(n(... n(a ))) n f (n(... n(a ))) nn f (... n(a )) n(n(... n( f (a ))) , then
f (b ) n(n(... n( f (a ))), then f (b ) f (a ) . It contradicts to the assumption f (a ) f (b ) ,
then f (a ) f (b ) .
From the [Step1]+[Step2]+[Step3] follows that f : is one-to-one mapping.
[Step4] Let’s show that is isomorphic to ,i.e., a b (in ) f (a ) f (b ) (in ) [V].
The proof of [V] is done in the [Step3].
Comment. It’s very easy to show that from [V] immediately follows the converse one:
f (a ) f (b ) (in ) a b (in ). Let’s fix any f (a ) f (b ) . As a , b , then exactly
one of the next cases is true: a b , or a b , or a b . If a b , then (acc. to [V] ) there must be
f (a ) f (b ) , which is not true. If a b , then there must be f (a ) f (b ) , which is not true.
Then the only possible variant is a b . And similarly for any other ordered sets.
26
Natural Numbers
Multiplication
Def. Multiplication "" of natural numbers is the binary operation such that:
[A] a 1 a a , [B] a n(b) a b a a, b .
Note: [B] can be rewritten as a (b 1) a b a a, b .
Let’s show that this definition is correct, i.e., there exist the unique operation with these properties.
Existence. Let’s take 1 and define the multiplication " 1" on the set of pairs {(1, b) || b } ,
where 1 is fixed and b is an arbitrary natural number, so 1 b / by def / b .
1
We need to check that " " is a multiplication in the case a 1. So 1 1 1 (property [A]) and
1 1
We will show that . [ A] 1 (as were shown above) [B] If some a , then it has it’s own
multiplication " " , which is defined on the set of all pairs {(a, b) || b } such that [A] and [B].
a
Let’s take the next element n(a) and define for it it’s own multiplication "
n (a )
" on the set
{(n(a), b) || b }. We define: n(a) n ( a ) b / by def / a a b b .
Then n(a) 1 a a 1 1 a 1 n(a) (property [A])
n(a)
Uniqueness. Let’s show that the operation "" is unique. We assume that there exist some other
binary operation : with the properties [A] and [B]. We will show that
a b a b a, b , then "" "" . Let’s fix an arbitrary a . And -is the set of all b such
that a b a b .
[ A] 1 . Really, according to [A], a 1 a and a 1 a , therefore a 1 a 1.
[B] If some b , then a b a b . Let’s consider
a n(b) a b b // as a b a b // a b b a n(b) , therefore n(b) .
By the induction axiom and therefore a b a b for any b , where a is an arbitrary
fixed number, then a b a b for any a, b .
Before we prove the basic properties of multiplication we need an auxiliary lemma.
27
Natural Numbers
28
Natural Numbers
Exercise1. Prove the next basic properties (If there is a difference a b or c d , then a b and
c d ) [A] (a b) (c d ) (a c a d ) (b c b d ) and
(a b) (c d ) (a c a d ) (b c b d ) and (a b) (c d ) (a c a d ) (b c b d )
ac bc a b ac bc a b
[B] and .
ac bc a b ac bc a b
[C] a b, c d a c b d , a c b d .
Then a c (b ) (d ) (b d b ) ( d ) b d b ( d ) b d .
The part a c b d is proved. Let’s show now that a c b d .
So a c (b ) (d ) (b d ) ( ) (b d ) .
Archimedes axiom. For any pair of natural numbers a, b there exist n such that
n a b (this property is called an Archimedes axiom).
Proof. Let’s fix an arbitrary pair of natural numbers a, b . Let’s take n b 1 , then
(b e) a b a a / as a 1/ b 1 1 b 1 b .
Notice that when we say “axiom” we usually imply some fact which must be accepted without any
proofs. But for the natural numbers the Archimedes axiom is not an axiom at all, it is just one of the
properties of natural numbers. So now, the “Archimedes axiom” is just a name of the certain
property. Later, during the length construction, the Archimedes axiom will be the real axiom, which
will be accepted without any proofs.
29
Natural Numbers
Division ":"
Def. Let’s consider the set of all pairs (a, b) , where a can be represented as a k b for
some natural number k. Division ":" is the mapping that for every pair (a, b)
compares the natural number k such that a k b , for every such pair, k is called a quotient of
a
numbers a, b , and we write k a / b .
b
The given definition is correct: if k a / b then there is no other number k such that a / b .
Really, let there exist some other . Without loss of generality k . As a / b a b ,
as k a / b a k b , then b k b , but k , then there must be b k b , we have a
contradiction. So k .
Exercise3.
a c a b c c a
[A] a d b c , [B] a b and a b , [C] a for any b ,
b d c c a b b
a
if b e , then a .
b
Advanced part.
Notice that there exist different sets of natural numbers (it’s enough to change the designation of
any symbol in , in order to turn it into a new set. For example, we can change the designation
1 and do not change any other numbers, then we will have the new set of natural numbers,
where the symbol is an element “one”). Addition and multiplication of natural numbers are
always binary operations which are defined on a concrete set of natural numbers.
Let is a set of natural numbers, we can write ( ,,) , implying that we consider the set
together with the addition and multiplication which are defined on it.
And similarly, ( ,,) . Notice that we use different symbols to define operations on and
. Of course, the addition on has the same properties as the addition on , but and
are different operations, because they are defined on different sets.
The same is true for multiplications , .
30
Natural Numbers
Advanced Theorem3. For any sets ( ,,) and ( ,,) of natural numbers there exist the
unique isomorphism f : (where f is an isomorphism of ordered sets).
Moreover, f has the next properties: [T]
a b c (in ) f (a ) f (b ) f (c ) (in ) and
a b d (in ) f (a ) f (b ) f (d ) (in ) .
Proof. The existence of f and even the explicit definition of f are provided in the theorem3.
Let’s assume that there exist some other isomorphism : (where is also an
isomorphism of ordered sets, so there must be: [A] is one-to-one and
[B] a b (in ) f (a) f (b) (in ) ). Let’s show that f (a) (a) a , then f
and f is unique.
The main auxiliary lemma. has exactly the same properties as f : it transfers one into one
(1 ) 1 and if (a ) a , then (n(a )) n(a ) .
Proof. Let’s show that (1 ) 1 . We consider (1 ) , let (1 ) 1 ,
then (1 ) y ,where y is some element of . We know that
is one-to-one, so the element 1 must have some preimage
x : ( x ) 1 . Then we have two equalities: (1 ) y and
(x ) 1 [pict8]. The one 1 is the least number in , then pict.8
1 x . Then (1 ) ( x ) (look now at our equalities), then
y 1 and we have a contradiction. Then (1 ) 1 .
Let’s show that the condition “if (a ) a , then (n(a )) n(a ) ” [V] is true for any a
Let is the set of all a , for which [V] is true.
[ A] 1 . We have (1 ) 1 , let’s show that (2 ) 2 . We will show that (2 ) can be
equal only to 2 . Really, 1 2 (1 ) (2 ) 1 (2 ) . If the value (2 ) 2 , then
[ A] is proved. Let’s assume that (2 ) y 2 , then, anyway there
must be some element x such that (x ) 2 and
x 1 , x 2 x 2 . Then we have: (2 ) y || y 2 and
( x ) 2 || x 2 [pict9], here we have a contradiction, really
x 2 , then there must be ( x ) (2 ) 2 y , but y 2 .
So (2 ) can be equal only to 2 , and [ A] is proved. pict.9
31
Natural Numbers
[B] If a , it means that we have (a ) a and (n(a )) n(a ) . We need to show that
the similar condition is true for n(a ) . We already have (n(a )) n(a ) , then we need to show
that (n[n(a )]) n[n(a )] . It’s not difficult to do, by using an auxiliary picture (like pictures 8,9).
Perform it as a simple exercise. After it’s done, by the induction axiom, [V] is proved.
Let’s prove now the auxiliary lemma. Let is the set of all natural numbers a , for which
f (a ) (a ) .
[ A] 1 . Because (1 ) 1 and f (1 ) 1 . [B] If a then f (a ) (a ) .
We want to show that f (n(a )) (n(a )) . From the basic properties of these isomorphisms we
have f (n(a )) n( f (a )) and (n(a )) n( (a )) . As the elements f (a ) and (a ) are
equal, then the elements n( f (a )) and n( (a )) are also equal, therefore f (n(a )) (n(a )) .
And n(a ) . So and f on .
Let’s prove the properties [T]. These properties are obviously equivalent to
[Tp]: f (a b ) f (a ) f (b ) and f (a b ) f (a ) f (b ) for any a , b .
Let’s prove the first one. We fix an arbitrary a . Let is the set of all numbers b , for
which f (a b ) f (a ) f (b ) .
[ A] 1 . Really f (a 1 ) f (n(a )) n( f (a )) f (a ) 1 f (a ) f (1 ) , so 1 .
[B] If b , then f (a b ) f (a ) f (b ) . Let’s consider f (a n(b )) f (n(a b ))
n( f (a b )) n( f (a ) f (b )) f (a ) n( f (b )) f (a ) f (n(b )) (we used the basic
properties of the addition on and on ), so n(b ) , then and the
property f (a b ) f (a ) f (b ) is proved.
Let’s prove the second one: f (a b ) f (a ) f (b ) . We fix again an arbitrary a and
is the set of all numbers b , for which f (a b ) f (a ) f (b ) .
[ A] 1 . Really f (a 1 ) f (a ) f (a ) 1 f (a ) f (1 ) .
[B] If b , then f (a b ) f (a ) f (b ) . Let’s consider
f (a n(b )) f (a b a ) f (a b ) f (a ) f (a ) f (b ) f (a ) // distributi bity //
f (a ) f (b ) 1 f (a ) ( f (b ) f (1 )) f (a ) f (b 1 ) f (a ) f (n(b )) ,
then n(b ) and . Everything is proved.
32
Groups, Rings, Fields
Multiplicative groups
Def. G is a set with a binary operation "": G G G “multiplication”.
And [A] Multiplication is associative: (a b) c a (b c) for any a, b, c G .
[B] There exist the element “one” e such that a e e a for any a G .
[C] For any element a G there exist the inverse element a 1 G such that a a 1 a 1 a e .
Then G is called a multiplicative group, or just a group.
As "" is associative (The main theorem2, page 23), then in any expression with any arrangement of
brackets we can rearrange brackets in any way we want, it will not change an expression.
For example: (a c) (d (v m)) (a c d ) v m .
Property. For any element a G , an inverse element a 1 G is always unique.
Let’s fix any a G . According to [C], there exist at least one inverse element a 1 . If there is some
1
other inverse element b G , then a a e and a b e , then a a 1 a b . Let’s multiply both
sides by a
1
from the left side, then a 1 (a a 1 ) a 1 (a b) [associativ ity ] (a 1 a) a 1
(a 1 a) b e a 1 e b a 1 b , it proves the uniqueness.
Def: a subset G is called a subgroup of G if H is closed under multiplication and H is
a group. When we say “ is closed under multiplication”, we mean that for any a, b there
must be a, b . And when we say “ is a group”, we mean that the properties [A],[B],[C] are
true for any elements of .
Subgroup criterion. G is a subgroup for any a, b there is a b and a 1 .
if is a subgroup of G, then obviously a b and a 1 .
Proof.
From a b follows that is closed under multiplication. Let’s take any a ,
then a , then [C] is true for . And a a 1 e , so [B] is true for .
1
Then is a subgroup of G . (The property [A] is always true for any elements of G ,
so there is nothing to check).
From this criterion immediately follows that any subgroup G must contain an element one "e" ,
moreover, the subgroup which consists of only one element {e} is a minimal subgroup of G , and the
subgroup G is a maximal subgroup of G .
34
Groups, Rings, Fields
The given definition is correct. For any a, b G there exist the unique element x such that
a x b b x .
1
Let’s consider a x b as an equation, we multiply both sides by b from the right side:
a b1 ( x b) b1 / associativity / a b1 x (b b1 ) x a b1 , and it’s easy to check
that x really satisfies to a x b b x . The existence is proved, the uniqueness is obvious.
Exercise1. G is an multiplicative commutative group, then the next properties are true for any
a e e a a b
elements of e and a e and a and e and a b c b a c .
G [A]
a a b b b a
a c ac a с ad
[B] and .
b d bd b d bc
Def. We say that (G,) is isomorphic to ( D,) if there exist some one-to-one mapping
f : G D such that: if a b c (in G) , then f (a) f (b) f (c) (in D) .
35
Groups, Rings, Fields
Every element D can be uniquely represented as f (a) for some a G , then the equality
is equivalent to f (a) f (b) f (c) , where a, b, c are some elements of G .
We want to show that f 1 ( ) f 1 ( ) f 1 ( ) and it is equivalent to
f 1 f (a) f 1 f (b) f 1 f (c) a b c .
Let’s sum up: we need to show that from f (a) f (b) f (c) follows that ab c .
Let’s assume the contrary a b c , then a b d (where d c ). According to the main property
of f : if a b d , then f (a) f (b) f (d ) , therefore f (c) f (d ) . As f is one-to-one, then
c d , and we have a contradiction. Therefore, if f (a) f (b) f (c) , then a b c which is
equivalent to: if (in D) , then f 1 ( ) f 1 ( ) f 1 ( ) (in D) . And f 1 is an
isomorphism.
From this property follows that if one group is isomorphic to the other, then we can just say
“groups are isomorphic”. Any two isomorphic groups are almost identical, there is one-to-one
correspondence between their elements, and if elements of one group are connected by some relation
(like one element is a product of others), then their images/preimages in the other group are
connected by exactly the same relation.
For practical purposes (when we want to show that two groups are isomorphic) it’s easier to use the
other, equivalent definition.
Def. (G,) is isomorphic to ( D,) if there exist one-to-one mapping f : G D such that
f (a b) f (a) f (b) for any a, b G .
Show that this definition is equivalent to the initial one. From here follows (understand why) that
this definition is also symmetric: if (G,) is isomorphic to ( D,) (according to this definition),
then ( D,) is isomorphic to (G,) .
Exercise3. f is an isomorphism of groups (G,) and ( D,) . Then “one always goes to one”
f (eG ) eD . And for any a G we have f (a 1 ) f (a) 1 .
Solution. Any element d D has the unique representation as d f (a) || a G , then for any
d D we have d f (eG ) f (a) f (eG ) f (a eG ) f (a) d , so d f (eG ) d for
any d D and similarly f (eG ) d d , then f (eG ) is a one of the group D , so f (eG ) eD .
Let’s fix now an arbitrary a G . Let’s take f (a 1 ) and consider the product:
f (a 1 ) f (a) f (a 1 a) f (eG ) eD . By definition, f (a) 1 is such element that
36
Groups, Rings, Fields
f (a 1 ) f (a) eD , then f (a 1 ) f (a) f (a)1 f (a) . Let’s multiply both sides of the last
equality by f (a) 1 from the right side, then f (a 1 ) f (a) 1 .
Def. G is a group. For any a G and for any natural number n let’s define the element:
na a a ... a (there are exactly n summands on the right side). If G is a multiplicative
group, then for any a G and for any natural number n we define a n a a ... a
(there are exactly n factors on the right side).
Then in any commutative additive group, for any elements a, b and any natural numbers m, n :
[A] ma na (m n)a [B] m(a b) ma mb [C] mna n(ma) m(na) [D] (ma) m(a)
In any commutative multiplicative group, for any elements a, b and any natural numbers m, n :
[A] a m a n a m n [B] (a b) m a m b m [C] a mn (a m ) n (a n ) m [D] (a m ) 1 (a 1 ) m .
Def. R is a set with two binary operations on it: addition "" and multiplication "" .
[A] R is a commutative group with respect to addition "" ,
[B] Multiplication "" is associative. And there is a distributive law: (a b) c a c b c
and c (a b) c a c b for any a, b, c R
Then R is called a ring.
Notice that multiplication mustn’t be commutative, there may no be the element “one” e R such
that a e e a a (for any a R ). If multiplication is commutative, we say “ R is a commutative
ring”. If there exist an element “one” e R , then we say “ R is a ring with one”.
And we can say for example: “ R is a commutative ring with one”. Any ring R is a commutative
group with respect to addition and therefore, subtraction is defined on R .
37
Groups, Rings, Fields
[С] If R is a commutative ring, then the next well known formulas are true:
a 2 b 2 (a b) (a b) and (a b) 2 a 2 2 a b b 2 and
(a b)3 a3 3 a b2 3 b 2 a b3 .
Def: a set R is called a subring of R if is closed with respect to addition "" and
multiplication "" and is a ring.
When we say that is closed with respect to "" and "" we mean that
a, b a b , a b .
When we say that is a ring, we mean that satisfies to the ring-definition.
Subring criterion. R is a ring.
R is a subring of R a, b H : a b , a b , a b .
Def: a ring F is called a field if all nonzero elements of F form a commutative group with respect
to multiplication "" .
Notice that any field is also a ring (by definition), but it is such ring, where all nonzero elements
form a commutative group with respect to multiplication.
Even if F is a commutative ring with one, we can’t assert that F is a field. There is no guarantee
1 1 1
that for any nonzero element a F there exist an inverse element a F : a a a a e .
The ring of integer numbers (that we will build very soon) will be an exactly such type of ring:
a commutative ring with one. But is not a field.
Def. F is a field. All elements of F form a commutative group with respect to addition "" , which
is called an additive group of F . All non-zero elements of F form a commutative group with
respect to multiplication "" , which is called a multiplicative group of F .
From this definition we see that multiplication is commutative on F \ {0} . But it’s very easy to
understand that multiplication is commutative on all F . Really, let’s consider the equality
a b b a , if one of the elements a or b is zero, then both sides of the equality are zeroes and
therefore the equality is true for any a, b F .
0
is defined on F \ {0}. Let’s “extend” this operation to F . For any a 0 we define 0 , it is
a
reasonable, because 0 a 0 a 0.
a
And our restriction is: for any a F , the element is not defined. In other words:
0
a
It is forbidden to divide by zero. Really, let a 0 if we define b , then it’s reasonable to require:
0
a b 0 0 b 0 , then a 0 , but a 0 , and we have the contradiction. Therefore, we make an
a 0
agreement that is not defined for any a F (even for a 0 , the element is not defined).
0 0
a c
Exercise5. R is a field. Then for any a, b, c, d R (if there is or , then b 0 and d 0 ).
b d
a a a a a a a c ad bc a c ad bc
[A] and and [B] and .
b b b b b b b d bd b d bd
This theory will give us a great advantage in the future. Suppose that we deduced that some
structure (some set with "" "" ) is a ring, then all the properties from the exercises 2,4 are true for
the elements of that set. Similarly, if we deduced that some structure is a field, then all the
properties from the exercises 1,2,4,5 are true for the elements of that set.
Def. Let ( R , , ) and ( D , , ) are two rings (fields). We say that R is isomorphic to D
if there exist one-to-one mapping f : R D such that:
[A] If a b c (in R) , then f (a) f (b) f (c) (in D) .
[B] If a b d (in R) , then f (a) f (b) f (d ) (in D) .
39
Groups, Rings, Fields
Def. Let ( R , , ) and ( D , , ) are two rings (fields). R is isomorphic to D if there exist
one-to-one mapping f : R D such that f (a b) f (a) f (b) and f (a b) f (a) f (b)
for any a, b R .
Isomorphic rings/fields are almost identical, there is one-to-one correspondence between their
elements and if some elements in one ring are connected by some relation (like one element is
a sum/product of others), then their images/preimages in the other ring are connected by exactly
the same relation. When rings/fields are isomorphic, we write ( R , , ) ( D , , ) ,
or just R D . The next theorem will be repeatedly used during the construction process.
Lemma6. (G ,) is a multiplicative group and [ D ,] is some set with a binary operation
"": D D D on it. And there exist one-to-one mapping f : G D such that
f (a b) f (a) f (b) for any a, b G . Then D is also a group.
And one of G goes into one of D: f (eG ) eD and for any a G : f (a 1 ) f (a) 1 .
Moreover, if G is commutative then D is also commutative.
~, b~, c~ are any elements of D, each of these elements has can be uniquely represented
Proof. Let a
~ f (a), b~ f (b), c~ f (c) where a, b, c G . Then
as a
~
(a~ b ) c~ f (a) f (b) f (c) f (a b) f (c)
~
f (a b) c f a (b c) f (a) f (b c) f (a) f (b) f (c) a~ (b c~) , then the
associative law is true in [ D ,] . Let’s show that f (e ) is a “one” of D. For any a ~ D let’s
G
Now we can say that D is a group. We have already shown that f (eG ) eD , and by the way,
40
Groups, Rings, Fields
in the process we have also shown that f (a 1 ) f (a)1 . Really, the element f (a 1 ) is
an inverse to a~ f (a) , it means exactly that f (a 1 ) f (a) 1 .
~
Let now G is a commutative group. Let’s fix arbitrary elements a~, b D , then
~ ~
a~ b f (a) f (b) f (a b) f (b a) f (b) f (a) b a~ , then D is also a commutative
group.
We can rewrite this lemma for additive groups: (G ,) is an additive group and [ D ,] is some set
with a binary operation "": D D D on it. If there exist one-to-one mapping f : G D such
that f (a b) f (a) f (b) for any a, b G , then D is also a group.
And zero of G goes into zero of D : f (0G ) 0D and for any a G : f (a) f (a) .
Moreover, if G is commutative, then D is also commutative.
Let’s prove now the theorem4: Let f : R D is one-to-one correspondence with the properties
f (a b) f (a) f (b) and f (a b) f (a) f (b) for any a, b R . Let R is a ring, then ( R,)
is a commutative group with respect to the addition "" , and ( D,) is a set with the binary
operation , as f : R D is one-to-one mapping and f (a b) f (a) f (b) , then (by lemma6)
( D,) is a commutative group with respect to . As f is one-to-one and f (a b) f (a) f (b) ,
then f conserves the associative law for multiplication: a ~, b~, c~ D : (a~ b~) c~ a~ (b~ c~)
(the proof is exactly the same as in the lemma6). And let’s finally show that the distributive law is
~
true in D , then we will be able to say that D is a ring. For any a~, b , c~ D :
~
(a~ b ) c~ f (a) f (b) f (c) f (a b) f (c) f ((a b) c) f (a c b c)
~
f (a c) f (b c) f (a) f (c) f (b) f (c) a~ c~ b c~ .
And similarly c ~ (a~ b~) c~ a~ c~ b~ . Therefore, if R is a ring, then D is a ring.
Let R is a field, the mapping f transfers zero 0 R into zero 0 D (because f is one-to-one mapping
of additive groups ( R,)
f
( D,) ). Let’s discard zeroes from the sets R and D, then f is still
one-to-one mapping f : R \ {0 R } D \ {0 D }. As ( R \ {0 R }), is a commutative multiplicative
group and D \ {0 D }, is a set with a binary operation on it, from the condition
f (a b) f (a) f (b) , by lemma6 , we get that D \ {0 D }, is also a commutative multiplicative
group D is a field.
41
Groups, Rings, Fields
Notice. From [A] follows that 0 . In practice when we have some ring/field ( R,,) we need
to mark some set R , which is closed with respect to addition and multiplication and does not
contain a zero element 0 , such that: for any a R only one of the next cases is true:
a , or a , or a 0.
Any ordered ring/field ( R,,) must be always turned into an ordered set, the order ""
must be defined in the next way.
Proof. We need to show that any elements a, b R are comparable and also that "" is transitive,
then R is an ordered set by definition. Let’s fix any a, b R and consider the element (a b) .
According to [B], only one of the next cases is true: (a b) , or (a b) (b a) ,
or (a b) 0 it is equivalent to a b , or b a , or a b , then any a, b R are comparable.
We also have to show that the relation "" is transitive: ( if a b and b c , then a c ).
Let a b and b c , then (a b) and (b c) . The set is closed with respect to
addition, then (a b) (b c) (a c) a c , then "" is transitive. So "" is an order
relation on M.
Def. Any element a R such that a is called “negative”. So, any element a R is
positive, or negative, or zero.
42
Groups, Rings, Fields
Property3. Any ordered ring does not have any zero divisors.
Absolute value
Def. R is an ordered ring/field and a R . The absolute value of a is the element a R such
and a 0, b 0 . Let’s notice that in the case [C] it’s enough to prove that a b a b ,
then a (a b) (b) a b b a b b . Then a a b b a b a b .
Def. R is an ordered ring/field. We say that the Archimedes axiom is true in R if for any
positive elements a, b R there exist the natural number n such that n a b .
Property4. R is an ordered ring/field.
[A] a b a b [B] a c b c (for some c R ) a b . And a b a c b c
(for any c R ).
[C] a c b c (for some c 0 ) a b . And a b a c b c (for any c 0 ).
a c b c (for some c 0 ) a b . And a b a c b c (for any c 0 ).
[D] a b, c d a c b d
Properties. [A] a a for any a R , [B] a b a b for any a, b R ,
Property5.
[C] a b Rais an
b ordered
a bfield
a,(use
bR [C] property4).
fromathe
, [D] for some positive a ,
[E] ba d
[A] 0for a
some apositive
, then:
c
d ac [B]a b
b or d. 0 , then: a d c b
a c
b d b d
43
Groups, Rings, Fields
Theorem5 [Transfer of order]. Suppose we have exactly the same conditions as in the theorem4.
Then: If ( R,,) is an ordered ring/field, then [ D , , ] is also an ordered ring/field.
And f is one-to-one correspondence between positive and negative elements of these rings/fields:
a is positive / negative (in R) f (a) is positive / negative (in R) .
And f conserves the order relation: a b (in R) f (a) f (b) (in D) .
Proof. Let is a set of “positive elements” in R , i.e., is a set with the properties [A] and [B]
(from the definition above). Let’s show that f () { f (m) || m } is the a with the same
properties in D . From [A] follows that R is divided into the next sets without common elements
Let’s simplify: f (b a) f (b (a)) f (b) f (a) f (b) ( f (a)) f (b) f (a) - this
44
Groups, Rings, Fields
Notice, when we say “nonzero subring” we mean {0} . Really, the set {0} is a subring
of R which consists of only zero element. The word “nonzero” above refers to “subring”, because
45
Matrixes
Matrixes
Everywhere later is a set with addition and multiplication on it (binary operations on )
which both associative, commutative and these operations are connected by the distributive law.
For example, , or is a commutative ring, or is a field. Each of these variants is
appropriate.
Def. Any table with m rows and n columns, which is formed from some elements of , is called
an m n matrix (or just a matrix).
1 3 1 1 3 4
For example, and and are all 2 2 matrixes (here we use the set ).
2 1 3 8 5 8
1 2 4
And 3 1 5 is 1 3 matrix, is 2 3 matrix. By definition, any 1 1 matrix (a) is
3 5 5
exactly the element a , so (a) a . When the number of rows m and the number of columns n are
equal: m n , we say that we have “a square matrix”. When m n we say that we have
“a rectangular matrix”.
The element of a matrix A which stays at the intersection of the row with number i and the column
with number j is denoted like aij .
1 3
For example: A , then a11 1, a21 2, a12 3, a22 4 .
2 4
a11 a12 ... a1n
a21 a22 ... a2 n
In general, m n matrix A can be denoted as: A .
... ... ... ...
am1 am 2 ... amn
Matrixes A and B are equal ( A B ) if they have exactly the same size ( mA mB , nA nB ) and
they consist of the same elements aij bij i, j .
Def. Let A and B are both m n matrixes (of the same size), then their sum is m n matrix С
such that сij aij bij i, j . And we denote A B C .
1 3 3 2 1 3 3 2 4 5
For example, and 1 2 2 3 1 2 2 3 3 5 .
2 1 1 4 2 1 1 4 3 5
Addition of matrixes is commutative and associative: A B B A and ( A B) C ( A B) C
for any m n matrixes A, B, C (because addition on is commutative and associative).
47
Matrixes
b11
b
Def. The product of any 1 n matrix A (a11, a12... a1n ) and any n 1 matrix B 21 is 1 1
...
bn1
matrix (the number) a11 b11 a12 b21 ... a1n bn1 . So, by definition:
(a11 a12 ... a1n ) b11
b21
... a11 b11 a12 b21 ... a1n bn1 .
bn1
3 1 1 1
(1 2) 3
For example, 1 3 2 1 5 and 3 3 1 1 3 1 2 8 .
1 2
We have defined how to multiply a row and a column (any 1 n row and any n 1 column).
We can also multiply matrixes of appropriate sizes (only if the number of columns in A is equal to
by the 1-st,2-nd, 3-rd… columns of B, the results must be placed at the second row of A B and etc.
48
Matrixes
1
1 2 3
For example, is 2 3 matrix and 2 is a 3 1 matrix, so they can be multiplied:
3 2 1 1
1 2 3 1 1 1 2 2 3 1 8
3 2 1 2 3 1 2 2 1 1 8 .
1
5 3 1 1
Let’s take 3 3 matrix 2 3 2 and 3 1 matrix 1 , these matrixes can be multiplied:
7 1 1 2
5 3 1 1 5 1 3 1 1 2 10
2 3 2 1 2 1 3 1 2 2 9 .
7 1 1 2 7 1 1 1 1 2 10
1
Let’s take A and B 1 3. We can multiply these matrixes, because their sizes are 2 1
2
1 1 3 1 1 1 3 1 3
and 1 2 , so A B , here we can also calculate
2 2 1 2 3 2 6
1 3 1
B A 1 1 3 2 7 .
2
It’s always very easy to calculate the size of a product-matrix: if A is m n and B is n k , then
A B is m k .
Multiplication of matrixes is NOT commutative. Really, let A is 3 1 and B is 1 2 matrix, then
A B is defined and B A is not even defined. Both matrixes A B and B A are defined only when
B and A have sizes m n and n m . And if m n , then A B and B A are matrixes of different
sizes, so they can’t be equal. Only when m n (when A and B are both square n n matrixes)
matrixes A B and B A have the same size n n . But even in this case we can’t guarantee that
these matrixes are equal.
49
Matrixes
Proof. Let’s show that every element ij of A ( B С ) is equal to the element ij of ( A B) С .
Let’s fix any element ij of A ( B С ) , then:
ij (the row with number i of A) (the column with number j of B C ) (ai1, ai 2 ... ain ) p1 j
p2 j
... .
p
nj
The column with number j of B C consists of the elements:
p1 j (the row with number 1 of B) (the column with number j of C ) b1s csj
1 sk
p2 j (the row with number 2 of B) (the column with number j of C ) b2 s csj
... 1 sk
...
....
p (the row with number n of B) (the column with number j of C )
nj bns csj
1 sk
b1s c sj
ij ai1 , ai 2 ... ain 1sk
b c
1 2s sj
a b c a b c ... a b c
sk i1 1s sj i2 2s sj in ns sj
.... 1 s k 1 s k 1 s k
bns csj
1sk
Let’s regroup our summands, we want the numbers c1 j , c2 j ... ckj to be in front of the brackets:
50
Matrixes
(ai1 , ai 2 ... ain ) b11 (ai1 , ai 2 ... ain ) b12 (ai1 , ai 2 ... ain ) b1k
21
b 22
b b2 k
... ... ,....., ...
bn1 bn 2 bnk
ais bs1 , ais bs 2 ..... ais bsk then ij ais bs1 , ais bs 2 ..... ais bsk с1 j
1 s n 1 s n
1 s n 1 s n 1 s n 1 s n c2 j
...
c
kj
с1 j ais bs1 с2 j ais bs 2 .... ckj ais bsk
1 s n 1 s n 1 s n
с1 j ai1b11 ai 2b21 ... ainbn1 с2 j ai1b12 ai 2b22 ... ainbn 2 ....
[2].
... ckj ai1b1k ai 2b2 k ... ainbnk ij
Let’s compare [1] and [2], we see that ij ij , it proves that A ( B C ) ( A B) C.
Def. For any element F and any m n matrix A . The matrix A is such matrix C that
сij aij i, j .
1 4 2 8
For example: 2 and 2 3 2 4 6 4 8 .
3 5 6 10
Let’s consider the set of all m n matrixes which elements are taken from some commutative
ring R . It’s easy to see that is a commutative additive group. Really, addition of matrixes is
commutative and associative, the zero matrix O is m n matrix which consists of zeroes.
For any m n matrix A , an opposite matrix A is the matrix which consists of opposite elements:
A {aij } A {aij } . So is a commutative group.
51
Matrixes
Then we can speak about subtraction "" on . For any matrixes A, B , their difference is the
matrix С such that A B С . We can consider the last equality as an equation A B C ,
where A, B are fixed matrixes, and we have to find the matrix C .
As A B C aij bij cij || i, j cij aij bij || i, j .
Then: for any m n matrixes A and B , their difference ( A B) is the matrix C such that
сij aij bij i, j .
3 9 2 3 1 6
For example, and 5 5 5 3 2 1 2 3 4 .
5 8 1 4 4 4
Def: a square n n matrix is called symmetric if it has a symmetry with respect to it’s main
diagonal a11, a22... ann . We can write it shortly: is symmetric if aij a ji i, j .
For such matrix any i th row of and i th column of consist of the same elements.
From here immediately follows the next simple fact: multiplication of symmetric matrixes is
commutative, i.e., for any symmetric matrixes , we have (understand why).
52
Integer Numbers
Integer numbers
Def. is the ring that consists of natural numbers {1,2,3,4,5...}, the zero number 0 , and all
the numbers that are opposite to naturals {1,2,3,4,5...}, so {0} .
The addition and multiplication on are extensions of the addition and multiplication on , i.e.,
for any a, b : a b (addition by the rules of ) a b (addition by the rules of ),
a b (multiplication by the rules of ) a b (multiplication by the rules of ) .
The ring Z is called a ring of integer numbers and elements of Z are called integer numbers.
Let’s build . We fix any set N of natural numbers. Let’s consider the set of all pairs (a, b)
where a, b are any natural numbers. Let’s define addition and multiplication on .
Def. (a, b) (c, d ) / by def / (a c, b d ) and (a, b) (c, d ) / by def / (a c b d , a d b c)
How to remember it? Imagine that any pair (a, b) denotes the difference a – b of elements a, b
in some ring, then (a, b) (c, d ) (a b) (c d ) (a c) (b d ) (a c, b d )
and (a, b) (c, d ) (a b) (c d ) (a c b d ) (a d b c) (a c b d , a d b c) .
For any pair (a, b) , it’s elements are natural numbers a, b . And we have already learned all
the basic properties of natural numbers (the addition and multiplication of natural numbers are
commutative and associative, there is also a distributive law and etc.).
Assertion1. The addition "" and multiplication "" (of pairs) are both commutative and
associative on . There is also a distributive law:
(a, b) (c, d ) (e, m) (a, b) (e, m) (c, d ) (e, m) and
(e, m) (a, b) (c, d ) (e, m) (a, b) (e, m) (c, d ).
Proof. We could check all these properties straightly. Let’s give a more interesting proof.
We consider the set X of all 2 2 symmetric matrixes of natural numbers.
a b
A || a, b - this set is closed under the matrix addition and multiplication, really:
b a
a b c d a c b d a b c d a c b d a d b c
and .
b a d c b d a c b a d c b c a d b d a c
a b
Let’s define the mapping f : : for any matrix it’s image is the pair (a, b) ,
b a
a b
so f (a, b) . Then f is one-to-one mapping, and f obviously has the next properties
b a
[T] A, B : f ( A B) f ( A) f ( B), f ( A B) f ( A) f ( B) (so f is a “sort of” isomorphism).
All the properties, that are listed in the assertion1, are true on X (because X consists of 2 2
54
Integer Numbers
symmetric matrixes, and all the properties from the assertion1 are the standard properties of
square matrixes, except commutativity of multiplication, but it is true for any symmetric matrixes
of the same size). And we have one-to-one mapping f : such that [T].
Then f transfers all the needed properties (associativity/commutativity/distributivity
of addition/multiplication) from to and the assertion1 is proved.
Comment: we have showed the transition of all these properties in the theorem4 (“Groups, rings,
fields”). The proof was done for rings/fields, and the Reader could notice that is not a ring/field.
Now the situation is more simple, because has just some properties of a ring (but not all of them),
and because of [T], f transfers all these properties from X to .
Let’s define the equivalence relation "" on the set of all pairs. By definition, pairs (a, b) and
(c, d ) are equivalent (a, b) (c, d ) if a d b c . It’s very easy to see that "" is really an
equivalence relation on , because it is reflexive, symmetric and transitive. Therefore this relation
divides into the classes A, B, C , D, E ... of equivalent pairs. All pairs in any class are equivalent
to each other. And the classes A, B, C, D, E ... do not have any common elements (common pairs).
The set of all classes we denote like aux (aux=auxiliary).
Let’s define addition and multiplication on aux in order to turn aux into a ring.
Def. Let A,B are any classes from aux . And (a, b) A, (c, d ) B are any pairs from these
classes. The sum is the class that contains the sum of pairs (a, b) and (c, d ) , i.e., the pair
(a с, b d ) (a, b) (c, d ) . The product is the class that contains the product of pairs
(a, b) and (c, d ) , i.e., the pair (a c b d , a d b c) (a, b) (c, d ) .
Notice: we use the same symbols and to denote the addition and multiplication of classes,
as we used for the addition and multiplication of pairs. But of course, the addition/multiplication of
pairs and classes are different operations which are defined on different sets. But there is no need
to complicate our designations, let’s just stick to and .
Assertion2. The given definition is correct. For any classes , aux , a sum and
a product are uniquely defined (it doesn’t matter which pairs (a, b) and (c, d ) are chosen
from A and B).
Proof. Let (a, b), (a , b ) and (c, d ), (c , d ) . We just need to show that
(a, b) (с, d ) (a , b ) (с , d ) and (a, b) (с, d ) (a , b ) (с , d ) , then the classes and
are uniquely defined. As (a, b), (a , b ) , then a b a b , as (c, d ) (c , d ) , then
c d c d . Let’s sum two last equalities:
(a b ) (c d ) (a b) (c d ) (a c) (b d ) (a c ) (b d ) [T].
55
Integer Numbers
The “straight proof ” here is inconvenient, let’s prove the auxiliary equivalence: if ( a, b) ( a , b ) ,
then for any pair (c, d ) there must be: (a, b) (c, d ) (a , b ) (c, d ) [aux].
Assertion3. The set ( aux,, ) (of all classes) is a commutative ring with one.
Proof. The addition of pairs is commutative and associative, therefore the addition of classes is also
commutative and associative. The zero O is the class which contains (1,1) . Really, for any class A,
the class AO is the class which contains (a, b) (1,1) || (a, b) A, (1,1) O .
Then AO contains (a 1, b 1) . But the pair (a 1, b 1) is equivalent to (a, b) , because
(a 1) b (b 1) a therefore and similarly .
So O is a zero element of aux . Next, for any class which contains (a, b) , an opposite class
is the class which contains (b, a) . Really, let’s fix an arbitrary (a, b) A . The pair (b, a) belongs to
some class B. Then contains the pair (a, b) (b, a) (a b, b a) (1,1) . Therefore
and similarly , then, by definition, is an opposite to element,
so .
56
Integer Numbers
multiplication of classes is also commutative, so aux is a commutative ring. There is also the class
“one” which contains the pair (2,1) . Really, for any class A the class A I contains the pair
(a, b) (2,1) || (a, b) A, (2,1) I . But (a, b) (2,1) (a 2 b 1, a 1 b 2) this pair is equivalent
to (a, b) , then and similarly . Then I is an element “one” of aux .
Conclusion: aux is a commutative ring with one.
to show that if , are positive, then both A B and are positive. Let’s take any
(a, b) || a b and (c, d ) || c d , then obviously, the pair (a, b) (c, d ) (a b, c d ) is
a positive pair, and similarly (a, b) (c, d ) (a c b d , a d b c) is positive, let’s show the
last one: a ba b and c d c d , then a c b d (b ) (d ) b d
b d b d b d and a d b c (b ) d b (d )
b d d b d b , we can compare two sums that we obtained, it’s easy to see that
a c b d a d b c , and the pair (a, b) (c, d ) is positive.
From here immediately follows that and are positive classes.
We have shown that aux is an ordered ring.
According to the rules of any ordered ring, the class aux is called negative if is positive.
Let (a, b) , then (b, a) , if is positive, then b a . Then for any pair (a, b) from any
57
Integer Numbers
negative class B we have a b . Let NEG is the set of all negative classes. As any class of the ring
aux is positive, or negative, or zero, then aux NEG POS .
Assertion5.
For any positive class POS there exist the unique natural number such that
(a, b) : a b .
And for any natural number there exist the unique positive class such that
(a, b) : a b .
For any negative class NEG there exist the unique natural number such that
(a, b) : a b .
And for any natural number there exist the unique negative class such that
(a, b) : a b .
Proof. Existence. Let is a positive class: (a, b), (c, d ) : a d c b it is an equality of
natural numbers. Here a b and c d , then both sides of the equality a d c b are greater
than (b d ) , so we can subtract (b d ) from both sides:
(a d ) (b d ) (c b) (b d ) a b c d .
So, for any pairs (a, b), (c, d ) a b c d / by def / .
Let’s build now the set of integer numbers. We take aux and every class A from POS with
a pair (a, b) we replace by the natural number such that a b (assertion5).
Then instead every positive class we will have exactly one natural number. And the set POS will
58
Integer Numbers
turn into the set of natural numbers. All the other classes of aux must stay untouched.
NEG POS NEG . The set NEG is called
a set of integer numbers. This set consists of natural numbers and classes of equivalent pairs
(of natural numbers). We need to define addition and multiplication on (because consists of
natural numbers and classes, and we don’t know how to add or multiply those).
are some classes of the ring aux . Then we define a b f () f () / by def / f ( )
with two binary operations on it. We see that: f : aux is one-to-one mapping such that
Property1. The addition and multiplication on are extensions of the addition and
multiplication of natural numbers, i.e., for any a, b we have:
a b (addition by the rules of ) a b (addition by the rules of ) ,
a b (multiplication by the rules of ) a b (multiplication by the rules of )
And similarly, the order relation "" on is an extension of the order relation on :
a b ( by the rules of ) a b (by the rules of ) .
59
Integer Numbers
So, is the class with the pair (1 a, 1) and is the class with the pair (1 b, 1) .
The class contains the pair (1 a, 1) (1 b, 1) ((1 a) (1 b), 1 1) (2 (a b), 2) ,
~
then f ( ) (a b) and therefore a b a b for any a, b .
Next, a ~ b f () ~ f () f ( ) and ( ) is the class which contains the pair
Conversely. Let a b (in ) , then the class ( ) () with the pair (2 a, 2 b) is
positive, then (in aux ).
Conclusion: as the order relation/ addition/multiplication on are all extensions of the order
relation/ addition/multiplication on , then it’s appropriate to use exactly the same signs
( ) (as we used on ) to denote these operations on .
there is the unique natural number such that (a, b) : a b , and B contains
the pair (1, 1 ) . The class aux is the class that contains the pair (1 , 1) .
60
Integer Numbers
Then () (in aux ) , therefore f () f () f () f () f () .
Here f () and f () and f () 0 , then 0 .
Uniqueness. Let and , where , . Then ,
Let some ring R contains , this ring must also contain a zero element 0 R (and obviously 0
can’t be an element of , because a : a b b for any b , so any a can’t be a zero
element of R. Here we can see why we require from addition on R to be an extension of the
addition on ). The ring R must also contain all the elements which are opposite to natural
numbers (because R is an additive group). And any element a , which is opposite to a natural
number a , can’t belong to R .
Really, a a 0 , if we assume that a , then both a, a and therefore 0
(because a sum of natural numbers is a natural number), but 0 , so we have a contradiction.
We showed that {0} and . Let’s finally show that {0} , if it’s not
true, then 0 , then 0 a for some a , then a 0 which is not true. So, any two of the
~ ~
sets , {0}, do not intersect in R. Let’s denote {0} , any element of is a
natural number, or an opposite to some natural, or zero.
61
Integer Numbers
According to the rules that govern addition and multiplication in any ring,
(like a b (a b), a b a (b), (a) (b) a b ), sum/difference/product of any
~ ~ ~
elements a,b are again some elements of , then is a subring of R (subring criterion).
~
Then is an independent ring, inside R . As addition/multiplication on R are extensions of
~
the addition/multiplication on R , then addition/multiplication on are extensions of
~ ~
the addition/multiplication on . It’s easy to see that is a ring of integer numbers
(according to the initial definition). Everything is proved.
Uniqueness. We have built the ring of integer numbers , based on some set of natural
numbers that we have fixed at the very beginning. Formally, there exist different sets of natural
numbers (of course, all of them are isomorphic as ordered sets), and formally, we can construct
different sets . The main question that appears here: are these sets of integer numbers also
isomorphic? And the answer is “Yes”. All sets of integer numbers are isomorphic as rings.
And we will show even more.
Uniqueness theorem. Any rings and of integer numbers are isomorphic. Moreover,
the isomorphism f : is unique, this isomorphism is an extension of the unique
isomorphism f : (look at the theorem3/advanced theorem3 for natural numbers).
Proof: [Existence]. Let’s build the isomorphism f : . We take the unique isomorphism
f : . It’s explicit definition is f (1 ) 1 and if f (a ) a , then f n(a ) n(a ) .
As we showed above: () 0 , so
( ) 0 {... 3 ,2 ,1 ,0 ,1 ,2 ,3......} and
( ) 0 {... 3 ,2 ,1 ,0 ,1 ,2 ,3......}.
... 3 2 1 0 1 2 3 ...
And f is one-to-one correspondence: .
... 3 2 1 0 1 2 3 ...
Let’s extend f . We define f (0 ) 0 , and for any negative number a we define
f (a ) f (a ) .
... 3 2 1 0 1 2 3 ...
Then f becomes one-to-one mapping .
... 3 2 1 0 1 2 3 ...
[A] f covers the set . Let’s take any element a a , then there exist
the unique a such that f (a ) a . Let’s consider the element a , by definition
f (a ) f (a ) a .
[B] f does not “glue together” elements of . Let f (a ) f (b ) || a b , we can
rewrite it f (a ) f (b ) || a b . Then f (a ) f (b ) || a b , then different natural
numbers a and b are transferred into the same (natural) number f (a ) f (b ) which is
impossible, because f : is one-to-one, and we have a contradiction.
Then ( )
f
( ) is one-to-one.
Now we can claim that f : is really one-to-one. Let’s show that f : is
a ring isomorphism. So we need to show that a , b : f (a b ) f (a ) f (b ) and
f (a b ) f (a ) f (b ) . Let’s consider several possibilities:
[1-st case] One of the numbers a , b is a zero number. Multiplication and addition are
commutative in both rings, and both equalities (that we want to prove) are symmetrical
with respect to a , b , without loss of generality we can assume that a 0 .
[2-nd case] Both a , b are not zero numbers. There can be exactly 3 variants[A],[B],[C].
[A] Both numbers a , b are natural. In this case the properties f (a b ) f (a ) f (b )
and f (a b ) f (a ) f (b ) have already been proved (advanced theorem3 for natural numbers).
~ ~
[B] Both numbers a , b are negative. Then a a~ , b b , where a~ and b are natural.
In the next actions we will use the sign rules which are true in any ring, like a (b) a b and
a (b) a b (a b) and (a) (b) a b and etc. We will also use the case [A]
(properties of f for natural numbers). So,
~ ~ ~ ~ ~
f (a b ) f (a~ (b )) f ((a~ b )) //(a~ b ) // f (a~ b ) ( f (a~ ) f (b ))
~ ~ ~
f (a~ ) f (b ) f (a~ ) ( f (b )) f (a~ ) f (b ) f (a ) f (b ) .
And f (a b ) f ((a ~ ) (b~ )) f (a~ b~ ) // a~ , b~ // f (a~ ) f (b~ )
f (a
~ ) f (b~ ) f (a~ ) f (b~ ) f (a ) (b ) .
[C] One of the numbers a , b is positive and the other one is negative. Similarly, as in the
[1-st case], we can assume that a is negative and b is positive, then a a~ where a~ is
natural and b is natural. Let’s prove the simple part:
f (a b ) f ((a~ ) b ) f ((a~ b )) //(a~ b ) // f (a
~ b ) f (a~ ) f (b )
f (a~ ) f (b ) f (a ) f (b ) .
Let’s consider now f (a b ) f ((a ~ ) b ) f (b a~ ) || b~ , a~ here can be several
63
Integer Numbers
~ )
simple cases, in each case we will work with the expression f (b a
(which is equal to f (a b ) ).
Let’s assume that there exist some other ring-isomorphism : . As any isomorphism,
must transfer zero into zero and one into one: (0 ) 0 and (1 ) 1 . In the main theorem
(for natural numbers) we have shown that every natural number a is a descendant of one
a n(n(...(n(n(e ))))), then a can be represented as a “sum of ones”
a n(n(...(n(n(e ))))) n(n(...(n(e e )))) n(n(...(e e e ))) ... e e ... e .
Then for any natural
a : (e e ... e ) // (a b) (a) (b) // (e ) (e ) ... (e )
e e ... e , from here follows that the values of on the set belong to the set .
Then we can write : . Let’s show that satisfies the conditions: (1 ) 1 and
if (a ) a , then (n(a )) n(a ) .
If these conditions are true, then coincides with f on . As we mentioned above, (1 ) 1 .
And if (a ) a , then (n(a )) (a 1 ) (a ) (1 ) a e n(a ) . So f on .
As we mentioned earlier (0 ) 0 , then f on {0 } . The mapping f is defined on
( ) by the rule a f (a ) f (a ) . Let’s fix an arbitrary a .
According to the basic properties of any ring-isomorphism: (a ) (a ) a and
in particular for any a : (a ) (a ) // (a ) f (a ) // f (a ) f (a ) ,
then f on ( ) . Then f on .
64
Integer Numbers
Let’s list the other simple, but very important properties of integer numbers.
Property4. The Archimedes axiom is true in : for any positive a, b there exist the natural
n such that n a b.
Proof. Let’s fix arbitrary positive a, b , then both a, b . And we have already proved
the Archimedes axiom for .
Property5. Let is a nonempty subset of .
[A] If there exist some number M which is greater than any element of , then has
the greatest number M max .
[B] If there exist some number m which is less than any element of , then has
the least number mmin .
Proof. [A] If there are some positive numbers in
X, then these numbers are natural and there is
a nonempty subset of natural numbers. If there exist some number M such that
x M || x x M || x then (as we proved earlier) there exist the greatest number
M max , obviously M max is the greatest number in X.
The case [B]. There exist m x || x . We can simplify the proof if we consider the set of
integer numbers, then m ( x) || ( x) . So, the number m is greater than any number
of . Let’s use the result [A], the set contains the greatest number M max , then M max
is the least number of .
Divisibility
Def. a, b if there exist k such that a k b , then we say “ a is divisible by b ” and we
write ab . Also when a k b , we can say “ b divides a ”, or “ b is a divisor of a ” and we can
write b | a.
Exercise: If a, b and a is divisible by b , then a b .
If a, b || a 0 and a is divisible by b , then a b .
Theorem1 [division with a remainder].
[1-st part] For any natural numbers a, b there exist the unique pair of integer numbers
k , r || k 0, 0 r b such that a k b r .
65
Integer Numbers
Proof: [A] Existence of numbers k, r . Let’s fix arbitrary a, b , according to the Archimedes
axiom, n : a nb . Let is the set of all integer numbers m, for which m b a .
Then m : m n . Then there exist the greatest number mmax , obviously mmax 0
[B] Uniqueness of numbers k, r . Let’s assume that there exist some other pair of integer numbers
k , r which satisfies to the same conditions. Then a k b r and a k b r , then
k b r k b r . From the last equality follows that: if k k , then r r and the uniqueness is
proved. Let k k , without loss of generality k k . The equality k b r k b r is equivalent
to (k k ) b r r , here (k k ) (k k ) 1 (k k ) b b . Also 0 r b and
0 r b 0 r b b r 0 let’s sum the last equality with 0 r b , then
b r r b . So, the left part of the equality (k k ) b r r is greater than or equal to b ,
and the right part is less than b , therefore (k k ) b r r , and we have a contradiction.
Then k k and r r .
[2-nd part] For any integer numbers a, b || b 0 there exist the unique pair of integer numbers
k , r || 0 r b such that a k b r . And k is called a quotient of a, b .
r is called a remainder of a divided by b.
Proof. [Existence of representation]. If a 0 let’s take k 0, r 0 . Let a 0 , then can be the
next cases: [A] If a 0, b 0 , then a, b are natural, everything is proved in this case.
[B] a 0, b 0 . Let’s take the natural numbers a, (b) , then, according to the [1-st part]), there
exist the representation: a k (b) r || k 0, 0 r (b) . As b 0 , then (b) b and we can
rewrite a (k ) b r || (k ) , 0 r b . Now we just have to designate k (k ) and rr
and we have the representation we need: a k b r || k , 0 r b .
[C] a 0, b 0 , or [D] a 0, b 0 , both cases must be considered exactly as the case [B], by using
the needed representation for natural numbers we get the similar representation for integers.
66
Integer Numbers
Decimal notation
Reminder. We have introduced earlier the natural numbers 1, 2, 3, ...., 10 , and the set
can be written like: {1, 2, 3, ...., 10, n(n(n(n(n(n(n(n(n(n(1)))))))))) .......}.
Lemma1. For any natural number k the next equality is true:
9 10k 9 10k 1 ... 9 101 10 10k 1 .
Proof (by induction). When k 1 we need to check: 9 101 10 102 , let’s simplify the left part, by
using the distributive law: (9 1) 10 10 10 10 - it is a true equality.
2
Lemma2. For any natural k there exist some n such that 10n 10 k 10n 1 .
Proof. Let k 1, then n 1 is appropriate, really 10 10 1 . Let’s check that 10 1 1011 - it
is equivalent to 1 10 10 1 10 (10 1) 1 10 9 1 1 10 9 , the last equality is true,
2
because 1 9, 1 10 . If our assertion is true for a natural number k , then let’s consider it for
(k 1) . As the assertion is true for k , then 10n 10 k 10n 1 for some n . As 10 k 10n 1
there can be the next cases: [A] If 10 k 10
n 1
1, then 10 (k 1) 10n 1 and
10n 1 10 (k 1) 10n 2 10n 1 10 (k 1) 10n 2 .
[B] If 10 k 10n 1 1, then 10 k 10n 1 1, then 10 (k 1) 10n 1 and also
10n 10 k 10 (k 1) , therefore 10n 10 (k 1) 10n 1 .
Our assertion is true for (k 1) , therefore it is true for any natural number k .
The main theorem. For any a || a 10 there exist the unique representation as the sum:
a n10 n n 110 n 1 ... 110 0 , where n , n 1... 1, 0 are integer numbers:
1 n 9, 0 n 1 9, .... 0 0 9 .
[Existence of representation]. As a 10 , then a 10 k , where k .
Assertion. For any natural number 10 k || k there exist the representation from the main
theorem. Let k 1, then 10 1 110 1 || 1 1, 0 1. Let our assertion is true for some
numbers 1,2.... k . Let’s consider the number 10 (k 1) . The number 10 k can be represented as:
10 k n10n n 110n 1 ... 110 0 , then 10 (k 1) n10n n 110n 1 ... 110 0 1.
67
Integer Numbers
Then for any natural number a 10 k || k there exist the representation from the main
theorem. The existence is proved.
[Uniqueness of representation]. For any natural number a the representation (from above):
a n10n n 110n 1 ... 110 0 is unique.
Def. Let and a || a 10 and a n10 n n 110 n 1 ... 110 0 [E]- the representation
from the main theorem. The sum on the right side can be denoted as:
n n 1... 1 0 / by def / n10n n 110n 1 ... 110 0 and this symbol is called a decimal
notation of a. As n n 1... 1 0 defines the sum which is equal to a , we can write
a n n 1... 1 0 .
Sometimes, in order to avoid ambiguity, we can draw the line above the symbol n n 1... 1 0 ,
because n n 1... 1 0 can be misunderstood as a product of numbers n , n 1... 1, 0 .
Def [extension of the previous one]. Let a is an integer number. If a , then it’s decimal
notation is the symbol n n 1... 1 0 (from above). If a 0 , then 0 is the decimal notation of a
If a is a negative number, then a where , then the decimal notation of with the
minus sign in front of it is the decimal notation of a .
a || , n n 1... 1 0 a // by def // n n 1... 1 0
Conclusion: Any integer number a can be uniquely represented as a combination of symbols
0,1,2,3...9 with or without minus sign "" in front of this combination. Such representation is called
a decimal notation of a .
69
Integer Numbers
Divisibility
Exercise. [A] a, b, c, . If a b c , then a is divisible by both b and c . [B] If a is divisible
by b and b is divisible by c , then a is divisible by c . [C] Let a b c , if some two of these
numbers are divisible by k , then the third (the other number) is also divisible by k .
Def. If natural numbers a and b do not have any common divisors except 1 , then we write
(a, b) 1. And in this case we say that a and b are coprime numbers. In general, if some number
d is the greatest common divisor of natural numbers a and b , then we write (a, b) d .
Theorem7. The given definition is correct, for any natural numbers a, b there always exist
a unique greatest common divisor d , moreover, there exist the pair of integer numbers , such
that a b d .
Proof. Let’s consider the set {m a n b || m, n } of integer numbers, here a and b are
fixed and m, n can be any integers. The set is closed (as a subset of ) under addition/subtraction
and multiplication by any k . Also a ( m 1, n 0 ) and b ( m 0, n 1 ). As a, b are both
positive, there exist a nonempty subset of natural numbers. There exist the least number
d , this number is obviously the least positive number in . Let’s show that any element
x is divisible by d . We fix any x .
According to the 2-nd part of the theorem1 [division with a remainder], there exist the unique pair
of integer numbers k , r || 0 r d such that x k d r , then r x k d .
Notice that x, d x, k d x k d . Then we have r and 0 r d . If r 0
(positive), then we have a contradiction (because r and r d , but d is the least positive
number of ). Therefore r 0 and x k d , so x is divisible by d .
Notice that x is an arbitrary number from .
Let’s take a, b , then a m d and b n d and also d , so there exist some (concrete) pair
of integer numbers , a b d . From a m d and b n d follows that d is
such that
a divisor of a and b , from the equality a b d follows that there is no any other common
divisor of a, b which is greater than d . Really, if a and b are both divisible by some number
~ ~ ~
d d , then the left part of a b d is also divisible by d , then d is divisible by d which
~
is impossible (because d d ). So, d is not just a common divisor of numbers a, b , but it is also the
greatest common divisor of these numbers d d . And we also got the representation we need
a b d .
Consequence. (a, b) 1 a b 1 for some integers , .
Def. A natural number p 1 is called a prime number (or just a prime) if p is divisible only by 1
and p . Obviously: p is not a prime number p has some divisor b such that 1 b p .
The number 2 is the least prime number and the only prime number which is divisible by 2 .
70
Integer Numbers
Assertion6. For any natural number a 1 there exist at least one prime divisor p .
Proof. Ifa is a prime, then it is it’s own prime divisor, because a a 1. Let a is not a prime, then
it has some divisor b || 1 b a . Then the set {all b || ab, b 1, b a} of all divisors of
a , which aren’t equal to 1 or a , is not empty, therefore it contains the least number mmin .
The number mmin must be a prime number. Really, if mmin is not a prime, then it has some divisor
d || 1 d mmin , then d is also a divisor of a (exercise [B] above), then d and d mmin and
we have a contradiction. So mmin is a prime divisor of a.
to a 2 . So, the process, which is described above, must end for sure in
k
n k steps.
We can also prove that for any a 1 it’s representation as a product of primes is unique up to
the order of prime numbers.
71
Integer Numbers
Really, as p is a prime, 1 and p are the only divisors of p , therefore 1 is the only common divisor
of numbers b1 , p . As (b1, p) 1, then there exist the representation b1 p 1 , let’s multiply by
b2 both sides of the last equality, we will get (b1 b2 ) p b2 b2 . The left part of the last
equality is obviously divisible by p , then the right part (which is b2 ) is also divisible by p .
Everything is proved in the case k 2 .
If the assertion is true for a number k , let’s consider it for k 1 . So b1 b2 ... bk bk 1 is divisible
by p . Let’s designate P b1 b2 ... bk . The product of two numbers P bk 1 is divisible by p ,
then one of these numbers is divisible by p . If bk 1 p , then everything is proved.
If P p , then the product b1 b2 ... bk is divisible by p and (according to our assumption) one of
the numbers b1, b2 ..,bk is divisible by p . The auxiliary assertion is proved.
72
Rational Numbers
Rational numbers
Def. Q is the field that contains the ring of integer numbers. Any element q Q can be
a
represented as a ratio of some integers q . The addition and multiplication on Q are
b
extensions of the addition and multiplication on , i.e., for any a, b Q :
a b (addition by the rules of Q) a b (addition by the rules of ) ,
a b (multiplication by the rules of Q) a b (multiplication by the rules of ) .
The field Q is called a field of rational numbers and elements of Q are called rational numbers.
Let’s build Q . We fix any set of integer numbers. Let’s consider the set of all pairs (a, b)
where a , b || b 0 are any integer numbers. We define addition and multiplication on .
Assertion1. The addition "" and multiplication "" of pairs are both commutative and associative
on . And instead of distributivity we have the equivalence:
(a, b) (c, d ) (e, m) (a, b) (e, m) (c, d ) (e, m) and
(e, m) (a, b) (c, d ) (e, m) (a, b) (e, m) (c, d ).
Proof. As the multiplication of integer numbers is associative and commutative, the multiplication
of pairs is also commutative and associative. Next:
(a, b) (c, d ) (a d b c, b d ) and (c, d ) (a, b) (с b d a, d b) , then
(a, b) (c, d ) (c, d ) (a, b) (the addition of pairs is commutative).
And (a, b) (c, d ) (e, m) a d b c, b d (e, m) (a d b c) m b d e, b d m and
(a, b) (c, d ) (e, m) (a, b) (c m d e, d m) a d m b (c m d e), b d m .
It’s easy to compare the results and see that the addition of pairs is associative.
Let’s finally consider (a, b) (c, d ) (e, m) a d b c, b d (e, m) (a d b c) e, b d m
and also the sum
74
Rational Numbers
So, we have showed that (a, b) (c, d ) (e, m) (a, b) (e, m) (c, d ) (e, m) [P].
The other distributivity-equivalence follows from [P] and commutativity of the pair multiplication .
Everything is proved.
The equivalence relation of pairs divides into the classes A, B, C, D, E ... of equivalent pairs.
The set of all classes we denote like Qaux . Let’s define addition and multiplication on Qaux
in order to turn Qaux into a field.
Def. Let , are any classes from Qaux . And (a, b) , (c, d ) are any pairs from these
classes. The sum is the class which contains the sum of pairs (a, b) and (c, d ) , i.e., the pair
(a d b c, b d ) (a, b) (c, d ) . The product is the class which contains the product of
pairs (a, b) and (c, d ) , i.e., the pair (a c, b d ) (a, b) (c, d ) .
Exercise1. Show that the given definition is correct. For any classes , aux , a sum
and a product are uniquely defined.
[step2] The class “one” is the class which contains the pair (1,1) and obviously Qaux \ .
Also, for any nonzero class Qaux \ with a pair (a, b) (here a 0 because ) an
1 1
inverse class is the class with the pair (b, a) and obviously Qaux \ (because b 0 ).
75
Rational Numbers
From the exercise3 immediately follows that Qaux is an ordered field (the order "" on Qaux
appears “automatically” by the rule: in Qaux if is a positive class).
Exercise4. For any integer number k there exist the unique class Qaux , such that for
any (a, b) we have a k b (let’s fix any k and take the class with the pair (k ,1) ,
for any other pair (a, b) there must be (a, b) (k ,1) a k b ).
Let’s build the set Q . Any class Qaux such that a k b (a, b) (for some integer number
k ) we call an integer class. Let Z classes is the set of all integer classes of Qaux .
Every integer class {(k b, b) || k (is fixed), b , b 0} we replace by k ,
we will get the set Q (classes of pairs) .
The set Q is called a set of rational numbers, it consists of integer numbers and classes of
equivalent pairs. Let’s define addition and multiplication on Q in order to turn Q into a field.
Z classes (classes of pairs)
We define the mapping f : Qaux Q .
Z (classes of pairs)
For any integer class {( k b, b) || k (is fixed), b , b 0} we define f ( ) k and
f () for any other class Qaux . Then f is obviously one-to-one mapping Qaux Q .
Any element a Q can be uniquely represented as an image of some class a f () || Qaux .
a b f ( ) f () / by definition / f ( ) Q
Then we define a, b Q .
a b f ( ) f () / by definition / f ( ) Q
From the theorem4 (“Groups, Rings, Fields”) immediately follows that (Q, , ) is a field.
According to the theorem5 (Transfer of order), Q is an ordered field. The field (Q, , ) is called
a field of rational numbers. Let’s explore the properties of this field.
76
Rational Numbers
Property1. The addition and multiplication on Q are extensions of the addition and
multiplication on , i.e., for any a, b Q we have:
a b (addition by the rules of Q) a b (addition by the rules of ) ,
a b (multiplication by the rules of Q) a b (multiplication by the rules of ) .
And similarly, the order relation "" on Q is an extension of the order relation on :
a b (by the rules of Q) a b (by the rules of ) .
Conclusion. The order relation/ addition/multiplication on Q are all extensions of the order relation/
addition/multiplication on Z. Then it’s appropriate to use exactly the same signs ( ) (as we
As Q is a field, division ":" is defined on Q (the only restriction, we can’t divide by zero).
m
If a, m, n Q and a , then we say “ a is a ratio of numbers m and n ”.
n
77
Rational Numbers
Let’s take any pair (m, n) . Obviously (n,1) (m, n) (m,1) , then C , where is the
integer class with the pair (n,1) and C is the integer class with the pair (m,1) . Then
m
f ( ) f (C ) f () f () f (C ) n a m (in Q) a . This representation is not
n
m
unique, really if a || m, n , then (according to the basic properties of any field)
n
qm k m
a for any q Q || q 0 and in particular a for any k Q || k 0 .
qn k n
Proof. Let some fieldF contains Z. Then F must contain all the ratios of elements from Z, i.e.,
~ m ~ ~
all the elements Q || m, n , n 0 . So F contains the set Q . Obviously Q ,
n
a ~
because a : a Q .
1
~
The set Q consists of exactly the same elements as a field of rational numbers Q (property 2).
~
Let’s show that the set Q is a subfield of F. According to the basic properties of any field
(which we mentioned earlier), we have:
m k m p nk m k mk m k m p
, , : . So, the sum/difference/product/ratio of any
n p n p n p n p n p nk
~ ~ ~
elements of Q belong to Q . Therefore Q is a subfield of F (subfield criterion).
~
Then Q is an independent field inside F. And finally, as addition/multiplication on F are
~
extensions of the addition/multiplication on Z, then addition/multiplication on Q are
extensions of the addition/multiplication on Z.
~
Then, by definition, Q is a field of rational numbers and a subfield of F.
78
Rational Numbers
Uniqueness. We have built the field of rational numbers Q , based on some set Z of integer
numbers which we have fixed at the very beginning. There exist different sets of integer numbers
(but all of them are isomorphic as rings). Let’s prove:
The uniqueness theorem. Any fields Q and Q of rational numbers are isomorphic.
Moreover, the isomorphism f : Q Q is unique, this isomorphism is an extension of the unique
isomorphism f : .
m m ~
unique). So ~ m n~ n m~ the last equality is an equality of integer numbers in
n n
, and f is a ring isomorphism f : , then
~ ) f (n m
f (m n ~ ) f (m ) f (n
~ ) f (n ) f (m
~ ) the last equality is an equality in Q ,
~
here f (n ) 0 and f (n~ ) 0 (because n 0 , n~ 0 ), then f (m ) f (m ) .
f (n ) f (n~ )
[C] The new mapping f coincides with the old mapping f on the set Q . For the initial
isomorphism we had m m
f
f (m ) , according to the new rules we need to
m
represent m as a ratio of any integers, and then we can find it’s image. Let’s take m ,
1
m f (m ) f (m )
then according to the new rules, m
f
f (m ) .
1 f (1 ) 1
So, the new mapping coincides with the initial mapping on .
79
Rational Numbers
m f (m )
f || m , n .
n f ( n )
[Step1] f covers all Q . Let’s fix any a Q , there exist the representation
m
a || m , n . As f : is one-to-one, then there exist unique
n
m f (m ) m
m , n || f (m ) m , f (n ) n , so a f and a is an image of
n f (n ) n
m
the element a Q .
n
[Step2] f doesn’t glue together elements of Q . Let for some elements a , b Q we have:
a b , but f (a ) f (b ) . Both elements a , b have representations
m k f (m ) f (k )
a , b || m , n , k , p . Then f (a ) and f (b ) .
n p f (n ) f ( p )
f (m ) f (k )
As f (a ) f (b ) , then f (m ) f ( p ) f (n ) f (k ) the last equality can
f (n ) f ( p )
be rewritten like f (m p ) f (n k ) (because f : is a ring isomorphism), as f is
one-to-one, then m p n k -it is an equality in , in the same time it is an equality in Q ,
m k
from which follows that (notice that n 0 , p 0 , because f (n ) 0 , f ( p ) 0 )
n p
and the last equality means that a b , and we have a contradiction.
80
Rational Numbers
As : Q Q is a field isomorphism, then it transfers zero into zero and one into one: (0 ) 0
and (1 ) 1 . Let’s take Q and Q . Let’s show that is an isomorphism of the
rings .
We have: 0 and 0 .
a 1 1 ... 1 , then
(a ) (1 1 ... 1 ) (1 ) (1 ) ... (1 ) 1 1 ... 1 a .
If a 0 , then (0 ) 0 . If a , then a a~ || a~ , then
a a~ (1 1 ... 1 ) , then
(a ) (a~ ) ((1 1 ... 1 )) (1 1 ... 1 ) (1 ) (1 ) ... (1 )
1 1 ... 1 a . Only now we can write : and say that is a
mapping from to .
[Step3] For any a , b we have (a b ) (a ) (b ) and (a b ) (a ) (b ) .
Really, these conditions are true for any a , b Q , because : Q Q is an isomorphism,
and in particular these conditions are true for any a , b .
From the [Step3] follows that is an isomorphism of the rings . And we have proved that
there exist only one isomorphism f : , then f on . Let’s show f on Q .
81
Rational Numbers
m
Let’s fix an arbitrary a Q and any it’s representation as a ratio of integers a .
n
f (m )
We know that f (a ) . Obviously f (m ) (m ) (because m ) and similarly
f (n )
f (m ) (m )
f (n ) (n ) (because n ), then f (a ) . Let’s show that (a ) is also
f (n ) (n )
(m )
equal to , then (a ) f (a ) for any a Q and f on Q .
(n )
m
So a a n m the last equality is an equality in Q and : Q Q is one-to-one
n
mapping, then (a n ) (m ) , as is an isomorphism, then
(a n ) (m ) (a ) (n ) (m ) .
(m )
Let’s notice that (n ) 0 because n 0 , then from the last equality we have (a ) .
(n )
Everything is proved.
1 b b
that n a b . The element is positive, then the last inequality is equivalent to n , where
a a a
is a positive element of Q . Let’s show that for any positive element q Q there exist the natural
n such that n q (and everything will be proved). We fix an arbitrary positive q 0 , then
k k
q || k , p . The fraction is positive, then k p is positive, then k p is a natural number.
p p
k
Then k p 1, let’s multiply both sides of k p 1 by 0
p
k k k
k p 1 k 2 k 2 q || k 2 , everything is proved.
p p p
82
Rational Numbers
Property5. For any rational number q Q there exist the unique pair of integer numbers
k , k 1 such that k q k 1.
Existence. Let’s fix an arbitrary positive rational number q . Let’s consider the pair 1, q .
If q 1, then we have 0 q 1 and the pair of integers k , k 1 0,1 is appropriate.
If q 1, then 1 1 q and the set of natural numbers {m || m 1 q} is not empty.
According to the Archimedes axiom, there exist the natural number n such that n 1 q .
The number n is greater than any number of the set , therefore has the greatest number
M max . And for M max we obviously have M max 1 q (M max 1) 1 M max q (M max 1) so,
here we have the pair k , k 1 M max , ( M max 1) . Let now q Q is negative, then q is positive,
then, as we showed above, we can find the pair of integers k , k 1 such that
k q k 1 (k 1) q k . If q k , then we have (k 1) q k and (k 1),k is
our pair of integers. If q k , then we have k q k 1 . And finally, let q 0 , then we take
k , k 1 0,1. The existence is proved.
Let’s name the property5 as “any rational number lies between two integers”.
83
Sequences and limits
number k , and O (b) must contain all the terms of {xn } starting from some number p , then
we have a contradiction. Really, any n-th term xn , where n k , n p , must belong to O (a) and
to O (b) , but these neighborhoods do not intersect. So, any sequence {xn } may have only one limit.
Def. The sequence {xn } is called bounded if there exist some positive M 0 such that
xn M || n . 85
Sequences and limits
terms xk 1 , xk 2 , xk 3 ... lie in O (a) . And the other terms x1 , x2 .. xk are not necessary from O (a) ,
let V maxx1 , x2 .... xk , a so V is the greatest among several non-negative elements which
are listed inside the brackets { ..... }. Obviously V 0 , because a 0 . Let’s show that for any
xm {xn } we have xm V 1. If xm is one of the elements x1 , x2 .. xk , for example xm x2 , then
xm x2 V V 1 . Let xm is one of the elements xk 1, xk 2 , xk 3...., then xm belongs to O (a) ,
so xm a , from the standard inequality for absolute value we have:
xm a xm a xm a V V 1.
So, for any element xm of our sequence, we have xm V 1 . As V 0 , then V 1 0 .
Let’s denote M V 1 , then xm M || m and the sequence {xn } is bounded, everything is
proved.
The converse statement is not true. If {xn } is bounded it may not have any limit.
Example. 1,0,1,0,1,0 .....
Def. Any sequence { n } which goes to zero ({ n } 0 ) is called an infinitely small.
Auxiliary properties. [A] {xn } a the sequence { n } {xn a} || n xn a n is
infinitely small. And conversely, if some sequence {xn } has the representation xn a n || n ,
where { n } is an infinitely small sequence, then {xn } a .
[B] {xn } is bounded (in particular {xn } converges) and { n } is infinitely small, then {xn n } is
infinitely small.
86
Sequences and limits
Consequence1. Let {xn } a , then the sequence { n } {xn a} is infinitely small and there is
a simple representation: xn a n || n , where { n } 0 .
Let now we have some sequence {xn } and the representation xn a n || n , where { n } 0 .
As { n } 0 , then for any 0 there exist k : n k n . Let’s rewrite the last
inequality: n (a n ) a xn a . So, for any 0 there exist
k : n k xn a , by definition it means that {xn } a .
Let’s prove [B]. So, M 0 such that xn M || n . Let’s fix an arbitrary positive 0 .
Then for the positive element /M (as for any other positive element) there exist
k : n k : n 0 / M n / M , then n k we have
xn n 0 xn n xn n M / M . So, for any positive 0 there exist
k : n k xn n 0 , it means that {xn n } is infinitely small.
Consequence2. For any element a F and for any infinitely small { n } , the sequence {a n }
is infinitely small. Really, the sequence {xn } a, a, a, .... is a bounded sequence, then
{xn n } {a n } is infinitely small. Also: if { n } and { n } are infinitely small, then { n n }
is infinitely small.
Let’s prove [C]. { n } 0 and { n } 0 . Let’s fix an arbitrary positive 0 . For / 2 0 there
exist such k : n k we have n 0 / 2 n / 2 . In the same time for / 2 0 there
exist p : n p we have n / 2 . Let m max( p, k ) , then for any n m we have n / 2
and n / 2 , then ( n n ) 0 n n n n / 2 / 2 . We have deduced
that for any 0 there exist m , such that n m we have ( n n ) 0 .
Then { n n } 0 and { n n } is infinitely small.
Consequence3. A sum of several infinitely small sequences is again an infinitely small sequence.
87
Sequences and limits
Let a 0 , we take the positive a / 2 0 . Starting from some number k , all the terms of {xn }
lie in a / 2 - neighborhood of a , so k : n k : xn a a / 2 .
Then a / 2 xn a a / 2 a / 2 xn 3a / 2 . Let’s fix now any positive 0 .
We have {xn } a , then for the positive number a 2 / 2 (as for any other positive number) there
exist m : n m : xn a a 2 / 2 . Let’s take now the maximal p max( m, k ) , then for
a xn a xn a xn xn a a 2 / 2 a 2 / 2
0 . So, we had fixed an
xn a xn a xn a xn a xn a a / 2a
arbitrary positive 0 and we deduced that there exist the number p , such that for any n p
a xn 1 1 1 1
we have 0 , it means that is infinitely small, then .
xn a xn a xn a
88
Sequences and limits
1 1
Let’s prove [3]. Asyn 0 n and b 0 and { yn } b , then (acc. to [E]) .
yn b
1 1 xn a
We also have {xn } a , then (acc. to [2]) we have xn a .
yn b yn b
Consequence4. {xn } a and { yn } b , then { yn xn } b a . Really, {xn } a , then [D]
{ xn } a , then (acc. to [1]) { yn ( xn )} b (a) { yn xn } b a .
In particular, a difference of infinitely small sequences is an infinitely small sequence.
Let’s sum up. We have deduced the basic properties of convergent sequences: {xn } a and
Let’s consider the set which consists of all infinitely small sequences { n } of the field F.
From the previous results follows that is closed under addition/subtraction/multiplication/
multiplication by a constant, i.e., if { n } and { n } are infinitely small, then { n n } and
{ n n } and {b n } b F are infinitely small.
We will provide the other set of sequences which has exactly the same properties, the set of
all fundamental sequences of F .
Def. A sequence {xn } is called fundamental if for any 0 there exist k such that
m k , n k we have xm xn .
Def. A sequence {xn } is called a stationary sequence if {xn } a, a, a, a .... for some a F .
89
Sequences and limits
Proof. Let’s prove [1]. We fix an arbitrary 0 . For the positive element / 2 0 there exist
Proof. Let’s prove [2]. Auxiliary. If {xn } is fundamental, then {xn } is bounded.
[step1] Let’s fix any 0 . Then k m, n k xm xn .
Let’s fix any number p k , then for any m p we have xm x p (because anyway, both
numbers
xm , x p are greater than k ). Let’s take V max x1 , x2 .... x p , x p .
And let’s take any element xm {xn }. If xm is one of the elements x1 , x2 .. x p ,
then obviously xm V V 1 . If xm is one of the elements x p , x p 1 , x p 2 ...., then xm x p .
Let’s use the standart inequality for absolute value: xm x p xm x p , then
xm x p xm V V 1 .
[step2] Let now {xn } and { yn } are fundamental, then they are both bounded:
M 0 : xm M || m and T 0 : ym T || m . Let’s take V max( M , T ) , then xm V
and ym V for any m . Let’s fix an arbitrary positive 0 . As { yn } is fundamental, for / V 0
there exist k : m, n k ym yn / 2V . As {xn } is fundamental, for / V 0 there
exist p : m, n p xm xn / 2V . Let’s take the number v max( k , p) , then for any
m, n v we have ym yn / 2V and xm xn / 2V . Then for any m, n v we have:
xm ym xn yn ( xm xn ) ym ( ym yn ) xn ( xm xn ) ym ( ym yn ) xn
xm xn ym ym yn xn ( / 2V ) V ( / 2V ) V / 2 / 2 .
90
Sequences and limits
Let’s sum up: we had started from an arbitrary positive 0 , and we showed that there exist some
number v , such that m, n v we have xm ym xn yn , it means that {xn yn } is
fundamental.
Proof. Let {xn } a . We fix an arbitrary 0 , then for / 2 0 there exist k such that
n k xn a / 2 . Then for any m, n k we have:
xm xn ( xm a) (a xn ) xm a a xn / 2 / 2 , then {xn } is a fundamental
sequence.
Let’s remind. All the results, that we got above, are related to sequences of a field F .
Where F is any ordered field which contains the field of rational numbers Q as a subfield.
(In particular, all this theory is applicable for F Q ). The existence of an ordered field
F Q || F Q is still under a question. We still haven’t built yet any example of such field F ,
but when we do, we will be able to use in F all these results.
Let’s look at the assertion4. The next question has a great importance in math:
“ If {xn } is fundamental in F, does it converge to some a F ?” [Q].
The general answer is “no”, or better “not necessary”. In general, it depends on the field F and on
the concrete sequence {xn } of F. But we are not interested in such randomness, we want to work
only in such fields, where the answer on [Q] is “Yes”. And we will build the complete fields R, C ,
where the answer is always “Yes”.
Def. A field F is called a complete field if any fundamental sequence {xn } of F converges in F.
Notice, the field of rational numbers Q is not a complete field. There are sequences of rational
numbers which are fundamental, but do not have any limit in Q . It’s much more convenient to
provide examples of such sequences after construction of the field of real numbers R Q .
91
Sequences and limits
Squeeze Theorem for sequences. Let {xn }, { yn }, {zn } are some sequences of F .
Starting from some number k we have xn yn zn || n k .
And both sequences {xn }, {zn } go to the same limit a , then { yn } also goes to a .
Comment. The next chapter is dedicated to the construction of real numbers. If we write {qn } Q ,
we mean that we have a sequence of rational numbers {qn } . This writing is used because it’s
convenient. But normally, the symbol is used to show that one set belongs to the other.
In our case Q is a set, but {qn } is not a set, it is a function! f : Q (look at the definition of
a sequence, page 85). And numbers q1 , q2 , q3 , q4 .... are only values of that function.
So, if someone wants to avoid misunderstanding, it’s better to write {qn } || qn Q, n , or to make
an explanation of a new writing, like we just did.
92
Real Numbers
Pre-real numbers
As earlier, F is an ordered field which contains the field Q as a subfield. We will prove the
auxiliary theorem that will help us in the construction proсess.
Let’s prove [B]. The proof here will be a bit more voluminous than usually, but we will build here
a very important example which we will use in the future in the “Length construction”.
As this example is important for us, we name it an [Example L].
Let’s fix an arbitrary positive a F , there exist n such that 1 / n a (we have shown it above,
there was an arbitrary positive instead of a ).
94
Real Numbers
The set of natural numbers m such that m / n a is not empty (it contains m 1), in the same
time, there exist the natural number k such that k 1/ n k / n a (the Archimedes axiom for 1/ n, a ).
Then has the greatest number m0
max
. Then m0max / n a (m0max 1) / n .
Let’s sum up: m0
max
T0 is the greatest natural number such that T0 / n a and m0max 1 M 0 is
T0 M
the least natural number such that a M 0 / n and T0 1 M 0 . So a 0 || L0 1 M 0 .
n 2n
1
Let’s consider all the possible fractions || k . Each of these fractions is less than the
2 n
k
1
initial fraction (from above) and therefore each fraction is less than a. In exactly the same way
n
1
as above, for each fraction k there exist the pair of natural numbers Tk , M k such that
2 n
Tk Mk Tk Tk 1
a || T 1 M . Let’s notice: [At first] For any integer k 0 we have .
2k n 2k 1 n
k k
2k n 2k n
T 2 Tk 2T
Really, kk k 1k a we know that Tk 1 is the greatest among all the natural numbers
2 n 22 n 2 n k
m
m , for which k 1 a , then of course 2Tk Tk 1 and as a consequence,
2 n
2Tk Tk 1 Tk Tk 1
.
2k 1 n 2k 1 n 2k n 2k 1 n
M k 1 M k M k 2 M k 2M k
[Secondly] For any integer k 0 we have . Really, a and
2k 1 n 2k n 2k n 2 2k n 2k 1 n
m
we know that M k 1 is the least among all the natural numbers m , for which k 1 a ,
2 n
2M M M M
then, of course, 2M k M k 1 and as a consequence k 1k k k11 k k k k11 .
2 n 2 n 2 n 2 n
T0 T1 T T M M M M
So, we have: 22 33 .... a .... 3 3 2 2 1 0 which is equivalent to
n 2n 2 n 2 n 2 n 2 n 2n n
T0 T1 T T T 1 T 1 T 1 T0 1 T
22 33 .... a .... 3 3 2 2 1 [E]. The sequence kk is
n 2n 2 n 2 n 2 n 2 n 2n n 2 n
obviously a sequence of rational numbers, let’s show that it converges to a . From [E] we have
Tk Tk 1
a || k 0 .
2k n 2k n
95
Real Numbers
Tk Tk Tk 1 Tk
Let’s subtract from all sides, then 0 a for any integer k 0
2k n 2k n 2k n 2k n
T 1
we have 0 a kk k . We can apply here the squeeze theorem for sequences.
2 n 2 n
Tk 1
Really, let’s consider {xk } 0,0,0,0,0 ..... and { yk } a
k
and {zk } k we have
2 n 2 n
xk yk zk || k and obviously {xk } 0 (in F ). The rational sequence {zk } obviously converges
to zero in Q , then (according to [A]) it converges to zero in F Q . So both {xk } 0, {zk } 0 ,
then ( the squeeze theorem for sequences) { yk } 0 .
Tk Tk Tk
So, the sequence a is infinitely small, then k a , where k Q and a is
2k n 2 n 2 n
an arbitrary positive element of F . So, any positive a F can be represented as a limit of some
rational sequence. Let a is negative, then a a where a is positive, therefore there exist some
{qn } Q || {qn } a , then {qn } a {qn } a and {qn } Q .
And finally, let a 0 , then a can be represented as a limit of the rational sequence {0} 0,0,0,0....,
1 1 1 1
or as a limit of the rational sequence 1, , , ...., or as a limit of
n 2 3 4
1 1 1 1
1, , , .... . Everything is proved.
n 2 3 4
The Reader could notice that for any element a F it’s representation as a limit of some rational
sequence is not unique (we have shown it only for 0 F ). Really, let’s fix any a F .
We shown above that there exist at least one rational sequence {qn } a . Let’s take the sequence
1 1 1
0 , then qn a 0 a . So, the rational sequence qn also goes to a
n n n
1
(and it differs from {qn } ) and similarly qn a .
n
96
Real Numbers
Real numbers
Def. The complete, Archimedean ordered field R, which contains the field Q of rational numbers
as a subfield, is called a field of real numbers. Elements of R are called real numbers.
The addition and multiplication on R are extensions of the addition and multiplication on Q ,
i.e., for any a, b Q R :
a b (addition by the rules of R) a b (addition by the rules of Q) ,
a b (multiplication by the rules of R) a b (multiplication by the rules of Q) .
of all fundamental
Let’s build R . We fix any set Q of rational numbers. Let’s consider the set
sequences {qn } of rational numbers. We define addition and multiplication on .
Def. {qn },{ pn } {qn } { pn } {qn pn } and {qn } { pn } {qn pn } . We showed earlier
that the set of all fundamental sequences is closed under addition and multiplication,
so if {qn },{ pn } are fundamental, then {qn pn } and {qn pn } are also fundamental, therefore
these sequences belong to .
We have defined the addition "" and multiplication "" on , these operations are associative and
commutative (because the addition and multiplication of rational numbers are associative and
commutative). There is also a distributive law: { pn } {qn } {hn } { pn } {hn } {qn } {hn } and
{hn } { pn } {qn } {hn } { pn } {hn } {qn }[D] which immediately follows from the distributive law
for rational numbers.
Def. Sequences {qn },{ pn } are equivalent {qn } { pn } if the sequence {qn pn } is infinitely
small. Such relation on is obviously reflexive, symmetric, transitive. So, is an equivalence
relation on . Then divides into the classes , , C , D .... of equivalent (fundamental)
Let’s define addition and multiplication on Raux in order to turn Raux into a field.
Def. For any , Raux : if {qn } and { pn } , then is the class which contains the
sequence {qn pn } . And is the class which contains the sequence {qn pn }. As sum and
product of any fundamental sequences {qn },{ pn } are again fundamental sequences, the classes
and do exist.
Let’s show that these classes are uniquely defined. Let {qn },{qn } and { pn },{ pn } we need
to show that {qn } { pn } {qn } { pn } and {qn } { pn } {qn } { pn } . So, as {qn },{qn } , then
{qn qn } { n } (an infinitely small sequence), then qn qn n n qn qn n and similarly
{ pn pn } {n } (an infinitely small sequence), then pn pn n n pn pn n .
The sequences {qn pn } and {qn pn } are equivalent if the sequence {(qn pn ) (qn pn )}
97
Real Numbers
Next, the sequences {qn pn } and {qn pn } are equivalent if the sequence {qn pn qn pn } is
infinitely small. So, {qn pn qn pn } {(qn n ) ( pn n ) qn pn } {qn n n pn n n }
the last sequence is infinitely small. Really, {qn } is fundamental and therefore it is bounded, the
product of any bounded and infinitely small sequence is an infinitely small sequence, then {qn n }
is infinitely small. Similarly { n pn } is infinitely small, and also { n n } is infinitely small.
Then {qn n n pn n n } is infinitely small, everything is proved.
Now we have the set of classes Raux with two operations , on it.
Proof. The addition of sequences is associative and commutative, therefore, the addition of classes is
associative and commutative on Raux . The zero class is the class which contains the sequence
{0} 0,0,0,0......, it consists of all infinitely small sequences of rational numbers.
Really, let { n } , then { n } {0} , then { n 0} is infinitely small, then { n } is infinitely small.
Conversely, let { n } is infinitely small, then { n 0} is infinitely small, then { n } {0} , then
{ n } . Next, for any class which contains a sequence {qn } , an opposite class is the class
which contains the sequence {qn } .
The multiplication of sequences is associative, then the multiplication of classes is also associative.
And finally, there is a distributive law [D], then there is the same distributive law for classes.
So Raux is a ring.
Let’s show that Raux \ is commutative multiplicative group. We need to show that Raux \ is
closed under multiplication (or it’s not a multiplicative group). In order to do that, we need to derive
several important auxiliary facts.
Auxiliary1. For any class only one of the next cases is true: [A] or [B].
[A] There exist the positive rational number and the sequence {qn } such that qn || n .
[B] There exist the negative rational number and the sequence {qn } such that qn || n .
Let’s fix an arbitrary sequence {qn } , we will get the needed sequence from it, by using only
two conditions: {qn } is not an infinitely small and {qn } is fundamental.
Let’s explain. The zero class consists of all infinitely small sequences of rational numbers, as
{qn } , then {qn } is not an infinitely small. If some sequence {xn } is infinitely small, it means
that 0 k, n k xn . As {qn } is not an infinitely small, then there exist some concrete
0 , for which the requirement k, n k qn is not true, so for any natural number k
98
Real Numbers
Let’s remember now that {qn } (which is fixed above) is fundamental, so for the number / 2 0 we
can fix the number k such that for any m, n k we have qm qn / 2 [F].
As we noticed above, we can fix some concrete n k such that qn . Then for any natural
number m k we have m, n k and therefore: qm qn / 2, qn qn qm / 2, qn .
Let’s use the inequality qn qm qn qm , then
qn qm / 2, qn qn / 2 qm , qn / 2 qm / 2 qm for any m k .
So, the absolute value of every term qk 1 , qk 2 , qk 3 .... is greater than / 2.
Really, the absolute value of every term is greater than / 2 . So, for any concrete term qm , where
m k , we have the case [First], or the case [Second], because from / 2 qm follows that either
/ 2 qm , or qm / 2 . Let’s assume that for some m, n k we have the next situation:
/ 2 qm and qn / 2 [D]. Then qm qn qm qn which contradicts to [F].
So, for any m, n k there can’t be the situation [D]. Then there can be only the case [First], or the
case [Second], and no other variants.
Let we have the case [First]. Then all the “initial” terms q1 , q2 .... qk of our sequence we replace by
the positive number . Then we have the sequence {qn } , .... , qk 1 , qk 2 , qk 3 .....
This sequence is obviously equivalent to {qn } (really, the sequence {qn qn } is infinitely small,
because all it’s terms, starting from the number k , are zeroes), then {qn } . And we have the
sequence {qn } || qn / 2 n (it is exactly the case [A] of auxiliary1).
Let we have the case [Second]. Then we replace all the initial terms q1 , q2 .... qk by the negative
number , we will get the sequence {qn } , .... , qk 1, qk 2 , qk 3 .... which is equivalent
to {qn } (and therefore {qn } ). So {qn } || qn / 2 n (it is exactly the case [B] of auxiliary1).
Consequence1. We can unite the cases [A] and [B] in one. For any class there exist
the positive rational number ∆ and the sequence {qn } such that qn || n .
99
Real Numbers
1 1 q qm qm qn 2 2
n . Then {1 / qn } is fundamental.
qm qn qm qn qm qn qm qn
Let’s show now that Raux \ is closed under multiplication. We take any classes , Raux \ .
According to the consequence1, we can take the sequence {qn } such that qn || n for some
0 . And similarly, we can take some { pn } such that pn || n . Then for the sequence
{qn pn } we have qn pn || n . Then {qn pn } is not an infinitely small.
Then Raux \ .
A class “one” Raux \ is obviously the class which contains the sequence {1} 1,1,1 .. .
Let’s fix any class Raux \ , and we take the sequence {qn } such that qn || n for
some 0 . The sequence {1 / qn } is also fundamental (auxiliary2) and therefore, it belongs to
some class . The class contains the sequence {qn } {1/ qn } {1} 1,1,1..., then and
similarly , then, by definition 1 . Notice that we haven’t shown that 1 Raux \ ,
which is a very important requirement. Let’s assume the contrary: 1 Raux \ 1 .
Then the sequence {1 / qn }1 is infinitely small, then 0 k : n k 1/ qn , the last
inequality is equivalent to 1 / qn 1 / qn . So, for any positive rational 0 we have
1/ qn , starting from some moment. From here immediately follows that {qn } is not bounded.
Really, let’s fix any M 0 , then for the positive 1/ M 0 , the absolute values of terms
of {qn } are greater than 1/ M (starting from some moment), then {qn } is not bounded.
As {qn } is not bounded, it can’t be fundamental, and we have a contradiction.
1
Then Raux \ and Raux \ is a commutative group under multiplication. And Raux is a field.
Def: a class is called positive if there exist some positive rational 0 and the sequence
{qn } such that qn || n .
100
Real Numbers
Proof. We need to show that for any Raux only one of the next cases is true: is positive,
is positive, . Let’s take an arbitrary Raux . If , then any sequence {qn } is
infinitely small and there can’t be any positive 0 such that qn || n , so is not a positive
class. The class in this case is also a zero class , so it can’t be positive for the same reason.
If , then (according to the auxiliary1) there can be exactly one case: [A] or [B].
[A] There exist the positive rational number and the sequence {qn } such that qn || n .
In this case is positive. [B] There exist the negative rational number and the sequence
{qn } such that qn || n . Then the class contains the sequence {qn } such that
qn || n , the number is positive, then is a positive class.
We also need to show that the set of positive classes is closed under addition and multiplication.
Let , are any positive classes, then, as earlier, we take {qn } || qn 0 n and
{ pn } || pn 0 n . The class contains the sequence {qn pn } || qn pn 0 ,
so this class is positive. The class contains the sequence {qn pn } || qn pn 0 and this
class is also positive. Everything is proved.
Proof. Let’s fix an arbitrary pair of positive classes , . We need to show that there exist some
(n 1) p1 , (n 1) p2 , (n 1) p3 ....., all the terms of this sequence are greater than 1
(because pm n m ). So, the class (n 1) is positive and (n 1) . Everything is proved.
101
Real Numbers
For any rational number q Q ,the stationary sequence {q} q, q, q, q, q.... is fundamental, and
therefore there exist the class Raux which contains this sequence. For different rational
numbers p q the stationary sequences {q} q, q, q, q, q... and { p} p, p, p, p, p... are not
equivalent, therefore they belong to different classes , Raux . A class Raux may contain
only one stationary sequence (because different stationary sequences are not equivalent).
If contains some stationary sequence, then we say “ is a stationary class”.
Def. Every stationary class Raux , which contains some sequence {q} q, q, q, q, q...., we
replace by the rational number q . The set Raux will turn into the set R which consists of rational
numbers and classes of equivalent fundamental sequences: R Q (Classes of Sequences ) .
The set R is called a set of real numbers and elements of R are called real numbers.
Let’s define addition and multiplication onR. At first we define the mapping: f : Raux R .
For any stationary class Raux which contains some {q} q, q, q, q, q.... we define f ( ) q ,
and for any other class Raux we define f ( ) . Then f is one-to-one mapping Raux R ,
a b f ( ) f () / by definition / f ( ) R
Then we define a, b R .
a b f ( ) f () / by definition / f ( ) R
As the Archimedes axiom is true in Raux , this axiom is true in R. Really, let’s fix arbitrary positive
a, b R . There exist the unique representations a f (), b f () . And the classes , are
positive in Raux (because f conserves the order):
a 0 (in R) f () f () (in R) (in Raux ) is positive (in Raux ). And is also
positive (in Raux ). As the Archimedes axiom is true in Raux , there exist n such that n , then
f (n) f () f ( .... ) f ()
f () f () f () .... f () f () n f () f () n a b . So, the Archimedes
axiom is true in R.
102
Real Numbers
Assertion4. The addition and multiplication on R are extensions of the addition and
multiplication on Q , i.e., for any a, b Q R we have:
a b (addition by the rules of R) a b (addition by the rules of Q) ,
a b (multiplication by the rules of R) a b (multiplication by the rules of Q) .
And similarly, the order relation "" on R is an extension of the order relation on Q :
a b (by the rules of R) a b (by the rules of Q) .
~
Proof. Let’s denote for a while (,~ ) - the addition and multiplication on the field R.
Let’s fix arbitrary a, b Q R . In order to find their sum/product we need to find their
representations as images of some classes , Raux , so a f () and b f () . As a, b Q ,
the classes , are stationary classes, the class contains the sequence {a} a, a, a .... and
~ ~
contains the sequence {b} b, b, b ..... By definition a b f ( ) f () / by def / f ( ) .
Let {qn } q1 , q2 , q3 , q4 .... is any fundamental sequence from . Then the sequence of rational
numbers {qn } q1 , q2 , q3 , q4 .... Q R converges to a in the field R.
Auxiliary3. Let Raux and {qn } q1, q2 , q3 , q4 ... is any fundamental sequence from A.
Let’s consider the sequence of stationary classes St (q1 ), St (q2 ).... St (qn ).... of Raux . Where St (q1 ) is
a stationary class with the sequence q1 , q1 , q1 ... and St (q2 ) is a stationary class with the sequence
q2 , q2 , q2 ... and etc. Let’s show that for any positive class Raux there exist k , such that n k
we have St (qn ) .
(Notice, here we would like to say that is a limit of stationary classes St (q1 ), St (q2 ).... St (qn )....,
but we have defined what is a limit of a sequence for sequences of any ordered field which contains
the field of rational numbers, and in our case elements of Raux are the classes of equivalent
sequences, so there are no any rational numbers in Raux . And we can’t use the limit-notion in Raux .
[Step1] Let’s show that for any positive stationary class P Raux there exist the natural number k
such that n k we have St (qn ) P . Let’s fix any positive stationary class P Raux , it
contains some sequence p, p, p....|| p 0 . The sequence {qn } is fundamental, then for p / 2 0
there exist the natural number k , such that n, n k we have qn qn p / 2 [L]. We fix now
the numbers k , n , where n is an arbitrary natural number n k .
The class St (qn ) contains the sequence {qn qn } . The absolute value of every term of the
sequence {qn qn } with number n k is less than p / 2 [L]. It may not be true for the terms with
Then we have the new sequence, and now the absolute value of every term is less than p / 2 , and
the new sequence belongs to the same class St (qn ) (because it is equivalent to the initial one).
Let’s consider now the class P with the sequence p, p, p..... Let’s show that St (qn ) P ,
this inequality is equivalent to P St (qn ) P . Let’s show at first that St (qn ) P .
Really, the class P ( St (qn )) contains the sequence { p} {vn } { p vn } and we know that
vn p / 2 n p / 2 vn p / 2 , then p vn p p / 2 p / 2 so, every term of the sequence
{ p vn } is greater than the positive number p / 2 , then the class P ( St (qn ))
(which contains this sequence) is positive (by definition). Then St (qn ) P .
Let’s show now that P St (qn ) . The class ( St (qn )) ( P) contains the sequence
104
Real Numbers
So, for any positive stationary class P there exist k , such that for any n k we have
St (qn ) P .
[Step2] Let’s fix an arbitrary positive class Raux there exist some sequence
{ n } || n 0 n . Let’s consider the positive stationary class P which contains the sequence
/ 2, / 2, / 2..... The class P is positive, really, it contains the sequence { n / 2} , and all
the terms of this sequence are greater than the positive number / 2 . Then P . For the class P
there exist k , such that for any n k we have St (qn ) P , then St (qn ) P .
So, for any positive class Raux there exist k , such that for any n k we have St (qn ) .
Let’s prove now the theorem3. We fix an arbitrary element a R and the unique Raux such
that a f () . Let’s take an arbitrary {qn } , we want to show that {qn } a in the field R .
Let’s fix an arbitrary positive element R . The mapping f : Raux R conserves the order,
if f () , then is positive in Raux , really, 0 (in R) f () f () (in R) (in Raux ) .
For the positive class there exist k such that for any n k we have
St(qn ) St(qn ) / f consevesthe order/ f () f St(qn ) f ()
Remember the basic properties of any ring/field isomorphism: f (a) f (a) and
f (a b) f (a) f (b) . Then we can rewrite f () f () f (St(qn )) f () . The image of the
class is the element a , the image of St (qn ) is the rational number qn , so we can rewrite
a qn a qn . We have deduced that: for any positive R there exist k ,
such that for any n k we have a qn . It means exactly that {qn } a .
Theorem3. R is a complete field.
Proof. We will use the consequence2 and the theorem2. Let’s fix an arbitrary fundamental sequence
{ak } R . Our goal is to show that it converges to some a R . According to the consequence2 [B],
every element ak can be represented as a limit of some rational sequence q1 , q2 , q3 .... {qn } ak .
k k k k
Let’s fix now an infinitely small rational sequence {1 / k} 0 . This sequence is infinitely small in Q ,
and, according to the consequence2 [A], it is infinitely small in R. For every ak we can find and fix
one element from {qnk } a (let’s denote it qkk ) such that ak qkk 1 / k .
So, we have the sequence q1 , q2 , q3 ... {qk } such that ak qk 1 / k for any k .
1 2 3 k k
105
Real Numbers
k
The sequence {qk } is a rational sequence. From the conditions: {ak } is fundamental and
ak qkk 1 / k k follows that {qkk } is also fundamental. Really, let’s take the condition
Assertion5. For any real number a R there exist the unique pair of integer numbers k , k 1
such that k a k 1. The proof is exactly the same as the proof of the similar assertion
(property5) for rational numbers.
All fields of rational numbers are isomorphic. But formally, there exist different fields of rational
numbers, and based on these fields we can construct formally different fields of real numbers.
Let’s show that all these fields are also isomorphic.
Uniqueness theorem. Any fields R and R of real numbers are isomorphic. Moreover, the
isomorphism f : R R is unique, this isomorphism is an extension of the unique isomorphism
f : Q Q where Q R , Q R .
Proof. Existence. Let’s extend the unique isomorphism f : Q Q up to f : R R .
We define: for any a R if {qn } a (in R ) || {qn } Q , then
f (a ) / by def / lim f (qn ) (in R ) . As we know, every element a R can be represented as a
limit of some rational sequence {qn } Q . Let’s outline the main steps of our proof. In [A] we will
{qn } Q converges in R , then { f (qn )} converges in R . From here follows that for
show that if
any a R the element(s) f (a ) R is defined.
106
Real Numbers
In [B] we will show that for any a R the element f (a ) is uniquely defined, i.e., for any
sequence {qn } a the limitlim f (qn ) is always the same. After [A] and [B] we are able to say
that: f is a mapping from R to R .
In [C] we will show that f coincides with the unique isomorphism f : Q Q on the set Q .
Then the new f is really an extension of the old f .
In [D] we will show that f : R R is one-to-one mapping. And finally in [E] we will show that
f has the basic properties of any isomorphism: a , b R || f (a b ) f (a ) f (b ) and
f (a b ) f (a ) f (b ) .
Let’s start. [A] Let {qn } a (in R ) || {qn } Q , then {qn } is fundamental in R , then {qn }
is fundamental in Q R . Let’s show that { f (qn )} is fundamental in Q . Let’s fix an arbitrary
positive Q , there exist the unique positive Q such that f ( ) .
Let’s fix any positive Q , there exist the unique Q such that f ( ) .
[B1] (During the proof of [B] we have shown that f : Q Q transfers any infinitely small
rational sequence into an infinitely small rational sequence).
107
Real Numbers
[C] Let’s fix an arbitrary q Q then q is a limit of the stationary sequence q , q , q .....
According to the new definition, the image of q is defined as a limit of the sequence
f (q ), f (q ), f (q ) ..., it is a stationary sequence of Q , and it obviously converges to f (q ) Q .
So, the new mapping is really an extension of the old one.
[D] [Step1] f fully covers the set R . Let’s fix any element a R , it can be represented as
a limit {qn } a . Every element qn Q has the unique representation qn f (qn ) || qn Q .
As {qn } converges in R , then {qn } is fundamental in R .
1
Remember that f : Q Q is a field isomorphism, then f : Q Q is also a field
isomorphism, we have shown above ([A1]) that such isomorphism transfers any fundamental
1
rational sequence into a fundamental rational sequence, so f transfers {qn } which is
fundamental in R , into {qn } which is fundamental in R . Then {qn } converges in R to
some element a R . And we have: {qn } a (in R ) and also { f (qn )} {qn } a R ,
[Step2] f doesn’t glue together elements of R . Let’s assume that a b and f (a ) f (b ) .
Let {qn } a and { pn } b . As f (a ) f (b ) , then lim f (qn ) lim f ( pn ) , then the sequence
[E] Let’s fix arbitrary elements a , b R , and let’s fix any sequences {qn },{ pn } Q
such that {qn } a and { pn } b in R . Let’s find f (a ) f (b ) . As f (a ) lim f (qn ) and
f (b ) lim f ( pn ) , then f (a ) f (b ) lim f (qn ) lim f ( pn ) lim( f (qn ) f ( pn ))
lim( f (qn pn )) [Y]- we have here the limit of the sequence { f (qn pn )}.
As {qn } a and { pn } b , then {qn pn } a b . Then, by definition of f , we have
f (a b ) lim( f (qn pn )) - let’s compare this result with [Y], then f (a ) f (b ) f (a b ) .
Next. Let’s find f (a ) f (b ) . As f (a ) lim f (qn ) and f (b ) lim f ( pn ) , then
f (a ) f (b ) lim f (qn ) lim f ( pn ) lim( f (qn ) f ( pn )) lim( f (qn pn )) [U].
As {qn } a and { pn } b , then {qn pn } a b . Then, by definition of f , we have
f (a b ) lim qn pn - let’s compare this result with [U], then f (a ) f (b ) f (a b ) .
108
Real Numbers
Consequence. For any fields of real numbers R , R there exist the unique isomorphism
f : R R [pict1] which is an extension of the unique isomorphism f : Q Q
(where Q R , Q R ) which is an extension of the unique isomorphism f :
(where Q R , Q R ) which, in it’s turn, is an extension of the unique
isomorphism f : (where Q R , Q R ).
pict.1
109
Real Numbers
segment of real numbers, and we denote it [a, b] . The set {x} of real numbers such that a x b
of real numbers.
Note. At this moment segments and intervals are just some sets in the field R, there can’t be any
representation of these segments/intervals like some sets on the line, because we haven’t built
one-to-one correspondence between the field R and some line L.
In order to do it we need to define the “length”, and it will be done in the next chapter.
Let’s explore now the most important properties of real numbers.
Def. A sequence {an } of real numbers is called monotonically increasing (or just increasing)
if an an 1 n and monotonically decreasing (or just decreasing) if an an 1 n .
A sequence {an } is called strictly increasing if an an 1 n and strictly decreasing if an an 1 n
Auxiliary1. If {an } and the sequence {an } is monotonically increasing (in particular, strictly
increasing), then an n . If {bn } and {bn } is monotonically decreasing (in particular
strictly decreasing), then bn n .
Solution. {an } is monotonically increasing. Let’s assume that there exist some concrete number k
such that ak . As {an } is monotonically increasing, then ak ak 1 ak 2 ak 3 ......
Let’s consider the neighborhood O () with the radius ak / 2 . This neighborhood O ()
does not contain the term ak and therefore it does not contain the next terms
ak 1 ak 2 ak 3 ... (really, n k an an ak ak ak ak / 2 ,
then an an O () ). Therefore, is not a limit of the sequence {an } ,
(because any neighborhood of must contain all the terms, starting from some number, which is
not true in our case), we have a contradiction. Then the number k such that ak , doesn’t exist.
Then an n . The proof is similar when {bn } is monotonically decreasing.
The Nested Segment Theorem. For any sequence of segments [a1, b1 ] [a2 , b2 ] [a3 , b3 ] ....
of real numbers such that bn an 0 , there exist exactly one real number which belongs to
every segment [an , bn ] .
Proof. Let’s consider the sequence of right ends {bn } and the sequence of left ends {an } .
From bn an 0 follows that both sequences {an } and {bn } are fundamental. Really, lets fix
110
Real Numbers
Let’s fix any pair of numbers m, n k and let’s show that am an and bm bn .
If m n , then am an 0 and bm bn 0 .
If m n , then am an am an [as am bn ] bn an .
And bm bn bn bm [as an bm ] bn an . There is no need to consider the case n m ,
because am an an am and bm bn bn bm .
Then for any 0 there exist k , such that m, n k we have am an and bm bn ,
then both sequences {an } and {bn } are fundamental. As R is a complete field, both these sequences
must converge: {an } and {bn } . Let’s denote n bn an , from the condition
bn an 0 follows that n is an infinitely small sequence. Then (consequence5 in sequences
and limits) we have . So, both sequences converge to the same limit: {an } and {bn } .
The sequence {an } is monotonically increasing, then (auxiliary1 above) we have an n ,
Uniqueness. Let’s assume that there exist some other number [an , bn ] n , where .
Without loss of generality . So, we have an bn n and an bn n and
an bn n , then every difference bn an is greater than the fixed positive number
( ) 0 , then there can’t be bn an 0 and we have a contradiction. Everything is proved.
~
Def1. A set of real numbers is called bounded above if there exist some number M such that
~ ~
x : x M . The number M in such case is called an upper bound of the set X.
~ ~ ~ ~
~
An upper bound M is not unique. If M is an upper bound of , then any M M is also
an upper bound of M .
Def2. The number M is called “ the least upper bound of ”, or just a “supremum of ”,
~ ~
if [1] M is an upper bound of [2] for any other upper bound M M of we have M M .
Example. The number 1 is the least upper bound for the next sets:
[0,1) , [2,1] ,[1,1] , 1 1/ n || n .
Exercise. From the def2 immediately follows that: if X has the least upper bound M, then M is
unique.
111
Real Numbers
Upper bound criterion. M is the least upper bound of M is greater than any element
of and for any positive number 0 the set ( M , M ] contains at least one element of .
Proof. Let M is the least upper bound of X. The requirement “ M is greater than any element
of ” is automatically true. Let there exist some 0 such that ( M , M ] does not contain any
elements of . Then any number from the interval ( M , M ) is greater than any element of
and less than M , so M is not the least upper bound. We got a contradiction. Then 0 the
interval ( M , M ] contains at least one element of M .
Conversely. From the requirement “ M is greater than any element of ” follows that M is
~
an upper bound of . Let’s assume that there exist some other upper bound M M of
~ ~
such that M M , then the half-interval ( M , M ] (it is an interval ( M , M ] in the case
~ ~
M M ) does not contain any elements of . And we have a contradiction. So, if M M ,
~
then there must be M M and M is the least upper bound (def2).
The next theorem is one of the most important in math and there will be a very simple proof of it.
Least upper bound property. Any non-empty set X of real numbers, which is bounded above,
has the least upper bound M.
~
Proof. Let’s fix an arbitrary set and any upper bound M of . Let’s also fix some number T
~
which is less than some (any one) element of . Then the segment [T , M ] .
[1] Contains at least one element of the set .
~
[2] The “right end” of this segment (now it is M ) is greater than any element of .
~ ~
~ T M T M ~
Let’s divide [T , M ] into two segments T , [a1 , b1 ] and 2 , M [b1 , c1 ] .
2
It’s easy to check that exactly one of these
segments ( [a1 , b1 ] or [b1, c1 ] ) also satisfies
to the conditions [1] and [2] [pic2].
there exist the unique number M which belongs to every segment [an , bn ] . Let’s show that M
satisfies to the upper bound criterion (and therefore, M is the least upper bound of ).
[A] M is greater than any element of . Really, let’s assume that there exist ~ x such that
~x M . Let’s consider the interval (M , ~x ) . Starting from some number k all the “right ends” bn
of the segments [an , bn ] belong the interval ( M , ~
x ) . Really, we have an M bn , if bn (M , ~x ) ,
then b ~
nx and therefore b a ~n x a [as a M ] ~
n n n x M const 0 , so b a const ,
n n
it can’t be true for every n , because {bn an } 0 . Then there exist k such that bk ( M , ~
x),
then all the next right ends bk 1, bk 2 , bk 3.... ( M , ~
x ) . Then the right end of every segment
[ak , bk ],[ak 1, bk 1 ],[ak 2 , bk 2 ] .... is less than ~
x , it obviously contradicts to [2].
We have a contradiction, so [A] is proved.
[B] We have to check that for any 0 the set (M , M ] contains at least one element of .
Let’s assume that there exist some 0 such that ( M , M ] does not contain any elements of .
Anyway, starting from some number k all the “left ends” a n of the segments [an , bn ] must belong
to (M , M ] and therefore, starting from some number k , every a n is greater than any element
of the set , then every segment [ak , bk ],[ak 1, bk 1 ],[ak 2 , bk 2 ] .... does not contain any elements
of X at all, it obviously contradicts to [1]. So [B] is proved.
From [A] and [B] follows that M is the least upper bound of .
Similarly we can define:
Def3: a set of real numbers is bounded below if there exist some number m ~ such that
~ is called “a lower bound of the set ”.
~ x . In such case the number m
x : m
The definition of the greatest lower bound (or infinum) is similar, there is a similar criterion of
the greatest lower bound and the similar theorem: any non-empty set X of real numbers, which is
bounded below, has the greatest lower bound m . This theorem can be immediately derived from the
least upper bound property (which we have proved). We just need to use the simple idea:
m is a supremum of X m is an infinum of − X.
Separability theorem. and are set’s of real numbers and any number of is less than any
number of , so for x and for y we have x y . Then there exist the number M
such that x M y x , y .
Proof. The set is bounded above (by any element of the set ), then has a supremum M.
Let’s show that x M y || x , y . The inequality x M is obvious.
113
Real Numbers
Def. If some sequence is monotonically increasing or decreasing, then we say that the sequence is
monotonic. When some set is bounded above and below, we say that is bounded.
Theorem [limit of a monotonic sequence]. {xn } is monotonic and bounded, then {xn } has
a limit (then {xn } converges to some real number ).
Proof. Let {xn } is monotonically increasing. As {xn } is bounded, the set of real numbers
{x j || j } is bounded, then has the least upper bound M . Let’s show that lim xn M .
Let’s fix an arbitrary positive 0 , the half interval (M , M ] contains at least one term xk ,
but xk xk 1 xk 2 ... M , then the set ( M , M ] contains all the terms of the sequence {xn } ,
starting from the number k . Then a fortiori (M , M ) O (M ) contains all the terms of the
sequence {xn } , starting from the number k . So, for any positive 0 , the neighborhood O (M )
contains all the terms of {xn } , starting from some number, it means that lim xn M .
And there is a similar proof for any monotonically decreasing sequence {xn } , but we have to
consider the set {x j || j } and the greatest lower bound m of . And similarly (as above),
we can show that lim xn m .
Def. The least upper bound of (or a supremum) can be denoted as sup .
The greatest lower bound of (or an infinum) can be denoted as inf .
114
Real Numbers
[2-nd part] If b a , then there exist some 0 such that starting from some number k we
have yk 1 xk 1 , yk 2 xk 2 , yk 3 xk 3 ....
Let’s sum up. Ifb a , then yn xn is greater than some positive (starting from some number k ).
And conversely, if yn xn is greater than some positive (starting from some number k ), then
b a.
Consequence1. If xn yn n and both sequences {xn } and { yn } converge. Then lim xn lim yn .
Proof. Let’s assume that lim xn lim yn , then we have xn yn 0 starting from some number k ,
then xn yn (for n k ), it contradicts to the initial requirement xn yn n .
Therefore lim xn lim yn .
Notice, if xn yn n we can’t guarantee that lim xn lim yn (when both sequences {xn } , { yn }
converge) we can only guarantee that lim xn lim yn .
115
Real Numbers
1 1
Consider for example xn 1 and yn 1 , we have here xn yn n and lim xn lim yn 1 .
n 2n
In order to claim that lim xn lim yn we need to have a condition like yn xn 0
(starting from some k ).
Def. Let {an } is any sequence of real numbers. The symbol an is called a series.
n 1
For any n the sum Sn a1 a2 ... an is called a partial sum of the series an .
n 1
We say that an converges to S (or goes to S ) and we write an S if the sequence of partial
n 1 n 1
sums {Sn } goes to S .
The number S in such case is called a sum of the series an .
n 1
So, when we look at some series an we should perceive it as a sequence of it’s partial sums
n 1
(a1 ), (a1 a2 ), (a1 a2 a3 ), (a1 a2 a3 a4 ) ..... And the writing an S means that this
n 1
sequence of partial sums goes to S .
If the sequence of partial sums (a1 ), (a1 a2 ), (a1 a2 a3 ), (a1 a2 a3 a4 ) .... does not have
any limit, then we say that an diverges.
n 1
When an S we can also write it as a1 a2 a3 .... S . If we write an bn , we mean
n 1 n 1 n 1
that both serieses an and bn converge, and the sum of the series an is less than the sum
n 1 n 1 n 1
of the series bn . And similarly for an bn .
n 1 n 1 n 1
From now on we consider only non-negative serieses an || an 0 n .
n 1
m
Lemma1. A non-negative series an converges The set of it’s partial sums an is bounded
n 1 n 1
above.
Proof. Let an converges.
n 1
Let’s denote: S1 a1 , S2 a1 a2 , S3 a1 a2 a3 , S4 a1 a2 a3 a4 , the sequence {Sn }
116
Real Numbers
is monotonically increasing, and it has some limit S (because an converges).
n 1
According to auxiliary1 (page 110), we have Sn S n . Then the set of all partial sums is bounded
above by S .
Conversely. Let the set of partial sums is bounded above, it means that the sequence {Sn } is
bounded. The sequence {Sn } is monotonically increasing (because we have a non-negative series).
Then (according to the theorem about a limit of a monotonic sequence) {Sn } converges,
it means that an converges.
n 1
Lemma2. bn converges and an bn n , then [A] an also converges and [B] an bn .
n 1 n 1 n 1 n 1
[C] If there exist just one number k such that ak bk , then an bn .
n 1 n 1
Notice. In [C] we claim that: if there exist just one (any one) number k , for which ak is strictly less
than bk , then the whole sum of the series an is strictly less than the sum of the series bn .
n 1 n 1
~
Proof. Let Sn b1 ... bn and Sn a1 ... an . As bn converges (lemma1) the set of partial
n 1
~ ~
sums {Sn || n } is bounded above. As Sn Sn || n , the set of partial sums of an is also
n 1
bounded above. Then an converges (lemma1) (and [A] is proved). The sum S of the series an
n 1 n 1
~ ~
is a limit of the sequence {Sn } and the sum S of the series bn is a limit of the sequence {S n } ,
n 1
~ ~
we have Sn Sn || n , then (consequence1) S S it means exactly that an bn
n 1 n 1
(and [B] is proved).
117
Real Numbers
Lemma3 [sum of a geometric progression]. For any q R || q 1 the next formula is true:
q n 1 1
1 q q 2 ... q n .
q 1
n 1
Proof: The given formula is equivalent to (1 q q ... q ) (q 1) q 1 and this one is very
2 n
easy to check, we just need to simplify the expression (“expand the brackets”) on the left side.
a(q n 1 1)
Consequence2. For any a, q R || q 1 we have a aq aq ... aq 2 n
.
q 1
Lemma3. For any q R || | q | 1 we have lim n q n 0 .
Proof. In order to prove this one we have to prove a very important auxiliary inequality, which we
will also use in the future.
n n
we have 0 q n q and if { q } 0 , then, according to the squeeze theorem for sequences,
{q n } 0 .
1 1
Let’s represent | q | 1 as a ratio | q | (Where h 1 0 , so h const 0 ).
1 h q
1 Bernoulli 1 1 1
Then | q |
n
. Then we have 0 | q |n
and
(1 h) n inequality 1 nh nh nh
1
(squeeze theorem for sequences), from 0 0 and 0 follows that { q } 0 .
n
nh
Lemma4 [sum of a geometric series]. For any q R || | q | 1 the next formula is true:
1
1 q q 2 ... q n ..... .
1 q
118
Real Numbers
Proof. Here we speak about the sum of the series, the partial sum here (lemma3) is
n 1 qn 1
Sn 1 q ... q . We want to find
q 1
qn 1 1 1
lim n Sn lim n lim n (q n 1) lim n lim n (q n 1)
q 1 q 1 q 1
1 1
(1) .
q 1 1 q
a
Consequence3. For any a, q R || | q | 1 we have a aq aq 2 ... aq n ..... .
1 q
Notice. We have used above lim an bn lim an lim bn . Remember that we can do so only when both
limits lim an and lim bn do exist. Unless we aren’t sure that both limits lim an and lim bn do exist,
we can’t perform this action. Similarly, when we carry out any of the next actions,
lim( an bn ) lim an lim bn or lim( an / bn ) lim an / lim bn , we need to make sure at first that both
limits lim an and lim bn do exist (in the last case we also need lim bn 0 and bn 0 n ).
Proof. Let’s fix any allowable sequence d1 , d 2 , d 3 .... and let’s take the sequence 9,9,9,9.... .
9 9 9 9
Let’s consider the series ... .... // consequenc e 3 // 1.
101 102 10m 1 1 / 10
As d1, d 2 , d3.... is allowable, then d n 9 n and there exist k such that d k 9 .
dn 9 d 9
So we have: n
n n and there exist k such that kk k .
10 10 10 10
d1 d2 dm dn
Then any term (with number k ) of the series 1
10 10
2
...
10 m
.... 10 n
is not greater than
n 1
9 9 9
any term (with number k ) of the series 1 2 ... m ...., and the k th term of the first
10 10 10
119
Real Numbers
series is strictly less than the k th term of the second series. Then (lemma2) the first series
d
converges and it’s sum is less than the sum of the second series, which is equal to 1 . So nn 1 .
n 1 10
0 0 0
Next: the sum of the zero series 1
2 ... m .... is equal to zero. As d1, d 2 , d3.... is
10 10 10
allowable, then there exist m such that d m 0 . Let’s compare the zero series with the series
d1 d2 dm
... ..... We have 0 d n n and m : 0 dm .
101 102 10m
0 dn dn d
Then (lemma2) n n 0 n . We have deduced that 0 nn 1 .
n 1 10 n 1 10 n 1 10 n 1 10
The main theorem. Let is a set of all allowable sequences d1, d 2 , d3.... There exist
one-to-one mapping f : (0,1) : for every allowable sequence d1, d 2 , d3.... it compares the
d
unique real number 1 (0,1) which is a sum of the series 10nn .
n 1
d
Proof. The mapping f is defined like f (d1 , d 2 , d3 ....) 10nn .
n 1
From the assertion2 follows that f is really a mapping from to (0,1) .
[PART 1] Let’s show that f fully covers the set (0,1) . Let’s fix an arbitrary 1 (0,1) .
Let’s build the sequence of pairs of natural numbers (m1, k1 ), (m2 , k2 ), (m3 , k3 ) ... where 1 m j 9 j .
1
[Step1] For 1 (0,1) there exist the minimal natural number k1 such that 1
10k1
(it’s easy to show, by using the Archimedes axiom and induction). Let’s fix this number k1 .
1 1
As k1 is a minimal number with such property, then k1
1 k 1 . Next, for the positive
10 10 1
1 m
numbers k1
, 1 there exist the maximal natural number m1 such that k1 1 (it follows from
10 10 1
m1 1
the Archimedes axiom). Then: . There must be 1 m1 9 (really, the assumption
10k1 1
1
10k1
m 1
m1 10 , contradicts the inequality k11 1 k1 1 ).
10 10
m1 m1 1 m1
Let’s also notice that 1 [J] (because m1 is a maximal number such that 1 ).
10k1 10k1 10k1
m1 m1 1
Let’s subtract from all sides of [J], we will get 0 1 .
10k1 10k1 10k1
120
Real Numbers
m1
If 0 1 , then we fix the pair (m1 , k1 ) and end the process.
10k1
m m 1
If 0 1 k1 , then we designate 2 1 k1 and we have 0 2 k 2 (0,1) and we
10 1 10 1 10 1
repeat the [Step1] for the number 2 .
1
We will find the pair of natural numbers (m2 , k2 ) . At first we will find k 2 such that 2 ,
10k 2
1 m2 1
notice that k1 k2 (because we already have 2 ). Then from here follows
10k 2 1
2
10k1 10k 2
m2 1
that 1 m2 9 , and finally 0 2 k2
k .
10 10 2
m2
If 0 2 , then we fix the pairs (m1, k1 ), (m2 , k2 ) and end the process.
10k 2
m m
If 0 2 k2 , then we designate 3 2 k2 . And we repeat the [Step1] for the number 3 .
10 2 10 2
We will get the pair (m3 , k3 ) such that k1 k2 k3 .... and 1 m3 9 .
mp 1
And so on. For any pair (m p , k p ) we have 0 p k .
kp
10 10 p
mp
[1-st case] If the process has ended in p steps, then we get 0 p and we have fixed some
kp
10
pairs (m1, k1 ), (m2 , k2 ) ... (m p , k p ) . Here everywhere 1 m j 9 and k1 k2 ... k p .
m p 1 m p 2 m p 3
Let’s remember that: p p 1 k p 1
|| p 1 p 2 k p2
|| p 2 p 3 k p 3
|| .....
10 10 10
m2 m1 m1 m2 m3 m p 1
... || 3 2 , || 2 1 || , then p 1 .... [F]
10 k2 10 k1 10k1 10k 2 10k3 k
10 p1
mp
in addition to it, we also have: 0 p , then we have
k
10 p
m1 m m m mp
1 k1
k2 k3 .... kp 1 k .
10 10 2 10 3 10 p1 10 p
[2-nd case] The process hasn’t ended in p steps. Then we have some sequence
121
Real Numbers
m1 m2 m3 m p 1
simple formula [F] p 1 .... (for any p ), then
10k1 10k 2 10k3 k
10 p1
m1 m2 m3 m p 1
.... 1 p [T].
10k1 10k 2 10k3 10
k p 1
mp mp 1
Let’s add kp
to both sides of [T] and use the inequality 0 p k [E]
kp
10 10 10 p
(we have such inequality for every p ). So:
m1 m2 m3 m p 1 mp mp
.... 1 p
10k1 10k 2 10k3 k
10 p1 10 p
k k
10 p
m m m m m m
k1 k2 k3 .... kp 1 kp 1 p kp . Let’s regroup the summands
10 1 10 2 10 3 10 p1 10 p 10 p
m m m m m m
p kp 1 k1 k2 k3 .... kp 1 kp .
10 p 10 1 10 2 10 3 10 p1 10 p
m1 m2 m3 m p 1 mp 1
According to [E]: 0 1 k
k
k
.... k
k
k [E].
10 1 10 2 10 3 10 p1 10 p 10 p
mj
We have the estimation for 1 the partial sum of 10k with p summands .
j
j 1
1
Both sequences {x p } {0} 0,0,0... and {z p } k
are infinitely small, then, according to the
10 p
m1 m2 m3 m p 1 mp
squeeze theorem for sequences, 1 k
k
k
.... k
k
is infinitely small.
10 1 10 2 10 3 10 p1 10 p
m
It means exactly that our series 10kj j
goes to 1 .
n 1
Let’s sum up: from the 1-st case and 2-nd case follows that any number 1 (0,1) can be represented
m1 m2 m3 m p 1 mp
as a finite or an infinite sum 1 .... ...., where 1 m j 9 and
10k1 10k 2 10k3 k
10 p1 10 p
k
k1 k2 ... k p ... . Notice that k1 k2 ... k p ... are not necessary consecutive natural
numbers.
Let’s show that: if 1 is represented as a sum of a series, the next situation is impossible:
from some moment all the numbers k p 1 k p 2 k p 3 ..... are consecutive natural numbers and
all the numbers m p 1 , m p 2 , m p 3 ..... are equal to 9 . Let’s assume the contrary, then we have the
122
Real Numbers
m1 mp 9 9 9
representation: 1 k1
.... kp
k 1 k 2 k 3 .... [V]. Let’s denote
10 10 10 p 10 p 10 p
m1 mp 1 1
Sp .... . From [E] we have 0 1 S p kp
, then 1 S p kp
|| 0 [J].
10k1 10
kp
10 10
From [V] we see that 1 is a limit of the sequence
9 9 9 9 9 9
S p k p 1 , S p k p 1 k p 2 , S p k p 1 k p 2 k p 3 .... [P]. This sequence is
10 10 10 10 10 10
a sum of the sequences {an } S p , S p , S p .... (here lim n an S p ) and
9 9 9 9 9 9 1
{bn } k 1 , k 1 k 2 , k 1 k 2 k 3 .... (and here lim n bn k ,
10 p
10 p
10 p
10 p
10 p
10 p
10 p
because lim n bn is a sum of the geometric series). The limit of the sequence [P] is a sum of limits
1 1
lim n an lim n bn S p kp
. Then 1 S p kp
, but from [J] we have
10 10
1
1 S p kp
|| 0 and we have a contradiction.
10
d
And finally, let’s define the series 10nn that “coincides” with the finite or infinite sum
n 1
m1 m2 m3
.... 1 . We have concrete natural numbers k1 k2 ... k p .... .
10k1 10k 2 10k3
For every natural number n which differs from any of these numbers: n k j j we define d n 0 ,
dn
and the summand 0 in this case. And for every natural number n which is some k j , i.e.,
10n
d m
n k j (for some j ), we define d n m j , so the summand nn kj in this case.
10 10 j
d m1 m2 m3
Then the series 10nn “coincides” with the finite or infinite sum
10k1 10k 2 10k3
.... and
n 1
dn d
therefore n goes to 1 . So nn 1 . The sequence d1, d 2 , d3..... is allowable.
n 1 10 n 1 10
Really, j 0 d j 9 . Let’s notice that d1, d 2 , d3..... is not a zero sequence, because all
m1 , m2 , m3 ... are natural. And also d1, d 2 , d3..... does not have a tail 9,9,9,9...
(because m1 , m2 , m3 .... does not have such tail, as we showed above).
123
Real Numbers
So, for any 1 (0,1) there exist the allowable sequence d1, d 2 , d3..... such that
dn
f (d1 , d 2 , d3....) n
1 , we have proved that the mapping f fully covers the set (0,1) .
n 1 10
[PART 2] Let’s show that f doesn’t glue together elements of Ω. Let’s assume that for different
allowable sequences d1 , d 2 , d3 .... a1 , a2 , a3 .... we have
d n an
f (d1, d 2 , d3....) f (a1, a2 , a3....) n n . Let’s compare d1 and a1 , if d1 a1 , then we go
n 1 10 n 1 10
to d 2 and a2 . If d 2 a2 , then we compare d 3 and a3 and etc. As the sequences d1 , d 2 , d3 .... and
a1 , a2 , a3 .... are different, then there exist m such that
d1 a1, d 2 a2 , ...... d m 1 am 1, d m am (maybe m 1 and we have d1 a1 from the start ).
Without loss of generality d m am am d m . In several consecutive steps we will show that
an d n
10n 10n . Really, as the sequence a1, a2 , a3.... does not have a 9,9,9.... tail, then (lemma2)
n 1 n 1
a a1 a 9 9 9 a a
10nn 10
... mm m 1 m 2 m 3 ..... Let’s denote m 1 ... mm , then the
10 10 10 10 10 10
n 1
sum of the last series is a limit of the sequence
9 9 9 9 9 9
m m 1 , m m 1 m 2 , m m 1 m 2 m 3 , this sequence is a sum of
10 10 10 10 10 10
9 9 9 9 9 9
sequences {an } m , m , m .... and {bn } m 1 , m 1 m 2 , m 1 m 2 m 3 ...
10 10 10 10 10 10
1
and lim n bn is a sum of the geometric series, so lim n bn m and lim n an m , then
10
a1 a 9 9 9 1 a a a 1
... mm m 1 m 2 m 3 .... m m 1 ... mm11 mm m
10 10 10 10 10 10 10 10 10 10
d d a 1 d d a 1
// as a1 d1 ... a m1 d m1 // 1 ... mm11 mm m 1 ... mm11 m m
10 10 10 10 10 10 10
a d m d1 d m 1 d m d1 d m 1 dm 0 0
m
10 ... m 1
... m 1
m 1
m2
...
a m 1 d m 10 10 m
10 10 10 m
10 10
.
d1 d m 1 dm d m 1 dm 2 dn
// Lemma 2 // ... m 1 m m 1 m 2 ... n
10 10 10 10 10 n 1 10
an d n
So, in several steps we have deduced that n n - it contradicts to our initial assumption
n 1 10 n 1 10
d n an
10n 10n . Then f doesn’t glue together elements of .
n 1 n 1
After the [PART 1] and [PART 2] we can say that f is one-to-one mapping (0,1) .
124
Real Numbers
For every allowable sequence d1 , d 2 , d3 .... the mapping f compares the unique real number
dn
(0,1) such that n
. From here immediately follows the converse assertion: for any
n 1 10
dn
real number (0,1) there exist the unique allowable sequence d1 , d 2 , d3 .... such that n
.
n 1 10
dn
Def. For any real number (0,1) , where n
, the symbol 0, d1d 2 d3.... is called a decimal
n 1 10
notation of .
Next, for any other real number a R (assertion5) there exist the unique pair of integer numbers
k , k 1 such that k a k 1. As we proved earlier, any integer number k has a unique decimal
notation k 1 2 .... n .
Exponent
n
1
Assertion3. The sequence {xn } 1 converges.
n
Proof. We will show that {xn } is monotonically increasing and bounded above, from here will follow
that {xn } converges.
xn 1
[A] {xn } monotonically increasing. Let’s show that 1 xn 1 xn (for any n )
xn
n 1 n 1 n 1
1 1 1
1 1 1
1 n 1
xn1 n 1 1 n 1 1 n 2 n 1
1 n 1
1 n 1 1 :
n 1 n 1 1 n n 1 n
n
xn 1
1 1 n
n n
n 1 n 1 n 1
1 n 2n 1 (n 1) 1 1 1
2 2
Bernoulli
1 1 1 1
2
// //
n (n 1) n (n 1) n (n 1)
2 2
inequality
1 1 1 1 1 n xn 1
1 1 (n 1) 1 1 1 1 . So 1.
n (n 1) 2 n (n 1) n (n 1) xn
125
Real Numbers
n
1
[B] In the exactly similar way we can show that the sequence { yn } 1 || n 2 is
n
n n n
1 1 1
monotonically increasing. And for any n we have xn yn 1 1 1 2 1 ,
n n n
1
then xn . As { yn } is monotonically increasing, then yn y2 || n 2 , then
yn
1 1
xn 4 || n 2 . Then {xn } is bounded above.
yn y2
n
1
So {xn } 1 converges, the limit of this sequence (the number) is denoted like e and called
n
“an exponent”. Practical calculations show that e 2,71828 (the sign means “approximately
equal”).
Def. For any natural number n we define n! 1 2 3 ... n and also 0! / by def / 1.
n!
Def. For any pair of integers n k || n , k 0 the next number Сnk is called
k!(n k )!
a binomial coefficient.
n!
Exercise1. For any pair of integers n k || n , k 0 , the binomial coefficient Сnk
k!(n k )!
is a natural number. And Сn is a number of different k -element subsets of the set {1,2,3....n} .
k
n(n 1)
Show that Сn 1, Сn n, Сn , Сnn 1 .
0 1 2
2
Exercise2 (Binomial theorem). For any a, b R any n the next formula is true
n
(a b) n Cnk a k b n k Cn0 a 0b n Cn1 a1b n 1 Cn2 a 2b n 2 .... Cnn 1a n 1b1 Cnn a n .
k 0
1 1 1 1
Assertion4. The series 1 ... .... [S] converges to e . And for any natural
1! 2! 3! n!
1 1 1 1
number n there exist the real number (0,1) such that e 1 ... .
1! 2! 3! n! n!n
126
Real Numbers
n
1
Proof. We have proved above that the sequence {xn } 1 is monotonically increasing and
n
goes to e. Let’s expand the brackets:
n n
1 1 n
1 1 1 1 1
xn 1 1 Cnk k Cn0 Cn1 Cn2 2 ... Cnn1 n1 Cnn n
n n k 0 n n n n n
n! n! 1 n! 1 n! 1 n! 1 n! 1
2 3 ...... k ...... n
0!n! 1!(n 1)! n 2!(n 2)! n 3!(n 3)! n k!(n k )! n n!0! n
~ 1 1 1 1 1 2 1 1 k 1
{( xn )} 1 1 1 1 .. 1 ... 1 .
1! 2! n 3! n n k ! n n
127
Real Numbers
1 1 1 1 1 1 1 1
And the other sequences are stationary sequences, like , , ....., , , ......
2! 2! 2! 2! 3! 3! 3! 3!
the partial sum ~ 1 1 1 1
Then the sequence {( xn )} n 1 ... Sk
of x n || n k
1! 2! 3! k !
~
(where S k is a partial sum of the series [S]). So {( xn )} n Sk . From here immediately
~
follows that if we fix any number v S k , then all the terms of sequence {( xn )} are greater than v ,
1 1 1 1
starting from some moment. Let’s fix S k 1 1 ... S .
1! 2! 3! (k 1)! k
~
Then there exist some number n such that Sk 1 ( xn ) || n n . Then
~ ~
Sk 1 ( xn ) xn || n n (because every x n contains it’s partial sum ( xn ) ).
Every element xn , in it’s turn, is less than e , then Sk 1 e . We had started above from an arbitrary
natural number k 2 and we showed that Sk 1 e , from here follows that:
Sn e || n [2-nd result] and it is exactly what we need. From the [1-st result] and [2-nd result]
follows that xn Sn e || n , then from the squeeze theorem for sequences,{Sn } e , it means that
1 1 1 1
the series 1 ... .... goes to e .
1! 2! 3! n!
Next. Let’s show that for any n there exist (0,1) such that
1 1 1 1
e 1 ... || (0,1) . The sequence of partial sums {Sn } is monotonically
1! 2! 3! n! n!n
increasing and goes to e , then Sn e || n . So,
1 1 1 1 1 1 1 1
0 e S n 1 ... .... 1 ...
1! 2! 3! n! 1! 2! 3! n!
1 1 1 1 1 1 1
... ....
(n 1)! (n 2)! (n 3)! n! (n 1) (n 1)(n 2) (n 1)(n 2)(n 3)
1 1 1 1 1 1 1 1 geometric
.... 1
n! (n 1) (n 1) (n 1) 2 ...
n! (n 1) (n 1) 2 (n 1) 3 series
128
Real Numbers
1
1
1 1 1 (n 1) 1 . We have shown that 0 e S 1 ,
n! (n 1) 1 1 n! (n 1)
n
n n!n n!n
(n 1)
then there exist some (0,1) such that e S n , everything is proved.
n!n
Def. Any number a R , which does not belong to Q R , (it means that a can’t be represented
as a ratio of some integer numbers) is called an irrational number.
some limit q Q . As R is an Archimedean ordered field, which contains Q (look at the theorem1,
page 94), the sequence {Sn } Q must also converge in R, and it must converge to exactly the same
limit q Q . But we showed above that {Sn } converges to e Q in R, we have a contradiction.
Then Q is not a complete field.
129
Construction of Length and Area
Length construction
We must start from the elementary objects: a point, a segment, a line. These are our basic objects.
We also make several simple assumptions that are listed below.
We assume that: for any different points A, B there exist only one segment AB .
We agree that we understand the phrase:
“The point С lies between A and B ”
[pict1].
pict.1
Also, any segment AB can be laid along
any other segment CD [pict2].
Note, when AB is laid along CD ,
points A and С must coincide.
Suppose we laid AB along CD and:
Mid-point assumption. For any segment AB there exist the point С such that AC CB .
The sum of any segments AB and CD
is the segment AD [pict3].
And we write AD AB CD .
pict.4
131
Construction of Length and Area
We also assume that the Archimedes axiom is true in : for any segments AB and CD there exist
the natural number n such that nAB CD .
Auxiliary1. For any segments AB and CD there exist the minimal natural number p such that:
СD
AB .
2p
СD СD
Comment: as p is the minimal natural number with such property, then p
AB p 1 .
2 2
Proof. Let’s fix any AB and СD , according to the Archimedes axiom, there exist n such that
nAB CD . There exist 2 p n , then 2 p AB nAB and therefore 2 p AB CD [T].
СD СD СD
Let’s consider the segment p
, there must be p AB . Really, if p AB , then
2 2 2
СD СD
2 p p 2 p AB СD 2 p AB - it contradicts to [T]. So p AB . From here follows
2 2
СD
that the set of natural numbers т || т AB is not empty, then it contains the minimal
2
number p , and p is exactly the number we need.
132
Construction of Length and Area
Length. is a collection of all segments (in the space). The length L is the correspondence
L : R . For every concrete segment a unique positive real number L( ) is defined,
L( ) is called a length of . And L : R has the next properties:
[1] There exist the segment e such that L(e) 1 (e is called “a scale”).
[2] If , then L( ) L( ) .
[3] L( ) L( ) L( ) for any segments , .
We will show:
[A] [Existence]. If the scale (the segment e ) is chosen, the correspondence L : R ,
such that [1],[2],[3] exists.
[B] [Uniqueness]. If the scale e is fixed, then such correspondence L is unique.
[A] Let’s take and fix an arbitrary segment e which we take as a scale. We must define L on every
segment. At first we define L(e) 1. Let’s fix an arbitrary segment , the number L( ) is defined
as a result of the next process.
Then, according to the Archimedes axiom, we can find the natural number T0 such that:
e e
T0 p (T0 1) p [Y1].
2 2
e
So, T0 is such number that the segment can be
2p
placed in maximum T0 times, but (T0 1)
e
segments already fully cover the segment
2p
[pict6]. And (T0 1) is a minimal number of
e
segments that we need to cover the segment
2p
completely. Let’s fix the pair of (rational) numbers
T0 T0 1
and . (we had started here from the pict.6
2p 2p
e p
segment p
, and we got two fractions with denominators 2 ).
2
133
Construction of Length and Area
e e
[step2] We consider the segment (which is a half of the initial segment ) and we perform
2 p 1 2p
e
the [step1] for the segments p 1
and . So, there exist the natural T1 such that
2
e e
T1 p 1 (T1 1) p 1 [Y2].
2 2
e
Let’s show that [A] 2T0 T1 and [B] T1 1 2(T0 1) . The segment can be placed in exactly
2p
e e
T0 times, every segment p
contains exactly two segments p 1 , then contains (for sure) 2T0
2 2
e e
segments p 1 . But T1 is a maximal number of segments p 1 which we can place in ,
2 2
then 2T0 T1 ([A] is done).
e e
Next, T0 1 segments p
cover completely, each segment p contains exactly two segments
2 2
e e
, then 2 (T 1) segments cover completely. But T1 1 is a minimal number of
2 p 1 2 p 1
0
e
segments p 1 that we need to cover the segment , then T1 1 2(T0 1) ([B] is done).
2
p 1 T0 T T 1 T 1
Let’s divide both inequalities [A] and [B] by 2 , then p
p11 and 1 p 1 0 p [E].
2 2 2 2
e
(we had started here from the segment p 1
, and we got two new fractions with denominators 2 p 1 )
2
e e
Next, we take the segment (which is a half of the previous one ). And we perform
2 p2 2 p 1
e e e
the [step1] for p 2 , . We will find the number T2 such that T2 p 1 (T2 1) p 1 .
2 2 2
By the similar reasoning we deduce that 2T1 T2 and T2 1 2(T1 1) , we divide these inequalities
p2 T1 T2 T2 1 T1 1 e
by 2 , then we get and . (we had started here from the segment ,
2 p 1 2 p 2 2 p2 2 p 1 2 2
p
134
Construction of Length and Area
e e
Now we take the segment (which is a half of the previous one ). And we make
2 p 3 2 p2
e
the [step1] for p 3
, and etc.
2
T0 T1 T2 T2 1 T1 1 T0 1
As a result we get the pair of sequences ....... p 1 p .
2 p 2 p 1 2 p 2 2 p2 2 2
T T 1
Let’s show that both sequences pk k , k p k k 0,1,2 ... converge to the same limit.
2 2
Tk T0 1
It’s easy to see that p k is monotonically increasing and bounded above (by for example)
2 2p
T
then, according to the theorem about a limit of a monotonic sequence, pk k converges to some
2
T 1
limit . Similarly, the second sequence k p k is monotonically decreasing and bounded below
2
T T 1
(by 0p for example), then it converges to some limit . As the difference of the sequences k p k
2 2
T 1
and pk k is an infinitely small sequence p k k 0,1,2 ... , there must be .
2 2
Let’s sum up. We had started from an arbitrary segment and we described the concrete process
which always gives only one concrete real number , then we define: L( ) , i.e., the
length of the segment is a common limit of our sequences.
Comment: during the construction process there was a phrase “we will find”, because people usually
understand the process better in such formulation. But normally, there must be the phrase
“there exist” instead of it, it is more rigorous. Of course, no one really assumes that some person
will repeat “by hand” the [step1] again and again for pairs of segments, it is virtually impossible.
Anyway, we need only the fact of existence of such sequences with a common limit, and we have it
now. Some people may be puzzled, because there is an “infinite process”, so there are infinitely many
steps, and if we make a computer program with such algorithm, it will never stop working. But it is
a great process, according to mathematics. The similar processes are embedded in the fundamental
theorems of analysis, differential equations, linear algebra, abstract algebra and etc.
We just need to remember that mathematics is not programming, the greatest theorems in
mathematics are the theorems that prove the facts of existence of some value/solution/figure and etc.
And if we want to make a computer program, we will write a program with a needed process and we
will repeat it many times, in order to get a very good approximation of the value we need.
Ok, now L is defined on every segment . Let’s show that L satisfies the requirements
[1],[2],[3] (from the initial definition). [2] is obvious. Really, let , then we lay along
and they coincide. Then we perform the process, which is described above, for the segment , in the
same time it is the process for the segment , so on the one hand we will get the length L( ) ,
and on the other hand we will get L( ) . And L( ) L( ) .
135
Construction of Length and Area
Let’s show that L(e) 1 (it is [1]). We must perform the process, which is described above, for
e
the segment e . At first we need to find the minimal p such that e . Obviously p 1 ,
2p
e
because e , then we will get T0 2, T1 4, T2 8 ... Tk 21k . And we have two sequences
2
2 4 8 8 1 4 1 2 1
1
11 1 2 ....... 1 2 11 1 both these sequences converge to 1 , then L(e) 1.
2 2 2 2 2 2
Let’s finally show that L( ) L( ) L( ) (which is [3]). We fix arbitrary segments , .
the same denominators 2 h , so we can discard several initial terms in each sequence, it does not
affect convergence and the limit value. There is no need to complicate our designations, and we can
assume that all our sequences (from the very beginning) start from the fractions with the same
h
denominators 2 .
T0 T T T 1 T 1 T 1
For :
h
h11 h2 2 ....... 2h 2 1h 1 0 h .
2 2 2 2 2 2
M M M M 1 M 1 M 1
For : h0 h 11 h 22 ....... 2h 2 1h 1 0 h [V].
2 2 2 2 2 2
S S S S 1 S 1 S 1
For : h0 h11 h 2 2 ....... 2h 2 1h 1 0 h .
2 2 2 2 2 2
e
Let’s remember the meaning of these numbers. So, T0 segments can be placed in the segment
2h
e e
, and M 0 segments can be placed in the segment , so with guarantee T0 M 0 segments
2h 2h
can be placed in the segment (and maybe more). And S 0 is a maximal number of segments
e
, which we can place in , then T0 M 0 S0 . And in the exactly similar way we can
2h
deduce Ln M n S n (for every number n ).
136
Construction of Length and Area
e e
Next, T0 1 segments cover the segment completely , and M 0 1 segments cover
2h 2h
e
the segment completely. Then (T0 1) ( M 0 1) segments h (with guarantee) cover
2
e
the segment . Let’s remember that S0 1 is a minimal number of segments h that we need
2
to cover the segment , then S0 1 (T0 1) ( M 0 1) . And similarly we get:
Sn 1 (Tn 1) (M n 1) n . So we have:
Tn M n Sn T M n Sn
n || n Ln M n Sn Ln M n 1 ,
Sn 1 (Tn 1) ( M n 1) Sn Tn M n 1
Tn Mn Sn Tn Mn 1
let’s divide all the sides by 2
h n
, then: .
2hn 2hn 2hn 2hn 2hn 2hn
Tn M n T M 1
h n h n n L( ) L( ) and hn n h nn h n n
L( ) L( ) 0 ,
2 2 2 2 2
S S
then there must be h n n L( ) L( ) . And we already have [V] h n n L( ) .
2 2
Then L( ) L( ) L( ) L( ) , everything is proved.
We have proved the existence of the length. Let’s prove the uniqueness.
Let L is any correspondence R such that [1],[2],[3], so L is not necessary the same
correspondence as we built above.
[Property1]. From [3] follows that for any segments 1,... n we have
L(1 ... n ) L(1 ) ... L( n ) , and in particular
L(n ) L( ... ) L( ) ... L( ) n L( ) .
pk e 1
From here follows that for any number 2 we have L pk
p k , really
2 2
e e
pk
... pk
[2 p k summands ] e , then
2 2
e e e e e e 1
L p k ... p k L(e) L p k ... L p k 1 L p k 2 p k 1 L p k p k .
2 2 2 2 2 2 2
Really, let where is some segment, then L( ) L( ) L( ) L( ) L( ) .
Conversely, let L( ) L( ) . There are exactly three variants: , , .
137
Construction of Length and Area
If , then L( ) L( ) , which is not true. If , then L( ) L( ) , which is not true.
So, the last possibility is . Everything is proved.
~
Uniqueness. Let L is some other “length” (the correspondence R such that [1],[2],[3]).
~
From [1] we have L (e) L(e) . Let’s fix an arbitrary segment . And let’s build two sequences as
T0 T T T 1 T 1 T 1
above p
p11 p2 2 ..... 2p 2 1 p 1 0 p . According to the process, which is described
2 2 2 2 2 2
e e ~
above, for any k 0,1,2,3.... we have Tk p k (Tk 1) p k . Then for L ([property2]) we
2 2
~ e ~ ~ e ~ e ~ ~ e
have L Tk pk
L ( ) L (Tk 1) p k Tk L p k L ( ) (Tk 1) L p k
2 2 2 2
1 ~ 1 T ~ T 1 T
([property1]) Tk p k L ( ) (Tk 1) p k pk k L ( ) kp k . Both sequences pk k
2 2 2 2 2
Tk 1
and pk
converge to L( ) (by definition, we have defined L( ) as a common limit of these
2
T ~ T 1 ~
sequences). Then from pk k L ( ) kp k (squeeze theorem for sequences) we get L ( ) L( ) .
2 2
~ ~
Then the values L( ) and L ( ) are equal on every segment , then L L .
Let’s resolve now the question about the existence of the segment (where is some segment and
n
n is a natural number). Now we know only that exists when n is a power of two: n 2p .
n
We need to prove the next property.
[Property3]. For any positive real number a there exist some segment such that L( ) a.
Proof. Let’s remember the chapter “Pre-real numbers” there was an [Example L] (page 94), in which
we had taken an arbitrary positive element a (which belonged to some Archimedean ordered field
1
which contained Q , and now a R Q ). We had fixed any n such that a , and then we
n
Tk
built the rational sequence k
|| k 0,1,2..... such that
2 n
T0 T1 T T T 1 T 1 T 1 T0 1 T
22 33 .... a .... 3 3 2 2 1 . And kk a .
n 2n 2 n 2 n 2n 2 n 2n n 2 n
T 1 T
Let’s notice that the difference of the sequences k k , kk is an infinitely small sequence
2 n 2 n
1 T p 1
k , and therefore we also have p a .
2 n 2 n
138
Construction of Length and Area
Let’s fix now any positive real number a R , we can find the minimal natural number p such that
1
p
a . Let’s take then n 2 p and build two sequences (from the [Example L]).
2
T T T T T 1 T 1 T 1 T 1
So we have 0p p11 p2 2 p3 3 .... a .... 3p 3 2p 2 1 p 1 0 p [S].
2 2 2 2 2 2 2 2
e
Let’s take now the scale segment e , we know that for any k the segment exists, then
2 pk
e
for any natural number Tk the segment Tk pk
also exists.
2
Let’s use the sequences [S] in order to build the sequence of nested segments. We fix any point O ,
e e
and build the segment OA0 T0 p
, then we lay the segment OB0 (T0 1) p along OA1 .
2 2
e
Then we build OA1 T1 p 1
and
2
e
OB1 (T1 1) p 1
[pict7], then
2
e e pict.7
OA2 T2 p2
and OB2 (T2 1) p2
2 2
and etc. The segments A0 B0 , A1B1 , A2 B2 ... are obviously the nested segments, then (according to
the axiom of nested segments) there exist some point which belongs to every segment.
1
This point is unique, because the length L( Ak Bk ) pk
, and if we assume that there also exists
2
some other point which belongs to every segment, then every segment Ak Bk contains the
1
segment , then L( Ak Bk ) L( ) const k which contradicts to L( Ak Bk ) pk
k 0 .
2
Then the segment O is exactly the segment, for which L(O) a . Really, according to our
e T
construction process we have: L(OAk ) L(O) L(OBk ) || k and L(OAk ) L Tk pk k
pk
2 2
e (Tk 1) Tk (Tk 1)
and L(OBk ) L (Tk 1) , then L (O ) || k [F] and both
2 pk 2 pk 2 pk 2 pk
Tk T 1
sequences pk
and k p k converge to the number a (these sequences are built in such way).
2 2
Then from [F] and from the squeeze theorem for sequences follows that L(O) a .
Let’s fix now an arbitrary segment and any natural number n . Let’s take the positive real
L( )
number . According to the [property3], there exist the segment which’s length is
n
139
Construction of Length and Area
L( )
L( ) . Let’s show that if we lay along exactly n times we will get the segment n
n
which coincides with (then n and then by definition).
n
Let’s lay the segment exactly n times along , we will get segment n which is laid along .
If n coincides with , then everything is proved. Suppose that n does not coincide with .
Then there can be exactly two variants: [First] n , then [property2] we have L(n ) L( )
L( ) L( )
[property1] L( ) .. L( ) L( ) .. L( ) L( ) L( ) and we have a
n n
contradiction.
[Second] n , we will get here a similar contradiction (as we got in the first case).
Then n must coincide with and everything is proved.
Note. In practice, for convenience, we do not write the letter L to denote a length of a segment.
Instead of L( ) 5 we write just 5 . Instead of L( AB) 10 we write just AB 10 .
Line coordinates. [pict8] Let’s fix any line l , we mark any point O on this line, the point O
divides the line in two rays, we compare the real number zero 0 to the point O .
We need to choose any segment e as a
scale, so e 1. Then we choose one of two
rays (any one), we will call it “a positive
ray”. For any point A O on the positive
ray we compare a positive real number:
a length of a segment OA .
The other ray is called “a negative ray”. pict.8
And for any point B O on the negative
ray we compare a negative real number: a length of a segment OB with the minus sign OB .
Def. For any point A on l , the real number a , which is compared to A , is called a coordinate
of A . And l is called a coordinate line.
We have defined the mapping f : l R . Let’s show that this mapping is one-to-one.
At first, it covers R . Really, it’s very easy to show by using the [property3]: for any positive real
number a there exist some segment such that L( ) a . Secondly, we need to show that
f :l R doesn’t “glue together” points of l , i.e., if A B are different points, then numbers
f ( A), f ( B) are also different. It’s very easy to show just by considering all the possible cases:
[A] some point A or B coincides with O , and the other lies on the positive/negative ray.
[B] none of A, B coincide with O , then there may be: both A, B are on the positive ray,
both on the negative ray, one point on the positive ray and the other one on the negative ray.
In each case it’s very easy to understand that f ( A), f ( B) are different real numbers.
140
Construction of Length and Area
Then f :l R is one-to-one. From here follows that the inverse mapping f 1 : R l is also
one-to-one, describe this mapping.
Let’s sum up: for every line l there exist one-to-one correspondence (the mapping) :R l .
Because of that we say that a coordinate line l is a “geometrical interpretation”, or a “visual
interpretation” of real numbers. A visual interpretation l of real numbers has some amazing
properties which can simplify our actions (with real numbers). For example, for any aR
the absolute value a L(OA) (where A is the point on l with a coordinate a ). Also, for any real
numbers a, b , the number a b is a length of the segment AB , where A and B are the points
on l with coordinates a and b.
Also, a b c if and only if B lies between A and C . When we add positive numbers we can
represent it as we take one segment and put it next to the other segment. Addition of negative
numbers has a similar representation.
Any segment [a, b] /interval (a, b) / half-interval (a, b] or [a, b) of real numbers has a visual
interpretation as a segment AB /interval (AB) /half-interval (AB] or [ A, B) on the line.
Any -neighborhood (a) of a real number a has a visual interpretation as an interval with
the center at A .
So, the use of a visual representation is a very handy tool, it may help us to simplify our reasonings.
But it’s important to remember that when we perform actions like addition/subtraction/
multiplication/division of real numbers we “work” inside the field R , and we do it by the rules of R ,
these rules are precisely defined on R , and they don’t have any connection with any line.
Many properties of real numbers do not have any visual interpretation, the field R is an
independent structure which consists of numbers (which are symbols), and R includes precise rules,
how to operate with all these symbols. In fact, every number is just an abstract symbol, the symbol
from R . The connection between real numbers and points is extremely important. Plane coordinates
and space coordinates allow us to take purely geometrical questions and narrow them down to the
questions, concerning real numbers. By using the connection between points and numbers we can
precisely describe shapes of objects and their motions. Moreover, there is no other way to describe
precisely most of shapes and motions without the use of real numbers.
But the set R of real numbers is a purely abstract (imaginary) set. And we use this set as an
auxiliary tool for a huge variety of different purposes. We use real numbers to specify time and
dates, to estimate the distance we need to walk and the duration of our journey, to determine our
income, our age, how many calories we eat a day, to measure our weight and height, to estimate our
lifespan and etc.
But once again, the set of real numbers R is a purely mathematical (imaginary) structure which we
can use as a tool for many different purposes.
141
Construction of Length and Area
Let’s mark any point A on the plane, we can draw the dashed lines, through this point which
are perpendicular to Ox and Oy . By definition, coordinates of intersection points ( x A , y A ) (a pair of
real numbers) are the coordinates of A . Conversely, any ordered pair ( x A , y A ) of real numbers
uniquely defines exactly one point A on the plane (with coordinates ( x A , y A ) )
When we write A(5,3) , we mean that A has coordinates (5,3) .
Space coordinates. [pict10]. We fix three perpendicular intersecting lines (in the space).
The point O of their intersection
we call “the origin”. Each line must
become a coordinate line, and for
each line the zero number 0 must be
compared to O . There is a freedom to
choose which line is Ox , which is Oy
and which is Oz . And again, we need
to use our standard: we look at our
right hand’s palm, the thumb is
perpendicular to the forefinger, and
the middle finger is perpendicular to
the palm. Then, as earlier, we put the
thumb on Ox , the forefinger on Oy
pict.10
and the middle finger on Oz .
142
Construction of Length and Area
Each finger lies on the ray which must be chosen as a positive ray of the axis.
Now we have the axises Ox, Oy, Oz . Let’s mark any point A in the space. We draw the planes
x , y , z through the point A which are perpendicular to the axises Ox, Oy, Oz .
Then x , y , z intersect Ox, Oy, Oz at some points with coordinates x A , y A , z A , these coordinates
must be taken as coordinates of A.
Conversely, any ordered set of real numbers ( x A , y A , z A ) defines only one point A in the space
(with coordinates ( x A , y A , z A ) ). In order to find the point A we need to mark the points with
coordinates x A , y A , z A on the axises Ox, Oy, Oz and to draw the planes x , y , z through the
marked points, which are perpendicular to Ox, Oy, Oz , these planes will intersect at the point A
with coordinates ( x A , y A , z A ) . When we write A(1,3,5) , we mean that A has coordinates (1,3,5) .
143
Construction of Length and Area
Theorem1 [A zero point of a continuous function]. f is continuous on [a, b] and the values of f
at the end points a, b have different signs: f (a) 0, f (b) 0 or f (a) 0, f (b) 0 , then
there exist some point с (a, b) such that f (с) 0 .
Proof. Without loss of generality, let f (a) 0, f (b) 0 . We divide the segment [a, b] into two
a b a b ab
equal segments: a , and , b . If f reaches zero at the middle point , i.e.,
2 2 2
ab
f 0 , then the zero point с is found. If it’s not the case, then one of the segments:
2
a b a b
or
a ,
2 2 , b has the same property as [a, b] , at the left end of that segment the value
of f is negative, and at the right end of that segment the value of f is positive.
144
Construction of Length and Area
a b a1 b1
Let it be
2 , b [a1 , b1 ] , then we divide it into two equal segments a1 , 2 and
a1 b1 a b1 a1 b1
2 , b1 . If at the middle point 1 : f 0 , then c is found, and if not, then one
2 2
a1 b1 a1 b1
of the segments
a1 , 2 or 2 , b1 has the same property as [a1 , b1 ] , and we choose it as
a new segment [a2 , b2 ] . And again, we divide it into two equal segments and etc. If the process
ended after several steps, then f reaches zero at the middle point of some segment [ak , bk ] , and
the point c is found. If the process didn’t end after several steps, then we have the sequence
of nested segments [a, b] [a1 , b1 ] [a2 , b2 ] .... The length of each next segment is a half of
a length of a previous one, therefore there exist the unique point c which belongs to every segment.
Obviously c [a, b], let’s show that f (c) 0 . We assume that f (c) is positive, then we can
choose exactly one end point xk of every segment [ak , bk ] ( ak or bk ) at which f 0 . The sequence
{xn } of ends of segments goes to c, and f is continuous at c, then { f ( xn )} f (c) . But the
negative sequence { f ( xn )} can’t go to the positive number f (c) , we have a contradiction.
And similarly, if we assume that f (c) is negative, then we can choose exactly one end point xk of
every segment [ak , bk ] at which f 0 , and we will get the similar contradiction.
So f (c) 0 and c [a, b] . According to the initial conditions, c a and c b , then c (a, b) .
Proof. Without loss of generality, let f (a) f (b) . Let’s fix an arbitrary number f (a) f (b) .
Then we consider the auxiliary function g ( x) f ( x) || x [a, b] , this function (comment2) is
continuous on [a, b] and the values of g (x) at the end points a, b have different signs:
g (a) f (a) 0 and g (b) f (b) 0 . Then, according to the theorem1, there exist some
point с (a, b) such that g (с) 0 f (с) 0 f (с) . The consequence1 is proved.
Def. The real number c R is called a k -th root ( k ) of a if c k a . In such case we write
c k a. 145
Construction of Length and Area
Let’s take the pair of integers k ,2 , there exist the unique representation k 2 k r || 0 r 2 ,
so the remainder r equals 0 or 1 , if r is zero, then k is even, if r is one, then k is odd.
Theorem2.
[1] a R is a positive real number. For any even k there exist exactly two different opposite
values of
k
a . For any odd k there exist only one positive value of
k
a.
[2] a R is a negative real number. For any even k the value k
a does not exist.
For any odd k there exist only one negative value of
k
a.
Comment: it’s easy to notice that this theorem doesn’t have a “symmetrical form”, so everything
depends on the pair a R, k , which is not a convenient thing. For complex numbers (which we
will build in the next book) the situation is more symmetrical. For any non-zero complex number z
there is always k different values of k
z and for z0 only one value
k
z 0.
Proof. [1.1] Let’s fix any positive a R and any even k .
Existence. Let’s consider the function f ( x) x k || x R . If k is even, then f ( x) x k 0 x R .
We consider any segment [0, d ] || d 1 which contains a, so 0 a d , then
0 a d d k 0 a d k f (0) a f (d ) . Then a is an intermediate value of f ( x) x k
on [0, d ] , and f (x) is continuous on [0, d ] (because f ( x) x k is continuous on R).
Then f ( x) x k reaches the value a at some point c (0, d ) [consequence1], so f (с) a c k a ,
it means that c is a k-th root of a . And c is a positive number. For any even number k we have
Uniqueness. Let’s assume that there exist some other number d which is also a k-th root of a .
So d c and d c . From the condition d k a follows that (d ) k a . One of the numbers
d, d is positive, without loss of generality, let it be d . Let’s compare d and c , if d c , then
d k ck a and we have a contradiction, if d c , then d k c k a and we have a contradiction
again. Then d c , which contradicts to our initial assumption d c . The uniqueness is proved.
146
Construction of Length and Area
contains a . And again, (as we showed above), there exist c (0, d ) such that c k a , but now the
number c is not appropriate, because (с) k is negative ( k is odd) and a is positive.
Uniqueness. Let there exist some other d c such that d k a . The number d can’t be negative,
[2.1] Let a is a negative real number, and k is even. Let’s assume that there exist с R such
that c k a . Obviously c 0 , then с is positive/negative. The number c k is positive (because k is
even) whereas a is negative, so there can’t be ck a .
[2.2] Existence. Let a is a negative real number, and k is odd. Let’s consider the positive
number | a | 0 . We have a | a | . According to [1.1], for | a | 0 there exist only one positive
Then (d ) k | a | where | a | is positive, then d c (from [2.2]), then d c (from [2.2]).
The uniqueness is proved.
And finally, for a0 and for any natural k we obviously have k
a 0.
Let’s make a very important agreement. For any positive a R and any even k , we agree that
k
the symbol a denotes the positive value of k -th root. If we want to denote the negative value
Let’s consider any points ( x , y ) and ( x , y ) on the plane. The segment (in general) is
x x y y z z .
2 2 2
By using the Pythagorean theorem two times we get:
For convenience we do not say “the segment has a length a ”, but only
“the segment is a ”. We can say for example, “the rectangle with sides a, b ”.
Exercise. Let is any fixed figure on the plane/in the space. Then for any point exactly one of
the next cases is true: [A] is an internal point of . [B] is a boundary point of .
[C] is an external point of .
Notice: any internal point of always belongs to , any boundary point of may belong and may
not belong to , any external point of doesn’t belong to .
Def: a set of all internal points of is called an interior of , and we denote it int , a set of all
boundary points of is called a boarder of , and we denote it .
148
Construction of Length and Area
Area construction
Let’s fix some plane П and any coordinate system xy on this plane. From now on, we work only
on the plane П.
Def3. The area S is the correspondence S : R {0} that is defined on the collection
of plane-figures, these plane figures are called measurable. For every concrete figure a
unique non-negative number S () is defined, S () is called an area of .
And S : R {0} has the next properties:
[1] The area of any unit square, which sides are parallel to coordinate axises, is 1 , so S (11) 1
[2] If measurable figures , do not have any common internal points, then
S ( ) S () S () .
[3] If measurable figures , are equal, then S () S () .
Comment. The question about the existence of such
correspondence is very important .
In most of books the area or (measure) is defined in the
next way: by definition the area of any rectangle
(or parallelepiped) is defined as a product of it’s sides,
and after that the next theory appears. Such approach
has a huge flaw. If we assume that the area of any
rectangle (which sides are parallel to coordinate axises)
is a product of it’s sides, we automatically define the
area on the huge class of figures, i.e., on the class of
rectangles. How can we check now that the property [2]
(additivity of area) is still in power?
Really, there are a lot of intricate ways to divide any
rectangle into several rectangles without common pict.2
internal points [pict2], and it’s not obvious at all why
the area of a big rectangle is a sum of areas of smaller rectangles. And such approach implies that
149
Construction of Length and Area
we just have to believe that the additivity [2] is still true. There will be given a normal constriction
of area which doesn’t have this flaw.
Construction process.
n n [pict4] and n n .
n we obviously have int ext
For any natural
bounded (def1), then for any n the internal and external sums are concrete real (even rational)
numbers. And therefore, we have two sequences { n } and { n } .
int ext
Assertion1. is any figure on the plane. Then the sequence of internal sums { int
n } is
monotonically decreasing ( n 1 n || n ).
ext ext
Any internal sum is not greater than any external sum: n m || m, n .
int ext
150
Construction of Length and Area
Proof. Let’s fix any bounded figure and let’s build a quadratic net for some n . This net
2 n
defines the internal figure n and the internal sum n n 10
int int
, where n is the number
of net-squares in int
n . Let’s consider the net for the number n 1. Every square of n is divided
int
into 100 smaller squares, these squares are still completely belong to , therefore n n 1 .
int int
Each square, which is counted in n , gives 100 squares for n 1 , then 100 n n 1 .
Then n 1 n 1 10
int 2( n 1)
100 n 102( n 1) n 102n int
n , so n 1 n || n .
int int
From int
n m || m, n immediately follows that the sequence { n } is bounded above
ext int
(by any concrete term of the sequence of external sums) and { n } is bounded below (by any
ext
concrete term of the sequence of internal sums), then (the theorem about a limit of a monotonic
sequence) both these sequences converge { n } Slow and { n } Sup .
int ext
Def4. If Slow Sup , then is called measurable and the number S () Slow Sup is called
an area of .
Assertion2 [additivity of area]. Let , are measurable figures without common internal points,
then S ( ) S () S () .
Proof. Let’s fix any n and build a quadratic net for n . This net defines the internal and
external quadratic figures n n , n n . Let’s also consider the internal and external
int ext int ext
that has a common point with or with (or with and with ). Such square for sure belongs
to the union n n , then we have ( ) n n n . Then the number of squares in
ext ext ext ext ext
( )ext
n is not greater than the number of squares in n n , and the number of squares in
ext ext
ext
n n obviously is not greater than the number of squares in n plus the number of squares
ext ext
151
Construction of Length and Area
Let’s consider now n and n . Any square from n is a square that belongs to and
int int int
Then the number of squares in n n is not greater than the number of squares in ( ) n .
int int int
[the number of squares in nint ] and, as we noticed above, the number of squares in int
n n is
int
[T2].
[the number of squares in ( )int
n ] n ( for ) n ( for ) n ( for )
And finally, for (as for any other figure), the number of squares that belong to is not
greater than the number of squares that have a common point with , i.e.,
n ( for ) n ( for ) [T3]. From [T1],[T2],[T3] we have:
n ( for ) n ( for ) n ( for ) n ( for ) n ( for ) n ( for ) let’s multiply
2 n
all the sides by 10 , we will get:
int
n ( for ) n ( for ) n ( for ) n ( for ) n ( for ) n ( for ) [T4].
int int ext ext ext
lim n {int
n ( for )} lim n { n ( for )} // by def // S ( ) .
ext
ext
n ( for ) n ( for ) n
ext
S () S () . Let’s apply the squeeze theorem for sequences:
both sequences { n ( for )} and { n ( for )} converge to S () S () , then
int ext
152
Construction of Length and Area
Assertion3. There is a rectangle on the plane with sides a, b , and each vertex of has
m n ~
coordinates k~ , k , where m, n , k , k , then the area of such rectangle equals a b .
10 10
Proof. Each coordinate of each vertex has a denominator 10 || k . Let’s choose the maximal
k
power kmax k among all 8 denominators. Then each coordinate of each vertex can be written as
k
a fraction with the denominator 10 . Let’s build the quadratic net for that number k.
h
As each coordinate of each vertex of is a fraction || h , then each side of must lie on
10k
some line of the quadratic net for k. Let’s notice that if we build the quadratic net for the next
number k 1 all the lines of the net for k are still present in the net for k 1, but in addition we
will have multiple new lines. Then the sides of lie on the lines of any quadratic net
which is built for n k .
n k and build the quadratic net for n. We choose the vertex
Let’s fix an arbitrary natural number
m n
of which x and y coordinates are both minimal. Let’s denote it min , minn , then the other
10 10
n
[Internal sum]
The internal quadratic figure n [pict5]
int
153
Construction of Length and Area
[External sum]
The external quadratic figure n [pict6]
ext
because of the surrounding squares. All the summands from the internal sum present in
the external sum. Then, according to [V]:
b a
ext
n a b 2 2 n 4 10 2 n a b (2b 10 n 2a 10 n 4 10 n ) [V1].
10
n
10
The formulas [V] and [V1] are true for any n k , and we are interested in the next two limits:
lim n int
n //[V] // lim n a b a b (because a b const) and
n
lim n ext
n //[V1] // lim n (a b (2b 10 2a 10 n 4 10 n )) lim n a b
lim n (2b 10 n 2a 10 n 4 10 n ) lim n a b 0 a b .
Then the sequence of external and internal sums for П both go to the same limit a b , therefore
(by definition) П is measurable and S () a b .
Consequence1. From the assertions2,3 follows that the area of any internal/external quadratic
figure n , n is equal to the sum of areas of the net squares that form n , n .
int ext int ext
Let’s explain. Let’s fix any quadratic net n , any net-square has coordinates of vertexes like in
n n
the assertion3. The sides of such square are both equal to 10 , then it’s area is 10 10 n 102n .
Let’s fix any figure , then the figures n , n are defined, both these figures consist of some
int ext
net-squares that do not have any common internal points, then, by additivity (assertion2),
the area of each figure n , n is a sum of areas of all squares which form this figure.
int ext
154
Construction of Length and Area
2 n 2 n
There are n squares in int
n with area 10 each, then the area of n is n 10 - but this
int
Then the definition of a measurable figure can be formulated now in the next way:
Def5: a figure is called measurable if the sequence of areas of internal quadratic figures
n )} and the sequence of areas of external quadratic figures {S (n )} both go to the same
{S (int ext
The difference of any two numbers, which are taken from any / 2 neighborhood, is not
greater than . Then S (ext
m ) S (m ) . Then m , m are the figures we need.
int ext int
155
Construction of Length and Area
Let’s notice that the external quadratic figure m (for ) must belong to K m and therefore
ext ext
S (Vmint ) S (int
m ) . Let’s sum up: S (Vm ) S (m ) S (m ) S ( K m ) .
int int ext ext
And we also have [E3], from [E3] immediately follows S (m ) S (m ) 3 / 4 .
ext int
We showed that for any (small) positive 0 we can find some natural m , such that
m ) S (m ) [U]. Let’s notice now that the sequence of areas of internal figures {S (n )}
S (ext int int
is monotonically increasing (because this sequence is exactly the sequence of internal sums { n }
int
and this sequence is monotonically increasing (assertion1)). And the sequence of areas of external
figures {S (n )} is monotonically decreasing. Both these sequences converge in any case, just
ext
because is a bounded figure: {S (n )} Slow and {S (n )} Sup . We obviously have:
int ext
n ) Slow || n and Sup S (n ) || n and Slow Sup (because every term of the sequence
S (int ext
n )} is not greater than every term of the sequence S ( n ) ). Then for any n we have
{S (int ext
n ) S (n ) Sup Slow 0 , the difference Sup Slow is a constant and from [U] we see that
S (ext int
this constant can be less than any positive number , then Sup Slow 0 and Sup Slow .
Then, by definition, the figure is measurable and the number S () Sup Slow is defined.
As areas of n and n are sums of areas of net-squares which form these figures (consequence1),
int int
then S (n ) S (n ) [J]. As figures , are measurable, then {S (n )} S () and
int int int
n ) S (() from [J] and from the basic properties of limits follows that S () S () .
S (int
156
Construction of Length and Area
Asserrtion5 [2-nd criterion of measurability] .
If there exist some sequence of measurable internal figures
{int
n } || n n and some sequence of measurable
int
lim n S (int
n ) lim n S ( n ) [pict8], then is
ext
pict.8
S () lim n S (int
n ) lim n S ( n ) .
ext
Proof. The converse assertion is obvious, it immediately follows from the (def5), the sequences
of internal and external quadratic figures are the sequences we need:
{int
n } { n } and {n } { n } . Let’s prove the other one .
int ext ext
The difference of any two numbers which are taken from / 2 () is less than , then
n ) S ( n ) . For any concrete n k we have two measurable figures n , n such that
S ( ext int int ext
arbitrary small positive number, then (assertion4) is measurable and the number S () is
defined. Next, from int
n n (n) (auxiliary1) follows that
ext
S (int
n ) S () S ( n ) (n) [T], both sequences {S ( n )} and {S ( n )} go to the same limit,
ext int int
we can consider the stationary sequence {xn } S (), S (), S ().... and apply the squeeze theorem
for sequences in [T], then S () is equal to lim n S (int
n ) lim n S ( n ) .
ext
Assertion6. For any real number a there exist a monotonically increasing sequence of rational
mn
numbers na (here n 1,2,3,4,... and m1 , m2 , m3 , m4 ... are integer numbers)
10
m
and a monotonically decreasing sequence of rational numbers a nn .
10
Proof. Let’s take the decimal notation of a 1 2 .... n , d1d 2 d3 .... Let a is not negative ( a 0 ):
a 1 2 .... n , d1d 2 d3 .... We can take the sequence:
157
Construction of Length and Area
m1 m2
1 || m1 , the term q2 can be represented as 2 || m2 , the term q3 can be represented
10 10
m m
as 33 || m3 and etc. So we have a monotonically increasing sequence nn a .
10 10
Let’s build the second sequence. Again a 1 2 .... n , d1d 2 d3 ... and we take
1 1
q1 1 2 .... n , d1 00000... || q2 1 2 .... n , d1d 2 0000... 2 ||
10 10
1 1
| q3 1 2 .... n , d1d 2 d 3 000... 3 .. || q4 1 2 .... n , d1d 2 d 3 d 4 000... 4 and etc.
10 10
This sequence is monotonically decreasing and it goes to a. And here again, the term q1 can be
m1 m2
represented as 1 || m1 , the term q2 can be represented as 2 || m2 , the term q3 can
10 10
m
be represented as 33 || m3 and etc. So we have a monotonically decreasing sequence
10
mn
n a . Let now a is a negative real number (a 0) , so a 1 2 .... n , d1d 2 d3 ....
10
Let’s take the positive number a 1 2 .... n , d1d 2 d 3 ...(we reflect a over the zero) and we build
two sequences that we need, for the positive number a. Then we reflect everything back over the
zero (instead of each sequence we will have an opposite to it). A decreasing sequence (after reflection)
will become an increasing sequence which goes to a , and an increasing sequence (after reflection)
will become a decreasing sequence which goes to a .
1 1
And finally, when a 0 we can take the sequences n , n .
10 10
Let’s prove now the main theorem.
The area of any rectangle, which sides a, b are parallel to coordinate axises, equals a b .
We fix any П on the plane with sides a, b . We can chose it’s vertex which x -coordinate and
y -coordinate are both minimal, let it be ( x0 , y0 ) .
Then ( x0 a, y0 ), ( x0 , y0 b), ( x0 a, y0 b) - coordinates of other vertexes.
For each coordinate of each vertex (assertion6) we build two monotonic sequences which converge
to that coordinate. For any concrete number n we can mark the terms of these sequences which
belong to the segments [ x0 , x0 a], [ y0 , y0 b] , red points [pict9] (for any n there are 4
158
Construction of Length and Area
we know it’s area. The sides of { n } , which are parallel to Ox , form a sequence that goes to
int
a.
Really, the sequence of the “right ends” goes to x0 a , the sequence of the “left ends” goes to x0 ,
then their difference (which is always a length of a side) goes to a. The sides of nint , which are
parallel to Oy , form a sequence that goes to b . Then the sequence of areas {S ( nint )} goes to a b .
And similarly, the sequence of external areas {S ( n )} goes to
ext
a b . Then, according to the
assertion5, is measurable and S () a b . Everything is proved.
From the main theorem immediately follows the property [1] of area:
the area of any unit square 1 1, which sides are parallel to coordinate axises, is equal to 1 .
Let’s finally prove the [3]-rd property of area (equal measurable figures have equal areas).
Let and are equal figures, according to the def2, there exist one-to-one correspondence
f : which conserves distances and parallelism. As is measurable, we have
n ) lim n S (n ) S () [B1]. And for any concrete n we have
lim n S (ext int
int
n n . Then for the images of these figures we have
ext
f (int
n ) f () f (n ) // as f () // f (n ) f (n ) [B2].
ext int ext
also consists of n squares without common internal points. Then, by additivity [2],
S f (int
n ) n 10
2 n 2 n
and S (n ) n 10 . So, for any n we have S (n ) S f (n ) and
int int int
ext
ext
similarly S (n ) S f (n ) . Then, the sequences {S ( f (n ))} and {S ( f (n ))} coincide with
int ext
the sequences {S (n )} and {S (n )}, therefore they both go to the same limit
int ext
{S ()}.
159
Construction of Length and Area
lim S ( f (int
n )) lim S ( f ( n )) S () , then from the assertion5 follows that f () is measurable
ext
and S ( f ()) S () . We have proved the properties [1],[3] of area. The additivity [2] was proved in
the assertion2. The existence of area is proved.
The proof of the uniqueness of area is very simple, but we are lack of just one additional auxiliary
fact: if figures and are measurable, then the figure \ is also measurable. If we have this
fact, then the proof of the uniqueness can be performed very quickly. But now it’s not clear how to
obtain this result from the results that we have above. In order to prove this one we need to
introduce the last measurability criterion. By using it, we will be able to get the needed result and to
prove the uniqueness. Also the last [3-rd criterion of measurability] has a great importance in math.
Def: a figure X is called a zero area figure if it’s area is zero, S () 0 .
It’s very easy to understand that for any zero area figure: any internal figure k is an empty figure.
int
Really, if we assume that there is some net-square in k then the area S ( k ) is a positive
int int
number. For any figure, the sequence of areas of internal figures is monotonically increasing:
S (int
k ) S ( k 1 ) S ( k 2 ) .... , then starting from the number k all the terms of the sequence
int int
{S ( int
n )} are greater than the fixed positive number S ( k ) , then {S ( n )} can’t converge to zero
int int
and S ( ) 0 , and we have a contradiction. So, any internal figure k is an empty figure,
int
2 n
it doesn’t contain any squares at all, i.e., n 0 n , then n 10 S ( int
n ) 0 n .
And what about external figures n ? These figures already contain some squares,
ext
and the sequence S ( n ) is monotonically decreasing (this sequence is decreasing for any bounded
ext
n )} go to zero, then {S (( ) n )} also goes to zero. So, the sequence of areas of external
{S ( ext ext
Assertion8. Any part of a zero-area figure is again a zero-area figure, i.e., S () 0 and ,
then S ( ) 0 .
{S ( ext
n )} n 0 .
160
Construction of Length and Area
Assertion9. is a plane figure (or a space figure). Any segment which connects an internal
point (of ) and an external point (of ) contains at least one boundary point of .
Proof. Without loss of generality, let Ω is some plane figure. Let’s fix any internal point and any
external point . Let’s draw the coordinate line L through
and such that is a point with a zero coordinate,
and the segment lies on the positive ray of L.
Let’s consider all the internal points of which lie on L,
this set is not empty (at least it contains ), coordinates
~
of these points form some set R of real numbers, this set
~
is bounded above, by the coordinate b of . Then R has pict.10
a supremum h which can be pictured as a point H, let’s
show that H is a boundary point of [pict10]. If we assume that H is an internal/external point
of , then it has the neighborhood O () which (completely belongs to )/(does not have any
common points with ), then the interval O () L on L (completely belongs to )/(does not
have any common points with ). Then there is an interval of real numbers with the center at h
~ ~
which (belongs to R )/(does not have any common points with R ), in both cases h is not
~
a supremum of R . Then H is a boundary point of .
Consequence2. Any segment which connects any point and any point , contains
at least one boundary point of .
Proof. then there can be only two variants: A is a boundary point of , or A is an internal
point of . If A is a boundary point, then AB contains the boundary point A. Let A is an internal
point (of ). We know that , then there are exactly two variants: B is a boundary point of
(then AB contains the boundary point B), or B is an external point (of ), then, according to
the assertion9, contains some boundary point. Everything is proved.
neighborhood must contain one point A and one point B (because C is a boundary point).
Then the big square П contains at least one point A from and one point B not from .
Let’s show that some small square (one of the 9 squares that formП) has the same property.
Here is a simple logic: any small square may [A] have a common point with , but do not belong to
completely [B] belong to [C] do not have any common points with .
If some small square is such that [A], then is has the same property as П (contains one point from
and one not from ). Let’s assume that there is no such small square, so every small square is
such that [B] or [C]. All 9 small squares can’t be such that [B], because then П does not contain
any point not from . And similarly, all 9 small squares can’t be such that [C], because then П
does not contain any point from . And what if some of these 9 squares completely belong to Ω,
and the others do not have any common points with ? In such case there will be two small
neighbor-squares with a common side, such that one square completely belongs to , and the other
one has no common points with , so the common side of these squares belongs and doesn’t belong
to at the same time, and we have a contradiction.
Then there exist some small square (among these 9 squares) such that [A]. This small square
Let’s sum up: we had started from any square from () n , and we deduced that the square ,
ext
or one of 8 squares around belongs to n \ n . Let’s estimate from above the number of
ext int
f : ()ext
n n \ n .
ext int
For any concrete square from () n we define f () n \ n , where is the square
ext
ext int
from n \ n (here
ext int
or is one of 8 squares around ).
Then some of the squares of the figure n \ n correspond to the squares of () n .
ext int ext
There are exactly n ( for ) n ( for ) different squares in n \ n and any square may
ext int
162
Construction of Length and Area
Conversely. (More simple). Let is a zero-area figure. Let’s take any net-square which has
a common point with , but does not belong to completely, it is a square from n \ n .
ext int
That contains some point A and some point B , the segment AB belongs to and
(consequence from assertion9) contains a boundary point С . Then belongs to () n .
ext
Then the number of squares in n \ n is not greater than the number of squares in () n .
ext int ext
Let’s write it: n ( for ) n ( for ) n ( for ) , we multiply both sides by 102n , then
n ) S (n ) S (() n ) . When n the right part goes to zero, then the left part also
S (ext int ext
[Fact 1] for any figures , we have \ С (this one is very simple, we just need
to write what kind of points belong to \ , and what kind of points belong to .
С
[Fact 2] Any figure and it’s complement С always have a common boundary, i.e., С
С
(just use the definition of a boundary point and show that
С
and ).
any n ).
lim n S (int
n ) lim n S (n ) S () , then we have:
ext
same limit S () . In the same time for any n we have int
n n [monotonicity]
ext
~ ~ ~ ext ~ int
S (int
n ) S () S (n ) and here we can use the squeeze theorem for sequences {S (n )} and
~ ~ ~ ~ ~ ~
n )} and {S ()} S (), S (), S (), S ()....
{S (ext
~ ~ ~
Both sequences {S (n )} and {S (n )} [U] go to the same limit
int ext
S () , then {S ()} goes to the
~ ~
same limit, therefore S () S () . So S coincides with S on every measurable figure , it means
~
that S S and the area is unique.
The definition of a volume V and it’s properties (including uniqueness) are exactly similar.
Moreover, the construction process and the theorems (including criterions of measurability 1,2,3)
are also exactly similar.
164
Angles
Angles
When we speak about points, lines, rays, segments (on the plane or in the space) we do not define
these objects, because for us these are basic “elementary” objects. Both plane geometry and
stereometry have it’s own axioms and basic objects like “planes”, “lines” and etc. (in fact the plane
geometry is a part of stereometry). Basic geometrical axioms and theorems is an independent part
of mathematics, it does not depend on the theory of real numbers.
One of the basic geometrical figures is the angle BOA , it is a figure which consists of two rays OB
and OA and the part of the plane, which lies “between” these rays. In any particular case we have to
show which part of the plane between OB and OA is a part of our angle (because there is always
two variants). The point O is called a
“vertex of the angle”. Our basic angles are: pict.1
the right angle (right angle) ,
the straight angle ( straight angle)
pict.2
We can add any two angles and if they
166
Angles
pict.6
Def. { || ( full angle)}. The “Angle value” is the correspondence L : R which
compares only one non-negative real number L( ) for every angle . And also:
[1] L(e) 1 [2] for any angles and (where (straight angle) and
(straight angle) ) we have: L( ) L( ) L( ) .
[3] If , then L( ) L( ) .
For any angle , the number L( ) is called a value of the angle .
The construction of the angle value L is very similar to the length construction.
For any angle the number L( ) is usually written with the “degree symbol”
o
right after it.
Like L(e) 1 , L(right angle) 90 , L(straight angle) 180 . In practice we never say
o o o
“the value of the angle is one degree”, but only “ is one degree”.
Property. L( ) L( ) . And for any real number a [0o ,360 o ] there exist
the angle such that L( ) a .
167
Angles
Def1. Any angle, which is less than the right angle, is called an “acute angle”.
An angle is acute if and only if L( ) [0o ,90o ) . Any angle, which is greater than the right
angle and less than the straight angle, is called an “obtuse angle”. An angle is obtuse if and
only if L( ) (90o ,180o ) . In practice we neglect the letter L and the symbol , instead
of L( ) 50o we write just 50o , instead of L( ) 30o we write 30o .
Trigonometric functions. In the course of plane geometry basic trigonometric functions
sin, cos,tg, ctg are defined for any acute angle through the right triangle. We just need to draw
any right triangle with an angle and calculate a ratio of relevant sides.
This definition is correct, because all the right triangles with the same angle are similar, and
the ratio of relevant sides in any triangle is always the same. For any acute angle the main
sin cos
values are sin and cos , because tg , ctg .
cos sin
By using simple ideas from elementary geometry we can build the small table:
We fix any coordinate system Oxy and draw the unit circle with
the center at the origin. We also mark the point A , at which
Ox intersects the circle.
Let’s take any angle [0o , 360o ] . By moving along the circle
from the point A in the counterclockwise direction we build the
angle AOB [pict7] , the point B has some coordinates
pict.7
xB and yB , then we define:
sin cos
cos // by definition // xB || sin yB || tg || ctg || .
cos sin
It’s very important to notice that this definition of trigonometric functions sin, cos,tg, ctg extends
the old definition, where trigonometric functions are defined only for acute angles.
168
Angles
Really, let’s take any acute angle and build the angle
AOB , then we can draw BH Ox . We will get
the right triangle, which hypotenuse OB is 1 .
The numbers xB and y B are coordinates of the point B,
but in the same time these numbers are cathetuses
of the right triangle OBH [pict8].
So, according to the old definition:
yB x
sin yB and B cos xB .
1 1 pict.8
Then the new definition is really an extension of the old one.
Next, the function tg is not defined when cos 0 (when 90o or 270o ),
and ctg is not defined when sin 0 (when 0 or 180o ).
o
For any angle , the values sin and cos are numbers from the segment [1,1] , the only
o o
We have defined sin, cos,tg, ctg for any angle from [0 , 360 ] . Let’s extend our definition.
At first we have to extend our domain, we have to consider the set of numbers (360 , ) .
o o
Let’s fix any number 360o . By definition, any angle 360o is the combination:
( k full counterclockwise rotations around the circle starting from the point A ) and (the angle ),
where both numbers k , are taken from the representation
360o k || k , [0o ,360o ) . Such representation is obviously unique for any number
360o .
For example, the angle 480o is one full counterclockwise rotation and the angle 120o .
The angle 980o is two full counterclockwise rotations and the angle 240o .
Any angle 360o defines some point B on the circle, with coordinates ( xB , yB ) . By definition:
sin cos
cos xB || sin yB || tg || ctg || .
cos sin
We have defined what is the angle [0o , o ) and it’s trigonometric functions.
169
Angles
Let’s fix any number 0o . The negative angle is the angle , which is built in the clockwise
direction from the point A.
In particular, any negative angle 360o is the combination of
( k full clockwise rotations around the circle starting from the point A ) and (some negative angle
(360o , 0o ] ).
Properties. [A] For any angle , the points on the circle, which correspond to the angles and
, are symmetric with respect to Ox , so these points have equal Ox -coordinates [pict9], then
cos cos( ) . These points also have opposite Oy -coordinates, then sin sin( ) .
[B] For any angle , the points on the circle, which correspond to angles and 180o are
symmetric with respect to Oy , therefore sin(180o ) sin and cos(180o ) cos .
[C] Let’s fix any positive acute angle [0o ,90o ) and mark the angles and 90o [pict10].
It’s easy to build two equal right triangles, from their equality follows that sin cos(90o )
and cos sin(90 ) . In fact these formulas are true for any angle
o
.
pict.9 pict.10
Really, it’s easy to understand that for any angle , the points on the circle, which correspond to
angles and 90 , are always symmetric with respect to the angle bisector (red dashed line in
o
[pict10]). The symmetry with respect to this bisector changes the places of Ox and Oy , from here
follows the assertion we need.
From [A],[B],[C] we can deduce some trigonometric values. For example, we know that
sin 45o cos 45o 1/ 2 , then from [A] follows that cos(45o ) cos 45o 1/ 2 and
sin( 45o ) sin 45o 1/ 2 and from [B] follows that cos(135o ) cos 45o 1/ 2 and
sin(135o ) sin 45o 1/ 2 .
Literature
8. Lecture Course in Mathematical Analysis. V.I. Kolyada, A.A Korenovski. Odessa 2009.
171