Размещено на http://www.Allbest.Ru/
II семестр
§1. Евклидово пространство
Евклидово пространство – это линейное пространство с некоторым образом введенной операцией «скалярного произведения».
Определение
1. Линейное пространство
над полем вещественных чисел R
называется евклидовым пространством,
если
определено
правило, ставящее им в соответствие
вещественное число, называемое скалярным
произведением
и
,
обозначаемое
,
и удовлетворяющее следующим аксиомам:
1)
коммутативность:
выполняется
;
2)
дистрибутивность:
выполняется
;
3)
и
выполняется
;
4)
выполняется
,
причем
Примеры.
1)
Множество векторов в
с обычным образом определенным скалярным
произведением векторов (см. свойства
скалярного произведения) образует
евклидово пространство.
2)
Множество
непрерывных на отрезке
функций образует евклидово пространство,
если скалярное произведение задается
формулой:
Свойство
1) скалярного произведения очевидно, 2)
и 3) следуют из линейности интеграла, 4)
следует из того, что
от
неотрицательной функции неотрицателен
и равен нулю только если
.
3)
Пространство
упорядоченных
вещественных чисел образует евклидово
пространство со скалярным произведением,
задаваемым следующей формулой:
если
и
из
,
то
(1)
Евклидово пространство линейный вектор
Свойство 1) − очевидно, свойства 2) и 3) следуют из определения сложения векторов в и умножения на число, т.е.
;
.
Свойство
4) следует из того, что
и
равно нулю лишь тогда когда
,
т.е.
.
4)
Пусть
− матрица над
и пусть
– симметричная, т.е.
.
Для любого
используем
для построения выражения
.
Такое выражение называется квадратичной
формой. Будем предполагать, что такая
форма положительно определена, т.е.
она больше нуля и равна нулю лишь если
.
Такую
матрицу
можно использовать для задания скалярного
произведения в
следующим образом:
,
.(2)
Свойство 1) следует из симметричности матрицы , 2) и 3) − из свойств вещественных чисел, 4) − из положительной определенности соответствующей квадратичной формы.
Замечание.
Формула (1) Þ
из (2) при
− единичная матрица.
Теорема
1 (неравенство Коши–Буняковского). Для
любых элементов
евклидового
пространства
справедливо неравенство:
.(3)
Неравенство (3) называется неравенством Коши–Буняковского.
Доказательство:
По аксиоме 4) евклидова пространства
справедливо
//так
как квадратный трехчлен по
неотрицателен
дискриминант
//
■
Определение
2. Линейное пространство
называется нормированным, если определено
правило, по которому
ставится в соответствие вещественное
число, называемое нормой (или длиной)
указанного элемента и обозначаемое
,
удовлетворяющее следующим трем аксиомам:
1)
.
2)
.
3)
справедливо
(неравенство треугольника или неравенство
Минковского).
Теорема
2. Всякое евклидово пространство является
нормированным, если в нем норму элемента
определить
равенством
Доказательство: Проверим свойства нормированного пространства: аксиома 1) следует из 4) евклидова пространства, 2) следует из аксиом 1) и 3) евклидова пространства, 3) следует из неравенства Коши–Буняковского. Действительно,
.
■
Примеры.
1)
В пространстве
геометрических векторов с обычным
скалярным произведением неравенства
Коши–Буняковского и Минковского имеют
вид:
,
.
Первое
неравенство в силу
означает, что
,
второе − что длина стороны треугольника
не превосходят суммы длин двух других
сторон.
2) В неравенства Коши–Буняковского и Минковского дают:
.
3)
В
с обычным скалярным произведением и
имеем
неравенство Коши–Буняковского
;
неравенство Минковского
.
4) В со скалярным произведением с положительно определённой симметрической матрицей имеем
неравенство Коши–Буняковского
;
неравенство Минковского
.
Замечание.
Если векторное пространство
дано над полем
,
то аналогично строится теория унитарных
(или эрмитовых) пространств. В этом
случае аксиомы 1) и 4) принимают
соответственно вид:
1)
,
4)
и
,
если
.
Отметим, что неравенство Коши–Буняковского в этом случае принимает вид:
.
В
–мерном
комплексном координатном пространстве
C
стандартное скалярное произведение
векторов
C
задается формулой
.
Ортогональные и ортонормированные системы векторов
Из неравенства Коши–Буняковского следует, что корректно можно ввести следующее
Определение
3. Для любых
принадлежащих евклидовому пространству
определен угол
между ними:
.
Определение
4. Элементы
называются ортогональными, если их
скалярное произведение равно нулю, то
есть
.
Тогда
.
Очевидно,
что если
ортогонален
,
то
ортогонален
.
Лемма 1. Нулевой вектор ортогонален любому вектору из и является единственным вектором, обладающим этим свойством.
Доказательство самостоятельно.
Определение
5. Сумму
двух ортогональных векторов
назовем гипотенузой треугольника,
построенного на векторах
.
Лемма 2. Квадрат гипотенузы равен сумме квадратов катетов.
Доказательство:
.■
Обобщение.
Если
− взаимно ортогональны Þ
.
Определение 6. Система векторов евклидова пространства называется ортогональной, если она либо состоит из одного вектора, либо её векторы попарно ортогональны.
Теорема 3. Всякая ортогональная система ненулевых векторов евклидова пространства является линейно независимой.
Доказательство:
Пусть
− ортогональная система векторов и
пусть
с
некоторыми постоянными
.
Умножая
это равенство скалярно на
,
получаем
Т.к.
все
− линейно независимы. ■
Определение 7. Ортогональная система, состоящая из векторов единичной длины, называется ортонормированной.
Определение
8. В
–мерном
евклидовом пространстве
система
ортонормированных векторов образует
ортонормированный базис.
Теорема 4. Во всяком –мерном евклидовом пространстве существует ортонормированный базис.
Доказательство:
Т.к. пространство
−
–мерное,
то существуют
векторов
,
которые линейно независимы. Покажем,
что можно построить и векторы
,
получающиеся как линейные комбинации
,
которые образуют ортонормированный
базис. Доказательство методом
математической индукции:
Если
− очевидно, т.к.
Пусть
удалось построить
векторов
,
которые попарно ортогональны, их нормы
равны единице, и получены как линейные
комбинации
.
Будем искать вектор
.
Выберем
так, чтобы
был ортогонален
.
Умножая
скалярно на
,
в силу ортонормированности
имеем:
Þ
//т.к.
//
Þ
Очевидно,
что полученный
,
т.к. он является линейной комбинацией
Þ
Þ
система
− ортонормированная и получена как
линейная комбинация
.
■
Замечание 1. В доказательстве теоремы 4 использовался следующий алгоритм ортогонализации системы векторов, известный как алгоритм Грамма–Шмидта:
пусть
− линейно независимы. Тогда попарно
ортогональные единичные вектора
получаются по следующим формулам:
Замечание 2. В любом евклидовом пространстве можно построить много ортонормированных базисов. Примером ортонормированного базиса в с обычным скалярным произведением могут служить вектора
Рассмотрим
произвольный ортонормированный базис
-мерного
евклидова пространства
.
Пусть
− произвольный вектор и
.
Умножая
обе части равенства скалярно на
получим:
,
т.е.
координаты произвольного вектора
относительно ортонормированного базиса
равны скалярным произведениям этого
вектора на соответствующие базисные
векторы. Поскольку скалярное произведение
на вектор
,
естественно назвать проекцией
на
,
то, следовательно, координаты произвольного
относительно ортонормированного базиса
равны проекциям этого элемента на
соответствующие базисные элементы.
Таким образом, ортонормированный базис похож на декартовый прямоугольный базис.