Пуанкаре

«На вопрос, каково отношение Пуанкаре к топологии, можно ответить одним предложением — он ее создал», — заявляет крупнейший тополог нашего времени, советский математик П. С. Александров. Топология — так называют сейчас науку, которую Пуанкаре, следуя Риману, величал Analysis situs. По его собственному определению, этот раздел математики «описывает взаимные положения точек, линий и поверхностей безотносительно к их величине». Геометрией относительных положений, качественной геометрией видится будущая топология ее создателю. С первого мемуара Пуанкаре по этому вопросу начинается история топологии как самостоятельной математической науки. Во введения автор задается вопросом: нужно ли заменять язык аналитического исследования языком геометрии, если в многомерном пространстве последний утрачивает свои преимущества наглядности? Конечно, «не предпринимают дальнего путешествия, чтобы увидеть то, что можно найти у себя дома». Но в отстроенном и обжитом за долгие века «доме» классической математики, имевшей дело лишь с формулами и вычислениями, он не находит того, что ему нужно. И вот Пуанкаре отваживается на «дальнее путешествие», которое приводит его в удивительный, ни на что не похожий мир неколичественной математики, изучающей неизмеряемые и непросчитываемые сущности.

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

Топология характеризует геометрические тела лишь такими свойствами, которые не меняются при любых преобразованиях, если только не совершаются разрывы и склеивания. Поэтому не относятся к топологическим свойствам ни линейные размеры тела, ни угловые. А вот свойство фигуры состоять из одного цельного или из определенного числа разрозненных кусков является топологическим. Ведь, для того чтобы преобразовать, скажем, «восьмерку» в «два нуля» или наоборот, придется или разорвать фигуру, или же склеить ее несвязанные части. Число измерений фигуры тоже служит топологическим признаком. Без слипания сразу множества точек трехмерный куб не превратишь в двухмерный квадрат. Сфера и тор представляют собой примеры существенно различных топологических поверхностей. И есть топологическое свойство, их различающее: если на поверхности сферы, например мяча, изобразить произвольную замкнутую линию и сделать по ней разрез, то она обязательно распадется на две части. А на надувном спасательном круге можно произвести такой замкнутый разрез (хотя бы по «экватору»), что его тороидальная поверхность останется единым целым. Топологи тем и занимаются, что отыскивают характеристики геометрических образов, которые не меняются при разрешенных в топологии преобразованиях и называются поэтому топологическими инвариантами.

Успех топологических исследований во многом зависит от того, насколько удачными оказались найденные топологические инварианты. Как правило, стремятся к тому, чтобы такими инвариантами выступали числа иди другие хорошо знакомые математикам объекты, например группы. Тогда можно количественно изучать сугубо качественные свойства, используя уже готовый математический аппарат. Топологические инварианты как бы проецируют мир качественных сущностей на мир количественных величин. И у истоков этого чуда стоят исследования Пуанкаре. Введенные им топологические инварианты, наиболее глубокие и наиболее универсальные, до сих пор играют в топологии ведущую роль. В своем первом мемуаре по «Analysis situs» он дал понятие «фундаментальной группы». С его помощью топологические проблемы удается свести к чисто алгебраическим проблемам, которые решаются методами теории групп. Не менее фундаментальными оказались понятие гомологии и описанные в этом мемуаре числа Бетти.