Система корней

29-04-2021, 06:43

Система корней (корневая система) в математике — конфигурация векторов в евклидовом пространстве, удовлетворяющая определённым геометрическим свойствам.

Эта концепция является фундаментальной в теории групп Ли и алгебр Ли. Диаграммы Коксетера — Дынкина использующиеся при классификации систем корней встречается в разделах математики, не связанных явно с группами Ли, например, в теории сингулярностей.

Определение

Пусть V {displaystyle V} — конечномерное евклидово пространство с обычным скалярным произведением обозначаемым как ( ⋅ , ⋅ ) {displaystyle (cdot ,;cdot )} . Система корней в V {displaystyle V} — это конечное множество Φ {displaystyle Phi } ненулевых векторов (называемых корнями), которые удовлетворяют следующим свойствам.

  • V {displaystyle V} является линейной оболочкой системы корней.
  • Если два корня α ∈ Φ {displaystyle alpha in Phi } , β ∈ Φ {displaystyle eta in Phi } являются коллинеарными векторами, то либо они совпадают, либо β = − α . {displaystyle eta =-alpha .}
  • Для каждого корня α ∈ Φ {displaystyle alpha in Phi } множество Φ {displaystyle Phi } замкнуто относительно отражения в гиперплоскости, перпендикулярной α . {displaystyle alpha .} То есть для любых двух корней α {displaystyle alpha } и β {displaystyle eta } множество Φ {displaystyle Phi } содержит отражение β {displaystyle eta } σ α ( β ) = β − 2 ( α , β ) ( α , α ) α ∈ Φ . {displaystyle sigma _{alpha }(eta )=eta -2{frac {(alpha ,;eta )}{(alpha ,;alpha )}}alpha in Phi .}
  • (Целостное условие) Если α {displaystyle alpha } и β {displaystyle eta } есть корни в Φ , {displaystyle Phi ,} то проекция β {displaystyle eta } на прямую, проходящую через α , {displaystyle alpha ,} есть полуцелое кратное α . {displaystyle alpha .} То есть ⟨ β , α ⟩ = 2 ( α , β ) ( α , α ) ∈ Z . {displaystyle langle eta ,;alpha angle =2{frac {(alpha ,;eta )}{(alpha ,;alpha )}}in mathbb {Z} .}
  • Замечания

    • С учётом свойства 3, целостное условие эквивалентно утверждению, что разность между β {displaystyle eta } и его отражением σ α ( β ) {displaystyle sigma _{alpha }(eta )} равна корню α , {displaystyle alpha ,} умноженному на некоторое целое число.
    • Оператор ⟨ ⋅ , ⋅ ⟩ : Φ × Φ → Z , {displaystyle langle cdot ,;cdot angle colon Phi imes Phi o mathbb {Z} ,}
    определённый свойством 4, не является внутренним произведением. Он, вообще говоря, не симметричен и линеен только по первому аргументу.

    Размерность V {displaystyle V} называют рангом системы корней.

    Классификация систем корней по схемам Дынкина

    Примеры систем корней ранга 1 и ранга 2

    Существует только одна система корней ранга 1. Она состоит из двух ненулевых векторов { α , − α } . {displaystyle {alpha ,;-alpha }.} Эта система называется A 1 . {displaystyle A_{1}.}

    В ранге 2 существуют четыре возможных варианта σ α ( β ) = β + n α , {displaystyle sigma _{alpha }(eta )=eta +nalpha ,} где n = 0 , 1 , 2 , 3. {displaystyle n=0,;1,;2,;3.}


  • Континуанта
  • Хеммингова сфера
  • Метод Феррари
  • Уравнение переноса
  • Число Коксетера

  •  

    • Яндекс.Метрика
    • Индекс цитирования