Векторный поток - Vector flow

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

• экспоненциальное отображение (риманова геометрия)
  • матрица экспонента
  • экспоненциальная функция
• бесконечно малый генератор (→ группа Ли)
• интегральная кривая (→ векторное поле)
• однопараметрическая подгруппа
• поток (геометрия)
  • геодезический поток
  • Гамильтонов поток
  • Риччи поток
  • Аносов поток
• радиус приемистости (→ глоссарий)

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

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

Позволять 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) = п и ${\displaystyle {\dot {\gamma }}(0)=V.}$ Позволять D_п быть подмножеством Т_пM для которого 1 лежит в я.

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

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

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

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

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

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

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

• Векторный поток градиента