Interval nesting
The interval nesting principle is used especially in analysis in proofs and forms the basis for some solution methods in numerical mathematics .
The principle is as follows: You start with a restricted interval and choose a closed interval from this interval that is completely within the previous interval, select a closed interval there again, and so on. If the lengths of the intervals become arbitrarily small, i.e. their length converges to zero, there is exactly one real number that is contained in all intervals. Because of this property, interval nesting can be used to construct the real numbers as a number range extension of the rational numbers.
Basic ideas in the form of the argument of complete division can already be found in Zeno of Elea and Aristotle .
definition
Let be rational or real number sequences , monotonically increasing and monotonically decreasing, for all , and the differences form a zero sequence, that is
- ,
then the sequence or also the intervals is called interval nesting.
Construction of the real numbers
It is now true that for every interval nesting of rational numbers there is at most one rational number which is contained in all intervals, which therefore satisfies for all .
But it is not true that every interval nesting of rational numbers contains at least one rational number ; in order to obtain such a property, one has to expand the set of rational numbers to the set of real numbers . This can be done, for example, with the help of the interval nesting. These are said to each of intervals defining a well-defined real number, so . Since intervals amounts are for illustration of the cut can all intervals of the nesting also be written: .
The equality of real numbers is then defined using the corresponding nesting intervals: if and only if always and .
In an analogous way, the links between real numbers can be defined as links between nesting intervals; for example, the sum of two real numbers is than
Are defined.
This system defined in this way now has the desired properties. In particular, it is now the case that every arbitrary interval nesting of rational numbers contains exactly one real number.
Interval nesting is not the only way to construct real numbers; in particular, the construction is more widespread as an equivalence class of Cauchy sequences . There is also the method of Dedekind cuts .
Convergence of the limit consequences of an interval nesting
Let be an interval nesting that defines the number . Then
Proof : Let an arbitrary real one be given. To prove the convergence of the border sequences is to show that by choosing a suitable for both interval boundaries in an environment of lie.
Since interval nesting, and therefore , is a null sequence, there exists such that for all .
Figuratively : For all of them , the diameter of the nesting intervals is so small that none of the interval boundaries reaches a boundary of the environment of if the considered interval should contain.
Bill : With is . For is with :
- , because of is total ;
- , because of is total , q. e. d.
Other uses
- The intermediate value theorem of Bolzano can be proved with the Intervallschachtelungsprinzip.
- The bisection is a numerical method based on interval nesting.
Web links
Individual evidence
- ↑ Konrad Knopp. Theory and Application of Infinite Series . 5th edition, Springer Verlag 1964, ISBN 3-540-03138-3 .
- ↑ Konrad Knopp. ibid , p. 21, definition 11.
- ↑ Konrad Knopp. ibid, p. 22, sentence 12.
- ↑ Konrad Knopp. ibid, p. 27, definition 13.
- ↑ Konrad Knopp. ibid, p. 29, definition 14B.
- ↑ Konrad Knopp. ibid, p. 31, definition 16.
- ↑ Konrad Knopp. ibid, p. 41, sentence 4.