Борис Бирюков - Жар холодных числ и пафос бесстрастной логики

Действительные числа — основной объект анализа, поэтому последний нельзя считать логически совершенным, пока не установлена полная ясность в отношении понятия действительного числа. Понятие натурального числа представлялось тогда вполне ясным. Из натуральных чисел легко получаются рациональные числа — дроби. Но иррациональные числа — главную составляющую действительных чисел — определить уже значительно труднее. К. Вейерштрасс (1815—1897) разработал теорию действительных чисел, из которой вытекало, что их можно определить как бесконечные десятичные дроби. Если такая дробь является периодической (например, 0,333...), она отождествляется с рациональным числом (в нашем примере это 1/3) [3] 62 3. Конечную дробь, то есть (периодическую) дробь с «хвостом» из одних нулей (например, 3,14000...) при этом заменяют бесконечной периодической дробью с девяткой в периоде (в нашем примере— дробью 3,13999...). , если не периодической — то с числом иррациональным; таковы, скажем, известные числа π и е , отождествляемые соответственно с бесконечными непериодическими десятичными дробями 3,1415926546... и 2,7182818289...

В обоих случаях мы выписали по десять знаков после запятой, поставив затем многоточие; последнее ясно показывает, какую роль в данной теории играет бесконечность: она заложена в самих объектах, возникающих в теории. Вейерштрассовское действительное число — если оно иррационально — нельзя написать на бумаге: не хватит ни бумаги, ни человеческой жизни [4] 63 4. Если действительное число есть рациональное число, то есть если десятичная дробь является периодической, то с бесконечностью можно «справиться» тривиальным способом, рассматривая число как дробь p/q, где p и q — целые числа, а q отлично от нуля. .

Многие математики (Л. Кронекер и др.) видели в этом серьезный дефект теории Вейерштрасса, но, она все же прочно вошла в учебники анализа, ибо, как отметил Е. Т. Белл, «она работала» [5] 64 5. E. Т. Веll. Men of Mathematics. N. Y., 1962. p. 431. .

Более интересной для нас является теория действительных чисел Дедекинда [6] 5 6. С теорией Дедекинда можно подробнее познакомиться по изложению автора. См.: Р. Дедекинд. Что такое числа и для чего они служат. Казань, 1905. 7. См. Г.М. Фихтенгольц. Основы математического анализа. Т. 1. М., 1960, с. 17. . Онпридал иррациональным числам совершенно новый смысл, определив их как сечение в области рациональных чисел. Подход Дедекинда состоял в следующем.

Ясно, что любое множество можно разбить на два под множества таким образом, что объединение подмножеств будет совпадать со всем множеством и каждый элемент последнего попадет в одно и только одно из подмножеств. Такое разбиение со времен античности называют дихотомией (буквально: «сечение на две части»). Произведем дихотомию множества всех рациональных чисел так, что в результате получатся два непустых подмножества, находящихся в следующем отношении: каждое число какого-то одного из них меньше любого числа другого. Систему из таких двух подмножеств множества всех рациональных чисел Дедекинд назвал сечением в области рациональных чисел; первое из них образует левый класс, второе — правый класс сечения.

Приведем пример сечения. Левый класс — все отрицательные рациональные числа, правый класс — нуль и все положительные рациональные числа. Очевидно, что мы имеем здесь сечение в дедекиндовом смысле, так как каждое рациональное число войдет либо в первый, либо во второй класс (но не в оба сразу), ни один из классов не пуст, любое отрицательное число меньше нуля и каждого из положительных чисел.

Оказывается, над сечениями можно производить операции. Возьмем два каких-нибудь сечения, например следующие. В первом — его мы обозначим через С1 - левый класс (назовем его А1) образуют все рациональные числа, меньшие единицы, правый (В1) —не меньшие единицы. Во втором сечении (С2) левый класс (А2) образован всеми рациональными числами, меньшими двойки, а правый (В2) остальными рациональными числами. После этого зададим следующее разбиение множества всех рациональных чисел на два подмножества: к первому отнесем все числа, которые могут быть представлены суммой двух слагаемых — числа из множества А1 и числа из множества А2 ко второму — все числа, которые представимы в виде суммы числа из множества В1 и числа из множества В2. Будет ли это разбиение сечением?

Нетрудно видеть, что будет. Оба рассматриваемых подмножества не пусты; поскольку первое слагаемое одной суммы меньше первого слагаемого другой суммы и то же относится ко вторым слагаемым, то и первая сумма меньше второй суммы. Можно показать, что выполнено и требование того, чтобы каждое рациональное число обязательно попадало в какое-то одно, и только одно, из двух подмножеств. Итак, разбиение, построенное указанным способом по двум заданным сечениям, есть тоже сечение. Его называют суммой двух исходных сечений и обозначают С1 + С2. Очевидно, что подобным образом возможно построить сумму любых двух сечений. Аналогично можно получить произведение двух сечений С1 и С2: левый его класс составят произведения сомножителей, взятых из левых классов исходных сечений, а правый — взятых из правых классов (правда, здесь нужно сделать некоторые оговорки, связанные с тем, что произведение отрицательных чисел есть число положительное, но они достаточно просты и для нашего изложения несущественны). В приведенном выше примере сумма сечений оказывается сечением, левый класс которого состоит из рациональных чисел, меньших тройки, а произведение — сечением с левым классом, состоящим из чисел, меньших двойки. Но число 3 есть результат сложения, а число 2—результат умножения чисел 1 и 2. Вообще всегда, когда в каждом из исходных сечений есть либо наибольшее число левого класса, либо наименьшее число правого (пограничное число), сумма сечений также будет иметь пограничное число — сумму пограничных чисел исходных сечений; то же справедливо и в отношении произведения (его пограничное число будет произведением пограничных чисел исходных сечений). Иными словами, сложить или перемножить сечения в этом случае — значит сложить или перемножить их пограничные числа и взять Результата качестве пограничного числа.