$R^3$ の数ベクトル $a_1, a_2, a_3$ について、命題「組 $a_1, a_2$ と組 $a_2, a_3$ と組 $a_3, a_1$ がどれも一次独立ならば、組 $a_1, a_2, a_3$ は一次独立である」が正しいかどうかを判定し、真ならば証明、偽ならば反例を挙げる。
2025/7/18
## 問題 (3)
1. 問題の内容
の数ベクトル について、命題「組 と組 と組 がどれも一次独立ならば、組 は一次独立である」が正しいかどうかを判定し、真ならば証明、偽ならば反例を挙げる。
2. 解き方の手順
この命題は偽である。反例を挙げる。
, , とする。
と は一次独立である。なぜなら、 ならば だから。
と は一次独立である。なぜなら、 ならば となるので かつ 。従って かつ 。
と は一次独立である。なぜなら、 ならば となるので かつ 。従って かつ 。
しかし、, , は一次独立ではない。なぜなら、 となるから。
3. 最終的な答え
偽
## 問題 4.(1)
1. 問題の内容
は 2 次正方行列とする。線形写像 について、 が一次独立ならば、 も一次独立であることを示す。
2. 解き方の手順
この命題は偽である。反例を示す。
とおく。
とおく。
すると, となる。
と は一次独立ではない。
しかし、 と は一次従属であるから、条件を満たさない。
とおく。
とおく。
すると、 となる。
と は一次独立ではない。 と は一次独立である。
従って、仮定 が一次独立ならば、 も一次独立である、は成り立たない。
3. 最終的な答え
偽
## 問題 4.(2)
1. 問題の内容
は 2 次正方行列とする。線形写像 について、 とする。このとき、 が一次独立ならば、 も一次独立であることを示す。
2. 解き方の手順
を仮定する。
となる。
となる。
従って、 となる。
仮定より、 なので、 となる。
と は一次独立なので、 かつ となる。
従って、 と は一次独立である。
3. 最終的な答え
証明終わり