Все же не эти дары, и не честолюбие даже самое пылкое, поддержанное непреклонной волей к успеху, позволяют перешагнуть «круги невидимые, но властные», ограждающие Вселенную. Только невинность сумеет их преодолеть, сама того не заметив и не слишком о том заботясь, в минуты, когда мы, с жадностью вслушиваясь в голоса вещей, предаемся во власть этой младенческой игры целиком…
12. Топология, или с какой меркой подходить к туману на рассвете
12. Новаторская идея схемы, как мы уже знаем, дала возможность связать между собой различные «геометрии», соответствующие различным простым числам (или различным «характеристикам»). Каждая из этих геометрий оставалась все еще существенно «дискретной», или «разрывной» по контрасту с традиционной геометрией, доставшейся нам в наследство от прошедших веков (начиная с Евклида). Новые идеи, введенные Зарисским и Серром, вернули в какой-то степени этим геометриям «непрерывное измерение», сразу же перехваченное «теоретико-схемной геометрией», пришедшей с целью их объединить. Но если говорить о «невероятных гипотезах» (Вейля), то до их подтверждения было еще очень далеко. «Топологии Зарисского» были с этой точки зрения настолько грубы, что оставались почти что на уровне «дискретных скоплений». Недоставало, очевидно, какого-то нового принципа, который позволил бы связать эти геометрические объекты (или «многообразия», или «схемы») с привычными («благонадежными») топологическими «пространствами»; скажем, такими, в которых «точки» отчетливо изолированы друг от друга, в то время как в пространствах-без-стыда-и-совести, введенных Зарисским, точки имеют досадную склонность склеиваться между собой…
Решительно, только появление «нового принципа», никак не меньше, могло устроить, чтобы «брачный союз числа и величины (размера)», или «геометрии разрывного» с «геометрией непрерывного» совершился — как то сулило некое предчувствие, впервые давшее о себе знать языком гипотез Вейля.
Понятие «пространства», без сомнения, одно из самых древних в математике. Оно является до такой степени основополагающим для нашего «геометрического» понимания мира, что принималось на веру, практически не требуя описаний, в течение более чем двух тысяч лет. И лишь в прошлом веке понятие это постепенно освободилось из-под тирании непосредственного восприятия (как единственно пространства, нас окружающего) и связанных с ним традиционных (евклидовых) теоретических разработок, чтобы обрести теперь уже свои собственные динамику и независимость. В наши дни оно входит в число понятий, наиболее часто и повсеместно используемых в математике, безусловно известных всем математикам без исключения. Понятие, впрочем, изменчивое, не поспоришь; у него сотни, тысячи обликов, в зависимости от того, какую структуру ему придать. Есть из них богатейшие (как почтенные «евклидовы» структуры, или «аффинные», или «проективные», или еще «алгебраические» структуры одноименных «многообразий»; эти обобщают все предыдущие, придавая им гибкость), есть аскетически строгие. Последние таковы, что всякий элемент информации «качественной» из них словно бы исчез безвозвратно, и присутствует лишь намек на количественную сущность понятия близости, или предела