Матрицы
1. Матрица
Определение:
Матрица — это прямоугольная таблица чисел размером \(m \times n\), где \(m\) — строки, \(n\) — столбцы. Каждый элемент \(a_{ij}\) — число, находящееся на пересечении i-й строки и j-го столбца.
Строки можно воспринимать как векторы, которые задают направления в \(n\)-мерном пространстве, столбцы — как направления в \(m\)-мерном пространстве.
Зачем нужна:
Матрица — универсальный способ представления данных, коэффициентов систем линейных уравнений, линейных преобразований, преобразований графики, физики и робототехники. С её помощью можно описывать повороты, сжатия, растяжения, комбинации векторов.
Операции с матрицами:
-
Сложение/вычитание — поэлементно, важно для объединения или сравнения данных.
Пример:
\(A=\begin{pmatrix}1&2\\3&4\end{pmatrix}, B=\begin{pmatrix}5&6\\7&8\end{pmatrix} \Rightarrow A+B=\begin{pmatrix}6&8\\10&12\end{pmatrix}\) -
Умножение на число — масштабирование всей матрицы.
Пример: \(2A=\begin{pmatrix}2&4\\6&8\end{pmatrix}\) -
Умножение матриц — строки первой на столбцы второй. Не коммутативно.
Пример:
\(A=\begin{pmatrix}1&2\\3&4\end{pmatrix}, B=\begin{pmatrix}0&1\\1&0\end{pmatrix} \Rightarrow AB=\begin{pmatrix}2&1\\4&3\end{pmatrix}\) -
Транспонирование — строки ↔ столбцы. Проверка симметрии: \(A=A^T\).
Пример:
\(A=\begin{pmatrix}1&2\\3&4\end{pmatrix} \Rightarrow A^T=\begin{pmatrix}1&3\\2&4\end{pmatrix}\)
Особые матрицы:
- Единичная \(I\) — диагональ 1, остальные 0, нейтральный элемент умножения
- Нулевая \(0\) — все элементы 0
- Диагональная — только диагональ ≠0, используется для растяжения/сжатия вдоль осей
- Верхняя/нижняя треугольная — нули выше или ниже диагонали, удобно для Гаусса
- Симметричная — \(A=A^T\), отражение через главную диагональ
- Ортогональная — \(A^TA=I\), повороты без искажения длины
Геометрическая интуиция: строки/столбцы = стрелки, которые образуют направление и длину. Операции с матрицами — это, грубо говоря, движение и растяжение этих стрелок.
2. Определитель
Определение:
Определитель — число, которое показывает, насколько “объёмно” строки или столбцы матрицы занимают пространство.
Почему важно:
- Проверяет линейную зависимость: \(\det(A)=0\) → строки/столбцы зависимы → “сжаты” в плоскость или линию.
- Геометрическая интерпретация: абсолютное значение = площадь (2D) или объём (3D) параллелограмма/параллелепипеда.
Методы нахождения:
- 2×2: \(\det\begin{pmatrix}a&b\\c&d\end{pmatrix}=ad-bc\)
Пример: \(\det\begin{pmatrix}1&2\\2&4\end{pmatrix}=0\) (строки лежат на одной прямой) - 3×3 (Саррюс):
\(\det\begin{pmatrix}a&b&c\\d&e&f\\g&h&i\end{pmatrix}=aei+bfg+cdh-ceg-bdi-afh\)
Пример: \(\det\begin{pmatrix}1&2&3\\0&1&4\\5&6&0\end{pmatrix}=-79\) - Разложение по строке/столбцу (миноры и алгебраические дополнения):
\(\det(A)=\sum_j a_{ij} A_{ij}, \quad A_{ij}=(-1)^{i+j} M_{ij}\)
3. Миноры и алгебраические дополнения
Минор \(M_{ij}\) — определитель матрицы без i-й строки и j-го столбца.
Алгебраическое дополнение \(A_{ij}=(-1)^{i+j} M_{ij}\)
Почему важно:
- Шаг к обратной матрице
- Используется в формуле Крамера
Пример:
\(A=\begin{pmatrix}1&2&3\\4&5&6\\7&8&9\end{pmatrix}\)
- \(M_{11}=\det\begin{pmatrix}5&6\\8&9\end{pmatrix}=-3\)
- \(A_{11}=(-1)^{1+1}M_{11}=-3\)
4. Обратная матрица
Определение:
\(A^{-1}\) — матрица, которая при умножении на \(A\) даёт единичную: \(AA^{-1}=I\)
Методы:
- Через миноры и алгебраические дополнения: \(A^{-1}=(A^*)^T/\det(A)\)
- Метод Гаусса: составляем расширенную матрицу \([A|I]\), приводим левую часть к \(I\), правая = \(A^{-1}\)
Пример:
\(A=\begin{pmatrix}2&1\\5&3\end{pmatrix} \Rightarrow A^{-1}=\begin{pmatrix}3&-1\\-5&2\end{pmatrix}\)
5. Ранг матрицы
Определение:
Ранг = максимальное число линейно независимых строк или столбцов.
Зачем нужно:
- Показывает размерность пространства, которое реально задают строки/столбцы
- Связь с объёмом: если ранг < размерность → объём=0, “плоское” пространство
Методы:
- Метод Гаусса: приводим к ступенчатой форме, считаем ненулевые строки
Пример:
\(A=\begin{pmatrix}1&2&3\\2&4&6\\1&1&1\end{pmatrix} \to \begin{pmatrix}1&2&3\\0&0&0\\0&-1&-2\end{pmatrix}\) → ранг=2 - Миноры: ищем наибольший ненулевой минор
6. Линейная зависимость
Определение:
Векторы \(v_1,\dots,v_n\) линейно зависимы, если один из них можно выразить через другие: \(\exists c_i\neq0: \sum c_i v_i=0\)
Почему важно:
- Зависимый вектор не добавляет новое направление
- Геометрически: два вектора на одной прямой, три на одной плоскости → зависимы
Методы:
- Векторы в матрицу → считаем ранг → сравниваем с количеством векторов
Пример:
\(v_1=(1,2,3), v_2=(2,4,6), v_3=(1,1,1)\)
\(A=\begin{pmatrix}1&2&1\\2&4&1\\3&6&1\end{pmatrix}\) → ранг=\(2<3\) → зависимы
7. Базис
Определение:
Набор линейно независимых векторов, который порождает всё пространство.
Связь с рангом:
- Число векторов в базисе = ранг матрицы
- Геометрически: минимальный набор стрелок, который задаёт все направления пространства
Методы:
- Ступенчатая форма → ведущие столбцы → базис
- Проверка линейных комбинаций → независимые векторы → базис
Пример:
\(v_1=(1,2,0), v_2=(2,4,0), v_3=(0,1,1)\)
- Ведущие столбцы → \(v_1, v_3\) → базис
- Ранг=2 → плоское пространство в 3D
8. Собственные значения и векторы
Определение:
\(A\vec{v}=\lambda \vec{v}, \vec{v}\neq0\)
- \(\lambda\) — собственное значение
- \(\vec{v}\) — собственный вектор
Методы:
- Характеристический многочлен: \(\det(A-\lambda I)=0\)
- Решаем для \(\lambda\), затем находим \(\vec{v}\)
Пример:
\(A=\begin{pmatrix}2&0\\0&3\end{pmatrix}\) → \(\lambda_1=2,\lambda_2=3\), векторы \((1,0),(0,1)\)
9. Преобразования и геометрия
Определение:
Матрица действует на вектор, меняя длину, направление и положение.
Примеры:
- Вращение 2D: \(R_\theta=\begin{pmatrix}\cos\theta & -\sin\theta\\ \sin\theta & \cos\theta\end{pmatrix}\)
- \((1,0)\) на 90° → \((0,1)\)
- Масштабирование: \(S=\begin{pmatrix}k_x&0\\0&k_y\end{pmatrix}\)
- \((2,3)\), \(k_x=2,k_y=0.5\) → \((4,1.5)\)
- Отражение: \(\begin{pmatrix}1&0\\0&-1\end{pmatrix}\)
- \((3,2)\) → \((3,-2)\)
10. Геометрический смысл и объём
- Ранг = число независимых векторов → размерность пространства
- Объём параллелепипеда = \(|\det(A)|\)
- Ранг < размерность → объём=0 → плоское пространство
- Ранг = размерность → объём>0
Примеры:
- 3D, 3 независимых вектора → объём>0
- 3D, 2 независимых → объём=0
- 2D: \(v_1=(2,0), v_2=(0,3)\) → площадь=6
11. Практические советы
- Ранг → ступенчатая форма → считаем ненулевые строки
- Линейная зависимость → если ранг<число векторов → зависимы
- Базис → выбираем только независимые векторы
- Объём → детерминант → ненулевой → объём есть
- Минор/алгебраическое дополнение → шаг к обратной и Крамеру
- Визуально: строки/столбцы = стрелки → комбинации = движение → объём = пространство, которое они занимают