Перегляд вихідного коду сторінки Диференціальна геометрія

{{Геометрія|expanded=Галузі}}
'''Диференціа́льна геоме́трія''' ({{lang-en|Differential geometry}})&nbsp;— це математична дисципліна яка застосовує методи [[математичний аналіз|математичного аналізу]] для вивчення гладких [[крива|кривих]], [[поверхня|поверхонь]] і, в найзагальнішому вигляді, їхніх <math>n</math>-вимірних аналогів, які називаються [[многовид]]ами. До ґрунтовних понять диференціальної геометрії належать [[дотична]] пряма й площина, довжина, площа, а також [[Кривина (математика)|кривина]] ліній і поверхонь.
[[Файл:О.А. Борисенко Диференціальна геометрія і топологія.pdf|200px|thumb|Підручник [[Борисенко Олександр Андрійович|Борисенка О. А.]] «Диференціальна геометрія і топологія»]]
== Координати ==

Можна розглядати [[многовид]] [[Розмірність простору|розмірності]] <math>n</math> ззовні, як підмножину в [[Евклідів простір|евклідовому просторі]] більшої [[Розмірність простору|розмірності]] <math>N</math>. Задамо [[Декартова система координат|декартову систему координат]] <math>x^1, x^2, \ldots ,x^N</math> в охоплюючому [[Евклідів простір|евклідовому просторі]], а сам [[многовид]] параметризуємо змінними <math>u^1,u^2, \ldots ,u^n</math>.
На прикладі таких [[многовид]]ів як коло або сфера, бачимо, що не завжди можна вибрати таку параметризацію, щоб взаємно однозначно покрити нею весь [[многовид]]. Для одиничного кола на площині маємо:
: <math>\left\{\begin{array}{cc}
       x^1 = \cos\, u \\
       x^2 = \sin\, u
      \end{array} \right.</math>
і при збільшенні <math>u</math> на <math>2 \pi</math> ми повторно параметризуємо ту саму точку [[многовид]]у.

Цю проблему можна обійти, розбивши [[многовид]] на шматки, що частково перекриваються подібно до атласу карт Землі. В кожному зі шматків вводимо свою параметризацію (яку будемо також називати системою координат). В областях, що перекриваються, ми маємо одночасно дві або більше систем координат. Основною вимогою до формул диференціальної геометрії є їхня [[Інваріант (математика)|інваріантність]] щодо заміни координат на [[многовид]]і.

Позначимо [[радіус-вектор]] в охоплюючому [[простір|просторі]]: <math>\mathbf{r} = \{x^1, x^2, \ldots ,x^N\}</math> <br/>
Для точок [[многовид]]у цей [[радіус-вектор]] залежить від локальних параметрів: <math>\mathbf{r} = \mathbf{r}(u^1, u^2, \ldots ,u^n)</math>

Похідні [[радіус-вектор]]а по параметрах:
<math>\mathbf{r}_i = {{\partial \mathbf{r}}\over {\partial u^i}}</math> утворюють [[Базис (математика)|базис]] в [[афінний простір|афінному просторі]], дотичному до [[многовид]]а в даній точці. При переході до іншої параметризації <math>\hat u^i</math>(зміни локальної системи координат), маємо новий [[Базис (математика)|базис]], який виражається через старий за тензорними правилами:

: <math>(1) \qquad \hat \mathbf{r}_i = {{\partial u^j} \over {\partial \hat u_i}} \mathbf{r}_j</math>

У цій формулі і надалі за однаковими індексами, один з яких знаходиться вгорі, а другий внизу, проводиться додавання (правило Ейнштейна, цей процес називається [[Згортка (математичний аналіз)|згорткою]] за індексами).

== Метричний тензор ==

Знайдемо квадрат відстані <math>ds</math> між двома близькими точками многовиду:<br/>
: <math>(2)\qquad ds^2 = (d\mathbf{r}\cdot d\mathbf{r}) = (\mathbf{r}_i \cdot \mathbf{r}_j) du^i du^j = g_{ij} du^i du^j</math>

Величини <math>g_{ij} = (\mathbf{r}_i \cdot \mathbf{r}_j)</math> називаються компонентами [[метричний тензор|метричного тензора]] (з нижніми індексами). Сукупність цих величин можна розглядати як матрицю з детермінантом <math>g = \det(g_{ij})</math>. Матриця <math>g_{ij}</math> симетрична і невироджена, і <math>g \ne 0</math> в усіх точках многовиду. [[Обернена матриця]] до метричного тензора позначається тією ж літерою <math>g^{ij}</math>, але з верхніми індексами.
Із властивостей обернених матриць маємо такі рівності:

: <math>(3)\qquad g_{ik}g^{kj} = \delta_i^j</math>
: <math>(3a)\qquad {{\partial g} \over {\partial g_{ij}}} = g\,g^{ij}</math>

Сам метричний тензор і всі величини, які виражаються через його компоненти і їхні похідні, відносяться до внутрішньої геометрії многовиду, бо для їх визначення не потрібно виходити в охоплюючий евклідовий простір.
За допомогою метричного тензора можна піднімати і опускати індекси векторів та тензорів. Наприклад можна ввести дуальний базис в дотичному афінному просторі:<br/>
: <math>(4)\qquad \mathbf{r}^i = g^{ik}\mathbf{r}_k</math>

Для скалярних добутків векторів основного та дуального базисів маємо:

: <math>(5)\qquad (\mathbf{r}^i \cdot \mathbf{r}_j) = g^{ik}(\mathbf{r}_k \cdot \mathbf{r}_j) = g^{ik} g_{kj} = \delta_j^i</math>

Можна також розлядати довільний дотичний до многовиду вектор <math>\mathbf{a}</math> і розкласти його за базисом <math>\mathbf{r}_i</math> і за дуальним базисом <math>\mathbf{r}^i</math>:

: <math>(5)\qquad \mathbf{a} = a^i \mathbf{r}_i = a_i \mathbf{r}^i</math>

Коефіцієнти <math>a_i = (\mathbf{a} \cdot \mathbf{r}_i)</math> називаються коваріантними координатами вектора, бо вони при зміні системи координат змінюються аналогічно базисни векторам у формулі (1):

: <math>(6)\qquad \hat a_i = {{\partial u^j} \over {\partial \hat u_i}} a_j</math>

Аналогічні коефіцієнти <math>a^i</math> називаються контраваріантними координатами вектора, бо вони перетворюються через обернену матрицю переходу, аналогічно векторам <math>\mathbf{r}^i</math> дуального базису:

: <math>(7)\qquad \hat a^i = {{\partial \hat u^i} \over {\partial u_j}} a^j</math>

== Символи Кристофеля ==

Інформацію про кривину многовиду може бути одержана з других похідних радіус-вектора, оскільки при переході до сусідньої точки дотичні вектори <math>\mathbf{r}_i</math> кривого многовиду повертаються разом з поворотом дотичного афінного простору.
Розкладемо вектор охоплюючого простору <math>\mathbf{r}_{ij}</math> на дві частини, паралельну і ортогональну до многовиду:

: <math>(8)\qquad \mathbf{r}_{ij} = {{\partial ^2 \mathbf{r}} \over {\partial u^i \partial u^j}} =\Gamma_{ij}^k \mathbf{r}_k + \mathbf{b}_{ij}</math>

У цій формулі паралельна частина розкладена за базисом <math>\mathbf{r}_i</math>. Коефіцієнти розкладу <math>\Gamma_{ij}^k</math> називаються [[Символи Крістофеля|символами Кристофеля]]. Із симетрії другої похідної слідує, що як символи Крістофеля <math>\Gamma_{ij}^k</math> так і вектори <math>\mathbf{b}_{ij}</math> симетричні за індексами <math>i</math>, <math>j</math>:

: <math>(9)\qquad \Gamma_{ij}^k = \Gamma_{ji}^k</math>
: <math>(9a)\qquad \mathbf{b}_{ij} = \mathbf{b}_{ji}</math>

Можна знайти символи Кристофеля, розглядаючи похідні від компонентів метричного тензора:

: <math>(10)\qquad g_{ij,k} = {{\partial g_{ij}} \over {\partial u^k}} = {\partial \over {\partial u^k}} (\mathbf{r}_i \cdot \mathbf{r}_j)) = (\mathbf{r}_{ik} \cdot \mathbf{r}_j) + (\mathbf{r}_i \cdot \mathbf{r}_{jk}) = \Gamma_{ik,j} + \Gamma_{jk,i}</math>

В останній формулі введено позначення символів Кристофеля з опущеними верхніми індесками:

: <math>(11)\qquad \Gamma_{ik,j} = (\mathbf{r}_{ik} \cdot \mathbf{r}_j) = ((\Gamma_{ik}^s\mathbf{r}_s + \mathbf{b}_{ik}) \cdot \mathbf{r}_j) = \Gamma_{ik}^s(\mathbf{r}_s \cdot \mathbf{r}_j) = g_{js}\Gamma_{ik}^s</math>

Із формули (10) можна знайти символи Кристофеля через похідні метричного тензора. Для цього запишемо формулу (10) ще двічі, переставляючи спочатку індекси <math>ik</math> а потім <math>jk</math>:

: <math>(10a)\qquad g_{kj,i} = \Gamma_{ki,j} + \Gamma_{ji,k}</math>
: <math>(10b)\qquad g_{ik,j} = \Gamma_{ij,k} + \Gamma_{kj,i}</math>

Додаючи (10a) i (10b), і віднімаючи (10) з врахуванням симетрії символів Кристофеля за першими двома індексами, одержуємо:

: <math>(12)\qquad \Gamma_{ij,k} = {1 \over 2}(g_{jk,i} + g_{ik,j} - g_{ij,k})</math>
Отже символи Крістофеля поряд з метричним тензором є об'єктами внутрішньої геометрії многовида:
: <math>(13)\qquad \Gamma_{ij}^k = {1 \over 2}g^{ks}(g_{js,i} + g_{is,j} - g_{ij,s})</math>

Знайдемо, як перетворюється формула (8) при переході до іншої системи координат:
<math>\qquad \hat\Gamma_{ij}^k \hat\mathbf{r}_k + \hat\mathbf{b}_{ij} = \hat \mathbf{r}_{ij} = {\partial \over \partial \hat u^i} \hat\mathbf{r}_j = {\partial \over \partial \hat u^i} ({\partial u^k \over \partial \hat u^j} \mathbf{r}_k) = {{\partial ^2 u ^k} \over \partial \hat u^i \partial \hat u^j} \mathbf{r}_k + {\partial u^k \over \partial \hat u^j}{\partial u^s \over \partial \hat u^i}\mathbf{r}_{ks} =</math>

<math>\qquad = ({{\partial ^2 u ^k} \over \partial \hat u^i \partial \hat u^j} + {\partial u^p \over \partial \hat u^j}{\partial u^s \over \partial \hat u^i} \Gamma_{ps}^k)\mathbf{r}_k + {\partial u^k \over \partial \hat u^j}{\partial u^s \over \partial \hat u^i} \mathbf{b}_{ks}</math>

Звідси маємо для символів Кристофеля:
: <math>(14)\qquad \hat\Gamma_{ij}^k = {\partial \hat u^k \over \partial u^l} ({{\partial ^2 u^l} \over \partial \hat u^i \partial \hat u^j} + {\partial u^p \over \partial \hat u^j}{\partial u^s \over \partial \hat u^i} \Gamma_{ps}^l)</math>
і для вектора <math>\mathbf{b}_{ij}</math>:
: <math>(15)\qquad \hat \mathbf{b}_{ij} = {\partial u^k \over \partial \hat u^j}{\partial u^s \over \partial \hat u^i} \mathbf{b}_{ks}</math>

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

== Коваріантна похідна ==

Формулу (8) можна переписати в такому вигляді:
: <math>(16)\qquad \nabla_j \mathbf{r}_i = \partial_j \mathbf{r}_i - \Gamma_{ij}^k \mathbf{r}_k = \mathbf{b}_{ij}</math>

У цій формулі вираз у лівій частині називається коваріантною похідною (від коваріантного вектора <math>\mathbf{r}_i</math>), а сам значок <math>\nabla</math> називається «набла». Також в цій формулі введено скорочене позначення для частинних похідних по координатах многовиду:
: <math>\qquad \partial_j = {\partial \over \partial u^j}</math>
Із формули (15) видно, що результатом дії коваріантної похідної на вектор <math>\mathbf{r}_i</math> є тензор другого рангу, оскільки ця величина (<math>\mathbf{b}_{ij}</math>) змінюється за тензорними правилами при переході до іншої системи координат.
Для довільного коваріантного вектора <math>a_i</math> ми одержимо аналогічний результат:
: <math>(17)\qquad \nabla_j a_i = \partial_j a_i - \Gamma_{ij}^k a_k</math>
теж перетворюється за тензорними правилами. Цей результат очевидний з огляду на те, що як <math>a_i</math> так і <math>\mathbf{r}_i</math> змінюються через одну й ту ж матрицю переходу при заміні координат.
Символи Крістофеля в означенні коваріантної похідної компенсують деякою мірою кривину заданої (довільної кривої!) системи координат.
Поняття коваріантної похідної можна поширити на довільні тензори так, щоб результатом дії коваріантної похідної був тензор на одиничку вищого рангу (одним нижнім індексом більше), і для похідної добутку тензорів <math>T_{i_1i_2...}^{j_1j_2...}</math> і <math>U_{k_1k_2...}^{l_1l_2...}</math> виконувалось звичайне для похідних правило:
: <math>(18)\qquad \nabla_s (T_{i_1i_2...}^{j_1j_2...}U_{k_1k_2...}^{l_1l_2...}) = (\nabla_s T_{i_1i_2...}^{j_1j_2...})U_{k_1k_2...}^{l_1l_2...} + T_{i_1i_2...}^{j_1j_2...}(\nabla_s U_{k_1k_2...}^{l_1l_2...})</math>

Почнемо зі скаляра <math>\phi</math> (скалярного поля <math>\phi(u^1, u^2, ... u^n)</math>). Градієнт <math>\phi</math> уже перетворюється за правилами коваріантного вектора при заміні координат:
: <math>\qquad {\partial \phi \over \partial \hat u^i} = {\partial u^j \over \partial \hat u^i} {\partial \phi \over \partial u^j}</math>

Тому ми беремо його за означення коваріантної похідної скаляра: <math>\nabla_i \phi = \partial_i \phi</math>.
Тепер обчислимо коваріантну похідну від контраваріантного вектора (з верхнім індексом) <math>v^i</math>. Для цього продиференціюємо [[скалярний добуток]] нашого вектора <math>v^i</math> з довільним коваріантним вектором <math>a_i</math> (цей добуток є скалярним полем). З одного боку:

: <math>\qquad \nabla_j (v^i a_i) = \partial_j (v^i a_i) = (\partial_j v^i) a_i + v^i (\partial_j a_i)</math>

З іншого боку:
: <math>\qquad \nabla_j (v^i a_i) = (\nabla_j v^i) a_i + v^i (\nabla_j a_i) = (\nabla_j v^i) a_i + v^i (\partial_j a_i - \Gamma_{ij}^k a_k)</math>

Віднявши від другого виразу перший маємо:
: <math>\qquad 0 = (\nabla_j v^i) a_i - \Gamma_{ij}^k v^i a_k - (\partial_j v^i) a_i = (\nabla_j v^i - \Gamma_{kj}^i v^k - \partial_j v^i) a_i</math>
В останньому перетворенні ми зробили нехитру операцію&nbsp;— переставили місцями букви індексів <math>i</math> та <math>k</math>. Це можливо тому, що зміст згортки за двома однаковими індексами як суми, не залежить від того, якою буквою позначений індекс згортки.
Враховуючи, що вектор <math>a_i</math> довільний (ниприклад може бути паралельним одній з координатних осей <math>a = {0, 0, .. 1, 0, ..0}</math>), остання рівність може виконуватись тільки при такому ознаненні коваріантної похідної від контраваріантного вектора:
: <math>(19)\qquad \nabla_j v^i = \partial_j v^i + \Gamma_{kj}^i v^k</math>
Тепер перейдемо до диференціювання тензорів вищого рангу. Почнемо для прикладу з мішаного тензора другого рангу <math>T_j^i</math> (з одним верхнім і одним нижнім індексом). Цей тензор перетворюєтся при заміні координат аналогічно добутку двох векторів <math>v^i a_j</math>. Для добутку векторів маємо:
: <math>\qquad \nabla_k (v^i a_j) = (\nabla_k v^i)a_j + v^i (\nabla_k a_j) = (\partial_k v^i + \Gamma_{sk}^i v^s)a_j + v^i (\partial_k a_j - \Gamma_{jk}^s a_s) = \partial_k (v^i a_j) + \Gamma_{sk}^i v^s a_j - \Gamma_{jk}^s v^i a_s</math>
Отже і для тензора <math>T_j^i</math> маємо аналогічно:
: <math>\qquad \nabla_k T_j^i = \partial_k T_j^i + \Gamma_{sk}^i T_j^s - \Gamma_{jk}^s T_s^i</math>
В такий же спосіб можна одержати загальну (і трохи громіздку) формулу для диференціювання тензорів з будь-якою кількістю верхніх та нижніх індексів:

: <math>(20)\qquad \nabla_k T_{j_1 j_2 ...}^{i_1 i_2 ...} = \partial_k T_{j_1 j_2 ...}^{i_1 i_2 ...}  + \Gamma_{sk}^{i_1} T_{j_1 j_2 ...}^{s i_2 ...} + \Gamma_{sk}^{i_2} T_{j_1 j_2 ...}^{i_2 s ...} + ... - \Gamma_{j_1 k}^s T_{s j_2 ...}^{i_1 i_2 ...} - \Gamma_{j_2 k}^s T_{j_1 s ...}^{i_1 i_2 ...} - ...</math>
В цій формулі доданки з символами Крістофеля зустрічаються зі знаком плюс для кожного верхнього індекса тензора, і зі знаком мінус для кожного нижнього індекса тензора.

Тепер, маючи загальну формулу, знайдемо коваріантну похідну метричного тензора <math>g_{ij}</math>:
: <math>\qquad \nabla_k g_{ij} = \partial_k g_{ij} - \Gamma_{ik}^s g_{sj} - \Gamma_{jk}^s g_{is} = \partial_k g_{ij} - \Gamma_{ik,j} - \Gamma_{jk,i} = 0</math>
Останню рівність ми записали, скориставшись формулою (10).
Таким чином, метричний тензор поводиться як константа стосовно коваріантної похідної&nbsp;— в формулах його можна переставляти з наблою (виносити за знак похідної)

== Властивості кривої на многовиді ==

Розглянемо [[Крива|криву лінію]], що лежить у многовиді. Точки кривої параметризуємо натуральним пораметром <math>s</math>. Ми можемо дивитись на цю криву з двох точок зору.
Якщо глянути із многовиду, то кожному значенню параметра <math>s</math> відповідає точка многовиду, яка має координати <math>u^1, u^2, ... u^n</math>, тобто:
: <math>(21)\qquad u^i = u^i(s)</math>

Якщо ж дивитися із охоплюючого евклідового простору, то точки кривої задаються радіус-вектором <math>\mathbf{r} = \mathbf{r}(s)</math>, і ми можемо записати одиничний дотичний вектор до кривої <math>\mathbf{\tau} = {d \mathbf{r} \over ds}</math>, а також вектор кривини кривої <math>\mathbf{k} = {d^2 \mathbf{r} \over ds^2}</math>.

Очевидний зв"язок між цими двома точками зору
: <math>\qquad \mathbf{r}(s) = \mathbf{r}(u^1(s), u^2(s), ... u^n(s))</math>
Знайдемо дотичний вектор кривої:
: <math>\qquad \mathbf{\tau} = {d\mathbf{r} \over ds} = {\partial \mathbf{r} \over \partial u^i}{d u^i \over ds} = {d u^i \over ds} \mathbf{r}_i</math>
Отже, як це і очевидно, одиничний дотичний вектор кривої лежить в дотичному афінному просторі многовида (розкладається за його базисом <math>\mathbf{r}_i</math>), і має такі контраваріантні координати:
: <math>\qquad \tau^i = {d u^i \over ds}</math>
Тепер займемося кривиною. Маємо:
: <math>\qquad \mathbf{k} = {d^2 \mathbf{r} \over ds^2} = {d \over ds} (\tau^i \mathbf{r}_i) = {d \tau^i \over ds}\mathbf{r}_i + \tau^i {d \mathbf{r}_i \over ds}</math>
Обчислимо окремо похідну в другому доданку:
: <math>\qquad {d \mathbf{r}_i \over ds} = \mathbf{r}_{ij} {d u^j \over ds} = (\Gamma_{ij}^k \mathbf{r}_k + \mathbf{b}_{ij}) \tau^j</math>
Отже, знову перейменувавши індекси, за якими проводиться згортка, одержуємо такий вираз:
: <math>\qquad \mathbf{k} = ({d \tau^i \over ds} + \Gamma_{sk}^i \tau^s \tau^k ) \mathbf{r}_i + \mathbf{b}_{ij} \tau^i \tau^j = \mathbf{k_{\|}} + \mathbf{k_{\perp}}</math>

Отже вектор кривини кривої розкладається на два ортогональні між собою вектори: вектор <math>\mathbf{k_{\|}}</math> називається геодезичною кривиною, він дотичний до многовида, а вектор <math>\mathbf{k_{\perp}} = \mathbf{b}_{ij} \tau^i \tau^j</math> ортогональний до многовида і залежить тільки від напрямку дотичної <math>\mathbf{\tau}</math> а не того, як крива викривляється всередині многовида.
Легко показати, що вектор геодезичної кривини також ортогональний до дотичного вектора кривої:
: <math>\qquad (\mathbf{\tau} \cdot \mathbf{k_{\|}}) = (\mathbf{\tau} \cdot \mathbf{k}) - (\mathbf{\tau} \cdot \mathbf{k_{\perp}}) = 0</math>
Його контраваріантні координати дорівнюють:
: <math>(22)\qquad k_{\|}^i = {d \tau^i \over ds} + \Gamma_{sk}^i \tau^s \tau^k </math>

== Геодезична лінія ==
{{Докладніше|Геодезична лінія}}
Тепер ми можемо поставити питання, яка лінія на многовиді «найрівніша», тобто має найменшу кривину. Маємо:
: <math>\qquad k = \sqrt{ \mathbf{k}_{\|}^2 + \mathbf{k}_{\perp}^2} \ge k_{\perp}</math>
Тобто кривина лінії не може бути менша за кривину многовида в даному напрямку. Рівність досягається тоді, коли крива має нульову геодезичну кривину:
: <math>(23)\qquad {d \tau^i \over ds} + \Gamma_{jk}^i \tau^j \tau^k = 0</math>
Вважаючи метрику заданою (тобто відомими функції координат <math>g_{ij} = g_{ij}(u)</math>, а отже і <math>\Gamma_{ij}^k = \Gamma_{ij}^k(u)</math>), ми одержуємо з (23) систему <math>n</math> [[Звичайні диференціальні рівняння|звичайних диференціальних рівнянь]] другого порядку відносно <math>n</math> невідомих функцій <math>u^1(s), u^2(s), ... u^n(s)</math>:
: <math>(24)\qquad {d^2 u^i \over ds^2} + \Gamma_{jk}^i(u) {d u^j \over ds} {d u^k \over ds} = 0</math>
Це рівняння можна розв'язувати як задачу Коші, задавши початкову точку <math>u^i_{(0)}</math> і одиничний вектор напрямку <math>\tau^i_{(0)}</math> в цій точці. Цей розв'язок завжди існує, якщо символи Крістофеля є обмеженими неперервними функціями. Розв'язок цього рівняння приймемо за означення [[Геодезична лінія|геодезичної лінії]].
Ми вже бачили дві властивості геодезичної лінії&nbsp;— ця лінія має нульову геодезичну кривину, а також має найменшу кривину в охоплюючому евклідовому просторі серед усіх кривих, що лежать на многовиді і мають спільну дотичну.
Геодезична лінія має ще дві важливі властивості: по-перше, дотичний вектор переноситься паралельно вздовж кривої, а по-друге, для двох достатньо близьких точок на многовиді, найкоротшою кривою на многовиді, що сполучає ці точки, є відрізок геодезичної лінії.
Про останню властивість треба зробити два зауваження&nbsp;— <math>1</math>. у псевдо-евклідовому просторі (скалярний квадрат вектора може бути і додатнім і від'ємним) це можливо не так, але навіть в евклідовому просторі я не знаю доведення додатньої визначеності квадратичної форми другої варіації; 2. перша варіація довжини кривої дорівнює нулю на геодезичній, як в евклідовому, так і в псевдоевклідовому просторах.
Далі, остання властивість допускає узагальнення на підмноговиди розмірності <math>p = 2...n-1</math>. А саме ми можемо задати «рамку», або край розмірності <math>p-1</math>, і шукати многовид з цим краєм, який має мінімальну «площу» (подібно мильній плівці у рамці).

== Кривина многовида вздовж дотичної прямої ==

Для кривої на многовиді ми мали:
       
: <math>(25)\qquad \mathbf{k}_{\perp} = \mathbf{b}_{ij} \tau^i \tau^j</math>
Як бачимо, ця величина залежить тільки від напрямку одиничного вектора <math>\tau^i</math>, причому вона однакова для протилежних векторів <math>\tau^i</math> і <math>-\tau^i</math>, (тобто залежить тільки від прямої, на якій лежать ці вектори).
Можна розглядати і не тільки одиничні вектори, в цьому випадку формула (25) зміниться на:
: <math>(26)\qquad \mathbf{k}_{\perp} = {{\mathbf{b}_{ij} v^i v^j} \over {g_{ij} v^i v^j}}</math>
Квадратичну форму <math>{\mathbf{b}_{ij} v^i v^j}</math> називають першою, а <math>g_{ij} v^i v^j</math> другою.

Як бачимо, вся інформація про кривину многовида міститься у векторах <math>\mathbf{b}_{ij}</math>.

== Тензор внутрішньої кривини (тензор Рімана) ==

Кривину многовида можна помітити із середини. Очевидно, що внутрішня кривина має бути тензорною величиною, щоб не залежати від системи координат.
Ми маємо два тензорних об'єкта внутрішньої геометрії&nbsp;— метричний тензор <math>g_{ij}</math> та коваріантну похідну <math>\nabla_i</math>. Обмежуючись тільки ними, ми нічого нового не одержимо, оскільки коваріантна похідна метричного тензора дорівнює нулю (<math>\nabla_k g{ij} = 0</math>). Тому розглянемо ще один об'єкт&nbsp;— (довільне) тензорне поле, і будемо повторно застосовувати до нього коваріантну похідну. У випадку евклідового простору похідні по різних координатах комутують між собою: <math>\partial_i \partial_j T = \partial_j \partial_i T</math>. Для кривого многовида ця властивість невірна. Позначимо за допомогою квадратних дужок комутатор коваріантних похідних (різницю між добутком і перставленим добутком):
: <math>\qquad [\nabla_i \nabla_j] = \nabla_i \nabla_j - \nabla_j \nabla_i</math>

Будемо рухатись від найпростішого. Розглянемо скалярне поле <math>\phi</math> (тензор нульового рангу).
: <math>\qquad \nabla_i (\nabla_j \phi) = \partial_i (\nabla_j \phi) - \Gamma_{ij}^k \nabla_k \phi = \partial_i \partial_j \phi - \Gamma_{ij}^k \nabla_k \phi </math>
Як бачимо, обидва доданки в останній сумі симетричні за індексами <math>i, j</math>. Тому:
: <math>\qquad [\nabla_i \nabla_j] \phi = 0</math>

Тепер розглянемо коваріантний вектор <math>a_i</math> (тензор першого рангу). Розпишемо другу коваріантну похідну:
: <math>\qquad \nabla_j (\nabla_k a_i) = \partial_j (\nabla_k a_i) - \Gamma_{jk}^s \nabla_s a_i - \Gamma_{ij}^s \nabla_k a_s = \partial_j (\partial_k a_i - \Gamma_{ik}^s a_s) - \Gamma_{jk}^s \nabla_s a_i - \Gamma_{ij}^s (\partial_k a_s - \Gamma_{sk}^p a_p) = </math>
: <math> \qquad = (\partial_j \partial_k a_i - \Gamma_{jk}^s \nabla_s a_i) - (\Gamma_{ik}^s \partial_j a_s + \Gamma_{ij}^s \partial_k a_s) - (\partial_j \Gamma_{ik}^s)a_s + \Gamma_{ij}^s \Gamma_{sk}^p a_p</math>

В останній сумі ми виділили на початку суми два доданки (кожен з них взято в дужки), які симетричні за індексами <math>j, k</math>. В останньому доданку цієї ж суми можна переставити місцями індекси <math>s, p</math> за якими проходить згортка. Остаточно маємо для комутатора:
: <math>(27)\qquad[\nabla_j \nabla_k] a_i = -R^s_{\,ijk} a_s</math>
де введено позначення:
: <math>(28)\qquad R^s_{\,ijk} = \partial_j \Gamma_{ik}^s - \partial_k \Gamma_{ij}^s + \Gamma_{ik}^p \Gamma_{pj}^s - \Gamma_{ij}^p \Gamma_{pk}^s</math>
Оскільки в лівій частині формули (27) стоїть тензорна величина, і вектор <math>a_s</math> є тензором першого рангу, то звідси слідує, що і щойно введена величина <math>R^s_{\,ijk}</math> є тензором. Цей тензор вперше відкрив німецький математик [[Ріман Бернгард|Бернгард Ріман]] ([[1854]]).

== Див. також ==
* [[Диференціальна геометрія кривих]]

== Посилання ==
* [http://esu.com.ua/search_articles.php?id=24415  Диференціальна геометрія ] {{Webarchive|url=https://web.archive.org/web/20160422025203/http://esu.com.ua/search_articles.php?id=24415 |date=22 квітня 2016 }} //[[ЕСУ]]

== Навчальні матеріали ==
* {{ref-uk}} ''Курс лекцій з диференціальної геометрії'', Сергій Максименко ([[Інститут математики НАН України]]), {{YouTube|playlist=PLmHyZ3t74VpxZvbdZhBp0cefvRIA8NFUG}}.
* {{ref-en}} ''A beginner's course on Differential Geometry'', N. J. Wildberger ([[Університет Нового Південного Уельсу|University of New South Wales]]), {{YouTube|playlist=PLIljB45xT85DWUiFYYGqJVtfnkUFWkKtP}}.

== Література ==
=== Українською ===
* {{Борисенко.Диференціальна геометрія і топологія}}
* О. Пришляк, [https://www.imath.kiev.ua/~prish/stud/Prish-DG.pdf Диференціальна геометрія] {{Webarchive|url=https://web.archive.org/web/20220121103656/https://www.imath.kiev.ua/~prish/stud/Prish-DG.pdf |date=21 січня 2022 }}, [[Київський національний університет імені Тараса Шевченка]], 2004.
=== Іншими мовами ===

* {{ref-ru}} {{Книга
 |автор = [[Погорєлов Олексій Васильович|Погорєлов О. В.]]
 |рік = 1974
 |заголовок = Диференціальна геометрія
 |посилання = https://archive.org/details/B-001-014-363
 |місце = М.
 |видавництво = Наука
 |isbn = 5-93972-068-4
 |сторінок = 184
 |language=ru}}
* {{ref-en}} Joel W. Robbin, Dietmar A. Salamon, [https://people.math.ethz.ch/~salamon/PREPRINTS/diffgeo.pdf Introduction to Differential Geometry] {{Webarchive|url=https://web.archive.org/web/20200926041642/https://people.math.ethz.ch/~salamon/PREPRINTS/diffgeo.pdf |date=26 вересня 2020 }}, [[Федеральна вища технічна школа Цюриха| ETH Zürich]], 2020.
* {{ref-ru}} Гусейн-Заде С. М., [http://eqworld.ipmnet.ru/ru/library/books/Gusejn-Zade2001ru.pdf Лекции по дифференциальной геометрии] {{Webarchive|url=https://web.archive.org/web/20220121082211/http://eqworld.ipmnet.ru/ru/library/books/Gusejn-Zade2001ru.pdf |date=21 січня 2022 }}, [[Московський державний університет імені М. В. Ломоносова| МГУ]], 2001.

{{додаткові джерела|дата=вересень 2018}}

{{geometry-stub}}

{{Розділи математики|state=collapsed}}

[[Категорія:Диференціальна геометрія|*]]