В оглавление

САУНДЕРС МАКЛЕЙН — ДОН КИХОТ МАТЕМАТИКИ

14 апреля 2005 года в Сан-Франциско на 96-м году закончилась удивительная жизнь замечательного американского математика Саундерса Маклейна, одного из создателей теории категорий, вставшей в ряд самых ярких, противоречивых, амбициозных и героических математических достижений XX века.

Иллюстрация

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

Теория множеств, гениальное творение Георга Кантора, в XX веке стала рассматриваться как единственно возможное обоснование современной математики. Математика начала превращаться в часть канторовой теории множеств. Тезис о невозможности обоснования математики вне теории множеств воспринимается многими действующими математиками, педагогами и философами как очевидный и не требующий доказательства. Парадоксальным образом теоретико-множественная установка превратилась в устойчивый догмат. Разумеется, такой доктринерский взгляд на основания математики не только ложен, но и противоречит лейтмотиву и пафосу всего творчества Кантора, который еще в 1883 году писал, что «сущность математики заключается именно в ее свободе».

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

Маклейн при жизни стал легендарной фигурой науки США. Он был избран в Национальную академию наук США в 1949 году и получил в 1989 году высшую научную награду США — Национальную медаль науки. Маклейн был вице-президентом Национальной академии наук США и Американского философского общества, избирался президентом Американского математического общества и Математической ассоциации Америки.

Исследования по гомологической алгебре и теории категорий Маклейн вел совместно c С. Эйленбергом (1913-1998), с которым они познакомились в 1940 году. Жемчужиной их сотрудничества стала теория категорий, родившаяся в 1942 году. Эту теорию сам Маклейн всегда считал «естественным и, возможно, неизбежным аспектом упора математики XX века на аксиоматические и абстрактные методы». Термин «теория категорий» возник у ее авторов из общего интереса к философии и, в частности, в мыслях об Иммануиле Канте.

Теория множеств царствует в современной математике. Шутовская роль «абстрактной чепухи» в математике отведена теории категорий. Из истории и литературы общеизвестно, сколь сложны и непредсказуемы отношения и взгляды правителя и шута. Нечто подобное наблюдается во взаимосвязях и взаимозависимостях теории множеств и теории категорий.

С логической точки зрения теория множеств и теория категорий суть теории первого порядка. Первая оперирует множествами и отношением принадлежности между ними. Вторая говорит об объектах и морфизмах (или стрелках). Большой разницы между соответствующими атомарными формулами, конечно, нет. Однако содержательная разница между понятиями, формализованными этими атомарными формулами, колоссальна. Стационарному миру Цермело-Френкеля, перенасыщенному копиями равномощных множеств, противостоит свободный мир категорий — ансамблей произвольной природы, определяемых динамикой своих преобразований.

Замечательные продвижения в теории категорий связаны с именами А. Гротендика и Ф. У. Ловера. Созданная ими теория топосов возникла при «элиминации точек», развивающей идею необходимой инвариантности изучаемых в математике объектов. На этом пути возникли представления о переменных множеств, приведшие к концепции топоса и созданию социума теоретико-множественных моделей. В новых рамках свое естественное место заняли булевозначные модели как топосы, реализующие аристотелеву логику и открывающие царский путь к решению проблемы континуума, данному К. Геделем и П. Коэном. Эти топосы стали основной ареной современного булевозначного анализа, получившего отклик в России, у нас в новосибирском Академгородке.

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

Великий творец, хозяин и слуга математики, Маклейн был беззаветно предан идеалам истины и свободомыслия этой древней науки. Он с честью преодолел многолетние непонимание и шквал насмешек над своим гениальным детищем — теорией категорий. Маклейн стал вечным и трагикомичным математическим Рыцарем Печального Образа…

С. Кутателадзе, профессор
г. Новосибирск

стр. 7