Приведите и проанализируйте ошибочное «доказательство», что матрица A = [ [1,1], [1,1] ] невырождена, если в шаге вычисления детерминанта по строкам умышленно вычесть первую строку из второй и затем разделить на ноль; укажите, где происходят недопустимые операции с матрицами и как правильно проверять вырождённость
Ошибочное «доказательство» (с намеренным делением на ноль) 1) Возьмём матрицу A=(1111)A=\begin{pmatrix}1&1\\[4pt]1&1\end{pmatrix}A=(1111). 2) Выполним элементарную операцию: вычтем первую строку из второй: R2←R2−R1⇒B=(1100).
R_2\leftarrow R_2-R_1\quad\Rightarrow\quad B=\begin{pmatrix}1&1\\[4pt]0&0\end{pmatrix}. R2←R2−R1⇒B=(1010). 3) Далее злоумышленник «делит» вторую строку на её первый элемент 000 (то есть делает R2←R2/0R_2\leftarrow R_2/0R2←R2/0) и приводит матрицу к виду, где вторая строка якобы становится ненулевой, после чего утверждает, что детерминант ненулевой и матрица невырождена. Где здесь недопустимые операции - Операция R2←R2/0R_2\leftarrow R_2/0R2←R2/0 — деление строки на ноль — не определено. Масштабирование строки умножает детерминант на этот скаляр, но этот скаляр должен быть конечным и отличным от нуля. Деление на ноль — не элементарная допустимая операция и не имеет смысла ни для строк, ни для матриц. - Нельзя «делить матрицу на ноль» или умножать на обратную к нулевой скалярной величине; нельзя брать обратную к сингулярной матрице. Попытка воспользоваться несуществующим обратным элементом нарушает правила преобразований, сохраняющих детерминант/ранг. Правильная проверка вырождённости для данной матрицы - По формуле детерминанта 2×22\times22×2: detA=1⋅1−1⋅1=0.
\det A = 1\cdot1-1\cdot1=0. detA=1⋅1−1⋅1=0.
Итого AAA вырождена. - По рангу/линейной зависимости: строки одинаковы, значит ранг rankA=1<2\operatorname{rank}A=1<2rankA=1<2 ⇒ матрица вырождена. - По ядру: ненулевой вектор (1,−1)T(1,-1)^T(1,−1)T удовлетворяет A(1,−1)T=(0,0)TA(1,-1)^T=(0,0)^TA(1,−1)T=(0,0)T, значит нулевой собственный вектор есть, нулевое собственное значение — признак сингулярности. Краткое резюме: допустимые элементарные операции — перестановка строк (меняет знак детерминанта), прибавление кратного одной строки к другой (детерминант не меняется), умножение строки на ненулевой скаляр (детерминант умножается на этот скаляр). Любые действия «деления на ноль» или использование обращения сингулярной матрицы — недопустимы и именно они делают указанное «доказательство» ложным.
1) Возьмём матрицу A=(1111)A=\begin{pmatrix}1&1\\[4pt]1&1\end{pmatrix}A=(11 11 ).
2) Выполним элементарную операцию: вычтем первую строку из второй:
R2←R2−R1⇒B=(1100). R_2\leftarrow R_2-R_1\quad\Rightarrow\quad B=\begin{pmatrix}1&1\\[4pt]0&0\end{pmatrix}.
R2 ←R2 −R1 ⇒B=(10 10 ).
3) Далее злоумышленник «делит» вторую строку на её первый элемент 000 (то есть делает R2←R2/0R_2\leftarrow R_2/0R2 ←R2 /0) и приводит матрицу к виду, где вторая строка якобы становится ненулевой, после чего утверждает, что детерминант ненулевой и матрица невырождена.
Где здесь недопустимые операции
- Операция R2←R2/0R_2\leftarrow R_2/0R2 ←R2 /0 — деление строки на ноль — не определено. Масштабирование строки умножает детерминант на этот скаляр, но этот скаляр должен быть конечным и отличным от нуля. Деление на ноль — не элементарная допустимая операция и не имеет смысла ни для строк, ни для матриц.
- Нельзя «делить матрицу на ноль» или умножать на обратную к нулевой скалярной величине; нельзя брать обратную к сингулярной матрице. Попытка воспользоваться несуществующим обратным элементом нарушает правила преобразований, сохраняющих детерминант/ранг.
Правильная проверка вырождённости для данной матрицы
- По формуле детерминанта 2×22\times22×2:
detA=1⋅1−1⋅1=0. \det A = 1\cdot1-1\cdot1=0.
detA=1⋅1−1⋅1=0. Итого AAA вырождена.
- По рангу/линейной зависимости: строки одинаковы, значит ранг rankA=1<2\operatorname{rank}A=1<2rankA=1<2 ⇒ матрица вырождена.
- По ядру: ненулевой вектор (1,−1)T(1,-1)^T(1,−1)T удовлетворяет A(1,−1)T=(0,0)TA(1,-1)^T=(0,0)^TA(1,−1)T=(0,0)T, значит нулевой собственный вектор есть, нулевое собственное значение — признак сингулярности.
Краткое резюме: допустимые элементарные операции — перестановка строк (меняет знак детерминанта), прибавление кратного одной строки к другой (детерминант не меняется), умножение строки на ненулевой скаляр (детерминант умножается на этот скаляр). Любые действия «деления на ноль» или использование обращения сингулярной матрицы — недопустимы и именно они делают указанное «доказательство» ложным.