2010-09-17

線代上
P3-40 注意事項3-16(5)
span(S)是包含S的最小子空間

請問要從定理3-10的證明的哪邊看出"最小"?

題庫P5-36
解答第五行:
為何span{(1,1,1),(-1,0,2),(-1,2,-1)}只是包含於W而非等於W?

1 則留言:

線代離散助教(wynne) 提到...

1. 定理3-10的(2)翻成白話文就是span(S)會包含於任一個包含 S 的 V 的子空間, 也就是說任一個包含 S 的子空間都至少會有span(S)那麼大, 而因為span(S)本身就是一個包含 S 的子空間, 所以span(S)會是包含 S 之最小的subspace

2. 題庫P5-36: span{...}是包含於 W 也是等於 W, 只是等於 W 的結果是由後面的推論而來的, 我們一開始根據invariant subspace的定義只能確保那三個向量必定會屬於 W 所以 span{(1,1,1),(-1,0,2),(-1,2,-1)}⊆W, 而這兩個集合確實會相等, 是在我們檢查了這三個向量彼此線性獨立以後才得到的結果