"Урожай и посевы" - читать интересную книгу автора (Гротендик А. )

понятий, наиболее часто и повсеместно используемых в математике, безусловно
известных всем математикам без исключения. Понятие, впрочем, изменчивое, не
поспоришь; у него сотни, тысячи обликов, в зависимости от того, какую
структуру ему придать. Есть из них богатейшие (как почтенные "евклидовы"
структуры, или "аффинные", или "проективные", или еще "алгебраические"
структуры одноименных "многообразий"; эти обобщают все предыдущие, придавая
им гибкость), есть аскетически строгие. Последние таковы, что всякий элемент
информации "качественной" из них словно бы исчез безвозвратно, и
присутствует лишь намек на количественную сущность понятия близости, или
предела{44}, и наличествует лишь вернее всего ускользающая от интуиции
("топологическая") версия понятия формы. Наиболее безыскусное среди всех,
топологическое пространство в течение истекшей половины столетия играло роль
своего рода широкого лона общих концепций, охватывающих все прочие
структуры. Изучением таких пространств занимается одна из самых
увлекательных, самых животрепещущих ветвей геометрии: топология.
Как ни неуловима могла казаться сначала структура "чистого качества",
воплощенная в "пространстве" (называемом "топологическим"), при отсутствии
каких бы то ни было данных количественной природы (как расстояние между
двумя точками, в частности), которые дали бы нам возможность уцепиться за
сколько-нибудь привычное интуитивное представление о "величине", или
"малости", - в течение минувшего века удалось наконец загнать эти
пространства в плотные и гибкие ячейки языка, тщательно "скроенного из
кусочков"
.
Более того, изобрели и изготовили целиком эталоны "метра", или
"сажени", именно затем, чтобы, всему наперекор, навязать что-то вроде "мер"
(названных "топологическими инвариантами") этим пространствам-спрутам,
которые, подобно неуловимым призрачным городам, казалось, ускользали при
всякой попытке нанести их на карту с масштабом. Правда, основная часть этих
инвариантов, притом самых существенных, более тонкой природы, чем просто
"число", или "величина". Скорее, они сами представляют собой более или менее
прихотливые структуры, привязанные (посредством конструкций той или иной
степени сложности) к пространству, о котором идет речь. Один из самых давних
и важнейших таких инвариантов, введенный еще в предыдущем столетии
(итальянским математиком Бетти), образован различными "группами" (или
"линейными пространствами") - так называемыми "когомологиями",
соответствующими данному пространству{45}. Это они
Есть много других "топологических инвариантов", введенных топологами,
чтобы подступиться к того или иного рода свойствам топологических
пространств. Если не говорить о "размерности" пространства и
(ко)гомологических инвариантах, первые из числа прочих инвариантов -
"гомотопические группы". Я ввел новый инвариант в 1957 г.: группу К{Х) (так
называемую "группу Гротендика"), которой сразу же посчастливилось получить
признание и чья значимость (как для топологии, так и в арифметике) не устает
подтверждаться снова и снова.
Множество новых инвариантов, по своей природе изощренней тех, что в
наше время известны и используются, но по моему ощущению совершенно
фундаментальных, намечено в моей программе по "ручной топологии" (ее краткий
обзор включен в "Набросок Программы", который войдет в четвертый том
"Раздумий"). Эта программа основывается на понятии "ручной теории", или