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