Е. Е. Тыртышников |
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. |
Λ = ... |
|
|
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 |
|
|
|
методом квад-
Следующий шаг очевиден с помощью выделения полного квадрата исключить произведение 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В вычислительной алгебре разложение такого вида называют разложением Холецкого.
Поскольку 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.
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.
Лекция 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 |
B u Q |
|
|
µ1 |
... |
|
s1 |
|
|
|
s1 |
|
= Q u, sn = s¯n = ann. |
|
1 u |
ann |
1 |
= |
|
µn−1 sn−1 |
|
, |
. . . |
|
|
|
|
|
|
sn |
− |
1 |
|
|
|
|
|
|
s¯1 |
. . . s¯n |
− |
1 sn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Характеристический многочлен матрицы A легко вычисляется:
|
|
µ1 − λ ... |
|
|
|
s1 |
|
|
|
|
det(A − λI) = |
|
s¯1 . . . |
|
µn−1 − λ |
|
sn−1 |
|
|
|
|
|
|
s¯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,
λ 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 |
−∞ |
ïðè |
а остальные слагаемые в представлении 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 |
Лемма. В любом подпространстве 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) = |
λ1|α1 |
|2 |
+ . . . + λk|αk |
|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) = |
λk|αk|2 |
+ . . . + λn|αn|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 = |
|
... ... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Докажите, что 1 ≤ σn−1 ≤ ... ≤ σ1 ≤ 3 и, кроме того, 0 < σn < 2−n+1.
37.4Критерий неотрицательной определенности
Легко видеть, что ведущие подматрицы наследуют также свойство неотрицательной определенности. Поэтому для неотрицательной определенности эрмитовой матрицы