Векторы
1. Вектор в линейной алгебре
Определение:
Вектор — элемент векторного пространства, на котором можно складывать и умножать на скаляры.
Не обязательно “стрелка”; это может быть набор чисел, функций, многочленов и т.д.
Практика:
- В ℝ³ вектор = координаты точки $(x, y, z)$ или скорость объекта $(vx, vy, vz)$.
- В функции — вектор может быть сама функция, например $f(x) = a_0 + a_1 x + a_2 x^2$.
Идея: вектор — это объект, с которым можно “играть” линейно, не важно, физический он или абстрактный.
2. Векторное пространство
Определение:
Множество $V$ с операциями сложения и умножения на число, удовлетворяющее аксиомам:
- Коммутативность: $\vec{a} + \vec{b} = \vec{b} + \vec{a}$
- Ассоциативность: $(\vec{a} + \vec{b}) + \vec{c} = \vec{a} + (\vec{b} + \vec{c})$
- Существование нулевого: $\vec{a} + \vec{0} = \vec{a}$
- Существование противоположного: $\vec{a} + (-\vec{a}) = 0$
- Дистрибутивность скаляра: $c(\vec{a} + \vec{b}) = c\vec{a} + c\vec{b}$
- Ассоциативность скаляра: $(c_1 c_2)\vec{a} = c_1 (c_2 \vec{a})$
- Единичный элемент: $1\vec{a} = \vec{a}$
Практика:
- Это как набор игрушек с одинаковыми правилами.
- Векторы можно складывать и растягивать без потери структуры.
- Все привычные координаты, скорости, силы — примеры векторов в пространстве ℝ³.
3. Линейная комбинация и зависимость
Линейная комбинация:
Линейно зависимые: существует ненулевая комбинация дающая ноль.
Линейно независимые: единственная комбинация, дающая ноль — тривиальная (все коэффициенты = 0).
Практика:
- Если векторы зависимы, значит один можно выразить через другие.
- Например, в ℝ³ три вектора, лежащие в одной плоскости → один зависит от двух.
- Полезно для сокращения размерности и оптимизации.
4. Базис и размерность
Базис: линейно независимые векторы, через которые можно выразить любой вектор.
Размерность: количество векторов в базисе.
Практика:
- В ℝ³ стандартный базис: $\vec{i}, \vec{j}, \vec{k}$.
- Любой вектор = $(x, y, z)$ в этом базисе.
- Идея: базис — “координатная сетка”, чтобы описывать пространство.
5. Координаты
В базисе ${\vec{e}_1,…,\vec{e}_n}$:
Практика:
- Координаты — это числа, которые говорят, сколько каждого “базисного вектора” нужно, чтобы получить этот вектор.
- В программировании: координаты — массив чисел.
6. Смена базиса
Если есть базисы $E$ и $E’$, координаты связаны через матрицу перехода $P$:
Практика:
- Меняем систему координат — например, для удобства вычислений или поворота пространства.
- В 3D-графике: перевод из локальной системы объекта в мировую.
7. Линейное отображение
$T: V \to W$ линейно, если:
- $T(\vec{a} + \vec{b}) = T(\vec{a}) + T(\vec{b})$
- $T(c\vec{a}) = c T(\vec{a})$
Матрица отображения:
Практика:
- Любое линейное преобразование можно записать через матрицу.
- Пример: поворот, растяжение, проекция, отражение.
8. Скалярное произведение
Практика:
- Показывает, насколько два вектора направлены в одну сторону.
- Используется для вычисления углов, проекций, работы силы.
9. Норма и угол
Практика:
- Норма = длина вектора.
- Косинус угла = мера “сходства направлений”.
- Пример: проверка перпендикулярности, вычисление расстояний и углов.
10. Ортогональный и ортонормированный базис
- Ортогональный: векторы взаимно перпендикулярны
- Ортонормированный: ортогональный + длина каждого = 1
Практика:
- В таком базисе проще вычислять скалярное произведение и нормы.
- Применение: графика, машинное обучение, квантовая механика.
11. Ортогонализация (Грамм — Шмидт)
- $\vec{e}_1 = \vec{v}_1 / |\vec{v}_1|$
- $\vec{u}_2 = \vec{v}_2 - \langle \vec{v}_2, \vec{e}_1 \rangle \vec{e}_1$
$\vec{e}_2 = \vec{u}_2 / |\vec{u}_2|$ - И так далее.
Практика:
- Превращаем “любой набор векторов” в удобный ортонормированный базис.
- Полезно для численных методов и упрощения вычислений.
12. Векторы в аналитической геометрии
Прямая через точку $A$ с направляющим вектором $\vec{s}$:
Плоскость через точку с нормалью $\vec{n}$:
Расстояние от точки до плоскости:
Практика:
- Прямая = путь объекта.
- Плоскость = поверхность или ограничение.
- Расстояние = минимальное расстояние до объекта или поверхности.
13. Смешанное произведение и объём
Практика:
- Вычисляет объём параллелепипеда, заданного тремя векторами.
- Если = 0 → векторы лежат в одной плоскости.
- Используется для проверки компланарности или объёма.
14. Направляющие косинусы
Для $\vec{a} = (x, y, z)$:
Практика:
- Показывает, как вектор ориентирован относительно осей.
- Используется для вычислений углов, ориентации объектов в пространстве.