Евклидовы пространства — пространства со скалярным произведением.
Определение (3.1). Линейное пространство над полем называется евклидовым, если на парах его векторов определена функция
(обозначаемая и называемая скалярным произведением), удовлетворяющая следующим свойствам:
билинейность, т.е.
и
для любых и
;
симметричность:
для любых ;
положительная определённость:
для любого , причём только при .
Свойство билинейности выражает линейность скалярного произведения по каждому из аргументов. Ввиду наличия свойства симметричности, билинейность очевидно вытекает из линейности по любому из двух аргументов.
Определение (3.2). Линейное пространство над полем называется эрмитовым, если на парах его векторов определена функция
(обозначаемая и называемая скалярным произведением), удовлетворяющая следующим свойствам:
полуторалинейность, т.е.
и
для любых и
;
эрмитовость: для любых ; в частности, вещественно для любого ;
положительная определённость: для любого , причём только при .
Свойство полуторалинейности выражает линейность скалярного произведения по второму аргументу и антилинейность по первому. Ввиду наличия свойства эрмитовости, полуторалинейность очевидно вытекает из линейности по второму аргументу.
Пример (3.3).
Стандартное скалярное произведение векторов
и в пространстве определяется по формуле
Скалярное произведение векторов в определяется по формуле
Скалярное произведение в пространстве квадратных комплексных матриц размера задаётся с помощью формулы
При отождествлении пространства с это скалярное произведение переходит в стандартное скалярное произведение из предыдущего примера.
Рассмотрим пространство вещественных функций, непрерывных на отрезке .
Зададим скалярное произведение функций и по формуле
Тогда свойства 1) и 2) скалярного произведения очевидны, а 3) вытекает из того, что интеграл
от неотрицательной непрерывной функции неотрицателен и обращается в нуль только при .
Аналогично скалярное произведение в пространстве комплекснозначных функций можно определить по формуле
Определение (3.4). Пусть — евклидово или эрмитово пространство. Для величина называется длиной вектора и обозначается .
Векторы , скалярное произведение которых равно нулю, называются перпендикулярными или ортогональными. В этом случае пишут .
Предложение 3.5. Пусть — ненулевой вектор евклидова или эрмитова пространства .
Тогда для любого вектора существует единственное разложение , где вектор коллинеарен вектору , а вектор ортогонален .
Доказательство. Сначала докажем единственность. Пусть — такое разложение. Тогда для имеем
Условие влечёт
Отсюда
и
Тем самым векторы и определены однозначно.
С другой стороны, определив по этой формуле, мы получим .
Определение (3.6). Вектор (8) называется ортогональной проекцией вектора на направление вектора и обозначается ,
а вектор называется ортогональной составляющей вектора относительно и обозначается .
Длина ортогональной проекции вычисляется по формуле
Теорема (3.7 (неравенство Коши–Буняковского)). Для любых двух векторов евклидова или эрмитова пространства имеет место неравенство
Доказательство. Если , утверждение очевидно. Пусть . Запишем
Тогда , и мы имеем
Отсюда , причём равенство достигается только при , т.е. когда вектор коллинеарен вектору . Осталось заметить, что
так что неравенство
эквивалентно требуемому.
Определение (3.8). Углом между двумя ненулевыми векторами евклидова пространства называется величина
Неравенство Коши–Буняковского гарантирует, что угол между ненулевыми векторами всегда определён.
Следствие (3.9 (неравенство треугольника)). Для любых двух векторов в евклидовом или эрмитовом пространстве выполняется неравенство
Доказательство. В обеих частях неравенства стоят неотрицательные величины, поэтому при возведении в квадрат получается равносильное неравенство
После раскрытия скобок в левой части и сокращения подобных членов мы получаем следующее неравенство:
которое следует из неравенства Коши–Буняковского.
Предложение 3.10. Пусть — набор попарно ортогональных ненулевых векторов.
Тогда эти векторы линейно независимы.
Доказательство. Пусть некоторая линейная комбинация данных векторов равна нулю:
Умножим обе части этого равенства скалярно на и воспользуемся линейностью скалярного произведения по второму аргументу:
так как по условию остальные слагаемые в этой сумме равны нулю. Поскольку по условию , из положительной определённости скалярного произведения следует, что , а значит, .
Это выполнено для любого , следовательно, линейная комбинация тривиальна.