Чистому аналитику нечего бояться этой опасности. Он освободил математическую науку от всех посторонних элементов и может ответить на ваш вопрос: что представляет собой на самом деле та непрерывность, о которой рассуждают математики? Многие из них, умеющие размышлять о своей науке, уже сделали это, как, например, Таннери в своем «Введении в теорию функций одной переменной».
Будем исходить из последовательности целых чисел; между двумя соседними числами вставим одно или несколько промежуточных чисел, потом между этими числами вставим еще новые и так далее до бесконечности. Мы будем иметь, таким образом, неограниченное число членов: это будут числа, называемые дробно-рациональными или соизмеримыми. Но этого еще недостаточно; между этими членами, число которых, однако, уже бесконечно, надо вставить еще другие, так называемые иррациональные или несоизмеримые.
Прежде чем идти дальше, сделаем одно важное замечание. Непрерывность, понимаемая таким образом, есть не более чем собрание отдельных единиц, расположенных в известном порядке, правда, в бесконечном числе, но внешних друг другу. Это не соответствует обычной концепции, которая между элементами непрерывного предполагает некоторый род внутренней связи, составляющей из них целое, – где не точка предшествует существованию линии, а линия предшествует существованию точки. От знаменитой формулы: непрерывность есть единство во множественности – остается только множественность; единство исчезло. Это обстоятельство не лишает аналитиков основания определять свою непрерывность так, как они это делают, ибо, рассуждая именно об этом, они постоянно спорят друг с другом по поводу строгости. Но для нас достаточно указать, что настоящая математическая непрерывность есть нечто совсем иное, чем непрерывность физиков или непрерывность метафизиков.
Быть может, скажут, что математики, которые довольствуются этим определением, обмануты словами, что надо было бы точно сказать, что представляет собой каждый из промежуточных членов, выяснить, как надо их вставить, и показать, что эта операция возможна. Но это было бы несправедливо; единственным свойством этих членов, входящим в рассуждения о них[3], является свойство находиться прежде или после таких-то других членов; поэтому оно только и должно входить в их определение.
Таким образом, нечего беспокоиться о том, каким способом следует вставлять промежуточные члены; с другой стороны, никто не усомнится, что эта операция возможна, если только не забывать, что это последнее слово на математическом языке означает просто: свободна от противоречия.
Все же наше определение непрерывности не полно, и я возвращаюсь к нему после этого слишком длинного отступления.
Определение несоизмеримых величин. Математики Берлинской школы, и в частности Кронекер, занимаются построением этой непрерывной последовательности дробных и иррациональных чисел, не пользуясь никаким другим материалом, кроме целого числа. С этой точки зрения математическая непрерывность явится чистым созданием разума, в котором опыт совершенно не участвует.
Понятие рационального числа для них не представляет затруднения; предметом их особенных усилий служит определение несоизмеримого числа. Но прежде чем воспроизвести здесь это определение, я должен сделать одно замечание, чтобы предупредить удивление, которое оно не замедлило бы вызвать у читателей, мало знакомых с математическими обычаями.
Математики изучают не предметы, а лишь отношения между ними; поэтому для них безразлично, будут ли одни предметы замещены другими, лишь бы только не менялись их отношения. Для них не важно материальное содержание; их интересует только форма.
Кто забудет это, тот не поймет, что Дедекинд под именем несоизмеримого числа разумеет простой символ, т. е. нечто, совершенно отличное от представления, которое создают себе обыкновенно относительно величины, считая ее измеряемой, почти осязаемой.
Итак, вот каково определение Дедекинда: соизмеримые числа могут быть бесконечным числом способов распределены на два класса при соблюдении условия, что любое число первого класса должно быть больше любого числа второго класса.
Может случиться, что между числами первого класса будет одно, которое меньше всех других; например, если поместим в первый класс все числа, большие чем 2, и само 2, а во второй класс – все числа, меньшие чем 2, то ясно, что 2 будет наименьшее из всех чисел первого класса. Число 2 может быть принято в качестве символа этого распределения.
Можно представить себе, напротив, что между числами второго класса имеется одно, большее всех других; так, это имеет место, если первый класс заключает все числа, большие чем 2, а второй – все числа, меньшие чем 2, и само 2. Здесь опять число 2 могло бы быть избрано как символ этого распределения.
Но может также случиться, что нельзя будет найти ни в первом классе число, меньшее чем все другие, ни во втором – число, большее чем все другие. Предположим, например, что в первом классе помещают все соизмеримые числа, квадрат которых больше чем 2, а во втором все те, квадрат которых меньше чем 2. Известно, что нет такого числа, квадрат которого в точности был бы равен 2. И в первом классе не будет, очевидно, числа, меньшего чем все другие, потому что, как бы ни был квадрат некоторого числа близок к 2, всегда можно найти соизмеримое число, квадрат которого будет еще ближе к 2.
С точки зрения Дедекинда, несоизмеримое число √2 есть не что иное, как символ этого особого способа распределения соизмеримых чисел; таким образом, каждому способу распределения соответствует одно число – соизмеримое или несоизмеримое, – которое и служит символом распределения.
Но удовольствоваться этим значило бы совсем забыть о происхождении этих символов; остается еще выяснить, каким образом математики пришли к тому, что приписали им особого рода конкретное существование, и, с другой стороны, не появляется ли трудность уже и в отношении дробных чисел? Могли бы мы иметь понятие об этих числах, если бы заранее не знали о материи, которую мы понимаем как нечто делимое до бесконечности, т. е. как непрерывность?
Физическая непрерывность. Итак, возникает вопрос, не заимствовано ли понятие математической непрерывности просто из опыта. Если бы это было так, то это означало бы, что данные непосредственного опыта, каковыми являются наши ощущения, доступны измерению.
Может явиться искушение поверить, что это и в самом деле так, потому что в последнее время пытались измерить их, и был даже сформулирован закон, известный под именем закона Фехнера, по которому ощущение пропорционально логарифму раздражения.
Но если ближе присмотреться к опытам, которыми пытались обосновать этот закон, то можно прийти к совершенно противоположному заключению. Например, было замечено, что вес А, равный 10 граммам, и вес В, равный 11 граммам, производят тождественные ощущения, что вес В нельзя отличить от веса С, равного 12 граммам; но что вес А можно легко отличить от веса С. Таким образом, непосредственные результаты опыта могут быть выражены следующими соотношениями:
которые можно рассматривать как формулу физической непрерывности. Эта формула заключает в себе недопустимое разногласие с законом противоречия; необходимость избежать его и заставила нас изобрести идею математической непрерывности.
Итак, необходимо заключить, что это понятие всецело создано разумом, но что опыт доставил ему повод для этого.
Мы не можем допустить, что два количества, равные одному и тому же третьему, не равны между собой; и это обстоятельство вынуждает нас предположить, что А отличается от В и В от С, но несовершенство наших чувств не позволило нам этого заметить.
Создание математической непрерывности. Первая стадия. До сих пор, чтобы изобразить действительность, нам достаточно было бы вставить между А и В небольшое число отдельных членов. Но что произойдет, если мы для возмещения несовершенства наших чувств прибегнем к какому-нибудь инструменту, например, если мы воспользуемся микроскопом? Члены A и В, которых ранее мы не могли отличить друг от друга, теперь нам представятся различными; но между A и В, которые стали различимыми, поместится новый член D, который мы не будем в состоянии отличить ни от A, ни от В. Несмотря на употребление самых совершенных методов, непосредственные результаты нашего опыта будут всегда сохранять свойства физической непрерывности с присущим ей противоречием.
