Беклемишев-Решения_задач
.pdf§ 7 ] |
|
|
|
|
|
131 |
|
|
|
|
|
|
|
которая совпадает со второй: |
|
|
|
|
|
|
0 |
−0 |
|
|
0 . |
||
0 |
−1 |
|
||||
0 |
0 |
1 |
2 |
|
0 |
|
1 |
1 |
0 |
−1 |
|
1 |
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Легко заметить, что первый |
столбец |
матрицы совпадает со |
||||
столбцом свободных членов. |
Поэтому |
|
решение системы s4 = |
|||
= 1 0 0 0 . Следовательно, присоединенным вектором является вектор e4 с координатным столбцом s4.
3) Сформулируем результат: переходя к базису e1, e2, e3, e4
с помощью матрицы перехода |
|
|
1 0 1 0 , |
||||||||||
S = |
|
s1 s2 s3 |
s4 |
|
= |
||||||||
|
|
|
|
|
1 |
|
0 |
0 |
0 |
||||
|
|
|
|
|
|
|
|
1 |
|
0 |
1 |
1 |
|
|
|
|
|
|
|
|
1 |
|
1 |
0 |
0 |
||
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
мы приведем матрицу данного |
нам линейного преобразования |
||||||||||||
|
|
|
|
|
|
|
|
||||||
к жордановой форме |
1 |
1 |
0 |
|
0 |
|
|
|
|
|
|||
|
|
|
0 |
1 |
0 |
|
0 . |
|
|
|
|||
|
|
|
0 |
0 |
2 |
|
1 |
|
|
|
|
||
|
|
|
|
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
2 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
б) Как и в случае (а), матрица клеточно треугольная, и характеристический многочлен det (A − λE) распадается на два множителя:
− |
|
|
0 |
− |
1 |
|
|
· |
|
0 |
|
1 |
λ |
|
|
|
|
|
|
|
1 |
0 |
λ |
|
1 λ |
1/2 |
|
|
|
||||||
|
|
1 |
− λ |
−1 |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
− |
|
− |
|
− |
|
|
|
|
|||
det (A |
λE) = |
|
1 |
1 λ |
|
|
|
|
|
|
|
|
= |
|
|
||
|
|
1 |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
= |
(1 |
− |
λ) |
(1 − λ) |
= (1 |
− λ) |
. |
|||
Таким образом, все пространство является корневым для кор-
ня λ = 1. |
|
|
|
|
|
|
|
Напишем матрицу A − E: |
|
|
−0 1/2 |
||||
A E = |
1 |
−0 1 |
|||||
0 |
1 |
0 |
1 |
0 |
. |
||
|
|
0 |
1 |
0 |
1 |
0 |
|
|
− |
|
0 |
0 |
0 |
|
|
|
|
0 |
1/2 |
||||
|
|
|
0 |
0 |
0 |
0 |
|
|
|
0 |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5*
132 |
[ Гл. VI |
|
|
Для нахождения собственного шаем однородную систему (A системы, мы можем отбросить
подпространства Ker (A − E) ре- − E)x = 0. Выписывая матрицу первую и последнюю строки:
0 1 0 1 0 |
|
→ |
0 1 0 1 0 . |
|
0 0 0 0 1/2 |
|
0 0 0 0 1 |
||
1 0 1 0 1/2 |
|
|
1 0 1 0 0 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
После очевидного преобразования мы имеем упрощенный вид матрицы, в котором первые две переменные небазисные. Это позволяет написать фундаментальную матрицу
|
f1 f2 |
|
|
0 |
1 |
|
|
= |
1 |
0 . |
|
|
|
|
− |
1 |
0 |
|
|
|
0 |
|
|
|
|
|
|
1 |
|
|
|
|
|
0 |
|
|
|
|
|
−0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Итак, dim Ker (A − E) = 2, и |
|
|
|
||
должны существовать две цепочки, |
|||||
|
|
|
|||
сумма длин которых равна пяти. Цепочки начинаются с векторов, принадлежащих Ker (A − E) ∩ Im (A − E), поэтому посмотрим на это пересечение. Im (A − E) натянуто на векторы, координаты которых — столбцы матрицы A − E, а Ker (A − E) — на векторы f1 и f2 с координатными столбцами f1 и f2. Составим матрицу из всех этих столбцов, пропустив первый и второй столбцы A − E, которые повторяются:
|
b3 b4 b5 f1 |
f2 = |
1 |
−0 1/2 |
|
1 |
|
||||
|
|
0 |
|
||||||||
|
0 |
1 |
0 |
|
1 |
0 |
|
||||
|
|
|
|
0 |
1 |
0 |
|
1 |
0 |
|
|
|
| |
|
|
|
0 |
1/2 |
|
− |
|
|
|
|
|
|
|
0 |
|
0 |
1 |
|
|||
|
|
|
|
|
0 |
0 |
|
0 |
|
|
|
|
|
|
|
0 |
|
−0 |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для того чтобы найти |
линейные |
зависимости |
|
между |
столбцами |
||||||
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
||
(или убедиться в их отсутствии), следовало бы привести матрицу к упрощенному виду, но в первых трех столбцах нетрудно усмотреть треугольную подматрицу с определителем, равным 1/2.
Значит, b3, b4, b5 |
линейно независимы. Кроме того, f1 = −b4, |
а f2 = 2(b3 − b5). |
Таким образом, Ker (A − E) Im (A − E), |
и с каждого собственного вектора начинается цепочка длины > 1. Цепочек длины 1, как мы видим, нет, а значит, одна цепочка должна быть длины 2, а другая — длины 3. Посмотрим,
§ 7 ] |
133 |
|
|
с какого вектора начинается последняя. Для этого напишем матрицу (A − E)2:
1 |
−0 1 |
−0 1/2 |
|
1 0 1 |
−0 1/2 |
|
0 |
0 |
−0 0 0 |
|
||||||||
0 |
1 |
0 1 |
0 |
|
|
0 1 0 |
1 |
0 |
= |
|
1 |
0 |
1 |
0 |
1 |
. |
||
0 |
1 |
0 |
1 |
0 |
|
· |
0 −1 0 |
1 |
0 |
|
|
−1 0 1 |
0 |
−1 |
|
|||
|
0 |
0 |
0 |
|
|
|
0 |
|
0 |
0 |
0 |
0 |
0 |
|||||
0 |
1/2 |
|
0 0 0 |
1/2 |
|
|
||||||||||||
|
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
|
|
0 |
0 |
0 |
0 |
0 |
|
0 |
|
|
0 0 0 |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Здесь видно, что Im (A − E)2, натянутое на векторы, координаты которых — столбцы (A − E)2, совпадает с линейной оболочкой f1. Поэтому цепочка длины 3 начинается с этого вектора. Найдем ее.
Вектор, присоединенный к f1, находится из системы (A − − E)x = f1. Напишем расширенную матрицу этой системы:
1 |
−0 1 |
−0 1/2 |
|
0 |
||
|
||||||
0 |
1 |
0 |
1 |
0 |
|
1 . |
0 |
1 |
0 |
1 |
0 |
|
1 |
|
0 |
0 |
0 |
1/2 |
|
− |
0 |
|
0 |
||||
|
0 |
0 |
0 |
0 |
|
|
0 |
|
0 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В этой матрице, как легко заметить, четвертый столбец только знаком отличается от столбца свободных членов. Поэтому одним из решений этой системы является столбец f1 = 0 0 0 −1 0 T, а вектор f1 с таким координатным столбцом — первый присоединенный к вектору f1.
Второй присоединенный вектор находится из системы линейных уравнений (A − E)x = f1. Расширенная матрица этой системы имеет вид
1 |
−0 1 |
−0 1/2 |
|
0 |
||
|
||||||
0 |
1 |
0 |
1 |
0 |
|
0 . |
0 |
1 |
0 |
1 |
0 |
|
0 |
|
0 |
0 |
0 |
1/2 |
|
|
0 |
|
1 |
||||
|
0 |
0 |
0 |
0 |
|
|
0 |
|
−0 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В этой матрице можно заметить, что столбец свободных членов f1 равен разности третьего столбца и удвоенного пятого, и, следовательно, одним из решений будет f1 = 0 0 1 0 −2 T. Вторым присоединенным вектором будет вектор f1 с координатным столбцом f1 .
134 |
[ Гл. VI |
|
|
Цепочку длины 2 можно начать с любого вектора (кроме, конечно, f1). Начнем ее с f2. Вектор, присоединенный к f2, находится из системы (A − E)x = f2. В расширенной матрице этой системы первая строка отличается знаком от третьей, а пятая — нулевая. Напишем матрицу из остальных строк:
0 1 0 1 0 |
|
0 |
→ |
0 1 0 1 0 |
|
0 |
|
|
|
||||||
0 0 0 0 1/2 |
|
1 |
|
0 0 0 0 1 |
|
2 |
|
1 0 1 0 1/2 |
|
1 |
|
|
1 0 1 0 0 |
|
2 |
|
− |
|
|
|
− |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Мы вычли третью строку из первой, после чего умножили третью строку на 2.) Первые две переменные небазисные, положим их равными нулю и получим решение f2 = 0 0 2 0 −2 T.
Итак, жорданов базис преобразования A построен. Сформулируем результат. Переходя к базису f1, f1, f1 , f2, f2 с помощью матрицы перехода
F = f1, f , f , f2, f |
|
0 |
0 |
0 |
1 |
|
0 |
|
= |
1 |
0 |
1 |
0 |
|
2 , |
||
|
|
− |
1 |
0 |
0 |
0 |
|
0 |
1 1 |
2 |
0 |
1 |
0 |
1 |
|
|
|
|
|
|
|
0 |
||||
|
|
|
0 |
−0 |
2 |
−0 |
|
|
|
|
|
|
2 |
||||
|
|
|
|
|
− |
|
− |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
мы приведем матрицу преобразования к жордановой форме
0 |
1 |
1 |
0 |
0 |
|
0 |
0 |
1 |
0 |
0 . |
|
1 |
1 |
0 |
0 |
0 |
|
|
0 |
0 |
1 |
|
|
0 |
1 |
||||
|
0 |
0 |
0 |
|
|
0 |
1 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Глава VII § 1
1.Проверьте, что в пространстве многочленов степени
2 скалярное произведение можно определить формулой
1
(p, q) = p(t)q(t) dt.
−1
а) Составьте матрицу Грама базиса 1, t, t2. б) С помощью матрицы перехода найдите матрицу Грама базиса 1, (t − 1), (t − 1)2. в) Найдите угол между многочленами t2 + 1 и t + 1.
Р е ш е н и е. Проверим определение, для того чтобы убедиться, что данная формула действительно определяет скалярное произведение. Коммутативность следует из коммутативности умножения многочленов, линейность по первому сомножителю — из линейности определенного интеграла.
Интеграл от квадрата многочлена — неотрицательной функции — неотрицателен. Далее, если интеграл от неотрицательной непрерывной функции равен нулю, то эта функция тождественно равна нулю. Поэтому из
1
(p, p) = (p(t))2 dt = 0
−1
следует (p(t))2 = 0 для всех t [−1, 1]. Но если многочлен обращается в нуль на целом отрезке, то он — нулевой. Поэтому нулевым является и многочлен p.
а) По определению элемент матрицы Грама базиса e1, e2, e3 равен gij = (ei, ej ). В нашем случае базис состоит из многочленов 1, t и t2, и нам нужно проинтегрировать все их попарные произведения от −1 до 1. Учтем, что интеграл от нечетной функции по симметричному отрезку равен нулю. Кроме того,
1 |
1 |
2 |
|
1 |
2 |
|
|
dt = 2, |
t2 dt = |
, |
t4 dt = |
. |
|||
3 |
5 |
||||||
−1 |
−1 |
|
−1 |
|
|||
|
|
|
|
136 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[ Гл. VII |
||
|
|
|
|
|||||||||||||||||||||||||||||
Таким образом, матрица Грама стандартного базиса равна |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
Γ = |
|
|
0 |
|
2/3 |
|
0 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
2/3 |
0 |
|
2/5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
2 |
|
0 |
|
2/3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
, |
|
|
|
1 |
|
2 |
имеет вид |
|||||||
б) Матрица перехода |
к базису 1, |
(t |
|
) |
(t |
|
|
) |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
S = 0 |
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
−1 |
|
−2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
0 |
0 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(см. задачу 3 § 1 гл. VI). |
|
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Γ = ST ΓS = |
−1 |
1 0 · |
|
0 2/3 0 S = |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
1 |
2 1 |
2/3 |
0 2/5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
1 |
0 |
0 |
|
|
2 |
|
0 |
2/3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
= |
−2 |
|
|
|
|
/ |
|
|
−1 −2 |
|
|
|
|
|
|
|
|
− |
|
|
/ |
|
|
|||||||||
|
2/3 −2/3 |
· 0 |
= |
−2 8/3 |
−4 . |
|||||||||||||||||||||||||||
8/3 |
|
4/3 16/15 |
0 |
|
0 |
|
1 |
|
|
|
8/3 |
|
|
|
|
4 32/5 |
||||||||||||||||
|
|
|
|
|
|
|
|
|
3 |
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
8 3 |
|
|||
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
1 и |
|
|
|
|
|
|||||
в) В стандартном базисе многочлены |
p(t) = t + |
|
|
|
|
+ |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q(t) = t |
||||||||||||||
+ 1 имеют |
соответственно координатные столбцы |
p = |
1 |
0 1 |
|
T |
||||||||||||||||||||||||||
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
и q = 1 1 |
0 . |
Для нахождения угла нам необходимо знать |
||||||||||||||||||||||||||||||
(p, q) = pT Γq, |
а |
также |
|
|
(p, p) = pT Γp и |
|
(q, q) = qT Γq. Для |
|||||||||||||||||||||||||
сокращения записи мы напишем так: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
(p, p)
(q, p)
(q, q) |
|
= |
1 1 0 |
|
· |
|
0 2/3 0 |
|
· |
0 1 |
= |
|
|
|||
|
|
|
|
2/3 |
0 2/5 |
|
1 0 |
|
|
|
||||||
|
|
|
|
|
|
|
2 |
0 2/3 |
|
|
|
1 |
1 |
|
|
|
(p, q) |
1 0 1 |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
56 15 8 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
/ |
|
/ |
|
|
|
|
|
|
|
|
|
|
|
= |
8/3 |
8/3 . |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теперь мы можем вычислить
|
|
, q) |
= |
5 |
|
|
cos ϕ = |
|
(p |
|
. |
||
|
|
|
7 |
|||
(p, p)(q, q) |
||||||
2. Подпространство евклидова пространства задано в ортонормированном базисе уравнением ξ1 + ξ2 + ξ3 + ξ4 = 0. Найдите ортонормированный базис в этом подпространстве.
§ 1 ] |
137 |
|
|
Р е ш е н и е. Прежде всего найдем какой-либо базис в данном подпространстве, а затем применим к этому базису процесс ортогонализации. Напишем фундаментальную матрицу уравнения, задающего подпространство:
F = |
|
f1 f2 |
f3 |
|
= |
−1 |
−0 |
−0 . |
|
|
|
||
|
|
|
|
|
0 |
1 |
0 |
|
|
|
|||
|
|
|
|
|
|
|
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
2 |
|
|
|
координатные столбцы векторов |
|
|
||||||||
Столбцы этой матрицы — |
|
|
|
|
|
|
|
|
f1 |
|
f |
||
и f3, составляющих базис в подпространстве. Ортогонализуем их.
|
Построим вектор f2, ортогональный f1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
f2 |
− |
(f1, f2) |
f1 = |
|
0 |
|
|
|
|
1 |
|
|
|
1 |
|
= |
− |
1 |
|
|
1 . |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
2 |
|
|
0 |
2 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
f 2 |
|
|
|
|
− |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
| |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Примем за f |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
2 |
|
|
|
|
|
1 |
− |
2 0 |
. |
|||||||||||||||||||||||
|
вектор с координатным |
столбцом |
|
|
|
= |
|
1 |
|
|
|
|
T |
|||||||||||||||||||||||||||||||||||||||||||||
|
Теперь построим вектор f3, ортогональный f1 и f2. Его коор- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
динатный столбец |
|
|
|
|
f = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
. |
||||||||||||||||||||||||
f3 |
|
(f3, f1) |
f1 |
|
|
|
|
|
(f3, f2) |
|
0 |
|
|
|
1 |
1 |
|
+ |
|
1 |
|
|
= |
|
|
1 |
|
1 |
||||||||||||||||||||||||||||||
− |
|
− |
|
|
0 |
|
− |
2 |
0 |
|
6 |
|
|
−3 |
1 |
|||||||||||||||||||||||||||||||||||||||||||
|
|
f 2 |
|
|
|
|
|
f 2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
−1 |
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
||||||||||
|
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
|
|
| |
|
|
|
|
1 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
3 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Примем за f |
вектор с координатным столбцом f3 |
= 1 1 1 |
|
|
3 . |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
T |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Осталось пронормировать полученные векторы, и мы полу- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
чаем ответ: базис h1, h2, h3 |
из |
векторов |
|
с |
координатными |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
столбцами |
|
|
1 |
|
|
|
1 |
|
; h2 |
= |
|
|
1 |
|
|
1 |
; h3 = |
|
|
|
1 |
|
|
|
|
1 |
. |
|
|
|
|
|||||||||||||||||||||||||||
|
|
h1 = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
√ |
|
|
0 |
|
|
|
|
|
|
|
√ |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
√ |
|
|
|
|
1 |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
2 3 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Остальные решения этой задачи — ортонормированные базисы в данном пространстве — получаются из найденного с помощью ортогональной матрицы перехода. Одно из таких решений будет получено ниже в задаче 4.
138 |
[ Гл. VII |
|
|
3. |
Пусть dim E = 4 и E E задано в ортонормированном |
базисе системой
ξ1 + ξ2 + ξ3 = 0, ξ2 + ξ3 + ξ4 = 0.
Найдите: а) базис в E , б) ортогональную проекцию на E вектора a с координатами a = 1, 2, 3, 4 T .
Р е ш е н и е. а) Уравнение ξ1 + ξ2 + ξ3 = 0 можно рассмат-
ривать |
как |
запись |
ортогональности векторов с координатами |
||||||||||||
1 |
1 |
|
1 0 T |
и ξ1 |
ξ2 |
ξ3 ξ4 T. Аналогично можно истолко- |
|||||||||
вать |
и |
второе |
уравнение. Поэтому линейно независимые век- |
||||||||||||
торы |
n1 и n2 с |
координатными столбцами |
n1 = |
1 1 |
1 0 |
|
T |
||||||||
1 |
1 |
T |
лежат в |
|
|
|
|
||||||||
и n2 |
= 0 |
1 |
|
|
ортогональном |
дополнении |
|||||||||
E |
подпространства E . |
Так как |
ранг системы |
равен |
двум, |
||||||||||
dim E = dim E = 2, а значит, n1 и n2 — базис в E .
б) Так как этот базис уже известен, не будем искать базис в E и по нему проекцию на E , а найдем проекцию вектора a на E . Проекция вектора на двумерное подпространство равна сумме его проекций на какие-нибудь два ортогональных вектора из этого подпространства. Поэтому нам нужно ортогонализовать
базис n1, n2: |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
. |
|
|||||||
n |
= n2 |
|
n2 n1 |
n1 |
= |
|
2 |
|
= |
|
1 |
|
1 |
|
|
|||||||||||||||||||
|
|
|
|
3 |
|
|
|
3 |
|
1 |
|
|
||||||||||||||||||||||
2 |
|
|
− nT n |
|
|
1 − |
|
1 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
T |
|
|
|
|
|
|
0 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
−2 |
|
|
|
|||
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E |
|
|
|
|
|
|
|
||||
Теперь мы можем найти проекцию вектора на |
|
|
|
. Ее координат- |
||||||||||||||||||||||||||||||
ный столбец |
|
|
|
|
(n )T n |
|
|
|
3 |
1 |
15 |
|
|
1 |
|
|
|
|
3 |
|||||||||||||||
|
nT n |
|
|
2 |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
−2 |
|
|
|
|
0 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
1 1 |
|
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
3 |
|
|
|
||||||||||||
a = aT n1 n1 + |
|
aT n2 |
n = 6 |
0 |
15 |
|
|
|
|
= |
3 |
|||||||||||||||||||||||
|
1 + |
|
|
1 |
|
|
3 . |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Осталось получить ответ: |
= |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
a = a |
− |
a |
|
− |
3 |
= |
−1 . |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
2 |
|
3 |
|
|
0 |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
0 |
|
|
|
1 |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Заметим, |
что |
этот |
результат можно было бы получить |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
и иначе.
§ 1 ] |
|
|
|
|
|
|
|
|
|
|
|
|
139 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Матрица системы |
|
1 |
1 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
0 |
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
имеет упрощенный вид, и мы можем сразу написать ее фунда- |
|||||||||||||
ментальную матрицу |
|
|
|
|
|
|
|
|
|
|
|
|
|
F = |
|
f1 |
f2 |
|
= −1 |
−0 . |
|
|
|
|
|
||
|
|
|
|
0 |
1 |
|
|
|
|
|
|||
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
столбцами |
|
и |
|
составляют |
||||
Векторы f1 и f2 с координатными |
|
|
|
f1 |
|
f2 |
|
|
|||||
базис в E . |
|
|
|
|
|
|
|
|
|
|
|
|
|
Для того чтобы найти ортогональную проекцию вектора на |
|||||||||||||
подпространство E , достаточно разложить этот вектор по базису |
|||||||||||||
n1, n2, f1, f2: если a = α1n1 + α2n2 + β1f1 + β2f2, |
то |
искомая |
|||||||||||
проекция есть a = β1f1 + β2f2. Однако это |
решение |
связано |
|||||||||||
с необходимостью решать систему из четырех уравнений с четырьмя неизвестными.
Можно обойтись решением системы из двух уравнений с двумя неизвестными. Для этого разложим a в сумму a + a , где
a E , а a E . Таким образом, a = αn1 + βn2, а nT1 a = = nT2 a = 0. Умножая равенство a = a + a слева на nT1 и nT2 ,
мы получаем систему уравнений
nT1 a = αnT1 n1 + βnT1 n2; nT2 a = αnT2 n1 + βnT2 n2.
Детерминант этой системы отличен от нуля, так как матрица системы — матрица Грама базиса n1, n2. Находим α и β, а по ним a и a . В нашей задаче решение системы
6 = 3α + 2β, 9 = 2α + 3β
α= 0, β = 3, и мы приходим к знакомому нам решению.
4.Допустим, что все элементы ортогональной матрицы порядка n равны между собой по абсолютной величине.
а) Чему равна абсолютная величина элемента такой матрицы? б) Докажите, что такие матрицы существуют, если n = 2k, где k — натуральное число.
Р е ш е н и е. а) Сумма квадратов элементов одного столбца ортогональной матрицы порядка n равна 1. Если квадраты
элементов равны, то квадрат элемента равен 1/n, а его мо-
√
дуль 1/ n .
140 [ Гл. VII
б) Основой доказательства служит следующее утверждение: если P — ортогональная матрица порядка n, то матрица поряд-
ка 2n |
|
|
Q = |
1 |
|
|
P |
|
P |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
√2 |
P |
−P |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ортогональной. |
|
|
доказательства |
проверим |
||||||||||
также является |
Для |
|||||||||||||||||
|
|
|
|
|
||||||||||||||
условие на столбцы матрицы Q, необходимое и достаточное для |
||||||||||||||||||
ортогональности матрицы. |
|
|
|
|
|
|
|
|
|
|
|
|||||||
Сумма произведений соответствующих элементов двух столб- |
||||||||||||||||||
цов равна нулю. Напишем проверку, |
например для |
столбцов |
||||||||||||||||
с номерами j и n + j: |
|
|
|
|
|
|
|
|
|
|
|
|||||||
n |
|
2n |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
qkj qk n+j + |
|
qkj qk n+j = |
|
|
|
|
|
|
|
|
||||||||
k=1 |
|
k=n+1 |
|
|
|
|
pk−n j (−pk−n j ) = 21 (1 − 1) = 0. |
|||||||||||
= 21 |
|
n |
pkj pk j + 21 |
2n |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
k=1 |
|
|
k=n+1 |
|
|
|
|
|
|
|||||||
Аналогично проверяется, что сумма квадратов элементов столбца Q равна 1.
Далее затруднений нет. Хорошо известно, что матрица
√2 |
1 |
−1 |
||
1 |
|
1 |
|
|
1 |
|
|||
|
|
|
|
|
|
|
|
|
|
является ортогональной. Исходя из нее можно получить ортогональную матрицу четвертого порядка
|
|
1 |
1 |
−1 −1 |
−1 . |
|
|
2 |
|||||
|
1 |
1 |
1 |
1 |
||
|
|
|
1 |
1 |
−1 |
1 |
|
|
|
|
−1 |
1 |
|
|
|
|
1 |
−1 |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Затем точно так же |
получаем матрицу восьмого порядка, и во- |
|||||
|
|
|
|
|
|
|
обще любого порядка n = 2k.
Обратите внимание на то, что последние три столбца матрицы четвертого порядка представляют собой еще одно решение задачи 2.
