Урожаи и посевы (Гротендик) - страница 28

. Долгое время, впрочем, не было настоя щего «разлада» между двумя геометриями разной природы: одной дискретной, другой непрерывной.

Скорее, сосуществовали две различные точки зрения на исследование самих геометрических фигур: одна делала упор на «дискретных» (в частности, численных и комбинаторных) свойствах, другая — на «непрерывных» (таких, как положение в окружающем пространстве, или «размер», измеренный в терминах расстояний между точками фигуры, и т. п.).

Разлад возник в конце прошлого столетия, с появлением и развитием того, что иногда называют «абстрактной (алгебраической) геометрией». В общих чертах она состояла в введении для каждого простого числа р геометрии (алгебраической) «в характеристике р», скопированной с непрерывной модели геометрии (алгебраической), унаследованной от предыдущих столетий, но все же в контексте, который выступал непримиримо «разрывным», «дискретным». Эти новые геометрические объекты приобрели все возрастающее значение в начале века, и особенно ввиду тесной их связи с арифметикой, наукой в полном смысле этого слова дискретной структуры. Похоже, одна из ведущих идей труда Андрэ Вей-ля>{37}, даже может быть, главная движущая сила (которая, как водится, осталась более или менее невысказанной в его записанных работах), состоит в том, что «собственно» геометрия (алгебраическая), и в особенности «дискретные» геометрии, соответствующие различным простым числам, предоставляют ключ к широчайшему обновлению арифметики. Именно этим духом пронизаны прогремевшие в 1949 г. знаменитые гипотезы Вейля. Гипотезы совершенно потрясающие, по правде сказать, позволившие предвидеть для этих новых «многообразий» (или «пространств») дискретной природы возможность определенных типов конструкций и рассуждений>{38}, казавшихся до тех пор немыслимыми вне рамок тех «пространств», которые одни только почитались аналитиками достойными этого имени — именно, пространства, называемые «топологическими» (для которых применимо понятие непрерывного изменения).

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