Багатовид

Матеріал з Вікіпедії — вільної енциклопедії.
(Перенаправлено з Многовид)
Перейти до: навігація, пошук

Багатови́д — об'єкт, який локально має характер евклідового простору розмірності n.

Загальний опис[ред.ред. код]

Багатовид має цілочислову розмірність, яка вказує скількома параметрами (координатами) можна описати окіл довільної точки багатовида. Ідея багатовиду полягає в тому, що геометрія гладкої поверхні «у малому», тобто в околу кожної її точки, нагадує геометрію Евклідового простору. Формально: n-вимірний багатовид — це Гаусдорфів топологічний простір у якому будь-яка точка x має окіл гомеоморфний відкритій n-вимірній кулі:

f_x:U\to B_n(0,r)=\{x\in\mathbf{R}^n: ||x||<r\}, x\in U.

Завдання топологічних відображеннь f_x, які називаються картами (на зразок карт земної поверхні), є частиною структури багатовида, а сукупність усіх карт називається атласом. Якщо виконується додаткова вимога, що різні карти узгоджені між собою диференційовним чином, а саме, якщо відображення  f_x\circ (f_y)^{-1} між досить малими відкритими множинами n-вимірного Евклідового простору (визначені лише для деяких пар (x,y)) не тільки неперервні, а й гладкі, то маємо справу з гладким багатовидом.

Приклади[ред.ред. код]

Скінченний циліндр є багатовидом з межами
S^n=\{x\in\mathbf{R}^{n+1}: ||x||=1\}.

Додаткові структури на багатовидах[ред.ред. код]

Задання метричного тензора g_{ij} дозволяє знаходити відстань між двома нескінченно близькими точками, а також інтегрувати (скалярне поле) по підбагатовидах, наприклад вздовж кривих, що проходять всередині багатовида, або по об'єму самого багатовида.

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

Якщо скаляр скрізь дорівнює одиниці, то ми можемо знаходити довжини кривих і k-мірні об'єми k-мірних підбагатовидів (k \le n, де n — розмірність багатовида). Особливий інтерес становлять підбагатовиди мінімального об'єму, зокрема найкоротша лінія, що сполучає дві точки багатовида (геодезична лінія).

В околі будь-якої точки багатовида можна задати майже декартові координати такі, що початок координат буде в цій точці, метричний тензор буде одиничним, і всі перші похідні метричного тензора (або, що еквівалентно, всі символи Крістофеля) дорівнюють нулю. Другі ж похідні можна зробити нульовими далеко не завжди, для цього необхідно (і достатньо), щоб тензор Рімана дорівнював нулю. Якщо тензор Рімана тотожно дорівнює нулю в деякій зв'язній області багатовида, то в цій області можна побудувати декартові координати (з метричним тензором що дорівнює одиничній матриці g_{ij} = \delta_{ij}), отже внутрішня геометрія такого багатовиду збігається з геометрією евклідового простору (хоча при погляді зверху цей багатовид може бути, наприклад, циліндром).

Розгляд кривини багатовида виявляється набагато простішим для гіперповерхонь, коли багатовид вкладений в евклідовий простір на одиницю більшої розмірності. Практично важливим випадком гіперповерхні є двовимірні багатовиди в тривимірному просторі.

Див. також[ред.ред. код]

Література[ред.ред. код]

  • Бронштейн И. Н., Семендяев К. А. Справочник по математике для инженеров и учащихся втузов. — М.: Наука, 1980. — 976 с., ил.