В дифференциальной геометрии к каждой точке можно прикрепитьиз гладкого (или) дифференцируемого многообразия ,, векторное пространство, называемое котангенсом в точке. Обычно котангенс пространства,определяется как пространство, сопряженное с касательным пространством в точке, , хотя есть и более прямые определения (см. ниже). Элементы котангенсного пространства называются котангенсными векторами или касательными ковекторами .
Характеристики
Все кокасательные пространства в точках связного многообразия имеют одинаковую размерность , равную размерности многообразия. Все кокасательные пространства многообразия можно «склеить» (т. Е. Объединить и снабдить топологией), чтобы сформировать новое дифференцируемое многообразие удвоенной размерности, кокасательное расслоение многообразия.
Касательное пространство и кокасательное пространство в точке являются вещественными векторными пространствами одной размерности и, следовательно, изоморфны друг другу посредством множества возможных изоморфизмов. Введение римановой метрики или симплектической формы приводит к естественному изоморфизму между касательным пространством и кокасательным пространством в точке, сопоставляя любому касательному ковектору канонический касательный вектор.
Формальные определения
Определение как линейные функционалы
Позволять - гладкое многообразие и пусть быть точкой в . Позволятьбыть касательное пространство в. Тогда кокасательное пространство в точке x определяется как двойственное пространство к:
Конкретно, элементы кокасательного пространства являются линейными функционалами на. То есть каждый элементявляется линейным отображением
где является основным полем рассматриваемого векторного пространства, например, полем действительных чисел . Элементы называются котангенсными векторами.
Альтернативное определение
В некоторых случаях может потребоваться прямое определение котангенсного пространства без ссылки на касательное пространство. Такое определение можно сформулировать в терминах классов эквивалентности гладких функций на. Неформально мы будем говорить, что две гладкие функции f и g эквивалентны в точке если у них такое же поведение первого порядка рядом с , аналогичные своим линейным многочленам Тейлора; две функции f и g имеют одинаковое поведение первого порядка вблизитогда и только тогда, когда производная функции f - g обращается в нуль при. Тогда котангенсное пространство будет состоять из всех возможных вариантов поведения функции первого порядка вблизи.
Пусть M - гладкое многообразие и пусть x - точка в. Позволятьбыть идеалом всех функций в исчезновение в , и разреши - набор функций вида , где . потом а также являются вещественными векторными пространствами, а кокасательное пространство определяется как фактор-пространство .
Эта формулировка аналогична построению кокасательного пространства для определения касательного пространства Зарисского в алгебраической геометрии. Конструкция также обобщается на локально окольцованные пространства .
Дифференциал функции
Пусть M - гладкое многообразие, и пусть f ∈ C ∞ ( M ) - гладкая функция . Дифференциал f в точке x - это отображение
- d f x ( X x ) = X x ( е )
где X x - касательный вектор в точке x , рассматриваемый как вывод. Это- производная Ли функции f по направлению X , причем d f ( X ) = X ( f ) . Точно так же мы можем думать о касательных векторах как о касательных к кривым и писать
- d f x ( γ ′ (0)) = ( f ∘ γ ) ′ (0)
В любом случае d f x является линейным отображением на T x M и, следовательно, является касательным ковектором в точке x .
Затем мы можем определить дифференциальное отображение d: C ∞ ( M ) → T x * M в точке x как отображение, которое переводит f в d f x . Свойства дифференциальной карты включают:
- d - линейное отображение: d ( af + bg ) = a d f + b d g для констант a и b ,
- d ( fg ) x = f ( x ) d g x + g ( x ) d f x ,
Дифференциальная карта обеспечивает связь между двумя альтернативными определениями котангенсного пространства, приведенными выше. Для функции f ∈ I x (гладкой функции, обращающейся в нуль в точке x ) мы можем сформировать линейный функционал d f x, как указано выше. Поскольку отображение d ограничивается до 0 на I x 2 (читатель должен это проверить), d спускается до отображения из I x / I x 2 в двойственное к касательному пространству ( T x M ) * . Можно показать, что это отображение является изоморфизмом, устанавливая эквивалентность двух определений.
Откат гладкой карты
Подобно тому, как любое дифференцируемое отображение f : M → N между многообразиями индуцирует линейное отображение (называемое прямым или производным ) между касательными пространствами
каждая такая карта индуцирует линейную карту (называемую откатом ) между котангенсными пространствами, только на этот раз в обратном направлении:
Откат естественно определяется как двойное (или транспонирование) движения вперед . Распутывая определение, это означает следующее:
где & thetas ; ∈ Т е ( х ) * Н и Х х ∈ Т х М . Внимательно отметьте, где все живет.
Если мы определим касательные ковекторы в терминах классов эквивалентности гладких отображений, исчезающих в точке, то определение обратного образа будет еще более простым. Пусть g - гладкая функция на N, обращающаяся в нуль в точке f ( x ). Тогда возврат ковектора, определяемого g (обозначенного d g ), задается как
То есть это класс эквивалентности функций на M, обращающихся в нуль в x, определяемый g ∘ f .
Внешние силы
В K -й внешней степени кокасательного пространства, обозначается Л К ( Т х * М ), является еще одним важным объектом в дифференциальной геометрии. Векторы в k- й внешней степени, или, точнее, сечения k -й внешней степени кокасательного расслоения , называются дифференциальными k -формами . Их можно рассматривать как переменные, полилинейные отображения на к касательным векторам. По этой причине касательные ковекторы часто называют одноформными .
Рекомендации
- Авраам, Ральф Х .; Марсден, Джерролд Э. (1978), Основы механики , Лондон: Бенджамин-Каммингс, ISBN 978-0-8053-0102-1
- Йост, Юрген (2005), Риманова геометрия и геометрический анализ (4-е изд.), Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-3-540-25907-7
- Ли, Джон М. (2003), Введение в гладкие многообразия , Springer Graduate Texts in Mathematics, 218 , Berlin, New York: Springer-Verlag , ISBN 978-0-387-95448-6
- Миснер, Чарльз В .; Торн, Кип ; Уиллер, Джон Арчибальд (1973), Гравитация , WH Freeman, ISBN 978-0-7167-0344-0