Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
предыдущего параграфа существует также взаимно однозначное соответствие между системами корней в
Очевидно, это соответствие является изометрией с точностью до множителя
Пусть
произвольные корни алгебры
Тогда имеем
Такое же соотношение должно выполняться для алгебры
Нетрудно видеть, что это возможно только при
Теперь мы попросту можем отождествить системы корней в
Используя базис Картана — Вейля, заключаем, что
изоморфны как линейные пространства. Далее, условимся, что корневые векторы
нормированы одним и тем же соотношением
тогда
и остается исследовать соотношения коммутации вида
Покажем, что за счет перенормировки базиса
можно добиться выполнения равенства
для всех
Заметим, что множество
вполне упорядочено. Введем обозначение
для множества всех ненулевых корней а, для которых
Если корень а непосредственно следует за
то мы имеем
Следовательно, в нашем распоряжении имеется возможность конечной индукции по возрастающему индексу
Допустим, что равенство
уже доказано для всех корней
таких, что
Добавляя корень
мы приходим к рассмотрению троек
, у которых хотя бы один из элементов совпадает с
Полагая а
приходим к рассмотрению троек
, а
которых хотя бы один из элементов совпадает с
Ясно, что этим свойством может обладать лишь один из элементов
Рассмотрим отдельно следующие возможные случаи.
1. Корень
невозможно представить в виде суммы а
В этом случае корень
вообще невозможно представить в виде суммы двух
элементам
легко получаем равенство
Такое же равенство должно иметь место для
Заметим, что
Следовательно, в последних двух членах получаемой суммы штрихи можно опустить. В результате
(напомним, что
), и отсюда
Аналогично,
Теорема доказана.
Следствие. Всякий автоморфизм подалгебры
сохраняющий систему корней, может быть продолжен до автоморфизма всей алгебры X, т. е. до линейного отображения
при котором
Замечание 1. Пусть
матрица скалярных произведений всех корней
Как мы видели при доказательстве теоремы 4,
где штрих означает транспонирование (и также
поскольку
). Поскольку
вещественно, то отсюда вытекает, что матрица
является положительно определенной.
Замечание 2. Применим следствие из теоремы 4 к автоморфизму
в алгебре
Пусть
продолжение этого автоморфизма на алгебру
тогда, очевидно,
Поскольку форма Киллинга — Картана должна сохраняться при автоморфизме, то мы имеем
откуда
Полагая
получаем новые корневые векторы
для которых
Следовательно, векторы
можно с самого начала считать нормированными так, чтобы отображение