Трансверсальность
Трансверса́льность, общее название для некоторых свойств общего положения, понятие линейной алгебры, дифференциальной и геометрической топологии.
а) Два векторных подпространства , конечномерного векторного пространства трансверсальны друг к другу, если и порождают , т. е.б) В дифференцируемой ситуации два подмногообразия , многообразия трансверсальны в точке , если касательные пространства в этой точке , порождают . Геометрически (для подмногообразий в узком смысле слова и без края) это означает, что в можно ввести такие локальные координаты в некоторой окрестности точки , в терминах которых и представляются как трансверсальные векторные подпространства в .
Отображение трансверсально к подмногообразию в точке , если образ под действием трансверсален к в . Отображения и трансверсальны друг к другу в точке , где , если образы и порождают . Последние два определения тоже перефразируются (Ленг. 1967): говорят, что трансверсально к , – к (более старый термин: -регулярно вдоль ) и – к , если соответствующая трансверсальность имеет место во всех точках, для которых о ней можно говорить. Эти понятия легко сводятся друг к другу, например трансверсальность и эквивалентна трансверсальности тождественных вложений и в . Употребительна запись типа , и т. д.
Для трансверсальности многообразий с краем иногда целесообразно дополнительно потребовать выполнения некоторых условий (см. Рохлин. 1977). Трансверсальность переносится и на бесконечномерный случай (см. Ленг. 1967; Бурбаки. 1975).
Во всех этих случаях роль трансверсальности связана с её «типичностью» и с «хорошими» свойствами пересечения , прообразов и тому подобных объектов (которые к тому же «хорошо» деформируются, если при деформациях исходных объектов сохраняется трансверсальность) (см. Хирш. 1979).
в) В кусочно-линейной и топологических ситуациях можно определить трансверсальность подмногообразий по аналогии с геометрическим определением в б) (особенно употребителен кусочно-линейный вариант для подмногообразий дополнительной размерности, см. работу Рурк. 1974). Вообще говоря, полной аналогии со свойствами трансверсальности из б) не получается (Рурк. 1974, Hudson. 1969), поэтому предложены более ограничительные модификации трансверсальности (см. Lickorish. 1969; Mаrin. 1977).
Наконец, говорят, что какая-то категория многообразий обладает свойством трансверсальности, если в ней любое отображение аппроксимируется трансверсальным отображением.