Компьютерра, 2006 № 01-02 (621-622) | страница 74

Многочисленные книги по занимательной математике, мимо которых вы, читатели, вряд ли прошли в детстве, любят рассказывать о топологии, странной науке, в которой два предмета сравниваются только по количеству дырок в них: чайная чашка ничем не отличается от бублика, а апельсин – от Солнца. На самом деле, конечно, топология – очень глубокая наука, и объекты и свойства, которые она изучает, весьма многочисленны и разнообразны. Но прелесть в том, что для понимания сути гипотезы Пуанкаре нам ничего, кроме этих наивных представлений, и не потребуется!

Будем чуточку более формальны. Говорят, что поверхность k-связна, если на ней можно провести k-1 замкнутую кривую, которые не делят ее на две части. Сфера (поверхность апельсина) односвязна: как ни проводи на ней замкнутую кривую, кусочек вырежется; а вот поверхность бублика двусвязна – ее можно, например, разрезать поперек, превратив в цилиндр, но сохранив целостность (а вот повторно разрезать цилиндр уже не получится). Для поверхностей в трехмерном пространстве это свойство как раз и означает, что в поверхности есть k-1 «дырка». В общем случае поверхность односвязна, если на ней любую замкнутую кривую можно непрерывной деформацией стянуть в точку. Интуивно очевидно, например, что поверхность бублика этим свойством не обладает (меридиан или параллель в точку не стягиваются).

Другое важное понятие – гомеоморфизм – также уже встречается в рассуждениях о неразличимости чашки и бублика. Именно в этой неразличимости и дело: гомеоморфизм – это непрерывное преобразование, деформация, которой можно подвергнуть множество, сохранив при этом его топологические свойства (например, k-связность). Чашку легко непрерывным преобразованием превратить в бублик, а апельсин – в Солнце. При этом преобразовании сохраняются важнейшие топологические инварианты (об инвариантах я уже рассказывал в статье, посвященной гипотезе Ходжа), такие, как число k. Два множества, которые можно гомеоморфизмом превратить друг в друга, с топологической точки зрения считаются эквивалентными.

Гипотеза Пуанкаре состоит в том, что каждая односвязная трехмерная поверхность гомеоморфна трехмерной сфере. Хочу обратить особое внимание на то, что «трехмерная поверхность» может размещаться в пространстве, чья размерность как минимум 4! Трехмерная сфера – это поверхность четырехмерного шара (привычная нам двухмерная сфера – поверхность трехмерного шара).