Трансверсальность (математика)

Эта статья требует дополнительных ссылок для проверки . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален.
Найти источники: Математика "трансверсальности" - новости · газеты · книги · ученый · JSTOR ( декабрь 2009 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

В математике , трансверсальность это понятие , которое описывает , как пространства могут пересекаться; трансверсальность можно рассматривать как «противоположность» касания и играет роль в общем положении . Он формализует идею общего пересечения в дифференциальной топологии . Он определяется путем рассмотрения линеаризации пересекающихся пространств в точках пересечения.

Определение [ править ]

Поперечные кривые на поверхности сферы

Непоперечные кривые на поверхности сферы

Два подмногообразия данного конечномерного гладкого многообразия называется пересекается трансверсально , если в каждой точке пересечения , их отдельные касательные пространства в этой точке вместе порождают касательное пространство в окружающем многообразия в этой точке. ^[1] Непересекающиеся многообразия являются вакуумно- поперечными. Если коллекторы имеют дополнительные размеры (т. Е. Их размеры составляют в сумме размер окружающего пространства) условие означает, что касательное пространство к объемлющему многообразию является прямой суммой двух меньших касательных пространств. Если пересечение трансверсально, то пересечение будет подмногообразием, коразмерность которого равна сумме коразмерностей двух многообразий. При отсутствии условия трансверсальности пересечение может не быть подмногообразием, имеющим какую-то особую точку .

В частности, это означает, что трансверсальные подмногообразия дополнительной размерности пересекаются в изолированных точках (т. Е. 0-многообразие ). Если оба подмногообразия и объемлющее многообразие ориентированы , их пересечение ориентировано. Когда пересечение является нулевым, ориентация является просто плюсом или минусом для каждой точки.

Одно обозначение для поперечного пересечения двух подмногообразий и данного многообразия есть . Эта запись может быть прочитана двумя способами: либо как « и пересекаются трансверсально» или в качестве альтернативного обозначения для теоретико-множественным пересечением из и , когда это пересечение трансверсально. В этих обозначениях определение трансверсальности выглядит следующим образом: ${\ displaystyle L_ {1}}$ ${\ displaystyle L_ {2}}$ ${\ displaystyle M}$ ${\ Displaystyle L_ {1} \ вилы L_ {2}}$ ${\ displaystyle L_ {1}}$ ${\ displaystyle L_ {2}}$ ${\ displaystyle L_ {1} \ cap L_ {2}}$ ${\ displaystyle L_ {1}}$ ${\ displaystyle L_ {2}}$

{\ Displaystyle L_ {1} \ вилы L_ {2} \ iff \ forall p \ in L_ {1} \ cap L_ {2}, T_ {p} M = T_ {p} L_ {1} + T_ {p} L_ {2}.}

Трансверсальность карт [ править ]

Понятие трансверсальности пары подмногообразий легко расширяется до трансверсальности подмногообразия и отображения на объемлющее многообразие или на пару отображений в объемлющее многообразие, задавая вопрос о том, продвигаются ли вперед касательные пространства вдоль прообраза точек пересечения образов порождают все касательное пространство объемлющего многообразия. ^[2] Если отображения являются вложениями , это эквивалентно трансверсальности подмногообразий.

Значение трансверсальности для разных измерений [ править ]

Трансверсальность зависит от окружающего пространства. Две показанные кривые являются поперечными, если рассматривать их как вложенные в плоскость, но не в том случае, если мы рассматриваем их как вложенные в плоскость в трехмерном пространстве.

Предположим, что у нас есть поперечные отображения и где и - многообразия с размерностями и соответственно. ${\ displaystyle f_ {1}: L_ {1} \ to M}$ ${\ displaystyle f_ {2}: L_ {2} \ to M}$ ${\ displaystyle L_ {1}, L_ {2}}$ ${\ displaystyle M}$ ${\ displaystyle \ ell _ {1}, \ ell _ {2}}$ ${\ displaystyle m}$

Значение трансверсальности сильно различается в зависимости от относительных размеров и . Связь между трансверсальностью и касательностью наиболее очевидна, когда . ${\ displaystyle M, L_ {1}}$ ${\ displaystyle L_ {2}}$ ${\ displaystyle \ ell _ {1} + \ ell _ {2} = m}$

Мы можем рассмотреть три отдельных случая:

Когда это невозможно для изображения и «s касательных пространств , чтобы охватить » ы касательного пространства в любой точке. Таким образом, любое пересечение между и не может быть поперечным. Однако непересекающиеся многообразия удовлетворяют условию вакуумно, поэтому можно сказать, что они пересекаются поперечно. ${\ Displaystyle \ ell _ {1} + \ ell _ {2} <м}$ ${\ displaystyle L_ {1}}$ ${\ displaystyle L_ {2}}$ ${\ displaystyle M}$ ${\ displaystyle f_ {1}}$ ${\ displaystyle f_ {2}}$
Когда , образ и «ы касательные пространства должны подвести непосредственно к » S касательного пространства в любой точке пересечения. Таким образом, их пересечение состоит из изолированных точек со знаком, т. Е. Нульмерного многообразия. ${\ displaystyle \ ell _ {1} + \ ell _ {2} = m}$ ${\ displaystyle L_ {1}}$ ${\ displaystyle L_ {2}}$ ${\ displaystyle M}$
Когда эта сумма не обязательно должна быть прямой. На самом деле оно не может быть прямым, если и являются погружениями в точке их пересечения, как это происходит в случае вложенных подмногообразий. Если карты представляют собой погружения, пересечение их изображений будет многообразием размерности ${\ displaystyle \ ell _ {1} + \ ell _ {2}> м}$ ${\ displaystyle f_ {1}}$ ${\ displaystyle f_ {2}}$ ${\ displaystyle \ ell _ {1} + \ ell _ {2} -m.}$

Продукт пересечения [ править ]

Для любых двух гладких подмногообразий можно возмущать любое из них на сколь угодно малую величину, так что полученное подмногообразие трансверсально пересекается с фиксированным подмногообразием. Такие возмущения не влияют на класс гомологий многообразий или их пересечений. Например, если многообразия дополнительной размерности пересекаются трансверсально, сумма со знаком числа их точек пересечения не изменяется, даже если мы изотопно изотопим многообразия в другое поперечное пересечение. (Точки пересечения можно подсчитать по модулю 2, игнорируя знаки, чтобы получить более грубый инвариант.) Это спускается к билинейному произведению пересечений на гомологических классах любой размерности, которое по Пуанкаре двойственно к чашечному произведениюпо когомологиям . Как и чашечное произведение, произведение пересечений является градуированно-коммутативным .

Примеры поперечных пересечений [ править ]

Простейший нетривиальный пример трансверсальности - это дуги на поверхности . Точка пересечения двух дуг является поперечной тогда и только тогда, когда это не касание, т. Е. Их касательные линии внутри касательной плоскости к поверхности различны.

В трехмерном пространстве поперечные кривые не пересекаются. Кривые, поперечные к поверхностям, пересекаются в точках, а поперечные друг другу поверхности пересекаются по кривым. Кривые, которые касаются поверхности в точке (например, кривые, лежащие на поверхности), не пересекают поверхность трансверсально.

Вот более специализированный пример: предположим, что это простая группа Ли и ее алгебра Ли. По теореме Джекобсона – Морозова любой нильпотентный элемент может быть включен в -тройку . Об этом говорит теория представлений . Пространство является касательным пространством в точке сопряженной орбиты, поэтому аффинное пространство пересекает орбиту трансверсально. Пространство известно как «Слоевый срез» в честь Питера Слодового . ${\ displaystyle G}$ ${\ displaystyle {\ mathfrak {g}}}$ ${\ Displaystyle е \ ин {\ mathfrak {g}}}$ ${\ displaystyle {\ mathfrak {sl_ {2}}}}$ ${\ Displaystyle (е, ч, е)}$ ${\ displaystyle {\ mathfrak {sl_ {2}}}}$ ${\mathfrak {g}}=[{\mathfrak {g}},e]\oplus {\mathfrak {g}}_{f}$ $[{\mathfrak {g}},e]$ $e$ ${\rm {{Ad}(G)e}}$ $e+{\mathfrak {g}}_{f}$ $e$ $e+{\mathfrak {g}}_{f}$

Приложения [ править ]

Оптимальный контроль [ править ]

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

Сведите к минимуму, когда одна или обе конечные точки кривой не зафиксированы.

\int {F(x,y,y^{\prime })}dx

Во многих из этих задач решение удовлетворяет условию, что кривая решения должна поперечно пересекать нулевую линию или некоторую другую кривую, описывающую конечные условия.

Гладкость пространств решений [ править ]

Используя теорему Сарда , гипотеза которой является частным случаем трансверсальности отображений, можно показать, что поперечные пересечения между подмногообразиями пространства дополнительных размерностей или между подмногообразиями и отображениями в пространство сами по себе являются гладкими подмногообразиями. Например, если гладкое сечение касательного расслоения ориентированного многообразия, т. Е. Векторное поле- рассматривается как карта от основания к общему пространству и пересекает нулевое сечение (рассматриваемое либо как карта, либо как подмногообразие) в поперечном направлении, тогда нулевое множество сечения, то есть особенности векторного поля, образует гладкое 0-мерное подмногообразие базы, т.е. множество точек со знаком. Знаки совпадают с индексами векторного поля, и, таким образом, сумма знаков, т. Е. Фундаментальный класс нулевого множества, равна эйлеровой характеристике многообразия. В более общем смысле, для векторного расслоения над ориентированным гладким замкнутым конечномерным многообразием нулевое множество сечения, трансверсального нулевому сечению, будет подмногообразием базы коразмерности, равной рангу векторного расслоения, и его классом гомологий будет двойственным по Пуанкаре кКласс Эйлера расслоения.

Чрезвычайно частным случаем этого является следующий: если дифференцируемая функция от вещественного числа к действительному значению имеет ненулевую производную в нуле функции, то ноль является простым, т. Е. График является поперечным к оси x в этом нуле; нулевая производная будет означать горизонтальную касательную к кривой, которая будет соответствовать касательному пространству к оси x .

Для бесконечномерного примера оператор d-бара является сечением некоторого банахова пространственного расслоения над пространством отображений римановой поверхности в почти комплексное многообразие . Нулевое множество этого раздела состоит из голоморфных отображений. Если можно показать, что оператор d-бара трансверсален нулевому сечению, это пространство модулей будет гладким многообразием. Эти соображения играют фундаментальную роль в теории псевдоголоморфных кривых и теории Громова – Виттена . (Обратите внимание, что для этого примера определение трансверсальности необходимо уточнить, чтобы иметь дело с банаховыми пространствами !)

Грамматика [ править ]

Существительное; прилагательное - «поперечный».

цитата из JHC Whitehead, 1959 ^[3]

См. Также [ править ]

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

Примечания [ править ]

^ Гиймен и Поллак 1974, с.30.
^ Гиймен и Поллак 1974, с.28.
Перейти ↑ Hirsch (1976), p.66

Ссылки [ править ]

Том, Рене (1954). "Quelques propriétés globales des varétés, дифференцируемые". Comm. Математика. Helv. 28 (1): 17–86. DOI : 10.1007 / BF02566923 .
Гийемен, Виктор; Поллак, Алан (1974). Дифференциальная топология . Прентис-Холл. ISBN 0-13-212605-2.
Хирш, Моррис (1976). Дифференциальная топология . Springer-Verlag. ISBN 0-387-90148-5.

[1] Гиймен и Поллак 1974, с.30.

[2] Гиймен и Поллак 1974, с.28.

[3] Перейти ↑ Hirsch (1976), p.66

[1]