Касательное пространство

редактировать
Назначение векторных полей многообразиям

В математике, касательное пространство многообразия облегчает обобщение векторов из аффинных пространств на общие многообразия, поскольку в последнем случае нельзя просто вычесть две точки, чтобы получить вектор, который дает смещение одной точки от другой.

Содержание

  • 1 Неформальное описание
  • 2 Формальные определения
    • 2.1 Определение через касательные кривые
    • 2.2 Определение через производные
      • 2.2.1 Обобщения
    • 2.3 Эквивалентность определений
    • 2.4 Определение через котангенсные пространства
  • 3 Свойства
    • 3.1 Касательные векторы как производные по направлению
    • 3.2 Базис касательного пространства в точке
    • 3.3 Производная карты
  • 4 См. Также
  • 5 Примечания
  • 6 Ссылки
  • 7 Внешние ссылки

Неофициальное описание

Наглядное представление касательного пространства одной точки x {\ displaystyle x}x на сфера. Вектор в этом касательном пространстве представляет возможную скорость в x {\ displaystyle x}x . После перемещения в этом направлении к ближайшей точке скорость будет задаваться вектором в касательном пространстве этой точки - другом касательном пространстве, которое не показано.

В дифференциальной геометрии один может присоединить к каждой точке x {\ displaystyle x}x дифференцируемого многообразия касательное пространство - реальное векторное пространство, которое интуитивно содержит возможные направления в котором можно по касательной пройти через x {\ displaystyle x}x . Элементы касательного пространства в точке x {\ displaystyle x}x называются касательными векторами в точке x {\ displaystyle x}x . Это обобщение понятия связанного вектора в евклидовом пространстве. Размер касательного пространства в каждой точке соединенного коллектора такой же, как у самого коллектора.

Например, если данное многообразие является 2 {\ displaystyle 2}2 -сферой, то можно представить касательное пространство в точке как плоскость, которая касается сферы в эта точка находится на перпендикулярно радиусу сферы, проходящей через эту точку. В более общем смысле, если заданное многообразие рассматривается как встроенное подмногообразие в евклидово пространство, то можно представить касательное пространство таким буквальным образом. Это был традиционный подход к определению параллельного транспорта. Многие авторы в дифференциальной геометрии и общей теории относительности используют его. Более строго, это определяет аффинное касательное пространство, которое отличается от пространства касательных векторов, описываемого современной терминологией.

В алгебраической геометрии, напротив, существует внутреннее определение касательного пространства в точке алгебраического многообразия V {\ displaystyle V}V , который дает векторное пространство с размерностью не меньше, чем размер самого V {\ displaystyle V}V . Точки p {\ displaystyle p}p , в которых размер касательного пространства в точности совпадает с размером V {\ displaystyle V}V , называются неособыми точками. ; остальные называются особыми точками. Например, кривая, которая пересекает себя, не имеет уникальной касательной в этой точке. Особые точки V {\ displaystyle V}V - это те точки, где «тест на многообразие» не проходит. См. Касательное пространство Зарисского.

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

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

Формальные определения

Неформальное описание выше полагается на способность многообразия быть встроенным в окружающее векторное пространство R m {\ displaystyle \ mathbb {R} ^ {m}}{\ displaystyle \ mathbb {R} ^ {m}} так, чтобы касательные векторы могли «выступать» из коллектора в окружающее пространство. Однако удобнее определять понятие касательного пространства, основываясь только на самом многообразии.

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

Определение через касательные кривые

В изображении встроенного многообразия касательный вектор в точке x {\ displaystyle x}x рассматривается как скорость кривой , проходящей через точку x {\ displaystyle x}x . Таким образом, мы можем определить касательный вектор как класс эквивалентности кривых, проходящих через x {\ displaystyle x}x и касательных друг к другу в x {\ displaystyle x}x .

Предположим что M {\ displaystyle M}M является C k {\ displaystyle C ^ {k}}{\ displaystyle C ^ {k}} многообразие (k ≥ 1 {\ displaystyle k \ geq 1}k \ geq 1 ) и что x ∈ M {\ displaystyle x \ in M}х \ in M ​​. Выберите координатную диаграмму φ: U → R n {\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}}{\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}} , где U {\ displaystyle U}U - открытое подмножество из M {\ displaystyle M}M , содержащее x {\ displaystyle x}x . Предположим далее, что две кривые γ 1, γ 2: (- 1, 1) → M {\ displaystyle \ gamma _ {1}, \ gamma _ {2}: (- 1,1) \ to M}{\ displaystyle \ gamma _ {1}, \ gamma _ {2}: (- 1,1) \ к M} с γ 1 (0) = x = γ 2 (0) {\ displaystyle {\ gamma _ {1}} (0) = x = {\ gamma _ {2}} (0) }{\ displaystyle {\ gamma _ {1}} (0) = x = {\ gamma _ {2}} (0)} задаются так, что оба φ ∘ γ 1, φ ∘ γ 2: (- 1, 1) → R n {\ displaystyle \ varphi \ circ \ gamma _ {1}, \ varphi \ circ \ gamma _ {2}: (- 1,1) \ to \ mathbb {R} ^ {n}}{\ displaystyle \ varphi \ circ \ gamma _ {1}, \ varphi \ circ \ gamma _ {2}: (-1,1) \ to \ mathbb {R} ^ {n}} дифференцируемы в обычном смысле (мы называем эти дифференцируемые кривые, инициализированные в х {\ displaystyle x}x ). Тогда γ 1 {\ displaystyle \ gamma _ {1}}{\ displaystyle \ gamma _ {1}} и γ 2 {\ displaystyle \ gamma _ {2}}{\ displaystyle \ gamma _ {2}} считаются эквивалентными в 0 {\ displaystyle 0}{\ displaystyle 0} тогда и только тогда, когда производные от φ ∘ γ 1 {\ displaystyle \ varphi \ circ \ gamma _ {1}}{\ displaystyle \ varphi \ circ \ gamma _ {1}} и φ ∘ γ 2 {\ displaystyle \ varphi \ circ \ gamma _ {2}}{\ displaystyle \ varphi \ circ \ gamma _ {2}} в 0 {\ displaystyle 0}{\ displaystyle 0} совпадают. Это определяет отношение эквивалентности на множестве всех дифференцируемых кривых, инициализированных в x {\ displaystyle x}x , и классы эквивалентности таких кривых известны как касательные векторы к M {\ displaystyle M}M в x {\ displaystyle x}x . Класс эквивалентности любой такой кривой γ {\ displaystyle \ gamma}\ gamma обозначается γ ′ (0) {\ displaystyle \ gamma '(0)}{\displaystyle \gamma '(0)}. Касательное пространство M {\ displaystyle M}M в x {\ displaystyle x}x , обозначенное T x M {\ displaystyle T_ {x } M}{\ displaystyle T_ {x} M} , затем определяется как набор всех касательных векторов в точке x {\ displaystyle x}x ; он не зависит от выбора координатной карты φ: U → R n {\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}}{\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}} .

Касательное пространство T x M {\ displaystyle T_ {x} M}{\ displaystyle T_ {x} M} и касательный вектор v ∈ T x M {\ displaystyle v \ in T_ {x} M}{\ displaystyle v \ in T_ {x} M} , движущийся по кривой через x ∈ M {\ displaystyle x \ in M}х \ in M ​​.

Чтобы определить операции в векторном пространстве на T x M {\ displaystyle T_ {x} M}{\ displaystyle T_ {x} M} , мы используем диаграмма φ: U → R n {\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}}{\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}} и определение map d φ Икс: Т Икс М → R N {\ Displaystyle \ mathrm {d} {\ varphi} _ {x}: T_ {x} M \ to \ mathbb {R} ^ {n}}{\ displaystyle \ mathrm {d} {\ varphi} _ {x}: T_ {x} M \ to \ mathbb {R} ^ {n}} на d φ x (γ ′ (0)) = df ddt [(φ ∘ γ) (t)] | t = 0, {\ displaystyle {\ mathrm {d} {\ varphi} _ {x}} (\ gamma '(0)) ~ {\ stackrel {\ text {df}} {=}} ~ \ left. { \ frac {\ mathrm {d}} {\ mathrm {d} {t}}} [(\ varphi \ circ \ gamma) (t)] \ right | _ {t = 0},}{\displaystyle {\mathrm {d} {\varphi }_{x}}(\gamma '(0))~{\stackrel {\text{df}}{=}}~\left.{\frac {\mathrm {d} }{\mathrm {d} {t}}}[(\varphi \circ \gamma)(t)]\right|_{t=0},}где γ ∈ γ ′ (0) {\ displaystyle \ gamma \ in \ gamma '(0)}{\displaystyle \gamma \in \gamma '(0)}. Опять же, необходимо проверить, что эта конструкция не зависит от конкретной диаграммы φ: U → R n {\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}}{\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}} и кривая γ {\ displaystyle \ gamma}\ gamma используется, но на самом деле это не так.

Карта d φ x {\ displaystyle \ mathrm {d} {\ varphi} _ {x}}{\ displaystyle \ mathrm {d} {\ varphi } _ {x}} оказывается биективным и может использоваться для переноса операций в векторном пространстве на R n {\ displaystyle \ mathbb {R} ^ {n}}\ mathbb {R} ^ {n} на T x M {\ displaystyle T_ {x} M }{\ displaystyle T_ {x} M} , таким образом превращая последний набор в n {\ displaystyle n}n-мерное реальное векторное пространство.

Определение через производные

Предположим теперь, что M {\ displaystyle M}M - это C ∞ {\ displaystyle C ^ {\ infty}}{\ displaystyle C ^ {\ infty}} коллектор. Функция с действительным знаком f: M → R {\ displaystyle f: M \ to \ mathbb {R}}{\ displaystyle f: M \ to \ mathbb {R}} , как говорят, принадлежит C ∞ (M) {\ displaystyle { C ^ {\ infty}} (M)}{C ^ {{\ infty}}} (M) тогда и только тогда, когда для каждой координатной карты φ: U → R n {\ displaystyle \ varphi: U \ to \ mathbb {R} ^ { n}}{\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}} , карта f ∘ φ - 1: φ [U] ⊆ R n → R {\ displaystyle f \ circ \ varphi ^ {- 1}: \ varphi [U] \ Subteq \ mathbb {R} ^ {n} \ to \ mathbb {R}}{\ displaystyle f \ circ \ varphi ^ {- 1}: \ varphi [U] \ substeq \ mathbb {R} ^ {n} \ to \ mathbb {R}} бесконечно дифференцируем. Обратите внимание, что C ∞ (M) {\ displaystyle {C ^ {\ infty}} (M)}{C ^ {{\ infty}}} (M) является реальной ассоциативной алгеброй по отношению к точечно произведение и сумма функций и скалярное умножение.

Выберите точку x ∈ M {\ displaystyle x \ in M}х \ in M ​​. A производное в x {\ displaystyle x}x определяется как линейная карта D: C ∞ (M) → R {\ displaystyle D: {C ^ {\ infty}} (M) \ to \ mathbb {R}}{\ displaystyle D: {C ^ {\ infty}} (M) \ to \ mathbb {R}} , который удовлетворяет тождеству Лейбница

∀ f, g ∈ C ∞ (M): D (fg) Знак равно D (е) ⋅ г (Икс) + е (Икс) ⋅ D (г), {\ Displaystyle \ forall f, г \ in {C ^ {\ infty}} (M): \ qquad D (fg) = D (f) \ cdot g (x) + f (x) \ cdot D (g),}{\ displaystyle \ forall f, g \ in {C ^ {\ infty}} (M): \ qquad D (fg) = D (f) \ cdot g ( х) + е (х) \ cdot D (г),}

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

(Для каждой идентично постоянной функции f = const, {\ displaystyle f = {\ text {const}},}{\ displaystyle f = {\ text {const}},} следует, что D (f) = 0 {\ displaystyle D (f) = 0}{\ displaystyle D (е) = 0} ).

Если мы определим сложение и скалярное умножение на множестве производных в x {\ displaystyle x}x на

  • (D 1 + D 2) (f) = df D 1 (е) + D 2 (е) {\ Displaystyle (D_ {1} + D_ {2}) (е) ~ {\ stackrel {\ text {df}} {=}} ~ {D} _ {1 } (е) + {D} _ {2} (f)}{\ displaystyle (D_ {1} + D_ {2}) (f) ~ {\ stackrel {\ text {df}} {=}} ~ {D} _ {1} (f) + {D} _ {2} (f)} и
  • (λ ⋅ D) (f) = df λ ⋅ D (f) {\ displaystyle (\ lambda \ cdot D) (f) ~ {\ stackrel {\ text {df}} {=}} ~ \ lambda \ cdot D (f)}{\ displaystyle (\ lambda \ cdot D) (f) ~ {\ stackrel {\ текст {df}} {=}} ~ \ lambda \ cdot D (f)} ,

тогда мы получаем вещественное векторное пространство, которое мы определяем как касательное пространство T x M {\ displaystyle T_ {x} M}{\ displaystyle T_ {x} M} из M {\ displaystyle M}M в x {\ displaystyle x}x .

Обобщения

Обобщения этого определения возможны, например, на комплексные многообразия и алгебраические многообразия. Однако вместо изучения производных D {\ displaystyle D}Dиз полной алгебры функций нужно работать на уровне ростков функций. Причина этого в том, что связка структуры не может быть точной для таких структур. Например, пусть X {\ displaystyle X}Икс будет алгебраическим многообразием со структурным пучком OX {\ displaystyle {\ mathcal {O}} _ {X} }{\ displaystyle {\ mathcal {O}} _ {X}} . Тогда касательное пространство Зарисского в точке p ∈ X {\ displaystyle p \ in X}{\ displaystyle p \ in X} является совокупностью всех k {\ displaystyle \ mathbb {k }}{\ displaystyle \ mathbb {k}} -дифференцирование D: OX, p → k {\ displaystyle D: {\ mathcal {O}} _ {X, p} \ to \ mathbb {k}}{\ displaystyle D: {\ mathcal {O}} _ {X, p} \ to \ mathbb {k}} , где k {\ displaystyle \ mathbb {k}}{\ displaystyle \ mathbb {k}} - это основное поле и OX, p {\ displaystyle {\ mathcal {O}} _ {X, p}}{\ displaystyle {\ mathcal {O}} _ {X, p}} - стержень из OX {\ displaystyle {\ mathcal {O}} _ {X}}{\ displaystyle {\ mathcal {O}} _ {X}} at p {\ displaystyle p}p .

Эквивалентность определений

для x ∈ M {\ displaystyle x \ in M}х \ in M ​​и дифференцируемой кривой γ : (- 1, 1) → M {\ displaystyle \ gamma: (- 1,1) \ to M}{\ displaystyle \ gamma: (- 1,1) \ to M} так, что γ (0) = x, {\ displaystyle \ gamma (0) = x,}{ \ displaystyle \ gamma (0) = x,} определить D γ (f) = df (f ∘ γ) ′ (0) {\ displaystyle {D _ {\ gamma}} (f) ~ {\ stackrel {\ text {df}} {=}} ~ (f \ circ \ gamma) '(0)}{\displaystyle {D_{\gamma }}(f)~{\stackrel {\text{df}}{=}}~(f\circ \gamma)'(0)}(где производная берется в обычном смысле, потому что f ∘ γ {\ displaysty ле f \ circ \ gamma}{\ di splaystyle f \ circ \ gamma} - это функция от (- 1, 1) {\ displaystyle (-1,1)}{\ displaystyle (-1,1)} до R {\ displaystyle \ mathbb {R}}\ mathbb {R} ). Можно убедиться, что D γ (f) {\ displaystyle D _ {\ gamma} (f)}{\ displaystyle D _ {\ gamma} (f)} является производным в точке x, {\ displaystyle x,}x, и эквивалентные кривые дают такой же вывод. Таким образом, для класса эквивалентности γ ′ (0), {\ displaystyle \ gamma '(0),}{\displaystyle \gamma '(0),}мы можем определить D γ ′ (0) (f) = df ( е ∘ γ) ′ (0), {\ displaystyle {D _ {\ gamma '(0)}} (f) {\ stackrel {\ text {df}} {=}} (f \ circ \ gamma)' (0),}{\displaystyle {D_{\gamma '(0)}}(f){\stackrel {\text{df}}{=}}(f\circ \gamma)'(0),}где кривая γ ∈ γ ′ (0) {\ displaystyle \ gamma \ in \ gamma '(0)}{\displaystyle \gamma \in \gamma '(0)}была выбрана произвольно. Карта γ ′ (0) ↦ D γ ′ (0) {\ displaystyle \ gamma '(0) \ mapsto D _ {\ gamma' (0)}}{\displaystyle \gamma '(0)\mapsto D_{\gamma '(0)}}является изоморфизмом векторного пространства между пространство классов эквивалентности γ ′ (0) {\ displaystyle \ gamma '(0)}{\displaystyle \gamma '(0)}и пространство производных в точке x. {\ displaystyle x.}x.

Определение через котангенсные пространства

Опять же, мы начинаем с C ∞ {\ displaystyle C ^ {\ infty}}{\ displaystyle C ^ {\ infty}} многообразие M {\ displaystyle M}M и точка x ∈ M {\ displaystyle x \ in M}х \ in M ​​. Рассмотрим идеальный I {\ displaystyle I}I из C ∞ (M) {\ displaystyle C ^ {\ infty} (M)}{\ displaystyle C ^ {\ infty} (M)} , который состоит из всех гладких функций f {\ displaystyle f}f , исчезающих в x {\ displaystyle x}x , т. Е. f (x) Знак равно 0 {\ displaystyle f (x) = 0}f (x) = 0 . Тогда I {\ displaystyle I}I и I 2 {\ displaystyle I ^ {2}}{\ displaystyle I ^ {2}} - реальные векторные пространства, а T x M { \ displaystyle T_ {x} M}{\ displaystyle T_ {x} M} можно определить как двойное пространство в частном пространстве I / I 2 {\ displaystyle I / I ^ {2}}{\ displaystyle I / I ^ {2}} . Это последнее частное пространство также известно как котангенсное пространство для M {\ displaystyle M}M в x {\ displaystyle x}x .

Хотя это определение самый абстрактный, он также наиболее легко переносится в другие настройки, например, в разновидности, рассматриваемые в алгебраической геометрии.

Если D {\ displaystyle D}Dявляется производным от x {\ displaystyle x}x , тогда D (f) = 0 {\ displaystyle D (f) = 0}{\ displaystyle D (е) = 0} для каждого f ∈ I 2 {\ displaystyle f \ in I ^ {2}}{\ displaystyle f \ in I ^ {2}} , что означает, что D {\ displaystyle D}Dдает начало на линейную карту I / I 2 → R {\ displaystyle I / I ^ {2} \ to \ mathbb {R}}{\ displaystyle I / I ^ {2} \ to \ mathbb {R}} . И наоборот, если r: I / I 2 → R {\ displaystyle r: I / I ^ {2} \ to \ mathbb {R}}{\ displaystyle r: I / I ^ {2} \ to \ mathbb {R}} является линейным отображением, то D (е) знак равно def r ((е - е (х)) + I 2) {\ displaystyle D (f) ~ {\ stackrel {\ text {def}} {=}} ~ r \ left ((ff (x)) + I ^ {2} \ right)}{\ displaystyle D (f) ~ {\ stackrel {\ text {def}} {=}} ~ r \ left ((ff (x)) + I ^ {2} \ right)} определяет производную в x {\ displaystyle x}x . Это дает эквивалентность между касательными пространствами, определенными с помощью производных, и касательными пространствами, определенными с помощью кокасательных пространств.

Свойства

Если M {\ displaystyle M}M является открытым подмножеством R n {\ displaystyle \ mathbb {R} ^ {n }}\ mathbb {R} ^ {n} , тогда M {\ displaystyle M}M является C ∞ {\ displaystyle C ^ {\ infty}}{\ displaystyle C ^ {\ infty}} многообразием в естественным образом (пусть координатные диаграммы будут идентичными картами на открытых подмножествах R n {\ displaystyle \ mathbb {R} ^ {n}}\ mathbb {R} ^ {n} ), а касательная Все пробелы естественно отождествляются с R n {\ displaystyle \ mathbb {R} ^ {n}}\ mathbb {R} ^ {n} .

Касательные векторы как производные по направлению

Другой способ думать о касательных векторах - это производные по направлению. Для вектора v {\ displaystyle v}v в R n {\ displaystyle \ mathbb {R} ^ {n}}\ mathbb {R} ^ {n} определяется соответствующая производная по направлению в точке x ∈ R n {\ displaystyle x \ in \ mathbb {R} ^ {n}}{\ displaystyle x \ in \ mathbb {R} ^ {n}} по

∀ f ∈ C ∞ (R n): (D vf) (x) = df ddt [f (x + tv)] | Т знак равно 0 знак равно ∑ я знак равно 1 N V я ∂ f ∂ х я (х). {\ displaystyle \ forall f \ in {C ^ {\ infty}} (\ mathbb {R} ^ {n}): \ qquad (D_ {v} f) (x) ~ {\ stackrel {\ text {df} } {=}} ~ \ left. {\ frac {\ mathrm {d}} {\ mathrm {d} {t}}} [f (x + tv)] \ right | _ {t = 0} = \ sum _ {i = 1} ^ {n} v ^ {i} {\ frac {\ partial f} {\ partial x ^ {i}}} (x).}{\ displaystyle \ forall f \ in {C ^ {\ infty}} (\ mathbb {R} ^ {n}): \ qquad (D_ {v} f) (x) ~ {\ stackrel {\ text {df}} {=} } ~ \ left. {\ frac {\ mathrm {d}} {\ mathrm {d} {t}}} [f (x + tv)] \ right | _ {t = 0} = \ sum _ {i = 1} ^ {n} v ^ {i} {\ frac {\ partial f} {\ partial x ^ {i}}} (x).}

Это отображение, естественно, является производным от х {\ displaystyle x}x . Кроме того, каждая деривация в точке в R n {\ displaystyle \ mathbb {R} ^ {n}}\ mathbb {R} ^ {n} имеет эту форму. Следовательно, существует взаимно однозначное соответствие между векторами (рассматриваемыми как касательные векторы в точке) и производными в точке.

Поскольку касательные векторы к общему многообразию в точке могут быть определены как производные в этой точке, естественно думать о них как о производных по направлению. В частности, если v {\ displaystyle v}v является касательным вектором к M {\ displaystyle M}M в точке x {\ displaystyle x}x (считается производным), затем определите производную по направлению D v {\ displaystyle D_ {v}}{\ displaystyle D_ {v}} в направлении v {\ displaystyle v}v по

∀ f ∈ C ∞ (M): D v (f) = df v (f). {\ displaystyle \ forall f \ in {C ^ {\ infty}} (M): \ qquad {D_ {v}} (f) ~ {\ stackrel {\ text {df}} {=}} ~ v (f).}{\ displaystyle \ forall f \ in {C ^ {\ infty}} (M): \ qquad {D_ {v}} (f) ~ {\ stackrel {\ text {df}} {=}} ~ v (f). }

Если мы подумаем о v {\ displaystyle v}v как о начальной скорости дифференцируемой кривой γ {\ displaystyle \ gamma}\ gamma initialized при x {\ displaystyle x}x , т.е. v = γ ′ (0) {\ displaystyle v = \ gamma '(0)}{\displaystyle v=\gamma '(0)}, тогда вместо этого, определим D v {\ displaystyle D_ {v}}{\ displaystyle D_ {v}} по

∀ f ∈ C ∞ (M): D v (f) = df (f ∘ γ) ′ (0). {\ displaystyle \ forall f \ in {C ^ {\ infty}} (M): \ qquad {D_ {v}} (f) ~ {\ stackrel {\ text {df}} {=}} ~ (f \ circ \ gamma) '(0).}{\displaystyle \forall f\in {C^{\infty }}(M):\qquad {D_{v}}(f)~{\stackrel {\text{df}}{=}}~(f\circ \gamma)'(0).}

Базис касательного пространства в точке

Для C ∞ {\ displaystyle C ^ {\ infty}}{\ displaystyle C ^ {\ infty}} многообразие M {\ displaystyle M}M , если диаграмма φ = (x 1,…, xn): U → R n {\ displaystyle \ varphi = (x ^ {1}, \ ldots, x ^ {n}): U \ to \ mathbb {R} ^ {n}}{\ displaystyle \ varphi = (x ^ {1}, \ ldots, x ^ {n }): U \ to \ mathbb {R} ^ {n}} задается с p ∈ U {\ displaystyle p \ in U}{\ displaystyle p \ in U} , тогда можно определить упорядоченный базис {(∂ ∂ x 1) p,…, (∂ ∂ xn) p} {\ displaystyle \ left \ {\ left ({\ frac {\ partial} { \ partial x ^ {1}}} \ right) _ {p}, \ dots, \ left ({\ frac {\ partial} {\ partial x ^ {n}}} \ right) _ {p} \ right \ }}{\ displaystyle \ left \ {\ left ({\ frac {\ partial} {\ partial x ^ {1}}} \ right) _ {p}, \ dots, \ left ({\ frac {\ partial} {\ partial x ^ {n}}} \ right) _ {p} \ right \}} из T p M {\ displaystyle T_ {p} M}{\ displaystyle T_ {p} M} по

∀ i ∈ {1,…, n}, ∀ f ∈ C ∞ (M): (∂ ∂ xi) p (f) = df (∂ ∂ xi (f ∘ φ - 1)) (φ (p)). {\ displaystyle \ forall i \ in \ {1, \ ldots, n \}, ~ \ forall f \ in {C ^ {\ infty}} (M): \ qquad {\ left ({\ frac {\ partial}) {\ partial x ^ {i}}} \ right) _ {p}} (f) ~ {\ stackrel {\ text {df}} {=}} ~ \ left ({\ frac {\ partial} {\ partial x ^ {i}}} {\ Big (} f \ circ \ varphi ^ {- 1} {\ Big)} \ right) {\ Big (} \ varphi (p) {\ Big)}.}{\ displaystyle \ forall i \ in \ {1, \ ldots, n \}, ~ \ forall f \ in {C ^ {\ infty}} ( M): \ qquad {\ left ({\ frac {\ partial} {\ partial x ^ {i}}} \ right) _ {p}} (f) ~ {\ stackrel {\ text {df}} {= }} ~ \ left ({\ frac {\ partial} {\ partial x ^ {i}}} {\ Big (} f \ circ \ varphi ^ {- 1} {\ Big)} \ right) {\ Big ( } \ varphi (p) {\ Bi g)}.}

Тогда для каждого касательного вектора v ∈ T p M {\ displaystyle v \ in T_ {p} M}{\ displaystyle v \ in T_ {p} M} имеем

v = ∑ i = 1 nvi ⋅ (∂ ∂ xi) п. {\ displaystyle v = \ sum _ {i = 1} ^ {n} v ^ {i} \ cdot \ left ({\ frac {\ partial} {\ partial x ^ {i}}} \ right) _ {p }.}{\ displaystyle v = \ sum _ {i = 1} ^ {n} v ^ {i} \ cdot \ left ({\ frac {\ partial} {\ partial x ^ {i}}} \ right) _ {p}.}

Таким образом, эта формула выражает v {\ displaystyle v}v как линейную комбинацию базисных касательных векторов (∂ ∂ xi) p ∈ T p M {\ displaystyle \ left ({\ frac {\ partial} {\ partial x ^ {i}}} \ right) _ {p} \ in T_ {p} M}{\ displaystyle \ left ({\ frac {\ partial } {\ partial x ^ {i}}} \ right) _ {p} \ in T_ {p} M} , определяемое координатной картой φ : U → R n {\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}}{\ displaystyle \ varphi: U \ to \ mathbb {R} ^ {n}} .

Производная карты

Каждое гладкое (или дифференцируемое) отображение φ: M → N {\ displaystyle \ varphi: M \ to N}{\ displaystyle \ varphi: M \ to N} между гладкими (или дифференцируемыми) многообразиями индуцирует естественные линейные отображения между соответствующими касательными пространствами:

d φ x: Т х М → Т φ (х) N. {\ displaystyle \ mathrm {d} {\ varphi} _ {x}: T_ {x} M \ to T _ {\ varphi (x)} N.}{\ displaystyle \ mathrm {d} {\ varphi} _ {x}: T_ {x} M \ to T _ {\ varphi (x)} N.}

Если касательное пространство определяется с помощью дифференцируемых кривых, то это map определяется как

d φ x (γ ′ (0)) = df (φ ∘ γ) ′ (0). {\ Displaystyle {\ mathrm {d} {\ varphi} _ {x}} (\ gamma '(0)) ~ {\ stackrel {\ text {df}} {=}} ~ (\ varphi \ circ \ gamma) '(0).}{\displaystyle {\mathrm {d} {\varphi }_{x}}(\gamma '(0))~{\stackrel {\text{df}}{=}}~(\varphi \circ \gamma)'(0).}

Если вместо этого касательное пространство определяется с помощью дифференцирований, то это отображение определяется как

[d φ x (D)] (f) = df D (f ∘ φ). {\ displaystyle [\ mathrm {d} {\ varphi} _ {x} (D)] (f) ~ {\ stackrel {\ text {df}} {=}} ~ D (f \ circ \ varphi).}{\ displaystyle [\ mathrm {d} {\ varphi} _ {x} (D)] (f) ~ {\ stackrel {\ text {df}} {=}} ~ D (f \ circ \ varphi).}

Линейная карта d φ x {\ displaystyle \ mathrm {d} {\ varphi} _ {x}}{\ displaystyle \ mathrm {d} {\ varphi } _ {x}} называется по-разному: производная, полная производная, дифференциал или прямая трансформация φ {\ displaystyle \ varphi}\ varphi в x {\ displaystyle x}x . Это часто выражается с использованием множества других обозначений:

D φ x, (φ ∗) x, φ ′ (x). {\ displaystyle D \ varphi _ {x}, \ qquad (\ varphi _ {*}) _ {x}, \ qquad \ varphi '(x).}{\displaystyle D\varphi _{x},\qquad (\varphi _{*})_{x},\qquad \varphi '(x).}

В некотором смысле производная является наилучшим линейным приближением на φ {\ displaystyle \ varphi}\ varphi рядом с x {\ displaystyle x}x . Обратите внимание, что когда N = R {\ displaystyle N = \ mathbb {R}}{\ displaystyle N = \ mathbb {R}} , тогда карта d φ x: T x M → R {\ displaystyle \ mathrm {d} {\ varphi} _ {x}: T_ {x} M \ to \ mathbb {R}}{\ displaystyle \ mathrm {d} {\ varphi} _ { x}: T_ {x} M \ to \ mathbb {R}} совпадает с обычным понятием дифференциала функции φ { \ Displaystyle \ varphi}\ varphi . В локальных координатах производная от φ {\ displaystyle \ varphi}\ varphi дается якобианом.

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

Теорема . Если φ: M → N {\ displaystyle \ varphi: M \ to N}{\ displaystyle \ varphi: M \ to N} является локальным диффеоморфизмом в x {\ displaystyle x}x в M {\ displaystyle M}M , затем d φ x: T x M → T φ (x) N {\ displaystyle \ mathrm {d} {\ varphi} _ {x}: T_ {x} M \ to T _ {\ varphi (x)} N}{\ displaystyle \ mathrm {d} {\ varphi} _ {x}: T_ {x } M \ to T _ {\ varphi (x)} N} - это линейный изоморфизм. И наоборот, если d φ x {\ displaystyle \ mathrm {d} {\ varphi} _ {x}}{\ displaystyle \ mathrm {d} {\ varphi } _ {x}} является изоморфизмом, то существует открытая окрестность U {\ displaystyle U}U из x {\ displaystyle x}x такой, что φ {\ displaystyle \ varphi}\ varphi отображает U {\ displaystyle U}U диффеоморфно на его образ.

Это обобщение теоремы об обратной функции на отображение между многообразиями.

См. Также

Примечания

  1. ^ду Карму, Манфредо П. (1976). Дифференциальная геометрия кривых и поверхностей. Прентис-Холл. :
  2. ^Дирак, Поль А. М. (1996) [1975]. Общая теория относительности. Издательство Принстонского университета. ISBN 0-691-01146-X.
  3. ^Крис Дж. Ишем (1 января 2002 г.). Современная дифференциальная геометрия для физиков. Союзные издатели. С. 70–72. ISBN 978-81-7764-316-9.
  4. ^Лерман, Юджин. «Введение в дифференциальную геометрию» (PDF). п. 12.

Ссылки

Внешние ссылки

Последняя правка сделана 2021-06-09 09:27:32
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте