matlab如何求指标的权向量_齐性向量丛（三）：外尔（Weyl）群

继承上一节以及上一节继承的记号。

几何上，由

，

定义的线性映射是一个关于超平面

的反射，保持G的权的格不变并与基灵型协同。我们定义G的外尔群

就是就是由反射

，

生成的群。实际上可以证明，生成元只是那些关于单根

的反射，这些反射被称为简单反射。

对于一个外尔群中的元素

，定义它的长度

是把

写成简单反射乘积的简单反射的最少个数。所谓E的外尔腔是

的连通分支的闭包。基本腔指的是

容易证明，外尔群可迁地作用于外尔腔（其实更是简单地作用）：对于

，连接

和一个基本腔

中的一般点的连线依次经过

，则

将

带到基本腔。我们称

是

的主共轭，记作

，并定义

的指标为

。注意到这个指标其实等于

的那些正根的个数。另