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

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

Определение

Формально, пусть \(M\) — гладкое многообразие размерности \(n\), и \(p \in M\) — точка на нём. Касательное пространство в точке \(p\), обозначаемое \(T_pM\), определяется как множество всех классов эквивалентности гладких кривых \(\gamma: (-\varepsilon, \varepsilon) \to M\) таких, что \(\gamma(0) = p\), где две кривые \(\gamma_1\) и \(\gamma_2\) считаются эквивалентными, если их производные в нуле совпадают в некоторой локальной системе координат.

В более наглядном смысле, для многообразия, вложенного в евклидово пространство \(\mathbb{R}^N\) (например, для поверхности в \(\mathbb{R}^3\)), касательное пространство \(T_pM\) изоморфно множеству всех векторов, которые являются касательными к \(M\) в точке \(p\). В общем случае, \(T_pM\) — это векторное пространство размерности \(n\), изоморфное \(\mathbb{R}^n\).

История

Понятие касательного пространства восходит к работам Готфрида Лейбница и Исаака Ньютона, которые ввели понятие производной как предела приращения функции. Однако строгое математическое оформление этого понятия в контексте многообразий произошло в XIX—XX веках. Карл Фридрих Гаусс в своей работе «Общие исследования о кривых поверхностях» (1827) заложил основы дифференциальной геометрии, введя понятие касательной плоскости для поверхности. В дальнейшем, Бернхард Риман развил эти идеи в своей лекции «О гипотезах, лежащих в основании геометрии» (1854), где он ввёл понятие многообразия и метрического тензора. В XX веке, с развитием топологии и теории многообразий, касательное пространство было формализовано в рамках дифференциальной геометрии такими математиками, как Эли Картан, Герман Вейль и Шерн Шэн-Шэнь.

Свойства

Линейная структура

Касательное пространство \(T_pM\) является векторным пространством. Это означает, что для любых двух касательных векторов \(v, w \in T_pM\) и любого скаляра \(\lambda \in \mathbb{R}\) определены операции сложения \(v + w\) и умножения на скаляр \(\lambda v\), которые дают новые касательные векторы. Размерность \(T_pM\) равна размерности самого многообразия \(M\).

Базис и координаты

В локальной системе координат \((x^1, x^2, \dots, x^n)\) в окрестности точки \(p\) базис касательного пространства образуют частные производные \(\frac{\partial}{\partial x^1}_p, \frac{\partial}{\partial x^2}_p, \dots, \frac{\partial}{\partial x^n}_p\). Любой касательный вектор \(v \in T_pM\) может быть записан в виде: \[ v = \sum_{i=1}^n v^i \frac{\partial}{\partial x^i}_p, \] где \(v^i\) — координаты вектора \(v\) в данном базисе.

Касательное отображение

Для гладкого отображения \(f: M \to N\) между многообразиями и точки \(p \in M\) определено касательное отображение (или дифференциал) \(df_p: T_pM \to T_{f(p)}N\), которое линейно отображает касательные векторы в \(p\) в касательные векторы в \(f(p)\). В координатах это отображение задаётся матрицей Якоби.

Связь с другими понятиями

Касательное расслоение

Объединение всех касательных пространств во всех точках многообразия \(M\) образует касательное расслоение \(TM = \bigcup_{p \in M} T_pM\), которое само является гладким многообразием размерности \(2n\). Касательное расслоение играет ключевую роль в дифференциальной геометрии, так как на нём определены структуры, такие как связности и метрики.

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

Двойственное векторное пространство к касательному пространству \(T_pM\) называется кокасательным пространством \(T_p^*M\). Его элементы — это линейные функционалы на \(T_pM\), называемые ковекторами или 1-формами. Кокасательное пространство используется для определения дифференциальных форм и градиентов.

Применение

Дифференциальная геометрия

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

Физика

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

Математический анализ

В анализе на многообразиях касательное пространство позволяет обобщить понятие производной на функции, определённые на многообразиях. Например, градиент функции \(f: M \to \mathbb{R}\) в точке \(p\) является элементом кокасательного пространства \(T_p^*M\), а его поднятие в касательное пространство с помощью метрики даёт векторное поле.

Компьютерная графика и машинное обучение

В компьютерной графике касательное пространство используется для моделирования поверхностей и расчёта освещения (например, в технике бамп-маппинга). В машинном обучении, особенно в анализе данных на многообразиях, касательное пространство применяется для локального линейного вложения данных и методов снижения размерности, таких как локально-линейное вложение (LLE).

Примеры

Касательная прямая к окружности

Рассмотрим окружность \(S^1 = \{(x, y) \in \mathbb{R}^2 \mid x^2 + y^2 = 1\}\). В точке \(p = (1, 0)\) касательное пространство \(T_pS^1\) — это одномерное векторное пространство, состоящее из всех векторов, параллельных оси \(y\). Например, вектор \((0, 1)\) является касательным.

Касательная плоскость к сфере

Для сферы \(S^2 = \{(x, y, z) \in \mathbb{R}^3 \mid x^2 + y^2 + z^2 = 1\}\) в точке \(p = (0, 0, 1)\) касательное пространство \(T_pS^2\) — это двумерная плоскость, параллельная плоскости \(xy\). Векторы \((1, 0, 0)\) и \((0, 1, 0)\) образуют базис.

Касательное пространство в точке на многообразии матриц

Множество всех обратимых матриц \(GL(n, \mathbb{R})\) является гладким многообразием. В точке единичной матрицы \(I\) касательное пространство \(T_IGL(n, \mathbb{R})\) изоморфно пространству всех \(n \times n\) матриц \(M(n, \mathbb{R})\), так как любая матрица может быть получена как производная кривой в \(GL(n, \mathbb{R})\).

Интересные факты

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

Источники

• Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия. Методы и приложения. — М.: Наука, 1986.
• Постников М. М. Лекции по геометрии. Семестр III. Гладкие многообразия. — М.: Наука, 1987.
• Спивак М. Математический анализ на многообразиях. — М.: Мир, 1968.
• do Carmo M. P. Riemannian Geometry. — Boston: Birkhäuser, 1992.