Введение

В математике, разветвленное многообразие — это обобщение дифференцируемого многообразия, которое может иметь сингулярности очень ограниченного типа и допускает хорошо определенное касательное пространство в каждой точке. Разветвленное n-многообразие покрывается n-мерными "координатными картами", каждая из которых содержит одну или несколько "ветвей", гомеоморфно проецирующихся в один и тот же дифференцируемый n-диск в Rn. Разветвленные многообразия впервые появились в теории динамических систем в связи с одномерными гиперболическими аттракторами, построенными Смейлом, и были формализованы Р. Ф. Уильямсом в серии работ о расширяющихся аттракторах. Частные случаи малых размерностей известны как "рельсовые пути" (n = 1) и разветвленные поверхности (n = 2) и играют важную роль в геометрии трехмерных многообразий после работ Тёрстона.

Примеры

Внешне, разветвленные n-многообразия — это n-мерные комплексы, вложенные в некоторое евклидово пространство, такие что в каждой точке существует однозначно определенное n-мерное касательное пространство. Конечный граф, чьи ребра плавно встроены в поверхность, причем все ребра, инцидентные данной вершине v, имеют одну и ту же касательную прямую в точке v, является разветвленным одномерным многообразием, или железнодорожным путем (существует несколько вариантов определения железнодорожного пути — здесь не накладывается никаких ограничений на валентность вершин). В качестве конкретного примера рассмотрим «восьмерку», образованную двумя внешне касающимися окружностями на плоскости. Двумерный комплекс в R3, состоящий из нескольких листьев, которые могут тангенциально сходиться попарно вдоль определенных двойных кривых или сходиться потроенно в изолированных сингулярных точках, где эти двойные кривые пересекаются трансверсально, представляет собой разветвленное двумерное многообразие, или разветвленную поверхность. Например, рассмотрим пространство K, полученное из трех копий евклидовой плоскости, обозначенных T (верхняя), M (средняя) и B (нижняя), путем отождествления полуплоскостей y ≤ 0 в T и M и полуплоскостей x ≤ 0 в M и B. Можно представить M как плоскую координатную плоскость z=0 в R3, T — как лист, закручивающийся вверх от M вдоль оси x вправо (в положительном направлении оси y), а B — как другой лист, закручивающийся вниз от M вдоль оси y вперед (в положительном направлении оси x). Координатные оси в плоскости M являются двойными кривыми K, которые пересекаются трансверсально в единственной тройной точке (0,0).