MATHTH 筆記
1 反射與反射群
設 為實數(shù)域
上的歐氏空間鸵隧, 對于任意的
, 我們稱映射
為 關(guān)于法向為
的鏡面反射张弛, 或者稱其為由
確定的鏡面反射荒典。
命題: 設 為 歐式空間
上的鏡面反射,則
, 即
.
-
是線性映射吞鸭, 即
且
也就是說反射是保持距離的。
我們稱歐氏空間 上若干反射生成的子群為反射變換群刻剥。
2. 根系
設 為實數(shù)域
上的歐氏空間螃征,
為
上的若干非零元構(gòu)成的集合,如果
滿足
-
張成整個向量空間
,
- 若
,
, 則
當且僅當
,
- 對于任意的
,
,
- 對于任意的
, 有
則我們稱 為空間
上的一組根系.
注意:
根系中不包含零向量
根系在在向量空間
中不是線性無關(guān)的盯滚。
整性的要求是相當苛刻的踢械,其動機在于對于根系內(nèi)部的向量而已,一個向量關(guān)于另一個向量的反射只能用這個向量減去另一個向量的整數(shù)倍魄藕,這個要求就是個很強的要求内列。
當然對于任意給定的歐氏空間, 其實的根系一定有無窮多個背率, 因此如何選擇一組比較典型的是很關(guān)鍵的话瞧。
例: 設
構(gòu)成歐氏平面 的一組根系, 其中
例 對于任意的,
都是歐氏直線 上的根系寝姿。
設 , 為 歐氏空間
上的一個根系交排,
為
的一個非空子集, 如果
滿足
-
構(gòu)成歐氏空間
的一組基饵筑,
-
可以被
線性表出埃篓,且每個根的表出系數(shù)都同為非正或者同為非負的整數(shù), 即若
根资,則
且
則我們稱 為
的一個基礎根系架专。
必須要注意:西方人的語言的邏輯是有毛病的, 基礎根系不是根系玄帕,因此前面的基礎兩個字不能用中文語言的邏輯來理解部脚。當然,一個根系是否存在基礎根系現(xiàn)在看來不是一目了然的事情裤纹。
設 , 為 歐氏空間
上的一個根系委刘,
, 如果
則我們稱 為關(guān)于根系
的正則元, 其中
為以 為法向的鏡面.
必須要注意: 對于任意一個向量空間鹰椒,其有限多個子空間是并不稱整個空間的钱雷, 這個是維數(shù)的問題,所以向量空間的線性運算是相當重要的吹零。
命題: 設 是關(guān)于根系
的正則元罩抗,則
其中
注 .
例: 對于歐氏平面 的一組根系
而言, 關(guān)于根系
而言是一個正則元灿椅,此時
設 是關(guān)于根系
的正則元套蒂,我們稱
在
中是可分解的,如果存在
, 使得
否則我們稱 在
中是不可分解的茫蛹。
定理: 設 是關(guān)于歐氏空間
的一組根系
的正則元操刀,我們記
為
中不可分解的根所構(gòu)成的集合, 則
構(gòu)成根系
的一組基礎根系婴洼。
注意: 這個定理給出了我們?nèi)绾螐囊唤M根系中挑選出基礎根系的辦法骨坑,它同時解決了存在性和構(gòu)造性的問題。
例: 對于歐氏平面 的一組根系
而言, 關(guān)于根系
而言是一個正則元欢唾,此時
就是 的一組基礎根系且警, 當然,如果選取別的正則元礁遣,當然可能會挑出不一樣的基礎根系出來斑芜。