Линейная алгебра без воды | 8.1: Произведения векторных пространств: когда складываются размерности
Ludium
0:00 / 0:00
Линейная алгебра без воды | 8.1: Произведения векторных пространств: когда складываются размерности
428 просмотров · 5 дней назад
Ludium
2,31 тыс. подписчиков
428 просмотров · 5 дней назад
Полный курс — бесплатные упражнения, краткие конспекты и обратная связь от ИИ:
https://ludium.ai/courses/linear-alge...
Проверки того, что каждая пара подпространств пересекается только в точке ноль, недостаточно, чтобы сделать сумму трех подпространств прямой. В этом видео строится новое векторное пространство из старых, произведение, доказывается, что его размерность равна сумме размерностей, и используется линейное отображение Гамма, которое суммирует элементы списка, чтобы доказать, что сумма является прямой именно тогда, когда размерности складываются.
Основные понятия:
Произведение V₁ × ⋯ × Vₘ: списки с пошаговым сложением и скалярным умножением
Пример: сложение и масштабирование в P₅(R) × R³
R² × R³ не является R⁵, но удаление внутренних скобок является изоморфизмом
dim(V₁ × ⋯ × Vₘ) = dim V₁ + ⋯ + dim Vₘ
Отображение Гамма из произведения на сумму V₁ + ⋯ + Vₘ
Сумма является прямой тогда и только тогда, когда Гамма инъективна
Прямая сумма тогда и только тогда, когда dim(V₁ + ⋯ + Vₘ) = dim V₁ + ⋯ + dim Vₘ
Почему попарные пересечения не работают для трех подпространств F³
━━━━━━━━━━━━━━━━━━━━━━━━━
ИСХОДНЫЕ МАТЕРИАЛЫ
Исходные материалы для этого видео взяты с сайта https://linear.axler.net/
Атрибуция: Адаптировано (с закадровым голосом и анимацией) из книги «Linear Algebra Done Right», 4-е издание, Шелдон Акслер (Springer, открытый доступ; https://linear.axler.net/), лицензия CC BY-NC 4.0 (https://creativecommons.org/licenses/.... Были внесены изменения.
Лицензия: Данное видео распространяется компанией Ludium по лицензии CC BY-NC-SA 4.0 (https://creativecommons.org/licenses/....