WikiDer > Векторный поток - Википедия

Vector flow - Wikipedia

В математика, то векторный поток относится к набору тесно связанных концепций поток определяется векторное поле. Они появляются в разных контекстах, включая дифференциальная топология, Риманова геометрия и Группа Ли теория. Эти связанные концепции исследуются в ряде статей:

Векторный поток в дифференциальной топологии

Соответствующие концепции: (поток, инфинитезимальный генератор, интегральная кривая, полное векторное поле)

Позволять V - гладкое векторное поле на гладком многообразии M. Есть единственный максимальный поток D → M чей бесконечно малый генератор является V. Здесь D ⊆ р × M это область потока. Для каждого п ∈ M карта Dп → M единственный максимальный интегральная кривая из V начинается с п.

А глобальный поток это тот, область потока которого все р × M. Глобальные потоки определяют плавные действия р на M. Векторное поле полный если он генерирует глобальный поток. Каждое гладкое векторное поле на компактном многообразии без края полно.

Векторный поток в римановой геометрии

Соответствующие концепции: (геодезическая, экспоненциальная карта, радиус инъективности)

В экспоненциальная карта

опыт: ТпM → M

определяется как exp (Икс) = γ (1) где γ: я → M единственная геодезическая, проходящая через п в 0 и чей касательный вектор в 0 равен Икс. Здесь я - максимальный открытый интервал р для которого определена геодезическая.

Позволять M - псевдориманово многообразие (или любое многообразие с аффинная связь) и разреши п быть точкой в M. Тогда для каждого V в ТпM существует единственная геодезическая γ: я → M для которого γ (0) = п и Позволять Dп быть подмножеством ТпM для которого 1 лежит в я.

Векторный поток в теории групп Ли

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

Каждое левоинвариантное векторное поле на группе Ли полно. В интегральная кривая начиная с идентичности однопараметрическая подгруппа из грамм. Есть однозначные соответствия

{однопараметрические подгруппы грамм} ⇔ {левоинвариантные векторные поля на грамм} ⇔ грамм = Теграмм.

Позволять грамм группа Ли и грамм его алгебра Ли. В экспоненциальная карта это карта exp: грамм → грамм заданный как exp (Икс) = γ (1) где γ - интегральная кривая, начинающаяся в единице в грамм создано Икс.

  • Экспоненциальное отображение гладкое.
  • За фиксированный Икс, карта т ↦ ехр (tX) - однопараметрическая подгруппа группы грамм создано Икс.
  • Экспоненциальное отображение ограничивается диффеоморфизмом из некоторой окрестности 0 в грамм в район е в грамм.
  • Образ экспоненциального отображения всегда лежит в связной компоненте тождества в грамм.

Смотрите также