|
Действительные числа – основной объект анализа, поэтому последний нельзя считать логически совершенным, пока не установлена полная ясность в отношении понятия действительного числа. Понятие натурального числа представлялось тогда вполне ясным. Из натуральных чисел легко получаются рациональные числа – дроби. Но иррациональные числа – главную составляющую действительных чисел – определить уже значительно труднее. К. Вейерштрасс (1815–1897) разработал теорию действительных чисел, из которой вытекало, что их можно определить как бесконечные десятичные дроби. Если такая дробь является периодической (например, 0,333...), она отождествляется с рациональным числом (в нашем примере это 1/3)[64], если не периодической – то с числом иррациональным; таковы, скажем, известные числа ? и е , отождествляемые соответственно с бесконечными непериодическими десятичными дробями 3,1415926546... и 2,7182818289... В обоих случаях мы выписали по десять знаков после запятой, поставив затем многоточие; последнее ясно показывает, какую роль в данной теории играет бесконечность: она заложена в самих объектах, возникающих в теории. Вейерштрассовское действительное число – если оно иррационально – нельзя написать на бумаге: не хватит ни бумаги, ни человеческой жизни[65]. Многие математики (Л. Кронекер и др.) видели в этом серьезный дефект теории Вейерштрасса, но, она все же прочно вошла в учебники анализа, ибо, как отметил Е. Т. Белл, «она работала»[66]. Более интересной для нас является теория действительных чисел Дедекинда[67]. Он придал иррациональным числам совершенно новый смысл, определив их как сечение в области рациональных чисел. Подход Дедекинда состоял в следующем. Ясно, что любое множество можно разбить на два под множества таким образом, что объединение подмножеств будет совпадать со всем множеством и каждый элемент последнего попадет в одно и только одно из подмножеств. Такое разбиение со времен античности называют дихотомией (буквально: «сечение на две части»). Произведем дихотомию множества всех рациональных чисел так, что в результате получатся два непустых подмножества, находящихся в следующем отношении: каждое число какого‑то одного из них меньше любого числа другого. Систему из таких двух подмножеств множества всех рациональных чисел Дедекинд назвал сечением в области рациональных чисел; первое из них образует левый класс, второе – правый класс сечения. Приведем пример сечения. Левый класс – все отрицательные рациональные числа, правый класс – нуль и все положительные рациональные числа. Очевидно, что мы имеем здесь сечение в дедекиндовом смысле, так как каждое рациональное число войдет либо в первый, либо во второй класс (но не в оба сразу), ни один из классов не пуст, любое отрицательное число меньше нуля и каждого из положительных чисел. — 53 —
|