Парадоксы множества

Со времен Пифагора время и пространство рассматривались, с математической точки зрения, как составленные из множества точек и моментов. Однако они обладают также свойством, которое легче ощутить, нежели определить, а именно «непрерывностью». С помощью ряда парадоксов Зенон стремился доказать невозможность разделения непрерывности на точки или моменты. Его рассуждение сводится к следующему: предположим, что деление проведено нами до конца. Тогда верно одно из двух: либо мы имеем в остатке наименьшие возможные части или величины, которые неделимы, однако бесконечны по своему количеству, либо деление привело нас к частям, не имеющим величины, т. е. обратившимся в ничто, ибо непрерывность, будучи однородной, должна быть делимой повсюду, а не так, чтобы в одной своей части быть делимой, а в другой – нет. Однако оба результата нелепы: первый потому, что процесс деления нельзя считать законченным, пока в остатке – части, обладающие величиной, второй потому, что в таком случае изначальное целое было бы образовано из ничто. Симплиций приписывает это рассуждение Пармениду, однако кажется более вероятным, что оно принадлежит Зенону. Например, в Метафизике Аристотеля говорится: «Если единое само по себе неделимо, то по утверждению Зенона оно должно быть ничем, ибо он отрицает, чтобы то, что не увеличивается при прибавлении и не уменьшается при отнятии могло бы вообще существовать – разумеется, по той причине, что все существующее обладает пространственными размерами». В более полном виде этот довод против множественности неделимых величин приводит Филопон: «Зенон, поддерживая своего учителя, старался доказать, что все сущее должно быть единым и неподвижным. Доказательство свое он основывал на бесконечной делимости любой непрерывности. Именно, утверждал он, если сущее не будет единым и неделимым, но может делиться на множество, единого по сути вообще не будет (ибо если непрерывность можно делить, это будет означать, что ее можно делить до бесконечности), а если ничто не будет по сути единым, невозможно и множество, поскольку множество составлено из многих единиц. Итак, сущее не может быть разделено на множество, следовательно, есть только единое. Это доказательство может строиться и по-другому, а именно: если не будет сущего, которое неделимо и едино, не будет и множества, ибо множество состоит из многих единиц. А ведь каждая единица либо едина и неделима, либо сама делится на множество. Но если она едина и неделима, Вселенная составлена из неделимых величин, если же единицы сами подлежат делению, мы будем задавать тот же самый вопрос относительно каждой из подлежащих делению единиц, и так до бесконечности. Таким образом, если существующие вещи множественны, Вселенная окажется образованной бесконечным числом бесконечностей. Но поскольку этот вывод нелеп, сущее должно быть единым, а быть множественным ему невозможно, ведь тогда придется каждую единицу делить бесконечное число раз, что нелепо».

Симплиций приписывает Зенону несколько видоизмененный вариант того же аргумента: «Если множество существует, оно должно быть точно таким, каково оно есть, не больше и не меньше. Однако, если оно таково, каково есть, оно будет конечным. Но если множество существует, вещи бесконечны по числу, потому что между ними всегда будут обнаруживаться еще другие, а между теми еще и еще. Таким образом, вещи бесконечны по числу».

Рассуждения о множественности были направлены против соперничавшей с элеатами школы, вероятнее всего, против пифагорейцев, которые полагали, что величина или протяженность составлена из неделимых частей. Зенон считал, что эта школа полагает, будто непрерывные величины и до бесконечности делимы и конечным образом разделены. Предельные элементы, из которых, как предполагалось, состояло множество, имели, с одной стороны, свойства геометрической единицы – точки; с другой – они обладали некоторыми свойствами числового единства – числа. Подобно тому как из повторных прибавлений единицы строится числовой ряд, линия считалась составленной многократным прибавлением точки к точке. Аристотель приводит следующее пифагорейское определение точки: «Единица, имеющая положение» или «Единица, взятая в пространстве». Это означает, что пифагореизм усвоил своего рода числовой атомизм, с точки зрения которого геометрическое тело не отличается от физического. Парадоксы Зенона и открытие несоизмеримых геометрических величин (ок. 425 до н. э. ) привели к возникновению непреодолимого разрыва между арифметической дискретностью и геометрической непрерывностью. В физике существовало два в чем-то аналогичных лагеря: атомисты, отрицавшие бесконечную делимость материи, и последователи Аристотеля, которые ее отстаивали. Аристотель вновь и вновь разрешает парадоксы Зенона как для геометрии, так и для физики, утверждая, что бесконечно малое существует лишь в потенции, но не в реальности. Для современной математики такой ответ неприемлем. Современный анализ бесконечности, в особенности в трудах Г. Кантора, привел к определению континуума, лишающему антиномии Зенона парадоксальности.

⇐ Предыдущая 1 234 5 Следующая ⇒