Однородное пространство

Однородное пространство — множество X с выделенным транзитивным действием группы G.

• Элементы X называются точками однородного пространства.
• Элементы G называются симметриями пространства, а сама группа G называется группой движений или основной группой однородного пространства.
• Подгруппа ${\displaystyle H_{x}<G}$, фиксирующая элемент ${\displaystyle x\in X}$, называется стабилизатором ${\displaystyle x}$.
• Если множество X наделено дополнительной структурой, например, метрикой, топологией или гладкой структурой, то обычно предполагается, что действие G сохраняет эту структуру. Например, в случае метрики действие предполагается изометрическим. Аналогично, если X является гладким многообразием, то элементы группы являются диффеоморфизмами.

• Все стабилизаторы являются сопряжёнными подгруппами.
• Однородное пространство с основной группой G можно отождествить с левыми классами смежности стабилизатора H. В этом случае левое действие G на себе порождает действие на пространстве классов смежности G/H.

Метрические пространства

• Евклидово пространство ${\displaystyle \mathbb {E} ^{n}}$ с действием группы изометрий; стабилизатором этого действия является группа ${\displaystyle \mathrm {O} (n)}$ ортогональных преобразований.
• Стандартная сфера ${\displaystyle \mathbb {S} ^{n}}$ со следующими действиями:
  • Группы ${\displaystyle \mathrm {O} (n)}$ ортогональных преобразований; стабилизатор этого действия изоморфен группе ${\displaystyle \mathrm {O} (n-1)}$.
  • Группы ${\displaystyle \mathrm {SO} (n)}$ — специальной ортогональной группы; стабилизатор этого действия изоморфен группе ${\displaystyle \mathrm {SO} (n-1)}$.
• Пространство Лобачевского с действием группы Лоренца.
• Антидеситтеровское пространство: ${\displaystyle \mathrm {AdS} _{n+1}=\mathrm {O} (2,n)/\mathrm {O} (1,n)}$.
• Грассманиан: ${\displaystyle \mathrm {Gr} (r,n)=\mathrm {O} (n)/(\mathrm {O} (r)\times \mathrm {O} (n-r))}$.

Другие

• Аффинное пространство (для аффинной группы, точечный стабилизатор полной линейной группы): ${\displaystyle \mathbf {A} ^{n}=\mathrm {Aff} (n,K)/\mathrm {GL} (n,k)}$.
• Топологические векторные пространства (в топологическом смысле).

• Метрическое пространство ${\displaystyle X}$ называется ${\displaystyle n}$ точечно однородным, если изометрического отображения ${\displaystyle n}$-точечно подмножества ${\displaystyle K\subset X}$ в ${\displaystyle X}$ можно продолжить до изометрии ${\displaystyle X}$
• Аналогично определяются конечно однородные, счётно однородные, компактно однородные пространства и так далее.
• Двойное фактор-пространство ${\displaystyle G/\!/H}$ — фактор группы ${\displaystyle G}$ по подгруппе ${\displaystyle H<G\times G}$, действующей на ${\displaystyle G}$ справа и слева.
• Предоднородные векторные пространства — конечномерное векторное пространство V с действием алгебраической группы G такое, что существует орбита G, открытая в топологии Зарисского (а потому плотная). Примером является группа GL(1), действующая в одномерном пространстве. Идею предоднородных векторных пространств предложил Микио Сато.

• Однородность пространства

• Л. Д. Ландау, Е. М. Лифшиц. Теоретическая физика. В 10 томах. — М.: «Наука», 1988. — Т. 2. — ISBN 5-02-014420-7.
• Steven Weinberg. Gravitation and Cosmology (англ.). — John Wiley and Sons, 1972.
• John Milnor, James D. Stasheff. Characteristic Classes (англ.). — Princeton University Press, 1974. — ISBN 0-691-08122-0.
• Takashi Koda. An Introduction to the Geometry of Homogeneous Spaces (англ.). — Kyungpook National University.
• Menelaos Zikidis. Homogeneous Spaces (англ.). — Heidelberg University.
• Shoshichi Kobayashi, Katsumi Nomizu. chapter X // Foundations of Differential Geometry (англ.). — Wiley Classics Library, 1969. — Vol. 2.