WikiDer > Распараллеливание (математика)

Parallelization (mathematics)

В математика, а распараллеливание^[1] из многообразие ${ Displaystyle M ,}$ измерения п это набор п Глобальный линейно независимый векторные поля.

Формальное определение

Учитывая многообразие ${ Displaystyle M ,}$ измерения п, а распараллеливание из ${ Displaystyle M ,}$ это набор ${ displaystyle {X_ {1}, dots, X_ {n} }}$ из п векторные поля, определенные на все из ${ Displaystyle M ,}$ так что для каждого ${ Displaystyle р в М ,}$ набор ${ Displaystyle {X_ {1} (p), dots, X_ {n} (p) }}$ это основа из ${ displaystyle T_ {p} M ,}$ , куда ${ displaystyle T_ {p} M ,}$ обозначает слой над ${ displaystyle p ,}$ из касательное векторное расслоение ${ Displaystyle TM ,}$ .

Многообразие называется распараллеливаемый всякий раз, когда он допускает распараллеливание.

Примеры

Каждый Группа Ли это параллелизируемое многообразие.
Продукт параллелизуемого коллекторы распараллеливается.
Каждый аффинное пространство, рассматриваемое как многообразие, распараллеливается.

Характеристики

Предложение. Многообразие ${ Displaystyle M ,}$ распараллеливаема тогда и только тогда, когда существует диффеоморфизм ${ Displaystyle phi двоеточие TM longrightarrow M times { mathbb {R} ^ {n}} ,}$ так что первая проекция ${ displaystyle phi ,}$ является ${ Displaystyle тау _ {M} двоеточие TM longrightarrow M ,}$ и для каждого ${ Displaystyle р в М ,}$ второй фактор - ограничен ${ displaystyle T_ {p} M ,}$ - линейная карта ${ displaystyle phi _ {p} двоеточие T_ {p} M rightarrow { mathbb {R} ^ {n}} ,}$ .

Другими словами, ${ Displaystyle M ,}$ распараллеливаема тогда и только тогда, когда ${ Displaystyle тау _ {M} двоеточие TM longrightarrow M ,}$ это тривиальный пучок. Например, предположим, что ${ Displaystyle M ,}$ является открытое подмножество из ${ Displaystyle { mathbb {R} ^ {n}} ,}$ , т.е. открытое подмногообразие в ${ Displaystyle { mathbb {R} ^ {п}} ,}$ . потом ${ Displaystyle TM ,}$ равно ${ Displaystyle M times { mathbb {R} ^ {n}} ,}$ , и ${ Displaystyle M ,}$ явно распараллеливается.^[2]