Евклидовы пространства и скалярное произведение

Определение и аксиомы скалярного произведения

Скалярным произведением называется правило (или функция), которое каждой паре векторов ставит в соответствие определенное число (скаляр). Чтобы это правило имело смысл и вело себя предсказуемо, оно должно удовлетворять четырем строгим аксиомам. Во-первых, оно должно быть коммутативным (симметричным): скалярное произведение вектора x на y равно произведению y на x. Во-вторых, оно должно обладать свойством аддитивности (линейности по первому аргументу). В-третьих, скалярный множитель можно выносить за знак произведения. В-четвертых, скалярное произведение вектора самого на себя всегда должно быть строго положительным для любого ненулевого вектора, и равно нулю только если сам вектор нулевой. Если все эти условия выполнены, пространство становится евклидовым.

Норма вектора и метрика пространства

Имея скалярное произведение, мы автоматически получаем возможность измерять длины векторов. Длина, или норма вектора, определяется как квадратный корень из скалярного произведения вектора на самого себя. Такое определение полностью согласуется с классической теоремой Пифагора. Кроме того, норма позволяет ввести понятие расстояния (метрики) между любыми двумя концами векторов: это просто норма их разности. Таким образом, любое евклидово пространство автоматически становится нормированным и метрическим пространством, открывая путь к использованию методов математического анализа, таких как пределы, сходимость последовательностей и дифференцирование многомерных функций.

Неравенство Коши-Буняковского

Одной из самых знаменитых и фундаментальных теорем, связанных с евклидовыми пространствами, является неравенство Коши-Буняковского (в западной литературе известное как неравенство Коши-Шварца). Оно утверждает, что модуль скалярного произведения двух векторов никогда не превышает произведения их норм. Это звучит как сухой алгебраический факт, но на деле это мощнейший аналитический инструмент. Из него напрямую следует правило треугольника (неравенство Минковского), которое гласит, что длина суммы двух векторов не может быть больше суммы их длин. Без неравенства Коши-Буняковского невозможно было бы строго определить понятие угла в многомерном пространстве.

Углы между векторами и косинусное сходство

Благодаря неравенству Коши-Буняковского, отношение скалярного произведения двух векторов к произведению их длин всегда лежит в диапазоне от -1 до 1. Это число идеально подходит на роль косинуса угла между векторами. Именно так угол определяется в пространствах любой размерности. Это свойство нашло колоссальное применение в современных информационных технологиях, в частности, в машинном обучении и обработке естественного языка (NLP). Алгоритмы поиска и рекомендательные системы сравнивают тексты или профили пользователей, представляя их как многомерные векторы, и вычисляют «косинусное сходство» — угол между ними. Чем меньше угол (косинус близок к 1), тем более похожи объекты.