Найдите ошибку в доказательстве утверждения: "Если матрица A невыражаема через произведение элементарных матриц, то она невырожденная", объясните правильную связь между элементарными преобразованиями и обратимостью
Ошибка — в неверном обращении логической связи. Правильное утверждение (над полем) таково: A\;AA обратима тогда и только тогда, когда A\;AA представима в виде произведения элементарных матриц. Доказательство кратко: - Если A=Ek⋯E1A=E_k\cdots E_1A=Ek⋯E1 (каждое EiE_iEi — элементарная), то каждая EiE_iEi обратима, значит A−1=E1−1⋯Ek−1,
A^{-1}=E_1^{-1}\cdots E_k^{-1}, A−1=E1−1⋯Ek−1,
то есть AAA обратима. - Если AAA обратима, то с помощью последовательности элементарных строковых преобразований (или матриц Ek,…,E1E_k,\dots,E_1Ek,…,E1) можно привести AAA к III: Ek⋯E1A=IE_k\cdots E_1A=IEk⋯E1A=I. Отсюда A=(Ek⋯E1)−1=E1−1⋯Ek−1,
A=(E_k\cdots E_1)^{-1}=E_1^{-1}\cdots E_k^{-1}, A=(Ek⋯E1)−1=E1−1⋯Ek−1,
и поскольку обратные элементарных матриц тоже элементарны, AAA — произведение элементарных матриц. Отсюда следует контрапозиция: если матрица не представима как произведение элементарных матриц, то она не обратима (то есть сингулярна). Утверждение в задаче говорит обратное и потому неверно. Замечание: над общими кольцами утверждение требует осторожности — некоторые элементарные матрицы могут быть не обратимы в общем кольце; описанное эквивалентность верна над полем (или над евклидовым кольцом с нужными свойствами).
A\;AA обратима тогда и только тогда, когда A\;AA представима в виде произведения элементарных матриц.
Доказательство кратко:
- Если A=Ek⋯E1A=E_k\cdots E_1A=Ek ⋯E1 (каждое EiE_iEi — элементарная), то каждая EiE_iEi обратима, значит
A−1=E1−1⋯Ek−1, A^{-1}=E_1^{-1}\cdots E_k^{-1},
A−1=E1−1 ⋯Ek−1 , то есть AAA обратима.
- Если AAA обратима, то с помощью последовательности элементарных строковых преобразований (или матриц Ek,…,E1E_k,\dots,E_1Ek ,…,E1 ) можно привести AAA к III: Ek⋯E1A=IE_k\cdots E_1A=IEk ⋯E1 A=I. Отсюда
A=(Ek⋯E1)−1=E1−1⋯Ek−1, A=(E_k\cdots E_1)^{-1}=E_1^{-1}\cdots E_k^{-1},
A=(Ek ⋯E1 )−1=E1−1 ⋯Ek−1 , и поскольку обратные элементарных матриц тоже элементарны, AAA — произведение элементарных матриц.
Отсюда следует контрапозиция: если матрица не представима как произведение элементарных матриц, то она не обратима (то есть сингулярна). Утверждение в задаче говорит обратное и потому неверно.
Замечание: над общими кольцами утверждение требует осторожности — некоторые элементарные матрицы могут быть не обратимы в общем кольце; описанное эквивалентность верна над полем (или над евклидовым кольцом с нужными свойствами).