Теорема века. Мир с точки зрения математики - страница 7

Это делается потому, что существуют свойства, принадлежащие многоугольникам с каким угодно числом сторон, которые можно непосредственно применить к любому частному многоугольнику.

Весьма часто, напротив, только ценой продолжительных усилий можно бывает найти эти свойства, изучая непосредственно соотношения элементарных треугольников. Знание общей теоремы освобождает нас от этих усилий.

Если четырехугольник есть не что иное, чем соединенные рядом два треугольника, то это потому, что он принадлежит к роду многоугольников.

Конструирование становится интересным только тогда, когда его можно сравнить с другими аналогичными конструкциями, образующими виды того же родового понятия.

Необходимо еще, чтобы было возможно доказывать родовые свойства, не будучи вынужденным обосновывать их последовательно для каждого вида.

Чтобы достигнуть этого, необходимо вновь подняться от частного к общему, пройдя одну пли несколько ступеней.

Аналитический процесс «конструирования» не вынуждает нас опускаться ниже, а оставляет все на том же уровне.

Мы можем подняться выше только благодаря математической индукции, которая одна может научить нас чему-либо новому. Без помощи такой индукции, отличной в известных отношениях от индукции физической, но столь же плодотворной, как и последняя, процесс конструирования был бы бессилен создать науку.

Заметим, наконец, что эта индукция возможна только тогда, когда одна и та же операция может повторяться бесконечное число раз. Вот причина, почему теория шахматной игры никогда не может стать наукой; там различные ходы одной и той же партии не похожи друг на друга.

Если вы хотите знать, что понимают математики под непрерывностью, то ответа следует спрашивать не у геометра. Геометр всегда так или иначе старается представить себе фигуры, которые он изучает, но его представления являются для него только орудием; занимаясь геометрией, он употребляет пространство так же, как употребляет мел; поэтому следует остерегаться приписывать слишком большое значение случайностям, которые часто имеют не больше значения, чем белизна мела.

Чистому аналитику нечего бояться этой опасности. Он освободил математическую науку от всех посторонних элементов и может ответить на ваш вопрос: что представляет собой на самом деле та непрерывность, о которой рассуждают математики? Многие из них, умеющие размышлять о своей науке, уже сделали это, как, например, Таннери в своем «Введении в теорию функций одной переменной».

Будем исходить из последовательности целых чисел; между двумя соседними числами вставим одно или несколько промежуточных чисел, потом между этими числами вставим еще новые и так далее до бесконечности. Мы будем иметь, таким образом, неограниченное число членов: это будут числа, называемые дробно-рациональными или соизмеримыми. Но этого еще недостаточно; между этими членами, число которых, однако, уже бесконечно, надо вставить еще другие, так называемые иррациональные или несоизмеримые.

Прежде чем идти дальше, сделаем одно важное замечание. Непрерывность, понимаемая таким образом, есть не более чем собрание отдельных единиц, расположенных в известном порядке, правда, в бесконечном числе, но внешних друг другу. Это не соответствует обычной концепции, которая между элементами непрерывного предполагает некоторый род внутренней связи, составляющей из них целое, – где не точка предшествует существованию линии, а линия предшествует существованию точки. От знаменитой формулы: непрерывность есть единство во множественности – остается только множественность; единство исчезло. Это обстоятельство не лишает аналитиков основания определять свою непрерывность так, как они это делают, ибо, рассуждая именно об этом, они постоянно спорят друг с другом по поводу строгости. Но для нас достаточно указать, что настоящая математическая непрерывность есть нечто совсем иное, чем непрерывность физиков или непрерывность метафизиков.