2.1 — Глава I, §2. Определители2.1 — Chapter I, §2. Determinants
Определитель — не формула ради формулы, а ответ на один конкретный геометрический вопрос: во сколько раз линейное отображение A растягивает (или сжимает) объём, и меняет ли оно при этом ориентацию пространства (отражение — знак минус). det A = 0 означает, что отображение схлопывает пространство в объект меньшей размерности — а значит необратимо. Именно поэтому определитель — это первый и самый быстрый тест на существование обратной матрицы (см. 3.1–3.2), задолго до того, как саму обратную матрицу вычисляют.The determinant isn't a formula for its own sake — it answers one concrete geometric question: by what factor does the linear map A stretch (or shrink) volume, and does it flip the orientation of the space while doing so (a reflection — a minus sign). det A = 0 means the map collapses the space into something of lower dimension — and is therefore not invertible. That's exactly why the determinant is the first, cheapest test for the existence of an inverse (see 3.1–3.2), long before the inverse itself is ever computed.
Квадратной матрице A порядка n можно сопоставить число det A (или |A|, или Δ), называемое её определителем:To a square matrix A of order n one can assign a number det A (or |A|, or Δ), called its determinant:
n = 1: det A = a1.n = 1: det A = a1.n = 2:n = 2:
det A = | a11 a12 |
| a21 a22 | = a11·a22 - a12·a21.n = 3:n = 3:
det A = a11a22a33 + a12a23a31 + a21a32a13
- a31a22a13 - a21a12a33 - a32a23a11Для n = 2 геометрия видна прямо в формуле: строки матрицы — это два вектора на плоскости, и |a11a22 - a12a21| — в точности площадь параллелограмма, натянутого на них. Если векторы коллинеарны (один пропорционален другому), параллелограмм схлопывается в отрезок — площадь нулевая — и det A = 0. Для n = 3 та же история с объёмом параллелепипеда. Формулу для произвольного n вычислять «в лоб» по определению почти никогда не пытаются — вместо этого сводят к определителям низшего порядка через разложение по ряду (свойство 7, см. 2.2).For n = 2, the geometry is visible right in the formula: the rows of the matrix are two vectors in the plane, and |a11a22 - a12a21| is exactly the area of the parallelogram they span. If the vectors are collinear (one is proportional to the other), the parallelogram collapses into a segment — zero area — and det A = 0. For n = 3, the same story holds for the volume of a parallelepiped. Nobody actually tries to compute the formula for arbitrary n straight from the definition — instead, it's reduced to lower-order determinants via row/column expansion (property 7, see 2.2).
Главная диагональ минус побочная: произведение элементов, стоящих по одну диагональ, минус произведение по другую.Main diagonal minus anti-diagonal: the product of the elements on one diagonal, minus the product on the other.
| a b |
| c d | = a·d - b·cТри произведения по «главным» диагоналям минус три произведения по «побочным» — удобная мнемоника, которая ломается для n ≥ 4 (там формула перестаёт помещаться в геометрическую картинку с треугольниками, и остаётся только разложение по рядам).Three products along the "main" diagonals minus three products along the "anti" diagonals — a handy mnemonic that breaks down for n ≥ 4 (the formula no longer fits the triangle picture, leaving only row/column expansion).
| 2 -3 | = 2·6 - 5·(-3) = 12 - (-15) = 27;
| 5 6 |
| cos α sin α | = cos²α + sin²α = 1.
| -sin α cos α |Второй пример — не случайность: это матрица поворота плоскости на угол α, и det = 1 подтверждает, что поворот сохраняет площадь и ориентацию — ничего не растягивает и не отражает.The second example is no accident: it's the matrix of a plane rotation by angle α, and det = 1 confirms that a rotation preserves area and orientation — it stretches nothing and reflects nothing.
A = | 5 -2 1 |
| 3 1 -4 |
| 6 0 -3 |
det A = 5·1·(-3) + (-2)·(-4)·6 + 3·0·1 - 6·1·1 - 3·(-2)·(-3) - 0·(-4)·5
= -15 + 48 - 6 - 18 - 48 - 39 = 9.Отрицательный det A смущает новичков, которые ждут от «объёма» неотрицательного числа. На деле знак несёт отдельную информацию — сохраняет ли отображение ориентацию (правая тройка векторов остаётся правой) или переворачивает её (как зеркальное отражение). |det A| — это масштаб объёма, а знак det A — это ориентация.A negative det A confuses beginners who expect "volume" to be a nonnegative number. In reality the sign carries separate information — whether the map preserves orientation (a right-handed triple of vectors stays right-handed) or flips it (like a mirror reflection). |det A| is the volume scale factor; the sign of det A is the orientation.
Частая ошибка студента — попытаться нарисовать «диагонали» для определителя 4×4 по аналогии с правилом треугольников. Схема работает только для n = 3; для более высоких порядков единственный путь из этого параграфа — рекурсивное разложение по ряду (свойство 7, минор, алгебраическое дополнение — см. 2.2), либо предварительное приведение к треугольному виду, где определитель — просто произведение диагонали (следствие свойства 6).A common student mistake is trying to draw "diagonals" for a 4×4 determinant by analogy with the triangle rule. The scheme only works for n = 3; for higher orders, the only route from this section is recursive row/column expansion (property 7, minors, cofactors — see 2.2), or first reducing to triangular form, where the determinant is simply the product of the diagonal (a consequence of property 6).
источникsource
Определения и Примеры 2.1–2.2 — по изданию: Письменный Д. Т. Конспект лекций по высшей математике: полный курс. — 9-е изд. — М.: Айрис-пресс, 2009. — 608 с. — Глава I, §2.1 «Основные понятия», с. 20–21. Геометрическая интерпретация (объём, ориентация) и раздел «Грабли» — авторское дополнение.Definitions and Examples 2.1–2.2 — from: Pismenny D. T. Lecture Notes on Higher Mathematics: Complete Course. — 9th ed. — Moscow: Iris-press, 2009. — 608 p. — Chapter I, §2.1 "Basic Concepts," pp. 20–21. The geometric interpretation (volume, orientation) and the "Gotchas" section are original additions.