反射群， 根系与格

MATHTH 笔记

1 反射与反射群

设 为实数域 上的欧氏空间， 对于任意的 , 我们称映射

为 关于法向为 的镜面反射， 或者称其为由 确定的镜面反射。

命题： 设 为 欧式空间 上的镜面反射，则

• , 即 .

• 是线性映射， 即
  

  且
  
  也就是说反射是保持距离的。

我们称欧氏空间 上若干反射生成的子群为反射变换群。

2. 根系

设 为实数域 上的欧氏空间， 为 上的若干非零元构成的集合，如果 满足

• 张成整个向量空间 ,
• 若 , , 则 当且仅当 ,
• 对于任意的 , ,
• 对于任意的 , 有

则我们称 为空间 上的一组根系.

注意：

• 根系中不包含零向量

• 根系在在向量空间 中不是线性无关的。

• 整性的要求是相当苛刻的，其动机在于对于根系内部的向量而已，一个向量关于另一个向量的反射只能用这个向量减去另一个向量的整数倍，这个要求就是个很强的要求。

• 当然对于任意给定的欧氏空间， 其实的根系一定有无穷多个， 因此如何选择一组比较典型的是很关键的。

例： 设

构成欧氏平面 的一组根系， 其中

例 对于任意的,

都是欧氏直线 上的根系。

设 , 为 欧氏空间 上的一个根系， 为 的一个非空子集， 如果 满足

• 构成欧氏空间 的一组基，
• 可以被 线性表出，且每个根的表出系数都同为非正或者同为非负的整数， 即若 ，则

且

则我们称 为 的一个基础根系。

必须要注意：西方人的语言的逻辑是有毛病的， 基础根系不是根系，因此前面的基础两个字不能用中文语言的逻辑来理解。当然，一个根系是否存在基础根系现在看来不是一目了然的事情。

设 , 为 欧氏空间 上的一个根系，, 如果

则我们称 为关于根系 的正则元， 其中

为以 为法向的镜面.

必须要注意： 对于任意一个向量空间，其有限多个子空间是并不称整个空间的， 这个是维数的问题，所以向量空间的线性运算是相当重要的。

命题： 设 是关于根系 的正则元，则

其中

注 .

例： 对于欧氏平面 的一组根系

而言， 关于根系 而言是一个正则元，此时

设 是关于根系 的正则元，我们称 在 中是可分解的，如果存在 , 使得

否则我们称 在 中是不可分解的。

定理： 设 是关于欧氏空间 的一组根系 的正则元，我们记 为 中不可分解的根所构成的集合， 则 构成根系 的一组基础根系。

注意： 这个定理给出了我们如何从一组根系中挑选出基础根系的办法，它同时解决了存在性和构造性的问题。

例： 对于欧氏平面 的一组根系

而言， 关于根系 而言是一个正则元，此时

就是 的一组基础根系， 当然，如果选取别的正则元，当然可能会挑出不一样的基础根系出来。

格