Axioms of the set of real numbers. Lemma on nested segments (Cauchy–Cantor principle). Other formulations of the continuity property and equivalent sentences

Encyclopedic YouTube

1 / 5

✪ Axiomatics of real numbers

✪ Introduction. Real numbers | matan #001 | Boris Trushin +

✪ The principle of nested segments | matan #003 | Boris Trushin!

✪ Various principles of continuity | matan #004 | Boris Trushin!

✪ Axiom of continuity. Cantor's principle of nested cuttings

Subtitles

Axiom of continuity

The following sentence is perhaps the simplest and most convenient formulation for applications of the property of continuity of real numbers. In the axiomatic construction of the theory of the real number, this statement, or an equivalent to it, is certainly included in the axioms of the real number.

Axiom of continuity (completeness). A ⊂ R (\displaystyle A\subset \mathbb (R) ) And B ⊂ R (\displaystyle B\subset \mathbb (R) ) and the inequality holds, there is such a real number ξ (\displaystyle \xi ) that's for everyone a ∈ A (\displaystyle a\in A) And b ∈ B (\displaystyle b\in B) there is a relation

Geometrically, if we treat real numbers as points on a line, this statement seems obvious. If two sets A (\displaystyle A) And B (\displaystyle B) are such that on the number line all the elements of one of them lie to the left of all the elements of the second, then there is a number ξ (\displaystyle \xi ), dividing these two sets, that is, lying to the right of all elements A (\displaystyle A)(except perhaps the very ξ (\displaystyle \xi )) and to the left of all elements B (\displaystyle B)(same disclaimer).

It should be noted here that despite the “obviousness” of this property, it is not always true for rational numbers. For example, consider two sets:

A = ( x ∈ Q: x > 0 , x 2< 2 } , B = { x ∈ Q: x >0 , x 2 > 2 ) (\displaystyle A=$x\in \mathbb (Q) :x>0,\;x^(2)<2\},\quad B=\{x\in \mathbb {Q} :x>0,\;x^(2)>2$)

It is easy to see that for any elements a ∈ A (\displaystyle a\in A) And b ∈ B (\displaystyle b\in B) inequality holds a< b {\displaystyle a. However rational numbers ξ (\displaystyle \xi ), separating these two sets, does not exist. In fact, this number can only be 2 (\displaystyle (\sqrt (2))), but it is not rational.

The role of the axiom of continuity in the construction of mathematical analysis

The meaning of the axiom of continuity is such that without it, a rigorous construction of mathematical analysis is impossible. To illustrate, we present several fundamental statements of analysis, the proof of which is based on the continuity of real numbers:

(Weierstrass's theorem). Every bounded monotonically increasing sequence converges
(Bolzano-Cauchy theorem). A function continuous on a segment, taking values of different signs at its ends, vanishes at some interior point of the segment
(Existence of power, exponential, logarithmic and all trigonometric functions throughout the “natural” domain of definition). For example, it is proved that for every a > 0 (\displaystyle a>0) and the whole n ⩾ 1 (\displaystyle n\geqslant 1) exists a n (\displaystyle (\sqrt[(n)](a))), that is, the solution to the equation x n = a , x > 0 (\displaystyle x^(n)=a,x>0). This allows you to determine the value of the expression for all rational x (\displaystyle x):

A m / n = (a n) m (\displaystyle a^(m/n)=\left((\sqrt[(n)](a))\right)^(m))

Finally, thanks again to the continuity of the number line, we can determine the value of the expression a x (\displaystyle a^(x)) already for arbitrary x ∈ R (\displaystyle x\in \mathbb (R) ). Similarly, using the property of continuity, the existence of the number is proved log a ⁡ b (\displaystyle \log _(a)(b)) for any a , b > 0 , a ≠ 1 (\displaystyle a,b>0,a\neq 1).

For a long historical period of time, mathematicians proved theorems from analysis, in “subtle places” referring to geometric justification, and more often, skipping them altogether, since it was obvious. The all-important concept of continuity was used without any clear definition. Only in the last third of the 19th century did the German mathematician Karl Weierstrass arithmetize analysis, constructing the first rigorous theory of real numbers as infinite decimal fractions. He proposed a classic definition of limit in the language ε − δ (\displaystyle \varepsilon -\delta ), proved a number of statements that were considered “obvious” before him, and thereby completed the construction of the foundation of mathematical analysis.

Later, other approaches to determining a real number were proposed. In the axiomatic approach, the continuity of real numbers is explicitly highlighted as a separate axiom. IN constructive approaches to the theory of real numbers, for example, when constructing real numbers using Dedekind sections, the property of continuity (in one form or another) is proven as a theorem.

Other formulations of the continuity property and equivalent sentences

There are several different statements expressing the property of continuity of real numbers. Each of these principles can be used as the basis for constructing the theory of the real number as an axiom of continuity, and all the others can be derived from it. This issue is discussed in more detail in the next section.

Continuity according to Dedekind

Dedekind considers the question of the continuity of real numbers in his work “Continuity and irrational numbers”. In it, he compares rational numbers with points on a straight line. As is known, a correspondence can be established between rational numbers and points on a line when the starting point and the unit of measurement of the segments are chosen on the line. Using the latter, for each rational number a (\displaystyle a) construct the corresponding segment, and putting it to the right or left, depending on whether there is a (\displaystyle a) positive or negative number, get a point p (\displaystyle p), corresponding to the number a (\displaystyle a). Thus, for every rational number a (\displaystyle a) one and only one point corresponds p (\displaystyle p) on a straight line.

It turns out that there are infinitely many points on the line that do not correspond to any rational number. For example, a point obtained by plotting the length of the diagonal of a square constructed on a unit segment. Thus, the region of rational numbers does not have that completeness, or continuity, which is inherent in a straight line.

To find out what this continuity consists of, Dedekind makes the following remark. If p (\displaystyle p) there is a certain point on the line, then all points on the line fall into two classes: points located to the left p (\displaystyle p), and points located to the right p (\displaystyle p). The very same point p (\displaystyle p) can be arbitrarily assigned to either the lower or upper class. Dedekind sees the essence of continuity in the reverse principle:

Geometrically, this principle seems obvious, but we are not able to prove it. Dedekind emphasizes that, in essence, this principle is a postulate, which expresses the essence of the property attributed to the direct line, which we call continuity.

To better understand the essence of the continuity of the number line in the sense of Dedekind, consider an arbitrary section of the set of real numbers, that is, the division of all real numbers into two non-empty classes, so that all the numbers of one class lie on the number line to the left of all the numbers of the second. These classes are named accordingly lower And upper classes sections. In theory there are 4 possibilities:

The lower class has a maximum element, the upper class does not have a minimum
The lower class does not have a maximum element, but the upper class has a minimum
The lower class has the maximum and the upper class has the minimum elements
The lower class has no maximum and the upper class has no minimum elements

In the first and second cases, the maximum element of the bottom or the minimum element of the top, respectively, produces this section. In the third case we have leap, and in the fourth - space. Thus, the continuity of the number line means that in the set of real numbers there are no jumps or gaps, that is, figuratively speaking, there are no voids.

This proposal is also equivalent to Dedekind's continuity principle. Moreover, it can be shown that the statement of the supremum theorem directly follows from the statement of the infimum theorem, and vice versa (see below).

Finite covering lemma (Heine-Borel principle)

Finite Cover Lemma (Heine - Borel). In any system of intervals covering a segment, there is a finite subsystem covering this segment.

Limit point lemma (Bolzano-Weierstrass principle)

Limit point lemma (Bolzano - Weierstrass). Every infinite limited number set has at least one limit point.. The second group expresses the fact that the set of real numbers is , and the order relation is consistent with the basic operations of the field. Thus, the first and second groups of axioms mean that the set of real numbers represents an ordered field. The third group of axioms consists of one axiom - the axiom of continuity (or completeness).

To show the equivalence of different formulations of the continuity of real numbers, it is necessary to prove that if one of these statements holds for an ordered field, then the validity of all the others follows from this.

Theorem. Let be an arbitrary linearly ordered set. The following statements are equivalent:

Whatever the non-empty sets and B ⊂ R (\displaystyle B\subset (\mathsf (R))), such that for any two elements a ∈ A (\displaystyle a\in A) And b ∈ B (\displaystyle b\in B) inequality holds a ⩽ b (\displaystyle a\leqslant b), there is such an element ξ ∈ R (\displaystyle \xi \in (\mathsf (R))) that's for everyone a ∈ A (\displaystyle a\in A) And b ∈ B (\displaystyle b\in B) there is a relation a ⩽ ξ ⩽ b (\displaystyle a\leqslant \xi \leqslant b)
For any section in R (\displaystyle (\mathsf (R))) there is an element producing this section
Any non-empty set bounded above A ⊂ R (\displaystyle A\subset (\mathsf (R))) has a supremum
Any non-empty set bounded from below A ⊂ R (\displaystyle A\subset (\mathsf (R))) has an infimum

As can be seen from this theorem, these four sentences use only what is R (\displaystyle (\mathsf (R))) a linear order relation is introduced and the field structure is not used. Thus, each of them expresses the property R (\displaystyle (\mathsf (R))) as a linearly ordered set. This property (of an arbitrary linearly ordered set, not necessarily the set of real numbers) is called continuity, or completeness, according to Dedekind.

Proving the equivalence of other sentences already requires the presence of a field structure.

Theorem. Let R (\displaystyle (\mathsf (R)))- arbitrary ordered field. The following sentences are equivalent:

Comment. As can be seen from the theorem, the principle of nested segments itself not equivalent Dedekind's principle of continuity. From Dedekind's principle of continuity the principle of nested segments follows, but for the converse it is necessary to additionally require that the ordered field .

Definition 2. A set is said to be bounded above (below) if there exists a number such that c (respectively, ) for any .

The number c in this case is called the upper (respectively, lower) boundary of the set X or also the majorant (minorant) of the set X.

Definition 3. A set that is bounded both above and below is called bounded.

Definition 4. An element a is called the largest or maximum (smallest or minimal) element of the set if (respectively, ) for any element .

Let us introduce some notation and at the same time give a formal notation for the definition of the maximum and minimum elements, respectively:

Along with the designations (read “maximum (read “minimum”) in the same sense, the symbols are used respectively

From the 1st order axiom it immediately follows that if there is a maximum (minimum) element in a numerical set, then there is only one of it.

However, not every set, even a limited one, has a maximum (minimal) element.

For example, a set has a minimum element, but, as can be easily verified, does not have a maximum element.

Definition 5. The smallest number limiting a set from above is called the upper bound (or exact upper bound) of the set X and is denoted (read “supremum or

This is the basic definition of this paragraph. So,

In the first bracket, to the right of the concept being defined, it is written that it limits X from above; the second parenthesis says that is the minimum number that has this property. More precisely, the second parenthesis states that any number smaller is no longer an upper bound for X.

Similarly, the concept of the lower bound (exact lower bound) of the set X is introduced as the largest of the lower bounds of the set X.

Definition 6.

Along with the designation (read “infimum for the lower face of X”, the designation is also used

Thus, the following definitions are given:

But above we said that not every set has a minimum or maximum element, therefore the accepted definitions of the upper and lower bounds of a numerical set require argumentation, which is provided by the following

Lemma (upper bound principle). Every non-empty subset of the set of real numbers bounded above has a unique supremum.

Since we already know the uniqueness of the minimal element of a number set, we only need to verify the existence of the upper bound.

Let this subset be the set of upper bounds of X. By condition, Then, by the axiom of completeness, there exists a number such that Number c is thus a majorant of X and a minorant. As a majorant of X, the number c is an element of Y, but as a minorant of Y, the number c is the minimal element of the set Y. So,

Of course, the existence and uniqueness of the lower bound of a numerical set bounded below is proved in a similar way, i.e.

§ 7 . Foundation of analysis, 4

Completeness of the set of real numbers.

7.1. Introduction.

Definition. By real number a we mean the equivalence class a of fundamental sequences of rational numbers.

Definition. Many R equivalence classes of fundamental sequences of rational numbers will be called the set of real numbers.

1) lim a n = a Û " 0< eÎR$ pо N("nÎ N, n ³ p) Þ |a n - a| £e

2) any sequence (a n) that is convergent is also fundamental

" 0 < eÎR$ pо N((" mÎ N, "nÎ N, m ³ p, n ³ p) Þ |a m - a n | £e)

It is natural to try, by analogy with §6, to apply the factorization procedure to the set of fundamental sequences of real numbers. Wouldn't we get a set of equivalence classes of fundamental sequences of real numbers, containing the set R as its own subset?

It turns out not.

In this section we will establish a remarkable property: the property of completeness of the set of real numbers, which consists in the fact that any fundamental sequence of real numbers converges in R.

7.2. Approximation of real numbers by decimal fractions.

Definition. The sequence (q n) is bounded if $ 0< MÎQ, that (" nО N|q n | £M)

Theorem 1. Every fundamental sequence of rational numbers is bounded.

Proof. Let (q n) be a fundamental sequence of rational numbers, then, by virtue of fundamentality, for e=1 there is such pО N, What:

$ pо N:((" m ³ p) Þ |q n -q m | £ 1)

m = p -fix, then " n ³ p |q n | £ |q p | + 1.

Indeed: |q n | = |q n -q p +q p | £ |q n -q p | + |q p | Þ |q n | £ 1 + |q p |.

Assuming M = max (|q 1 |, |q 2 |, … , |q p-1 |, …, 1+|q p |) we obtain: " nО N|q n | £ M.ð

In clause 6.3. the unary relation “to be positive” was specified on the set. Let’s agree to write “>0“. Then a ³ 0 Û (a > 0 or a = 0).

Theorem 2 . Let the fundamental sequence (q n) of rational numbers represent a real number a, then:

a) ($ p 1 О N, $MО Q("nÎ N, " n ³ p 1) Þ |q n | £ M) Þ a £ M.

b) ($ p 2 О N, $mО Q("nÎ N, " n ³ p 2) Þ q n ³ m) Þ m £ a.

Proof. Since " n³p 1 q n -M £ 0, then the fundamental sequence q n -M - the difference between the fundamental sequence (q n) and the constant sequence M cannot be a positive sequence, since it is either zero or negative.

Therefore, the real number (a-M) represented by this sequence cannot be positive, i.e. a-M £ 0, i.e. a£M.

Similarly, b) is considered.

Theorem 3 . A fundamental sequence (q n) of rational numbers represents a real number a if and only if " 0 R$pО N that "nÎ N and n³p the inequality |q n -a| £e:

(q n)Îa Û " 0< eÎR$ pо N("nÎ N, n³p) Þ |q n -a| £e.

Proof. We will only prove the necessity. It is obvious that "eО R$ e 1 О Q(e 1 £e)

Let the fundamental sequence (q n) of rational numbers be a representative of the number a.

By condition, it is fundamental, i.e. " 0< eÎQ$ pо N("nÎ N,"mÎ N, n³p, m³p) Þ |q n -q n | £e/2.

Let us fix n³p, then we obtain the fundamental sequence (q m -q n): (q 1 -q n; q 2 -q n; ...; q n-1 -q n; 0; q n+1 -q n; ...).

All terms of this sequence for m³p satisfy the inequality: |q m -q n |£ e/2.

By Theorem 2, the real number represented by this sequence | a-q n | £e/2.

| a-q n | £ e О R"n³p.

Theorem 4 . Whatever the real number a, there is always an integer M such that the inequality M£a is satisfied

(" aÎ R$! MÎ Z(M £ a< M+1))

Proof.

Step 1. Proof of existence.

Let the fundamental sequence (q n) of rational numbers represent a real number a: ((q n)Îa). By Theorem 1, $ LО Z 0, such that "nО N q n ³-L, q n £L: (-L£ q n £L).

By Theorem 3 (q n)Îa Û " e>0, eО R$ pо N: ((" nО N, n³p) Þ ½q n -a½ £ e).

Then " n³p ½a½=½a- q n + q n ½£½a- q n½+½ q n½£ e + L.

½a½ £ e + L Û -L-e £ a £ L+e.

Because e is an arbitrary number >0, then –L £ a £ L. After this it is obvious that -1-L< a < L+1.

Then, among a finite set of integers: -L-1, -L, -L+1, ..., -1, 0, +1, ..., L, L+1, we find first number M+1 for which condition a is satisfied< M+1.

Then the number M does not satisfy the inequality M £ a< M+1, т.е. такое число M существует.

Step 2. Proof of uniqueness.4

15. If the non-empty sets A and B of real numbers are such that for any and the inequality a< b, то найдется такое действительное число с, что a < с < b.

The completeness axiom is valid only in R.

It can be proven that between any unequal rational numbers you can always insert a unequal rational number.

From the axioms given above, one can deduce the uniqueness of zero and one, the existence and uniqueness of the difference and the quotient. Let us additionally note the properties of inequalities that are widely used in various transformations:

1. If a< b, с < d , то a+c < b+d.

2. If a< b, то –a >–b .

3. If a > 0, b< 0, то ab < 0, а если a < 0, b < 0, то ab >0. (The latter is also true for a > 0, b > 0.)

4. If 0< a < b, 0 < c < d, то 0 < ac < bd .

5. If a< b, c >0, then ac< bc , а если a < b, c < 0, то bc < ac .

6. If 0< a < b, то .

7. 0 < 1, то – 1 < 0.

8. For any positive numbers a and b, there is a number nО N such that na > b (axiom Archimedes, for segments of length a, b, na).

The following notations for numerical sets are used:

N – set of natural numbers;

Z – set of integers;

Q – set of rational numbers;

I – set of irrational numbers;

R – set of real numbers;

R + – set of real positive numbers;

R_ – set of real negative numbers;

R 0 – set of real non-negative numbers;

C is the set of complex numbers (the definition and properties of this set are discussed in section 1.1).

Let us introduce the concept of boundedness on the set of real numbers. It will be actively used in further discussions.

We will call a set LIMITED ABOVE (BOTTOM) if there exists such a real number M ( m ) that any element satisfies the inequality:

The number M is called the UPPER BOUND OF THE SET A, and the number m – THE LOWER BOUND of this set.

A set bounded above and below is called bounded.

Many N natural numbers are bounded below, but not bounded above. Set of integers Z not limited either below or above.

If we consider the set of areas of arbitrary triangles inscribed in a circle of diameter D , then it is limited from below by zero, and from above – the area of any polygon that includes a circle (in particular, the area of the circumscribed square, equal to D 2 ).

Any set bounded above (below) has infinitely many upper (lower) faces. Then, is there a smallest of all upper bounds and a largest of all lower bounds?

We will call the number the supremum of a set bounded above AÌ R , If:

1. is one of the upper bounds of the set A ;

2. is the smallest of the upper bounds of the set A . In other words, real number is the supremum of the set AÌ R , If:

Accepted designation

Enter in the same way: – infimum of a set bounded below A and corresponding designations

In Latin: supremum - highest, infimum - lowest.

The exact faces of a set may or may not belong to it.

THEOREM. A nonempty set of real numbers bounded above (below) has an upper (lower) bound.

We will accept this theorem without proof. For example, if , then the upper limit can be considered the number 100, the lower – 10, and . If, then. In the second example, the exact boundaries do not belong to this set.

On the set of real numbers, two disjoint subsets of algebraic and transcendental numbers can be distinguished.

ALGEBRAIC NUMBERS are numbers that are roots of a polynomial

whose coefficients – whole numbers.

In higher algebra it is proved that the set of complex roots of a polynomial is finite and equal to n. (Complex numbers are a generalization of the real numbers). The set of algebraic numbers is countable . It includes all rational numbers, since numbers of the form

satisfy the equation

It has also been proven that there are algebraic numbers that are not radicals of rational numbers. This very important result stopped fruitless attempts to find solutions to equations of degree higher than four in radicals. The centuries-old searches of algebraists who studied this problem were summarized by the French mathematician E. Galois, who absurdly died at the age of 21. His scientific works are only 60 pages long, but they were a brilliant contribution to the development of mathematics.

The young man, who passionately and uncontrollably loved this science, twice tried to enter the most prestigious educational institution in France at that time – Polytechnic school – unsuccessfully. Started studying at a privileged Higher School – expelled due to a conflict with the director. Having become a political prisoner after speaking out against Louis Philippe, he transferred from prison to the Paris Academy of Sciences a manuscript with a study of the solution of the equation in radicals. The Academy rejected this work. An absurd death in a duel ended the life of this extraordinary man.

A set that is the difference between the sets of real and algebraic numbers is called the set of TRANSCENDENT NUMBERS . Obviously, every transcendental number cannot be the root of a polynomial with integer coefficients.

At the same time, proving the transcendence of any individual numbers caused enormous difficulties.

Only in 1882, a professor at the University of Königsberg, F. Lindemann, was able to prove the transcendence of the number, from which it became clear that it was impossible to solve the problem of squaring a circle (to construct a square with the area of a given circle using a compass and a ruler). We see that the ideas of algebra, analysis, and geometry mutually penetrate each other.

The axiomatic introduction of real numbers is far from the only one. These numbers can be introduced by combining the set of rational and irrational numbers, or as infinite decimal fractions, or by cutting the set of rational numbers.

*1) This material is taken from the 7th chapter of the book:

L.I. Lurie FUNDAMENTALS OF HIGHER MATHEMATICS / Textbook / M.: Publishing and trading corporation "Dashkov and Co", - 2003, - 517 P.

Axiom of continuity (completeness). $A\subset\mathbb(R)$ And $B\subset\mathbb(R)$ $a\in A$ And $b \in B$ inequality holds $a\leqslant b$ , there is such a real number $\xi$ that's for everyone $a\in A$ And $b \in B$ there is a relation

$a \leqslant \xi \leqslant b$

Geometrically, if we treat real numbers as points on a line, this statement seems obvious. If two sets $A$ And $B$ are such that on the number line all the elements of one of them lie to the left of all the elements of the second, then there is a number $\xi$ , dividing these two sets, that is, lying to the right of all elements $A$ (except perhaps the very $\xi$ ) and to the left of all elements $B$ (same disclaimer).

It should be noted here that despite the “obviousness” of this property, it is not always true for rational numbers. For example, consider two sets:

A = $x \in \mathbb(Q): x > 0, \; x^2< 2\}, \quad B = \{x \in \mathbb{Q}: x >0,\; x^2 > 2$

It is easy to see that for any elements $a\in A$ And $b \in B$ inequality holds $a< b$ . However rational numbers $\xi$ , separating these two sets, does not exist. In fact, this number can only be $\sqrt(2)$ , but it is not rational.

The role of the axiom of continuity in the construction of mathematical analysis

(Weierstrass's theorem). Every bounded monotonically increasing sequence converges
(Bolzano-Cauchy theorem). A function continuous on a segment, taking values of different signs at its ends, vanishes at some interior point of the segment
(Existence of power, exponential, logarithmic and all trigonometric functions throughout the “natural” domain of definition). For example, it is proved that for every $a > 0$ and the whole $n\geqslant 1$ exists $\sqrt[n](a)$ , that is, the solution to the equation $x^n=a, x>0$ . This allows you to determine the value of the expression $a^x$ for all rational $x$ :

$a^(m/n) = \left(\sqrt[n](a)\right)^m$

Finally, thanks again to the continuity of the number line, we can determine the value of the expression $a^x$ already for arbitrary $x\in\R$ . Similarly, using the property of continuity, the existence of the number is proved $\log_(a)(b)$ for any $a,b >0 , a\neq 1$ .

For a long historical period of time, mathematicians proved theorems from analysis, in “subtle places” referring to geometric justification, and more often, skipping them altogether, since it was obvious. The all-important concept of continuity was used without any clear definition. Only in the last third of the 19th century did the German mathematician Karl Weierstrass arithmetize analysis, constructing the first rigorous theory of real numbers as infinite decimal fractions. He proposed a classic definition of limit in the language $\varepsilon - \delta$ , proved a number of statements that were considered “obvious” before him, and thereby completed the construction of the foundation of mathematical analysis.

Later, other approaches to determining a real number were proposed. In the axiomatic approach, the continuity of real numbers is explicitly highlighted as a separate axiom. In constructive approaches to real number theory, for example when constructing real numbers using Dedekind sections, the property of continuity (in one form or another) is proven as a theorem.

Other formulations of the continuity property and equivalent sentences

Continuity according to Dedekind

Dedekind considers the question of the continuity of real numbers in his work “Continuity and Irrational Numbers”. In it, he compares rational numbers with points on a straight line. As is known, a correspondence can be established between rational numbers and points on a line when the starting point and the unit of measurement of the segments are chosen on the line. Using the latter, for each rational number $a$ construct the corresponding segment, and putting it to the right or left, depending on whether there is $a$ positive or negative number, get a point $p$ , corresponding to the number $a$ . Thus, for every rational number $a$ one and only one point corresponds $p$ on a straight line.

To find out what this continuity consists of, Dedekind makes the following remark. If $p$ there is a certain point on the line, then all points on the line fall into two classes: points located to the left $p$ , and points located to the right $p$ . The very same point $p$ can be arbitrarily assigned to either the lower or upper class. Dedekind sees the essence of continuity in the reverse principle:

Finite covering lemma (Heine-Borel principle)

Finite Cover Lemma (Heine - Borel). In any system of intervals covering a segment, there is a finite subsystem covering this segment.

Limit point lemma (Bolzano-Weierstrass principle)

Limit point lemma (Bolzano - Weierstrass). Every infinite limited number set has at least one limit point.

Equivalence of sentences expressing the continuity of the set of real numbers

Let us make some preliminary remarks. According to the axiomatic definition of a real number, the set of real numbers satisfies three groups of axioms. The first group is field axioms. The second group expresses the fact that the set of real numbers is a linearly ordered set, and the order relation is consistent with the basic operations of the field. Thus, the first and second groups of axioms mean that the set of real numbers represents an ordered field. The third group of axioms consists of one axiom - the axiom of continuity (or completeness).

Theorem. Let $\mathsf(R)$ - an arbitrary linearly ordered set. The following statements are equivalent:

Whatever non-empty sets there are $A\subset\mathsf(R)$ And $B\subset\mathsf(R)$ , such that for any two elements $a\in A$ And $b \in B$ inequality holds $a\leqslant b$ , there is such an element $\xi \in \mathsf(R)$ that's for everyone $a\in A$ And $b \in B$ there is a relation $a \leqslant \xi \leqslant b$
For any section in $\mathsf(R)$ there is an element producing this section
Any non-empty set bounded above $A\subset\mathsf(R)$ has a supremum
Any non-empty set bounded from below $A\subset\mathsf(R)$ has an infimum

As can be seen from this theorem, these four sentences use only what is $\mathsf(R)$ a linear order relation is introduced and the field structure is not used. Thus, each of them expresses the property $\mathsf(R)$ as a linearly ordered set. This property (of an arbitrary linearly ordered set, not necessarily the set of real numbers) is called continuity, or completeness, according to Dedekind.

Proving the equivalence of other sentences already requires the presence of a field structure.

Theorem. Let $\mathsf(R)$ - arbitrary ordered field. The following sentences are equivalent:

$\mathsf(R)$ (as a linearly ordered set) is Dedekind complete
For $\mathsf(R)$ fulfilled Archimedes' principle And principle of nested segments
For $\mathsf(R)$ the Heine-Borel principle is fulfilled
For $\mathsf(R)$ the Bolzano-Weierstrass principle is fulfilled

The proof of the above theorems can be found in the books from the reference list below.

Write a review about the article "Continuity of the set of real numbers"

Notes

Literature

Kudryavtsev, L. D. Course of mathematical analysis. - 5th ed. - M.: “Drofa”, 2003. - T. 1. - 704 p. - ISBN 5-7107-4119-1.
Fikhtengolts, G. M. Fundamentals of mathematical analysis. - 7th ed. - M.: “FIZMATLIT”, 2002. - T. 1. - 416 p. - ISBN 5-9221-0196-X.
Dedekind, R.= Stetigkeit und irrationale Zahlen. - 4th revised edition. - Odessa: Mathesis, 1923. - 44 p.
Zorich, V. A. Mathematical analysis. Part I. - Ed. 4th, corrected. - M.: "MCNMO", 2002. - 657 p. - ISBN 5-94057-056-9.
Continuity of functions and numerical domains: B. Bolzano, L. O. Cauchy, R. Dedekind, G. Cantor. - 3rd ed. - Novosibirsk: ANT, 2005. - 64 p.

An excerpt characterizing the continuity of the set of real numbers

- So this is who I feel sorry for - human dignity, peace of conscience, purity, and not their backs and foreheads, which, no matter how much you cut, no matter how much you shave, will still remain the same backs and foreheads.
“No, no, and a thousand times no, I will never agree with you,” said Pierre.

In the evening, Prince Andrei and Pierre got into a carriage and drove to Bald Mountains. Prince Andrei, looking at Pierre, occasionally broke the silence with speeches that proved that he was in a good mood.
He told him, pointing to the fields, about his economic improvements.
Pierre was gloomily silent, answering in monosyllables, and seemed lost in his thoughts.
Pierre thought that Prince Andrei was unhappy, that he was mistaken, that he did not know the true light, and that Pierre should come to his aid, enlighten him and lift him up. But as soon as Pierre figured out how and what he would say, he had a presentiment that Prince Andrei with one word, one argument would destroy everything in his teaching, and he was afraid to start, afraid to expose his beloved shrine to the possibility of ridicule.
“No, why do you think,” Pierre suddenly began, lowering his head and taking on the appearance of a butting bull, why do you think so? You shouldn't think like that.
- What am I thinking about? – Prince Andrei asked in surprise.
– About life, about the purpose of a person. It can't be. I thought the same thing and it saved me, you know what? Freemasonry No, don't smile. Freemasonry is not a religious, not a ritual sect, as I thought, but Freemasonry is the best, the only expression of the best, eternal sides of humanity. - And he began to explain Freemasonry to Prince Andrey, as he understood it.
He said that Freemasonry is the teaching of Christianity, freed from state and religious shackles; teachings of equality, brotherhood and love.
– Only our holy brotherhood has real meaning in life; “everything else is a dream,” said Pierre. “You understand, my friend, that outside of this union everything is full of lies and untruths, and I agree with you that an intelligent and kind person has no choice but to live out his life, like you, trying only not to interfere with others.” But assimilate our basic beliefs, join our brotherhood, give yourself to us, let us guide you, and now you will feel, as I did, part of this huge, invisible chain, the beginning of which is hidden in the heavens, said Pierre.
Prince Andrey, silently, looking ahead, listened to Pierre's speech. Several times, unable to hear from the noise of the stroller, he repeated the unheard words from Pierre. By the special sparkle that lit up in the eyes of Prince Andrei, and by his silence, Pierre saw that his words were not in vain, that Prince Andrei would not interrupt him and would not laugh at his words.
They arrived at a flooded river, which they had to cross by ferry. While the carriage and horses were being installed, they went to the ferry.
Prince Andrei, leaning on the railing, silently looked along the flood glittering from the setting sun.
- Well, what do you think about this? - asked Pierre, - why are you silent?
– What do I think? I listened to you. “It’s all true,” said Prince Andrei. “But you say: join our brotherhood, and we will show you the purpose of life and the purpose of man, and the laws that govern the world.” Who are we, people? Why do you know everything? Why am I the only one who doesn’t see what you see? You see the kingdom of goodness and truth on earth, but I don’t see it.
Pierre interrupted him. – Do you believe in a future life? – he asked.
- To the future life? – Prince Andrei repeated, but Pierre did not give him time to answer and took this repetition as a denial, especially since he knew Prince Andrei’s previous atheistic beliefs.
– You say that you cannot see the kingdom of goodness and truth on earth. And I have not seen him and he cannot be seen if we look at our life as the end of everything. On earth, precisely on this earth (Pierre pointed into the field), there is no truth - everything is lies and evil; but in the world, in the whole world, there is a kingdom of truth, and we are now children of the earth, and forever children of the whole world. Don't I feel in my soul that I am part of this huge, harmonious whole. Don’t I feel that I am in this huge countless number of beings in which the Divinity is manifested - the highest power, as you like - that I constitute one link, one step from lower beings to higher ones. If I see, clearly see this staircase that leads from a plant to a person, then why should I assume that this staircase breaks with me, and does not lead further and further. I feel that not only can I not disappear, just as nothing disappears in the world, but that I will always be and always have been. I feel that besides me there are spirits living above me and that there is truth in this world.
“Yes, this is Herder’s teaching,” said Prince Andrei, “but that, my soul, is not what convinces me, but life and death, that’s what convinces me.” What is convincing is that you see a being dear to you, who is connected with you, before whom you were guilty and hoped to justify yourself (Prince Andrei’s voice trembled and turned away) and suddenly this being suffers, is tormented and ceases to be... Why? It cannot be that there is no answer! And I believe that he is... That’s what convinces, that’s what convinced me,” said Prince Andrei.
“Well, yes, well,” said Pierre, “isn’t that what I’m saying!”
- No. I’m only saying that it’s not arguments that convince you of the need for a future life, but when you walk in life hand in hand with a person, and suddenly this person disappears out there into nowhere, and you yourself stop in front of this abyss and look into it. And, I looked...
- Well then! Do you know what is there and that there is someone? There is a future life there. Someone is God.
Prince Andrei did not answer. The carriage and horses had long been taken to the other side and had already been laid down, and the sun had already disappeared halfway, and the evening frost covered the puddles near the ferry with stars, and Pierre and Andrey, to the surprise of the footmen, coachmen and carriers, were still standing on the ferry and talking.
– If there is God and there is a future life, then there is truth, there is virtue; and man's highest happiness consists in striving to achieve them. We must live, we must love, we must believe, said Pierre, that we do not live now only on this piece of land, but have lived and will live forever there in everything (he pointed to the sky). Prince Andrey stood with his elbows on the railing of the ferry and, listening to Pierre, without taking his eyes off, looked at the red reflection of the sun on the blue flood. Pierre fell silent. It was completely silent. The ferry had landed long ago, and only the waves of the current hit the bottom of the ferry with a faint sound. It seemed to Prince Andrei that this rinsing of the waves was saying to Pierre’s words: “true, believe it.”
Prince Andrei sighed and with a radiant, childish, tender gaze looked into Pierre’s flushed, enthusiastic, but increasingly timid face in front of his superior friend.
- Yes, if only it were so! - he said. “However, let’s go sit down,” added Prince Andrei, and as he got off the ferry, he looked at the sky that Pierre pointed out to him, and for the first time, after Austerlitz, he saw that high, eternal sky that he had seen lying on the Field of Austerlitz, and something that had long fallen asleep, something that was best in him, suddenly woke up joyfully and youthfully in his soul. This feeling disappeared as soon as Prince Andrei returned to the usual conditions of life, but he knew that this feeling, which he did not know how to develop, lived in him. The meeting with Pierre was for Prince Andrey the era from which, although in appearance the same, but in the inner world, his new life began.

It was already dark when Prince Andrei and Pierre arrived at the main entrance of the Lysogorsk house. While they were approaching, Prince Andrey with a smile drew Pierre's attention to the commotion that had occurred at the back porch. A bent old woman with a knapsack on her back and a short man in a black robe with long hair, seeing the carriage driving in, rushed to run back through the gate. Two women ran out after them, and all four, looking back at the stroller, ran into the back porch in fear.
“These are the Machines of God,” said Prince Andrei. “They took us for their father.” And this is the only thing in which she does not obey him: he orders these wanderers to be driven away, and she accepts them.
- What are God's people? – asked Pierre.
Prince Andrei did not have time to answer him. The servants came out to meet him, and he asked about where the old prince was and whether they were expecting him soon.
The old prince was still in the city, and they were waiting for him every minute.
Prince Andrei led Pierre to his half, which was always in perfect order waiting for him in his father’s house, and he himself went to the nursery.
“Let’s go to my sister,” said Prince Andrei, returning to Pierre; - I haven’t seen her yet, she’s now hiding and sitting with her God’s people. Serves her right, she will be embarrassed, and you will see God's people. C "est curieux, ma parole. [This is interesting, honestly.]
– Qu"est ce que c"est que [What are] God's people? - asked Pierre
- But you'll see.
Princess Marya was really embarrassed and turned red in spots when they came to her. In her cozy room with lamps in front of icon cases, on the sofa, at the samovar, sat next to her a young boy with a long nose and long hair, and in a monastic robe.
On a chair nearby sat a wrinkled, thin old woman with a meek expression on her childish face.
“Andre, pourquoi ne pas m"avoir prevenu? [Andrei, why didn’t you warn me?],” she said with meek reproach, standing in front of her wanderers, like a hen in front of her chickens.
– Charmee de vous voir. Je suis tres contente de vous voir, [Very glad to see you. I’m so pleased that I see you,” she said to Pierre, while he kissed her hand. She knew him as a child, and now his friendship with Andrei, his misfortune with his wife, and most importantly, his kind, simple face endeared her to him. She looked at him with her beautiful, radiant eyes and seemed to say: “I love you very much, but please don’t laugh at mine.” After exchanging the first phrases of greeting, they sat down.
“Oh, and Ivanushka is here,” said Prince Andrei, pointing with a smile at the young wanderer.
– Andre! - Princess Marya said pleadingly.
“Il faut que vous sachiez que c"est une femme, [Know that this is a woman," Andrei said to Pierre.
– Andre, au nom de Dieu! [Andrey, for God’s sake!] – repeated Princess Marya.
It was clear that Prince Andrei’s mocking attitude towards the wanderers and Princess Mary’s useless intercession on their behalf were familiar, established relationships between them.
“Mais, ma bonne amie,” said Prince Andrei, “vous devriez au contraire m"etre reconaissante de ce que j"explique a Pierre votre intimate avec ce jeune homme... [But, my friend, you should be grateful to me that I explain to Pierre your closeness to this young man.]
- Vraiment? [Really?] - Pierre said curiously and seriously (for which Princess Marya was especially grateful to him) peering through his glasses into the face of Ivanushka, who, realizing that they were talking about him, looked at everyone with cunning eyes.
Princess Marya was completely in vain to be embarrassed for her own people. They were not at all timid. The old woman, with her eyes downcast but looking sideways at those who entered, had turned the cup upside down onto a saucer and placed a bitten piece of sugar next to it, sat calmly and motionlessly in her chair, waiting to be offered more tea. Ivanushka, drinking from a saucer, looked at the young people from under his brows with sly, feminine eyes.
– Where, in Kyiv, were you? – Prince Andrey asked the old woman.
“It was, father,” the old woman answered loquaciously, “on Christmas itself, I was honored with the saints to communicate the holy, heavenly secrets.” And now from Kolyazin, father, great grace has opened...
- Well, Ivanushka is with you?
“I’m going on my own, breadwinner,” Ivanushka said, trying to speak in a deep voice. - Only in Yukhnov did Pelageyushka and I get along...
Pelagia interrupted her comrade; she obviously wanted to tell what she saw.
- In Kolyazin, father, great grace was revealed.
- Well, are the relics new? - asked Prince Andrei.
“That’s enough, Andrey,” said Princess Marya. - Don’t tell me, Pelageyushka.
“No...what are you saying, mother, why not tell me?” I love him. He is kind, favored by God, he, a benefactor, gave me rubles, I remember. How I was in Kyiv and the holy fool Kiryusha told me - a truly man of God, he walks barefoot winter and summer. Why are you walking, he says, not in your place, go to Kolyazin, there is a miraculous icon, the Mother of the Most Holy Theotokos has been revealed. From those words I said goodbye to the saints and went...
Everyone was silent, one wanderer spoke in a measured voice, drawing in air.
“My father, the people came and said to me: great grace has been revealed, the Mother of the Most Holy Theotokos is dripping myrrh from her cheek...
“Okay, okay, you’ll tell me later,” said Princess Marya, blushing.
“Let me ask her,” said Pierre. -Have you seen it yourself? – he asked.
- Why, father, you yourself have been honored. There is such a radiance on the face, like heavenly light, and from my mother’s cheek it keeps dripping and dripping...
“But this is a deception,” said Pierre naively, who listened attentively to the wanderer.
- Oh, father, what are you saying! - Pelageyushka said with horror, turning to Princess Marya for protection.
“They are deceiving the people,” he repeated.
- Lord Jesus Christ! – the wanderer said, crossing herself. - Oh, don't tell me, father. So one anaral did not believe it, he said: “the monks are deceiving,” and as he said, he became blind. And he dreamed that Mother of Pechersk came to him and said: “Trust me, I will heal you.” So he began to ask: take me and take me to her. I’m telling you the real truth, I saw it myself. They brought him blind straight to her, he came up, fell, and said: “Heal! “I will give you,” he says, “what the king gave you.” I saw it myself, father, the star was embedded in it. Well, I have received my sight! It's a sin to say that. “God will punish,” she instructively addressed Pierre.
- How did the star end up in the image? – asked Pierre.
- Did you make your mother a general? - said Prince Andrei, smiling.
Pelagia suddenly turned pale and clasped her hands.
- Father, father, it’s a sin for you, you have a son! - she spoke, suddenly turning from pallor to bright color.
- Father, what did you say? God forgive you. - She crossed herself. - Lord, forgive him. Mother, what is this?...” she turned to Princess Marya. She stood up and, almost crying, began to pack her purse. She was obviously both scared and ashamed that she had enjoyed benefits in a house where they could say this, and it was a pity that she now had to be deprived of the benefits of this house.
- Well, what kind of hunting do you want? - said Princess Marya. - Why did you come to me?...
“No, I’m joking, Pelageyushka,” said Pierre. - Princesse, ma parole, je n"ai pas voulu l"offenser, [Princess, I'm right, I didn't want to offend her,] I just did that. Don’t think I was joking,” he said, smiling timidly and wanting to make amends. - After all, it’s me, and he was only joking.
Pelageyushka stopped incredulously, but Pierre's face showed such sincerity of repentance, and Prince Andrei looked so meekly first at Pelageyushka, then at Pierre, that she gradually calmed down.

The wanderer calmed down and, brought back into conversation, talked for a long time about Father Amphilochius, who was such a saint of life that his hand smelled like palm, and about how the monks she knew on her last journey to Kyiv gave her the keys to the caves, and how she, taking crackers with her, spent two days in the caves with the saints. “I’ll pray to one, read, go to another. I’ll take a pine tree, I’ll go and take a kiss again; and such silence, mother, such grace that you don’t even want to go out into the light of God.”
Pierre listened to her carefully and seriously. Prince Andrei left the room. And after him, leaving God’s people to finish their tea, Princess Marya led Pierre into the living room.
“You are very kind,” she told him.
- Oh, I really didn’t think of offending her, I understand and highly value these feelings!
Princess Marya silently looked at him and smiled tenderly. “After all, I have known you for a long time and love you like a brother,” she said. – How did you find Andrey? - she asked hastily, not giving him time to say anything in response to her kind words. - He worries me very much. His health is better in winter, but last spring the wound opened, and the doctor said that he should go for treatment. And morally I am very afraid for him. He is not the type of character we women are to suffer and cry out our grief. He carries it inside himself. Today he is cheerful and lively; but it was your arrival that had such an effect on him: he is rarely like this. If only you could persuade him to go abroad! He needs activity, and this smooth, quiet life is ruining him. Others don't notice, but I see.
At 10 o'clock the waiters rushed to the porch, hearing the bells of the old prince's carriage approaching. Prince Andrei and Pierre also went out onto the porch.
-Who is this? - asked the old prince, getting out of the carriage and guessing Pierre.
– AI is very happy! “kiss,” he said, having learned who the unfamiliar young man was.
The old prince was in good spirits and treated Pierre kindly.
Before dinner, Prince Andrei, returning back to his father’s office, found the old prince in a heated argument with Pierre.
Pierre argued that the time would come when there would be no more war. The old prince, teasing but not angry, challenged him.
- Let the blood out of your veins, pour some water, then there will be no war. “A woman’s nonsense, a woman’s nonsense,” he said, but still affectionately patted Pierre on the shoulder and walked up to the table where Prince Andrei, apparently not wanting to engage in conversation, was sorting through the papers the prince had brought from the city. The old prince approached him and began to talk about business.
- The leader, Count Rostov, did not deliver half of the people. I came to the city, decided to invite him to dinner, - I gave him such a dinner... But look at this... Well, brother, - Prince Nikolai Andreich turned to his son, clapping Pierre on the shoulder, - well done, your friend, I loved him! Fires me up. The other one speaks smart things, but I don’t want to listen, but he lies and inflames me, an old man. Well, go, go,” he said, “maybe I’ll come and sit at your dinner.” I'll argue again. Love my fool, Princess Marya,” he shouted to Pierre from the door.
Pierre only now, on his visit to Bald Mountains, appreciated all the strength and charm of his friendship with Prince Andrei. This charm was expressed not so much in his relationships with himself, but in his relationships with all his relatives and friends. Pierre, with the old, stern prince and with the meek and timid Princess Marya, despite the fact that he hardly knew them, immediately felt like an old friend. They all already loved him. Not only Princess Marya, bribed by his meek attitude towards the strangers, looked at him with the most radiant gaze; but little, one-year-old Prince Nikolai, as his grandfather called him, smiled at Pierre and went into his arms. Mikhail Ivanovich, m lle Bourienne looked at him with joyful smiles as he talked with the old prince.