Пусть — конечномерное евклидово пространство с обычным скалярным произведением обозначаемым как . Система корней в — это конечное множество ненулевых векторов (называемых корнями), которые удовлетворяют следующим свойствам.
Целостное условие для заставляет лежать на одной из вертикальных прямых. Комбинирование этого условия с целостным условием для сводит возможные углы между и не более чем к двум, для каждой из вертикальных прямых.
Для каждого корня множество замкнуто относительно отражения в гиперплоскости, перпендикулярной То есть для любых двух корней и множество содержит отражение
(Целостное условие) Если и есть корни в то проекция на прямую, проходящую через есть полуцелое кратное То есть
Замечания
С учётом свойства 3, целостное условие эквивалентно утверждению, что разность между и его отражением равна корню умноженному на некоторое целое число.
Оператор
определённый свойством 4, не является внутренним произведением. Он, вообще говоря, не симметричен и линеен только по первому аргументу.
Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.
2019-2025 WikiSort.ru - проект по пересортировке и дополнению контента Википедии