Трансверсальность

Общее название для нек-рых свойств общего положения, понятие линейной алгебры, дифференциальной и геометрич. топологии. а) Два векторных подпространства А, В конечномерного векторного пространства Странсверсальны друг к другу, если Аи В порождают С, т. е. б) В дифференцируемой ситуации два подмногообразия L, М многообразия Nтрансверсальны в точке если касательные пространства в этой точке TXL, Т Х М порождают TXN. Геометрически (для подмногообразии в узком смысле слова и без края) это означает, что в Nможно ввести такие локальные координаты x1, . . ., х п в нек-рой окрестности Uточки х, в терминах к-рых и представляются как трансверсальные векторные подпространства в Отображение трансверсально к подмногообразию в точке если образ TXL под действием f трансверсален к Т f(x)M в Т f(X)N. Отображения и трансверсальны друг к другу в точке где f(x)=g(y), если образы TXL и Т у М порождают Tf(x)N. Последние два определения тоже перефразируются [1]: говорят, что Lтрансверсально к М, f — к М (более старый термин: f t-регулярно вдоль М) и f — к g, если соответствующая Т. имеет место во всех точках, для к-рых о ней можно говорить. Эти понятия легко сводятся друг к другу, напр. Т. Lи Мэквивалентна Т. тождественных вложений Lи Мв N. Употребительна запись типа и т. д. Для Т. многообразий с краем иногда целесообразно дополнительно потребовать выполнения нек-рых условий (см. [3]). Т. переносится и на бесконечномерный случай (см. [1], [2]). Во всех этих случаях роль Т. связана с ее лтипичностью