Универсальное свойство, которое делает тензорные произведения понятными

Что же на самом деле представляет собой тензорное произведение, и почему вообще была изобретена эта странная конструкция? В этом видео мы строим тензорное произведение, исходя из задачи, для решения которой оно было разработано: как преобразовать мультилинейные отображения в обычные линейные отображения. Мы начинаем с конкретных билинейных примеров, обосновываем соотношения, определяющие V × W, а затем подробно рассматриваем универсальное свойство. Попутно мы рассматриваем простые и общие тензоры, координатные представления, связь с матрицами, каноническое соответствие V × W* ∈ Hom(W,V) и как скалярнозначные билинейные формы естественным образом приводят к ковариантным тензорам в V* × W*. Мы также используем скалярное произведение и определитель в качестве явных примеров и расширяем пример с определителем на трилинейный случай, чтобы показать, как универсальное свойство обобщается за пределы билинейных отображений. Главная цель — сделать тензорное произведение не загадочным, а не неизбежным. Рассматриваемые темы: Историческая мотивация тензорных произведений Билинейные отображения и почему V×W недостаточно Операция тензорного произведения u×v Соотношения билинейности \mathbb R^2\otimes\mathbb R^2 Простые и общие тензоры Координатные массивы и внешние произведения V×W*\cong \operatorname{Hom}(W,V) Универсальное свойство тензорного произведения Скалярное произведение как линейный функционал на пространстве тензорных произведений Детерминанты как билинейные и трилинейные отображения Двойственные пространства и ковариантные тензоры V^*\otimes W^*\cong (V×W)^* Компоненты тензоров и базисные представления Для полного аргумента факторизации, пожалуйста, см. https://www.youtube.com/watch?v=h_VmSNS8qGw 00:00 — Зачем существуют тензорные произведения? Историческая мотивация 02:09 — Первый пример: билинейное отображение 04:05 — Проблема с V×W 08:32 — Изобретение тензорного произведения 10:22 — Встраивание билинейности в V×W 16:40 — Пример: R²×R² 20:59 — Простые тензоры против общих тензоров 23:37 — Тензорные произведения, линейные отображения и матрицы 30:25 — Универсальное свойство тензорного произведения 35:00 — Пример 1: скалярное произведение 39:25 — Пример 2: определитель 46:35 — Двойственные пространства и линейные функционалы 47:30 — V*×W* и ковариантные тензоры 53:17 — От абстрактных тензоров к компонентам #ТензорноеПроизведение #ЛинейнаяАлгебра #МноголинейнаяАлгебра #УниверсальноеСвойство #Тензоры #АбстрактнаяАлгебра #Математика #Математика #ФункциональныйАнализ