問題4.1:$n$次正方行列$A$について、以下の命題の真偽を判定する。 1. ある行が $(0, 0, ..., 0)$ ならば、$A$は正則ではない。 2. $A$が正則でないならば、$A$のある行は$(0, 0, ..., 0)$である。 問題4.2:問題4.1で、「行」を「列」に置き換えた場合の真偽を検討する。
2025/5/14
1. 問題の内容
問題4.1:次正方行列について、以下の命題の真偽を判定する。
1. ある行が $(0, 0, ..., 0)$ ならば、$A$は正則ではない。
2. $A$が正則でないならば、$A$のある行は$(0, 0, ..., 0)$である。
問題4.2:問題4.1で、「行」を「列」に置き換えた場合の真偽を検討する。
2. 解き方の手順
問題4.1
1. 命題1の証明:
のある行が であると仮定する。
行列式 は、任意の行に関する余因子展開によって計算できる。
である行で余因子展開すると、行列式は0となる。
であるとき、 は正則ではない。
したがって、命題1は真である。
2. 命題2の反例:
が正則でないとき、 のある行が であるとは限らない。
例えば、 を考える。
なので、 は正則ではない。
しかし、 の行には はない。
別の例として、を考えると、なので正則ではないが、ゼロの行は存在しない。
したがって、命題2は偽である。
問題4.2
問題4.1の「行」を「列」に置き換えて考える。
1. 命題1の修正版:
のある列が ならば、は正則ではない。
これは、問題4.1の命題1と同様に真である。
行列式 は、任意の列に関する余因子展開によって計算できる。
である列で余因子展開すると、行列式は0となる。
であるとき、 は正則ではない。
2. 命題2の修正版:
が正則でないならば、のある列はである。
これは、問題4.1の命題2と同様に偽である。
反例も同様に、が挙げられる。
3. 最終的な答え
問題4.1:
1. 命題1: 真
2. 命題2: 偽
問題4.2: