Калькулятор следа матрицы
Введите элементы квадратной матрицы 2 × 2 или 3 × 3 и мгновенно получите её след — сумму элементов главной диагонали a₁₁ + a₂₂ (+ a₃₃).
Найти след квадратной матрицы
Формула следа матрицы
Где:
- \(a_{ii}\) — элемент матрицы \(A\), стоящий в строке \(i\) и столбце \(i\) (то есть на главной диагонали);
- \(n\) — порядок квадратной матрицы (число строк = число столбцов).
Следом квадратной матрицы называют сумму элементов её главной диагонали — тех, у которых номер строки совпадает с номером столбца. След есть только у квадратных матриц: у прямоугольной нет главной диагонали, длина которой совпадала бы с шириной.
След матрицы — пример вычисления
Пример: найдём след матрицы 3 × 3, заполненной числами от 1 до 9 построчно (это значения, установленные в калькуляторе по умолчанию).
\[
A = \begin{pmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{pmatrix}
\]
\[
\operatorname{tr}(A) = a_{11} + a_{22} + a_{33} = 1 + 5 + 9 = 15
\]
Ответ: \(\operatorname{tr}(A) = 15\).
Как пользоваться калькулятором
- Раскройте список «Размер матрицы» и выберите 2 × 2 или 3 × 3. Сетка полей настроится сама: для матрицы 2 × 2 третья строка и третий столбец скрываются.
- Заполните поля матрицы A (a₁₁, a₁₂, …) элементами вашей матрицы, двигаясь по строкам. Подпись каждого поля подсказывает позицию: a₂₃ — это строка 2, столбец 3.
- Посмотрите результат: «След (tr A)» — это сумма элементов главной диагонали, а строка «Суммируемые диагональные элементы» показывает, какие именно числа сложились.
- Измените любое значение — результат пересчитается сразу, нажимать кнопку не нужно.
Что такое след матрицы?
След — одно из самых простых и при этом важнейших чисел, связанных с квадратной матрицей. При всей своей простоте он несёт глубокую структурную информацию: след равен сумме собственных значений матрицы с учётом их кратности. Для матрицы 2 × 2 с собственными значениями \(\lambda_1\) и \(\lambda_2\) всегда верно \(\operatorname{tr}(A) = \lambda_1 + \lambda_2\), а определитель даёт \(\det(A) = \lambda_1 \lambda_2\). Поэтому след постоянно возникает в характеристическом многочлене, при анализе устойчивости динамических систем и в квантовой механике, где след оператора равен математическому ожиданию наблюдаемой величины.
У следа есть удобные алгебраические свойства, благодаря которым он широко используется в матричных доказательствах и вычислениях:
- Линейность: \(\operatorname{tr}(A + B) = \operatorname{tr}(A) + \operatorname{tr}(B)\) и \(\operatorname{tr}(cA) = c\,\operatorname{tr}(A)\).
- Цикличность: \(\operatorname{tr}(ABC) = \operatorname{tr}(BCA) = \operatorname{tr}(CAB)\); в частности, \(\operatorname{tr}(AB) = \operatorname{tr}(BA)\) даже когда \(AB \neq BA\).
- Инвариантность относительно подобия: если \(B = P^{-1}AP\), то \(\operatorname{tr}(B) = \operatorname{tr}(A)\). В любом базисе след один и тот же.
С геометрической точки зрения, если матрица задаёт линейное преобразование, след показывает, как это преобразование локально растягивает объём вдоль диагонального направления: положительный след растягивает, отрицательный — сжимает, а нулевой означает, что вклады по диагонали взаимно компенсируются. В теории графов след матрицы \(A^k\) равен числу замкнутых маршрутов длины \(k\) в графе, описываемом матрицей \(A\).
Допущения и практические советы
Калькулятор работает с матрицами 2 × 2 и 3 × 3 и принимает любые действительные числа, включая отрицательные и десятичные дроби. Внеугольные элементы (не на диагонали) на результат не влияют — след зависит только от главной диагонали, — но заполнять их всё равно нужно, чтобы матрица была задана полностью.
При интерпретации результата учитывайте следующее:
- Только квадратные матрицы. Если ваши данные образуют прямоугольную матрицу (например, 2 × 3), след для неё не определён. Подумайте, что именно описывают ваши данные, или приведите их к квадратной форме.
- След — это одно число, а не матрица. Нулевой след не означает, что матрица нулевая или «тривиальная»: у многих ненулевых матриц (например, матриц поворота) след равен нулю.
- След и определитель вместе полностью определяют собственные значения любой матрицы 2 × 2 через квадратное уравнение \(\lambda^2 - \operatorname{tr}(A)\,\lambda + \det(A) = 0\). Комплексные собственные значения всегда идут парами сопряжённых — см. калькулятор комплексно-сопряжённых чисел — поэтому если у действительной матрицы 2 × 2 \(\operatorname{tr}(A)^2 < 4\det(A)\), собственные значения комплексные.
Работаете с числовыми таблицами и в других контекстах? Диагонали квадрата важны и в головоломках — попробуйте генератор магических квадратов, где суммы во всех строках, столбцах и на диагоналях должны совпадать. А если работа с матрицами приводит к решению систем линейных уравнений, следующий шаг поможет сделать калькулятор метода исключения.
[/wp_code]
Часто задаваемые вопросы
Как найти след матрицы вручную?
Обведите элементы, стоящие на главной диагонали — те, что идут из левого верхнего угла в правый нижний, — и сложите их. Для матрицы 3 × 3 это \(a_{11} + a_{22} + a_{33}\). Никаких умножений и правил знаков здесь нет — это обычная сумма. Только убедитесь, что вы взяли диагональ из левого верхнего угла в правый нижний, а не побочную: это очень распространённая ошибка.
Можно ли посчитать след матрицы 4 × 4 или больше с помощью этого калькулятора?
Напрямую — нет: инструмент поддерживает матрицы 2 × 2 и 3 × 3. Для больших квадратных матриц правило то же самое: сложите элементы \(a_{11} + a_{22} + a_{33} + a_{44} + \dots\). Поскольку в след входят только диагональные элементы, след матрицы \(n \times n\) легко посчитать вручную за пару секунд, либо разбить матрицу на блоки и сложить их следы — след линеен.
Меняется ли след при транспонировании матрицы?
Нет. При транспонировании \(A^T\) строки и столбцы меняются местами, но каждый диагональный элемент \(a_{ii}\) остаётся на своём месте, поэтому \(\operatorname{tr}(A^T) = \operatorname{tr}(A)\). То же верно и для других преобразований подобия: сопряжение матрицы невырожденной матрицей \(P\), то есть \(P^{-1}AP\), след не меняет. Именно эта инвариантность позволяет считать след внутренним свойством линейного преобразования, а не конкретной матрицы.
Чему равен след единичной матрицы?
След единичной матрицы \(n \times n\) равен \(n\), поскольку все диагональные элементы равны 1. Например, \(\operatorname{tr}(I_3) = 1 + 1 + 1 = 3\). В более общем виде \(\operatorname{tr}(cI) = cn\) для скалярного кратного единичной матрицы. Полезный смежный факт: \(\operatorname{tr}(A)\) равен сумме собственных значений, а у единичной матрицы все они равны 1 — всё сходится.
След — это то же самое, что сумма всех элементов матрицы?
Как правило, нет — и это самая частая ошибка. След складывает только диагональные элементы; внеугольные в расчёт не идут. Для матрицы 3 × 3, заполненной числами от 1 до 9, сумма всех девяти элементов равна 45, а след — всего \(1 + 5 + 9 = 15\). Совпасть эти величины могут только у диагональной матрицы, где все внеугольные элементы равны нулю.
Может ли след быть отрицательным, нулевым или дробным?
Да, во всех трёх случаях. След — это просто сумма действительных чисел, так что если среди диагональных элементов есть отрицательные или дробные, они напрямую войдут в результат. Нулевой след — совершенно нормальное явление, и он не означает, что матрица нулевая: например, у любой матрицы поворота 2 × 2 \(\begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}\) след равен \(2\cos\theta\), и при повороте на 90° он равен нулю.
Как использовать след и определитель вместе?
Для любой матрицы 2 × 2 след \(t\) и определитель \(d\) сразу дают оба собственных значения, поскольку они удовлетворяют уравнению \(\lambda^2 - t\lambda + d = 0\). Решая его: \(\lambda = \frac{t \pm \sqrt{t^2 - 4d}}{2}\). Если \(t^2 < 4d\), под корнем получается отрицательное число, и собственные значения образуют пару комплексно-сопряжённых чисел. Именно эта связка следа и определителя — основа анализа устойчивости систем 2 × 2 в дифференциальных уравнениях.