Перейти до вмісту

Майже декартові координати в точці многовида

Матеріал з Вікіпідручника

Для будь-якої точки многовиду можна підібрати таку систему координат , яка матиме початок координат в точці , метричний тензор в початку координат буде одиничною матрицею:

а всі символи Крістофеля (або що еквівалентно, всі перші похідні метричного тензора) в початку координат дорівнюють нулю:

Доведення (знаходження спеціальної системи координат)

[ред.]

Нехай в околі точки було задано довільну систему координат . Позначимо координати самої точки значком внизу координати, взятим в дужки (щоб не плутати з індексами):

Нові координати (які дорівнюють нулю в точці ) виражаються через старі функціями , які ми можемо розкласти в ряд Тейлора:

Наша задача — підібрати такі (постійні) коефіцієнти, щоб виконувалась шукана властивість. Диференціюючи (1) маємо (властивість коефіцієнтів ряду Тейлора):

За умовою задачі, в точці метричний тензор в новій системі координат виражається одиничною матрицею:

При зміні системи координат на многовиді, метричний тензор змінюється за законом:

Отже в точці маємо:

Позначивши матриці і , запишемо (3) у матричній формі:

Це матричне рівняння можна розвязати відносно :

Де  — довільна ортогональна матриця. Наявність цієї ортогональної матриці говорить про те, що шукана система координат не єдина, інші розвязки одержуються поворотами (в лінійному наближенні, враховуючи члени другого та вищих порядків ми одержимо деформації при таких «поворотах»).

Отже коефіцієнти ми знайшли (формула 4). Займемося тепер коефіцієнтами .

Як відомо (див. Диференціальна геометрія), при зміні координат символи Крістофеля змінюються за законом:

Оскільки в точці другий доданок в дужках дорівнює нулю за умовою задачі, то

звідки знаходимо (уже однозначно) коефіцієнти :

Таким чином ми знайшли такі коефіцієнти розкладу (1), що виконуються умови задачі.