04 Геометрия евклидовых линейных пространств.
Ошибка.
Попробуйте повторить позже
Доказать в произвольном евклидовом пространстве неравенство треугольника. А именно, что для любых двух векторов евклидова пространства выполнено
Мы имеем неравенство между неотрицательными числами, поэтому оно равносильно исходному неравенству, возведенному в квадрат:
Иначе говоря,
Но если раскрыть скалярное произведение слева по полилинейности, то получится:
И после сокращения на одинаковые слагаемые слева и справа, получаем неравенство
которое очевидно следует из неравенства Коши-Буняковского.
Ошибка.
Попробуйте повторить позже
Доказать Теорему Пифагора для евклидовых пространств:
Если в евклидовом пространстве векторы - ортогональны (т.е. ), то
обязательно
Действительно,
В силу ортогональности имеем , а потому в конце концов:
Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Линейное пространство наделено таким скалярным произведением , что:
1. и перпендикулярны относительно этого скалярного произведения, т.е.
;
2. Относительно этого скалярного произведения , , т.е.
;
Задача: Найти длину вектора относительно этого скалярного произведения .
Заметим, что . Далее, по теореме Пифагора для евклидовых пространств вспоминаем, что в любом евклидовом пространстве для любых ортогональных векторов выполнено, что
а поэтому значит, .
(И совершенно неважно, что скалярное произведение у нас нестандартное. Теорема Пифагора
верна для любого скалярного произведения.)
Ошибка.
Попробуйте повторить позже
Доказать, что если - евклидово пространство, - скалярное произведение на нём, то для любого выполнено . Мы этим не раз уже пользовались, и не раз еще воспользуемся.
Действительно, воспользуемся тем, что нулевой вектор обладает таким прекрасным свойством, что . Тогда:
И мы здесь воспользовались линейностью скалярного произведения по второму аргументу. Но тогда, отнимая число из обеих частей последнего равенства, получаем
Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Пусть в задано стандартное скалярное произведение (т.е. сумма произведений соответствующих координат). Дополнить систему до ортонормированного базиса в , где , .
Найдём сначала такой, что , . Если имеет координаты , то мы получаем систему
У которой нам достаточно подобрать лишь какое-нибудь частное решение. Подойдёт, например,
. То есть можно взять как .
Далее, чтобы построить , нам нужно уже найти его из условия, что , ,
.
Пусть . Тогда получаем систему уравнений:
Подойдёт, например, . То есть, в качестве можно взять
.
Осталось только добиться того, чтобы длина и стала равна 1. Потому что мы ведь хотели не
просто ортогональный, но ортонормированный базис.
Для этого нужно просто наши вектора поделить на их длину.
Итого, получится: , . И вот тогда уже система
будет образовывать ортонормированный базис в .
Ошибка.
Попробуйте повторить позже
Рассмотрим , , . Ясно, что система векторов будет
базисом в (Они линейно независимы, например, потому, что определитель матрицы, в которую по
столбцам положены их координаты, отличен от 0).
Пусть в задано стандартное скалярное произведение (т.е. сумма произведений соответствующих
координат).
Задача: Для системы векторов применить процесс Грама-Шмидта.
Пусть - это система уже после применённого к ней процесса ортогонализации
Грама-Шмидта.
Тогда, как и положено, мы должны взять . А вот остальные и нам предстоит найти по
формулам Грама-Шмидта.
Итак,
Вычисляем: , . Таким образом,
Далее, третья шка:
Вычисляем: , , , . Таким образом:
Получаем ответ
Ошибка.
Попробуйте повторить позже
Доказать, что если - это две ортогональные матрицы, то их произведение тоже будет ортогональной матрицей.
Действительно, по определению, ортогональная матрица - это матрица перехода от одного
ортогонального базиса к другому. Или, как мы доказали, это эквивалентно тому, что если эту матрицу
умножить на себя же транспонированную, то получится единичная.
То есть, по сути нам дано , . Что же будет с матрицей ? Давайте
проверим, будет ли выполнено, что ?
Получилось! Следовательно, - ортогональна.
Ошибка.
Попробуйте повторить позже
Будет ли ортогональна матрица
Нет, не будет, потому что если мы перемножим скалярно первый её столбец на второй, то получится . А произведение го столбца на ый столбец ортогональной матрицы равно , если , и 1, если .
Ошибка.
Попробуйте повторить позже
Разложить матрицу в произведение , где - ортогональная матрица, а - верхнетреугольная с положительными числами на диагонали.
Как нам гласит теорема о существовании -разложения, это разложение может быть получено в виде
где в свою очередь - матрица перехода, которая получается, если ортогонализовать столбцы
матрицы при помощи процесса Грамма-Шмидта, - это матрица перехода, которая получается,
если мы из ортогональной системы полученной на первом шаге делаем ортонормированную (т.е. все
вектора делим на их длину), - диагональная матрица, на диагонали которой стоят длины
векторов системы, полученной на первом шаге, после ортогонализации столбцов матрицы .
Итак:
1 шаг. Ортогонализовать столбцы матрицы . Если их преобразовать при помощи процесса
Грамма-Шмидта, то получится такая система векторов:
А матрица перехода будет такой: . Тогда, находим :
2 шаг. Матрица - это просто матрица, у которой по диагонали стоят длины векторов после применения процесса Грамма-Шмидта. То есть,
3 шаг. Матрица - это матрица, по столбцам которой стоят вектора после применения система Грамма-Шмидта и после того, как мы их отнормировали, то есть поделили на их длину. То есть,
4 шаг. Далее, как мы и говорили,
И мы получили искомое разложение , где - ортогональная матрица, а - верхнетреугольная с положительными числами на диагонали.
Ошибка.
Попробуйте повторить позже
Доказать, что для любого подпространства евклидова пространства его ортогональное дополнение действительно является линейным подпространством.
Действительно, проверим, что сумма векторов и умножение вектора на скаляр на выводят на пределы
:
1. Сумма. Возьмём , . То есть, для любого выполнено и
(по определению того, что такое ).
Но тогда для любого будет
Следовательно, .
2. Умножение на произвольный . Возьмём . То есть, для любого
выполнено
Но тогда для любого и для любого будет
Следовательно, .
(Здесь мы всюду пользовались линейностью скалярного произведения).
Ошибка.
Попробуйте повторить позже
Доказать, что для любого подпространства евклидова пространства выполнено
По определению,
Тогда, по определению
Но множество тех , которые ортогональны любому вектору из - это в точности
подпространство .
Но это и значит, что .
Ошибка.
Попробуйте повторить позже
Найти угол между вектором и подпространством в , являющимся множеством решений ОСЛУ
Давайте сначала найдем базис в пространстве решений, то есть ФСР нашей однородной системы линейных уравнений
При помощи стандартного алгоритма получаем, что базис пространства решений, то есть базис нашего подпространства - это:
Теперь вспомним, что угол между и нашим подпространством равен .
Таким образом, нам нужно найти координаты проекции в подпространство , у которого мы
только что нашли базис.
Для этого нам надо базис дополнить до базиса нашего исходного пространства при помощи
векторов так, чтобы было базисом в .
Подберем и так, чтобы они были линейно независимы с и и при этом были бы им
ортогональны:
Тогда любой вектор из в частности наш можно однозначно представить в виде
где , .
Для того чтобы записать такое представление, нам нужно просто разложить по базису .
То есть, надо понять, как представить в виде
Но это есть в точности задача о решении системы линейных уравнений
Решая её, находим
Тогда .
Следовательно,
Ошибка.
Попробуйте повторить позже
Пусть - аффинное пространство, точка . Пусть также - аффинное подпространство. Доказать, что длина не зависит от точки . То есть, для любой длина получается одна и та же.
Пусть - другая точка из .
Тогда, с одной стороны,
и
Но с другой стороны, ясно, что , где , поскольку точки и обе
были из подпространства .
Но тогда имеем:
Но помним, что и имеем:
Следовательно, в силу единственности разложения, имеем:
и
Именно последнее равенство нам и требовалось доказать (раз эти вектора равны, то и длины их подавно равны).
Ошибка.
Попробуйте повторить позже
Найти расстояние между точкой и двумерной плоскостью в , заданной системой неоднородных линейных уравнений
Найдем сначала базис в линейном подпространстве, которое задает наше аффинное подпространство.
Ясно, что это линейное подпространство - это общее решение однородной системы линейных
уравнений
Поскольку любое решение неоднородной - это частное решение неоднородной + общее решение однородной, то и у нас любая точка нашей двумерной плоскости - это , где - частное решение неоднородной, а - любой вектор из , где - пространство решений ОСЛУ
При помощи стандартного алгоритма получаем, что базис пространства решений, то есть базис нашего подпространства - это:
Теперь вспомним, что расстояние между и нашей плоскостью равно , где - любая
точка, удовлетворяющая неоднородной системе, то есть лежащая в плоскости. Возьмём точку ,
допустим, такую (от этого ничего не зависит, лишь бы она лежала в плоскости).
Таким образом, нам нужно найти координаты ортогональной составляющей относительно
подпространства , у которого мы только что нашли базис.
Для этого нам надо базис дополнить до базиса нашего исходного пространства при помощи
векторов так, чтобы было базисом в .
Подберем и так, чтобы они были линейно независимы с и и при этом были бы им
ортогональны:
Тогда любой вектор из в частности наш можно однозначно представить в виде
где , .
Для того чтобы записать такое представление, нам нужно просто разложить по базису
.
То есть, надо понять, как представить в виде
Но это есть в точности задача о решении системы линейных уравнений
Решая её, находим
Тогда .
Следовательно, искомое расстояние равно
Ошибка.
Попробуйте повторить позже
Зададим на функцию от двух векторных переменных
по следующему правилу
Задача. Доказать, что определяет некоторое скалярное произведение на . Найти
относительно этого скалярного произведения произведение векторов и .
Для этого надо проверить, что функция - билинейная, симметрична и положительно определена.
Пусть и их координаты: , , .
1. Билинейность.
Линейность по первому аргументу доказана. Линейность по второму аргументу проверяется,
естественно, аналогично.
2. Симметричность.
А с другой стороны
Симметричность доказана.
3. Положительная определенность.
Более того, очевидно, что
Ошибка.
Попробуйте повторить позже
Проверить, что следующая функция является скалярным произведением на пространстве всех матриц :
Проверить, что следующая функция является скалярным произведением на пространстве всех матриц :
Решение.
Для этого надо проверить, что функция - билинейная, симметрична и
положительно определена.
1. Билинейность.
(мы в процессе воспользовались двумя очевидными свойствами: во-первых, траспонирование суммы
матриц это то же самое, что и сумма транспонированных матриц и, во-вторых, что след суммы
равен сумме следов.).
(мы в процессе воспользовались таким очевидным свойством следа, которое гласит, что при
умножении матрицы на , её след тоже умножается на .).
Мы проверили линейность по первому аргументу. Линейность по второму проверяется аналогично.
2. Симметричность.
(мы в процессе воспользовались очевидными свойством следа: след не меняется при
транспонировании.) Симметричность проверена.
3. Положительная определенность.
И более того, ясно, что
И мы все доказали.
Ошибка.
Попробуйте повторить позже
Доказать, что в параллелограмме, натянутом на векторы и евклидова пространства , сумма квадратов длин диагоналей равна сумме квадратов длин сторон.
Раз - евклидово, то в введено некоторое скалярное произведение .
Если параллелограмм натянут на векторы , то его диагонали равны, соответственно, и
. И нам нужно сейчас доказать, что
Докажем это. Левая часть, по определению длины в евклидовом пространстве равна:
И мы все доказали.
Ошибка.
Попробуйте повторить позже
В пространстве всех многочленов степени не выше чем 2 дополнить многочлен до
ортогонального базиса всего пространства.
Считать, что скалярное произведение на задано формулой
Можно, конечно, сразу дополнить до ортонормированного базиса, взяв в качестве двух дополняющих его многочленов некоторые многочлены
и
с неопределенными коэффициентами, и записать явно условия того, что они все три попарно
ортогональны относительно данного нам скалярного произведения.
Но мы поступим не так. Покажем, что задачу дополнения некоторой линейно независимой системы
векторов до базиса можно решать и через процесс Грама-Шмидта (это еще одно полезное его
применение.)
Дополним многочлен до какого-нибудь базиса в нашем пространстве . Например, можно
дополнить его многочленами и . Ясно, что
- это базис пространства . А теперь просто применяем к набору векторов
процесс Грама-Шмидта.
Первый вектор остается неизменным, то есть первый вектор в новом ортогонализованном базисе и
остается .
Второй вектор вычисляем по формуле
(при вычислении интегралов мы, естественно, пользовались формулой Ньютона-Лейбница)
Далее, вычисляем , то есть последний многочлен нашего ортогонального базиса:
(все интегралы здесь также легко вычисляются по формуле Ньютона-Лейбница)
Значит, набор многочленов
будет образовывать ортогональный базис в пространстве .
Ошибка.
Попробуйте повторить позже
Найти объем трехмерного параллелепипеда, натянутого на векторы
По свойству матрицы Грама, квадрат объема параллелепипеда равен определителю матрицы Грама из
векторов .
Для того, чтобы вычислить матрицу Грама, найдем всевозможные скалярные произведения:
Следовательно,
То есть искомый объем равен .
Ошибка.
Попробуйте повторить позже
В пространстве всех многочленов степени не выше чем 2 найти матрицу Грама системы векторов
если скалярное произведение задано формулой:
a) ;
b)
a) Для того, чтобы выписать матрицу Грама, надо посчитать всевозможные попарные скалярные произведения:
Таким образом, с таким скалярным произведением матрица Грама системы векторов будет равна
b) Для того, чтобы выписать матрицу Грама, надо посчитать всевозможные попарные скалярные произведения:
Таким образом, с таким скалярным произведением матрица Грама системы векторов будет равна