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

Е. Е. Тыртышников

237

 

 

1 x1 + . . . + λk xk2) + (λk+1 xk2+1 + . . . + λr xr2).

( )

Рассмотрим два подпространства:

 

L = {y Rn : yl+1 = . . . = yr = 0}, M = {y Rn : y = P −1x, x1 = . . . = xk = 0}.

Легко видеть, что dim L = l. Поскольку y = P −1x, ÿñíî, ÷òî dim M = n − k. Åñëè l > k, òî dim L + dim M > n существует ненулевой вектор y L ∩ M. Для этого вектора y левая часть в равенстве ( ) строго положительна, а правая часть отрицательна или равна нулю. Противоречие означает, что l ≤ k. Противоположное неравенство тоже верно достаточно поменять ролями x è y. 2

36.5Эрмитова конгруэнтность

Комплексные матрицы A è B называются эрмитово конгруэнтными, åñëè B = P AP для некоторой невырожденной матрицы P . Это отношение эквивалентности на множестве n × n-матриц (докажите!). Если матрица A эрмитова, то и B эрмитова.

Теорема. Эрмитовы матрицы эрмитово конгруэнтны тогда и только тогда, когда они имеют одинаковую инерцию.

Доказательство практически дословно повторяет предыдущее доказательство (надо лишь вместо x2i è yi2 писать |xi|2 è |yi|2).

36.6Канонический вид пары квадратичных форм

Если приходится одновременно иметь дело с парой поверхностей второго порядка в пространстве или с парой кривых второго порядка на плоскости, то разумно пытаться упростить их уравнения в одной и той же системе координат. В общем случае эта система координат будет аффинной.

Для простоты рассмотрим случай кривых на плоскости. Предположим, что одна из кривых является эллипсом. Тогда перейдем к такой декартовой системе, в который для

нее получается уравнение x2/a2 + y2/b2 = 1. Уравнение второй кривой в этой системе

может иметь самый общий вид. Изменив масштабы по осям, перейдем к аффинной системе, в которой уравнением эллипса будет уравнение окружности (x0)2 + (y0)2 = 1.

Уравнение второй кривой в новой (аффинной) системе имеет все еще общий вид. Но с помощью поворота, как мы знаем, для его квадратичной части можно получить форму λ1(x00)2 + λ2(y00)2. При этом поворот системы координат не может изменить формы

первого уравнения! В сущности это же рассуждение переносится на более общий случай.

Теорема 1. Пусть A и B вещественные симметричные матрицы и при этом A

положительно определенная. Тогда существует вещественная невырожденная матрица P такая, что матрицы P >AP è P >BP обе диагональные.

Доказательство. Вещественная симметричная матрица A ортогонально подобна (поэтому и конгруэнтна) диагональной матрице

λ1

= Q>AQ, Q> = Q−1.

Λ = ...

 

 

λn

D = Z>CZ.

238 Лекция 36

В силу положительной определенности, λi > 0 äëÿ âñåõ i. Далее заметим, что A конгруэнтна единичной матрице (по определению, Λ−1/2 ≡ (Λ1/2)−1):

I = Λ−1/2Q>AQΛ−1/2 = (QΛ−1/2)>A(QΛ−1/2).

Пусть то же преобразование конгруэнтности в применении к B дает матрицу

C = (QΛ−1/2)>B(QΛ−1/2).

Легко проверить, что C остается вещественной симметричной матрицей. Следовательно, с помощью ортогональной матрицы Z получаем диагональную матрицу

В то же время, Z>IZ = I. Окончательно,

I = P >AP, D = P >BP, ãäå P = QΛ−1/2Z. 2

Следствие. Пусть f(x) и g(x) вещественные квадратичные формы и f(x) > 0 для всех вещественных векторов x 6= 0. Тогда f и g можно привести к каноническому виду с помощью общей замены переменных.

Вот вариант этой же теоремы в случае эрмитовых матриц и преобразования эрмитовой конгруэнтности предыдущее доказательство модифицируется очевидным образом.

Теорема 2. Пусть A и B эрмитовы матрицы и A положительно определенная. Тогда существует невырожденная матрица P такая, что матрицы P AP и P BP обе диагональные.

36.7Метод Лагранжа

Простая идея, позволяющая получить канонический вид квадратичной формы, связана с выделением полных квадратов. В итоге вещественная симметричная матрица A ïðè-

водится к конгруэнтной диагональной матрице Λ = P >AP с помощью вещественной

невырожденной матрицы P .

Эта идея ведет к так называемому методу Лагранжа. Чтобы понять его суть, рассмотрим квадратичную форму

f = a11x21 + a22x22 + a33x23 + 2a12x1x2 + 2a13x1x3 + 2a23x2x3.

Åñëè a11 6= 0, то полный квадрат выделяется следующим образом:

a12

 

a13

2

 

 

 

 

 

a122

 

 

 

 

 

a132

 

 

 

a12a13

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

f = a11 x1 +

 

x2

+

 

x3

+ a22

 

 

x2

+ a33

 

x3

+ 2 a23

 

x2x3

a11

a11

a11

a11

a11

 

 

 

 

= b11 y12 + b22 y22 + b33 y32 + 2b23 y2y3,

 

 

 

 

b11 = a11,

b22 = a22

a122

,

 

b33 = a33

a132

,

 

b23 = a23

a12a13

,

 

a11

 

a11

 

a11

 

 

 

 

 

y1 = x1 +

a12

x2

+

a13

, y2 = x2, y3 = x3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a11

 

 

a11

 

 

 

 

 

 

 

 

 

 

Таким образом, A конгруэнтна матрице

 

 

P1 = 0

 

 

1 11

 

.

 

 

B =

0 b22

b23 = P1>AP1,

 

 

 

12

0

 

 

 

 

b11

0

0

 

 

 

 

 

 

 

 

 

1

a

 

/a

a13/a11

 

 

 

 

0 b23 b33

 

 

 

 

 

 

 

0

 

 

0

1

 

 

 

методом квад-

Е. Е. Тыртышников

239

 

 

Следующий шаг очевиден с помощью выделения полного квадрата исключить произведение y2y3.

С помощью метода Лагранжа можно найти инерцию матрицы A. Если же нужно

получить ортогональную матрицу P , то следует обратиться к другим методам на-

пример, к методу вращений.

Мы не будем здесь заниматься формализацией метода Лагранжа для симметричных матриц общего вида. Вместо этого мы рассмотрим случай вещественных положительно определенных матриц и метод квадратного корня с помощью преобразований того же типа он решает ту же задачу, что и метод Лагранжа.

36.8Метод квадратного корня

Пусть дана матрица A порядка n è Ak åå k×k-подматрица, расположенная на пересе- чении первых k строк и столбцов. Подматрицы A1, . . . , An = A называются ведущими

подматрицами, а их определители ведущими минорами матрицы A.

Для вещественной симметричной матрицы A, в которой все ведущие миноры положительны, имеет место разложение A = R>R, ãäå R вещественная верхняя треуголь-

ная матрица с положительными диагональными элементами. 2 Предположим, что факт существования разложения уже доказан. Тогда нетрудно

понять, как его можно вычислить. Для матрицы порядка n = 3 имеем

a12

a22

a23

=

r12

r22

 

 

r22

r23

 

a11

a12

a13

 

r11

 

 

r11

r12

r13

 

a13

a23

a33

r13

r23

r33

 

 

r33

 

r11

=

 

,

r12 = a12

/r11,

r13 = a13/r11,

 

a11

q q

r22 = a22 − r122 , r23 = (a23 − r13r12)/r22, r33 = a33 − r132 − r232 .

Вычисления аналогичны и в случае произвольного n. Метод называется

ратного корня.

Интересно, что в данном случае как бы не используется идея исключения элементов, но именно как бы : чтобы объяснить, почему можно извлекать корни, проще всего вернуться к идее метода Гаусса.

Теорема. Пусть A матрица порядка n, в которой все ведущие миноры отличны от нуля. Тогда существуют единственные нижняя треугольная матрица L с единицами на диагонали и верхняя треугольная матрица U такие, что A = LU.

Доказательство. Пусть n = 3. Первый шаг метода Гаусса дает

−l21

1

0 a21

a22

a23

 

 

=

 

 

0

 

b22

b23

,

l21 = a21/a11, l31 = a31/a11.

1

0

0

a11

a12

a13

 

 

 

 

 

 

 

a11

a12 a13

 

 

 

−l31 0

1 a31

a32

a33 0

b32 b33

 

 

 

a21

a22

a23

= l21

 

1

 

 

0

 

0

b22

b23

 

det A2 = a11 b22

b22 = 0.

 

a11

a12

a13

 

1

 

0

 

 

0

 

 

 

a11

a12

a13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

a31 a32

a33

l31 0

 

 

1

 

0

b32

b33

 

2В вычислительной алгебре разложение такого вида называют разложением Холецкого.

240

Лекция 36

 

 

Поскольку b22 6= 0, можно обойтись без перестановок строк и перейти ко второму шагу метода Гаусса:

0

1

0

0

b22

b23

=

0

b22

b23

, l31 = b32/b22.

1

0

0

a11

a12

a13

 

a11

a12

a13

 

0

l31

1

0

b32

b33

0

0

c33

В итоге получаем

a21

a22

a23

=

l21

1

0

0

b22

b23

.

a11

a12

a13

 

1

0

0

a11

a12

a13

 

a31

a32

a33 l31

l32

1

0

0

c33

Заметим, что det A3 = a11b22c33 c33 6= 0 (это гарантирует возможность проведения третьего шага метода Гаусса без перестановок строк в случае n > 3). Единственность построенного LU-разложения проверяется непосредственно: первая строка в U и первый столбец в L определены однозначно, отсюда то же самое получаем для второй строки в U и второго столбца в L, и так далее. Обобщение доказательства на случай произвольного n не представляет никакой трудности. 2

Следствие. Для любой вещественной симметричной матрицы, в которой все веду-

щие миноры положительны, существует вещественная верхняя треугольная матрица R такая, что A = R>R. Элементы главной диагонали R могут быть выбраны

положительными, при этом ограничении R единственна.

Доказательство. Воспользуемся существованием и единственностью LU-разложения A = LU, в котором L имеет единицы на главной диагонали. Пусть D диагональная матрица с главной диагональю, взятой из матрицы U = [uij]. Поскольку det Ak = u11 . . . ukk для всех k, находим, что ukk > 0 äëÿ âñåõ k.

В силу симметричности матрицы A,

A = A> = LU = (U>D−1)(DL) L = U>D−1.

Отсюда A = (D−1/2U)>(D−1/2U). Таким образом, R = D−1/2U. Единственность проверяется непосредственно так же, как в случае LU-разложения. 2

Замечание. Определитель вещественной симметричной положительно определенной матрицы положителен (как произведение положительных собственных значений). Легко показать, что свойство положительной определенности наследуется всеми ведущими

подматрицами все ее ведущие миноры положительны. Поэтому метод квадрат-

ного корня можно применять для любой вещественной симметричной положительно определенной матрицы. Метод квадратного корня легко переносится также на случай комплексных положительно определенных матриц (они обязательно эрмитовы). Для таких матриц всегда имеет место разложение A = R R, где R комплексная верхняя

треугольная матрица с положительными диагональными элементами.

Задача. Доказать, что для любой положительно определенной матрицы A = [aij] Cn×n имеет место неравенство

det A ≤ a11a22 . . . ann.

Е. Е. Тыртышников

241

 

 

36.9 Критерий положительной определенности

Докажем важный результат, известный как критерий Сильвестра.

Теорема. Пусть дана эрмитова матрица. Для ее положительной определенности необходимо и достаточно, чтобы все ее ведущие миноры были положительны.

Доказательство. Необходимость вытекает из того, что свойство положительной (и неотрицательной) определенности эрмитовой матрицы A порядка n наследуется ее ве-

дущими подматрицами A1, . . . , An нужно лишь учесть равенство

x1

[x1, ... , xk] Ak ...

xk

x1

...

= [x1, ..., xk, 0, ..., 0] A xk .

0

...

0

Из положительной определенности матрицы Ak следует, что все ее собственные значе-

ния положительны det Ak > 0 (как произведение положительных собственных значений). Достаточность получается из разложения A = R R, ãäå R верхняя тре-

угольная матрица: для любого x 6= 0 получаем x Ax = x (R R)x = (Rx) (Rx) > 0.

2

A11 A12

Задача. Матрица A = A21 A22 является эрмитовой, а ее подматрица A11 положительно определенной. Доказать, что положительная определенность матрицы A равносильна положительной

определенности подматрицы A22.

242

Лекция 36

 

 

Лекция 37

37.1 Разделение собственных значений эрмитовой матрицы

Пусть эрмитова матрица A Cn×n записана в блочном виде

A =

B

u

, B C(n−1)×(n−1), u Cn−1.

(1)

u

ann

Ясно, что подматрица B тоже эрмитова. Пусть µ1 ≥ . . . ≥ µn−1 ее собственные зна- чения, и пусть Q унитарная матрица порядка n − 1, приводящая ее к диагональному

âèäó

Q BQ =

µ1 ...

µn−1

 

 

 

 

 

 

 

 

 

 

Q

B u Q

 

 

µ1

...

 

s1

 

 

 

s1

 

= Q u, sn = s¯n = ann.

 

1 u

ann

1

=

 

µn−1 sn−1

 

,

. . .

 

 

 

 

 

 

sn

1

 

 

 

 

 

 

1

. . . s¯n

1 sn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Характеристический многочлен матрицы A легко вычисляется:

 

 

µ1 λ ...

 

 

 

s1

 

 

 

 

det(A − λI) =

 

1 . . .

 

µn−1 − λ

 

sn−1

 

 

 

 

 

 

n 1

sn

λ

 

 

 

 

 

 

 

 

 

 

 

 

 

n−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s

 

2

− . . . −

s

 

 

|

2

 

 

= i=1 i λ)

sn − λ − µ|1

 

|

λ

µ|n−1

 

 

λ .

Y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

n−1

 

 

 

 

 

Следовательно, если собственное значение λ матрицы A не совпадает ни с одним из собственных значений µ1, . . . , µn−1 ее подматрицы B, то оно удовлетворяет уравнению

λ = F (λ)

|s1|2

+ . . . +

|sn−1|2

+ s

.

 

λ − µ1

 

λ − µn−1

n

 

Утверждение. Пусть эрмитова матрица A порядка n с собственными значениями λ1 ≥ . . . ≥ λn имеет блочное разбиение (1), в котором B ее эрмитова подматрица порядка n − 1 с собственными значениями µ1 ≥ . . . ≥ µn−1. Тогда если

µ1 > µ2 > . . . > µn−1 è si 6= 0, 1 ≤ i ≤ n − 1,

243

λ Ik
точку пересечения с

244

Лекция 37

 

 

то имеют место соотношения разделения

 

λ1 > µ1 > λ2 > µ2 > . . . > λn−1 > µn−1 > λn.

(2)

Доказательство. Рассмотрим график функции y = F (λ) (λ è y переменные осей абсцисс и ординат). Очевидно, F (λ) не определено при λ = µk. Поскольку F (λ) → ∞ ïðè λ → µk, естественно говорить, что F (λ) ïðè λ = µk обращается в бесконечность. Изучим поведение функции F (λ) на каждом из n интервалов

In = (−∞, µn−1), In−1 = (µn−1, µn−2), . . . , I2 = (µ2, µ1), I1 = (µ1, +∞).

Пусть λ Ik, 2 ≤ k ≤ n − 1. Тогда

|sk|2

+

|sk−1|2

+∞

ïðè

 

λ − µk

 

λ µk−1

−∞

ïðè

λ→ µk,

λ→ µk−1,

а остальные слагаемые в представлении F (λ) являются ограниченными. Поэтому

 

−∞

ïðè

λ → µk−1.

F (λ)

 

+∞

ïðè

λ → µk,

В силу непрерывности F (λ), прямая y = λ имеет при

графиком функции y = F (λ). Случаи λ I1 è λ In рассматриваются аналогично. Таким образом, уравнение F (λ) = λ имеет n различных корней. Ни один из них не совпадает ни с одним из чисел µk и поэтому каждый из них является собственным значением матрицы A. 2

Åñëè B имеет кратные собственные значения или sk = 0 для каких-то k, строгие неравенства в соотношениях разделения (2) следует заменить на нестрогие неравенства. Можно было бы рассуждать таким образом: с помощью сколь угодно малых возмущений можно сделать µ1, . . . , µn−1 попарно различными, а все sk ненулевыми, при этом для возмущенной матрицы A можно применить доказанное утверждение, а затем пе-

рейти к пределу. Чтобы это рассуждение сделать строгим, требуется факт непрерывной зависимости собственных значений матрицы от ее коэффициентов. Этот важный факт действительно имеет место. Но мы пойдем другим путем случай нестрогих неравенств легко анализируется на основе вариационных свойств собственных значений эрмитовой матрицы.

Задача. Даны эрмитова матрица H и столбец b. Докажите неравенство

 

b

0

2

||

 

||2

p

 

 

 

 

 

H

||2

||2

|| ||2 .

 

H

b

 

 

 

 

+ H

2

+ 4 b 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

37.2Вариационные свойства собственных значений

Под вариационными свойствами понимаются свойства, связанные с минимальными или максимальными значениями каких-то функций. В случае эрмитовой матрицы A Cn×n

в качестве такой функции от векторов x Cn рассматривается так называемое îòíî-

шение Рэлея

x Ax

 

ΦA(x) =

, x 6= 0.

x x

Е. Е. Тыртышников

245

 

 

Лемма. В любом подпространстве L Cn существуют векторы xmin(L) è xmax(L), принадлежащие L и такие, что

ΦA(xmin) ≤ ΦA(x) ≤ ΦA(xmax) x L, x 6= 0.

Доказательство. Функция ΦA(x) непрерывна на единичной сфере ||x||2 = 1 конеч- номерного пространства L. По теореме Вейерштрасса, она принимает там наименьшее и наибольшее значение в каких-то точках xmin è xmax. Легко проверить, что эти точки являются искомыми. 2

Теорема Куранта Фишера. Собственные значения λ1(A) ≥ . . . ≥ λn(A) эрмитовой матрицы A Cn×n связаны с отношением Рэлея ΦA(x) следующим образом:

λk(A) = max

min ΦA(x) =

min

max ΦA(x).

(3)

dim L=k

x L, x6=0

dim L=n−k+1

x L, x6=0

 

Доказательство. Пусть v1, . . . , vn Cn ортонормированный базис собственных

векторов матрицы A: Avi = λivi,

1 ≤ i ≤ n.

 

 

 

 

 

 

 

 

 

 

 

Пусть Lk = L(v1, . . . , vk) è x = α1v1 + . . . + αkvk Lk, x 6= 0.

 

 

 

 

Φ

 

(x) =

λ11

|2

+ . . . + λkk

|2

λ

, Φ

 

(v

) = λ

 

 

min

Φ

 

(x) = λ

.

 

A

|

α

1

2

+ . . . + α

k|

2

 

k

 

A

k

 

k

x

Lk, x=0

 

A

k

 

 

 

 

|

|

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

Рассмотрим также подпространство Mk = L(vk, . . . , vn) размерности n − k + 1. Пусть

x = αkvk + . . . + αnvn Mk, x 6= 0

Φ

 

(x) =

λkk|2

+ . . . + λnn|2

λ

,

Φ

 

(v

) = λ

 

x

max

Φ

 

(x) = λ

.

 

A

 

α

k|

2

+ . . . +

α

2

k

 

 

A

k

 

k

Mk, x=0

 

A

k

 

 

 

 

|

 

|

 

n|

 

 

 

 

 

 

 

 

 

6

 

 

 

 

Пусть теперь L произвольное подпространство размерности k. В силу теоремы Грас-

смана, dim(L ∩ Mk) ≥ 1

 

существует ненулевой вектор z (L ∩ Mk). Тогда

min

ΦA(

x

)

z

)

x

max

ΦA(

x

) =

λ

.

x

L, x=0

 

ΦA(

Mk, x=0

 

k

 

 

 

6

 

 

 

 

 

 

 

 

6

 

 

 

 

 

Таким образом, первое из соотношений (3) доказано.

Чтобы получить второе соотношение, возьмем произвольное подпространство L ðàç-

мерности n − k + 1. Тогда существует ненулевой вектор z L ∩ Lk

 

max Φ (x)

Φ (z)

 

min

Φ (x) = λ .

2

 

6

A

A

 

6

A

k

 

x

L, x=0

x

Lk, x=0

 

37.3Соотношения разделения

Теорема. Пусть эрмитова матрица A Cn×n имеет собственные значения

λ1 ≥ . . . ≥ λn,

и пусть B C(n−1)×(n−1) ее эрмитова подматрица в блочном разбиении вида (1), имеющая собственные значения

µ1 ≥ . . . ≥ µn−1.

246

Лекция 37

 

 

Тогда имеют место соотношения разделения

 

λ1 ≥ µ1 ≥ λ2 ≥ µ2 ≥ . . . ≥ λn−1 ≥ µn−1 ≥ λn.

 

Доказательство. Обозначим через M подпространство векторов x = [x1, . . . , xn]>, определяемое уравнением xn = 0. Пусть отображение ν : Cn → Cn−1 задается правилом ν(x) = [x1 . . . , xn−1]>. Тогда очевидно, что если x M, òî ΦA(x) = ΦB(ν(x)).

Пусть 1 ≤ k ≤ n − 1. Согласно теореме Куранта Фишера, находим

λ

k

 

=

max

 

min

Φ

A

(x)

 

 

max

 

M

x

min

 

 

Φ

A

(x) =

 

 

 

 

 

 

dim L=k x

 

L, x=0

 

 

 

 

dim L=k, L

 

 

L, x=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

max

 

 

 

 

 

min

ΦB(ν(x)) =

 

 

max

 

 

 

 

 

 

min

ΦB(y) = µk.

 

 

 

 

 

M

x

 

 

 

 

6

 

 

 

 

 

dim L=k, L

C

n−1 y

 

 

 

6

 

 

 

 

 

 

dim L=k, L

 

 

L, x=0

 

 

 

 

 

 

 

L, y=0

 

 

 

Пусть теперь 2 ≤ k ≤ n. Согласно той же теореме Куранта Фишера,

 

 

λ

k

=

min

 

k+1

x

max Φ

A

(x)

 

 

 

min

 

 

 

 

M

 

x

max Φ

A

(x) =

 

 

 

dim L=n

 

L, x=0

 

 

 

dim L=n

k+1, L

 

 

 

L, x=0

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

min

 

 

 

 

 

 

max

ΦB(ν(x)) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dim L=n−k+1, L M

x L, x6=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

min

 

 

 

 

 

 

 

max ΦB(y) = µk−1.

 

2

 

 

 

 

 

 

 

dim L = (n − 1) − (k − 1) + 1

 

 

y L, y6=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L Cn−1

В качестве простого следствия можно получить еще одно доказательство достаточ- ности уже известного нам критерия положительной определенности эрмитовой мат-

ðèöû: для положительной определенности необходимо и достаточно, чтобы все ее ведущие миноры были положительны.

Пусть λ1k ≥ . . . ≥ λkk собственные значения ведущей подматрицы Ak порядка k. Достаточно доказать, что λkk > 0. Пусть известно, что

det Ak = λ11 . . . λ1k > 0, 1 ≤ k ≤ n.

Очевидно, λ11 > 0. Пусть уже доказано, что λk−1 k−1 > 0. В силу соотношений разделения, λk−1 k ≥ λk−1 k−1 > 0. Далее,

det Ak = (λ1k . . . λk−1 k) λkk > 0

λkk > 0.

2

Задача. Пусть σ1 ≥ ... ≥ σn сингулярные числа n × n-матрицы

 

 

1

1

2

 

 

 

 

2

 

.

 

A =

 

... ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

1

1

Докажите, что 1 ≤ σn−1 ≤ ... ≤ σ1 ≤ 3 и, кроме того, 0 < σn < 2−n+1.

37.4Критерий неотрицательной определенности

Легко видеть, что ведущие подматрицы наследуют также свойство неотрицательной определенности. Поэтому для неотрицательной определенности эрмитовой матрицы

Соседние файлы в папке лИТЕРАТУРА