Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Беклемишев-Решения_задач

.pdf
Скачиваний:
3473
Добавлен:
27.03.2016
Размер:
1.14 Mб
Скачать

§ 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.