§ 3. Разложимые матрицы

1. Установленные в предыдущем параграфе спектральные свойства неразложимых неотрицательных матриц не сохраняются при переходе к разложимым матрицам. Однако, поскольку произвольная неотрицательная матрица  всегда может быть представлена как предел последовательности неразложимых и даже положительных матриц

 (, ),                      (42)

то некоторые из спектральных свойств неразложимых матриц в ослабленной форме имеют место и для разложимых матриц.

Для произвольной неотрицательной матрицы  мы докажем •следующую теорему:

Теорема 3. Неотрицательная матрица  всегда имеет неотрицательное характеристическое число  такое, что модули всех характеристических чисел матрицы  не превосходят . Этому «максимальному» характеристическому числу  соответствует неотрицательный собственный вектор

 (, ).

Доказательство. Пусть для матрицы  имеет место представление (42). Обозначим через  и  максимальное характеристическое число положительной матрицы  и соответствующий этому числу нормированный положительный собственный вектор:

 [, , ]   (43)

Тогда из (42) следует, что существует предел

,

где  - характеристическое число матрицы . Из того, что  и , где  - любое характеристическое число матрицы  , предельным переходом получаем:

, ,                                                     (44)

где  - любое характеристическое число матрицы . Этот же предельный переход дает нам вместо (35)

                                                              (45)

Далее, из последовательности нормированных собственных векторов   можно выделить подпоследовательность  , сходящуюся к некоторому нормированному (и, следовательно, не равному нулю) вектору . Перейдем к пределу в обеих частях равенства (43), давая  последовательность значений  . Мы получим:

 (, ).

Теорема доказана.

Замечание. При предельном переходе (42) неравенства (37) сохраняются. Поэтому эти неравенства имеют место для произвольной неотрицательной матрицы. Однако условие, при котором в (37) имеет место знак равенства, для разложимой матрицы уже неверно.

2. Установим ряд важных предложений для матриц с неотрицательными элементами:

1° Если  - неотрицательная матрица с максимальным характеристическим числом , то

,  при   (46)

Действительно, при  справедливо разложение

                                    (47)

и, следовательно,

                   (48)

2° Если  - неотрицательная матрица с максимальным характеристическим телом , а  и  - ее присоединенная и приведенная присоединенная матрицы, то

,  при .                         (49)

Поскольку ,  и

,  при ,                         (50)

то из первого неравенства (46) сразу вытекают соотношения (49).

3° Если  - неразложимая матрица с максимальным характеристическим числом , то

,  при   (51)

,  при                          (52)

Действительно, согласно следствию из леммы 1 (стр. 354), в случае неразложимой матрицы  в соотношениях (47) и (48) можно знак равенства отбросить. Тогда и ,  при . Но, как было показано в § 2, для неразложимой матрицы , . Следовательно, справедливы неравенства (52).

4° Максимальное характеристическое число  любого главного минора (порядка ) неотрицательной матрицы  не превосходит максимального характеристического числа  матрицы :

                                                                   (53)

Если для главного минора -го порядка , то для характеристического определителя  имеем неравенство

 при                                      (54)

Если  - неразложимая матрица, то в (53) всегда знак равенства отпадает.

Если  -  разложимая матрица, то по крайней мере для одного гласного минора имеет место в (53) знак равенства.

Действительно, пусть для конкретности  - максимальное характеристическое число матрицы , имеющей характеристический многочлен . Тогда  и в случае неразложимой матрицы  согласно (52)  при . Следовательно, . Отсюда в случае разложимой матрицы предельным переходом получаем неравенство (53).

Пусть . Тогда, разлагая определитель  по элементам последней строки и последнего столбца, получаем:

,      (55)

где  - алгебраическое дополнение элемента  в определителе  . Разделим, обе части тождества (55) на :

     (56)

Используя второе неравенство (46) для матрицы , замечаем, что при  первый член  в правой части (56) монотонно возрастает, а второй – не убывает. Следовательно, отношение  монотонно возрастает при . Но тогда это отношение отрицательно при , поскольку . Но  при . Следовательно, имеет место неравенство (54).

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

Если  -  разложимая матрица, то перестановкой рядов она может быть представлена в виде

Тогда число  должно быть характеристическим числом одного из двух главных миноров  и . Предложение 4° доказано.

Из 4° вытекает

5° Если  и в характеристическом определителе

какой-либо из главных миноров обращается в нуль (матрица  разложима!), то обращается в нуль любой «объемлющий» главный минор и, в частности, один из главных миноров -го порядка

.

Из 4° и 5° следует:

6° Матрица  является разложимой в том и только в том случае, когда в одном из соотношений

 

имеет место знак равенства.

Из 4° вытекает также

7° Если  - максимальное характеристическое число матрицы , то при любом  все главные миноры характеристической матрицы  положительны:

 (, , )    (57)

Нетрудно видеть, что, и обратно, из неравенств (57) следует: . Действительно,

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

,

т. е. всякое число  не является характеристическим числом матрицы . Следовательно,

.

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

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

Лемма 3 (Котелянского). Если в вещественной матрице  все недиагональные элементы отрицательны или равны нулю

 (, ),                            (58)

а последовательные главные миноры положительны

    (59)

то все главные миноры матрицы  положительны:

 (, ).

Доказательство. Будем доказывать лемму индуктивно относительно порядка матрицы . При  лемма имеет место, так как из

, , ,

следует: . Пусть лемма справедлива для матриц порядка ; докажем ее для матрицы . Введем в рассмотрение окаймляющие определители

 .

Из (58) и (59) следует:

 (,).

С другой стороны, применяя к матрице  тождество Сильвестра (гл. II, равенство (30), стр. 48), получаем:

    (60)

Отсюда в силу (59) следует, что последовательные главные миноры матрицы  положительны:

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

 (, )

Но тогда из (60) вытекает, что положительны все главные миноры матрицы , содержащие первую строку:

 (, )    (61)

Возьмем фиксированные индексы  и составим матриц -го порядка:

 .                              (62)

Последовательные главные миноры этой матрицы в силу (61) положительны:

а недиагональные элементы неположительны:

 (, ).

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

  (, )    (63)

Таким образом, все миноры порядка  матрицы  положительны.

Поскольку в силу (63) , то мы можем теперь ввести в рассмотрение определители второго порядка, окаймляющие элемент  (а не  как раньше):

 .

Оперируя с матрицей  так, как мы ранее оперировали с матрицей , мы получим неравенства, аналогичные неравенствам (61):

                                         (64)

(; ; ).

Так как любой главный минор матрицы  либо содержит первую строку, либо содержит вторую строку, либо имеет порядок , то из неравенств .(61), (63) и (64) следует, что все главные миноры матрицы  положительны. Лемма доказана.

Доказанная лемма позволяет в условиях (57) сохранить лишь последовательные главные миноры и сформулировать следующую теорему:

Теорема 4. Для того, чтобы вещественное число  было больше максимального характеристического числа  матрицы ,

,

необходимо и достаточно, чтобы при этом значении  все последовательные главные миноры характеристической матрицы  были положительны:

    (65)

Рассмотрим одно приложение этой теоремы. Пусть у матрицы   все недиагональные элементы неотрицательны. Тогда при некотором  матрица . Характеристические числа   матрицы  расположим в порядке возрастания вещественных частей:

Обозначим через  максимальное характеристическое число матрицы . Поскольку характеристическими числами матрицы  являются суммы  , то

.

В данном случае неравенство  имеет место лишь при  и означает, что у матрицы  все характеристические числа имеют отрицательные вещественные части. Записывая неравенства (65) для матрицы , мы получим теорему:

Теорема 5. Для того чтобы у вещественной матрицы  с неотрицательными недиагональными элементами

 (,)

все характеристические числа имели отрицательные вещественные части необходимо и достаточно, чтобы выполнялись неравенства

     (66)

Пусть снова  — произвольная неразложимая неотрицательная матрица, а   - некоторый вектор, не являющийся собственным для максимального характеристического числа . Тогда в силу замечания 5 на стр. 365 существуют индексы  и   такие, что выполняются неравенства

 и                                    (67)

Если же  - собственный вектор матрицы  для характеристического числа , то в соотношениях (67) знаки неравенств следует заменить знаком равенства. Поэтому для любого вектора  существуют индексы  и  , при которых

 и                                    (67')

В таком ослабленном виде соотношения (67') остаются в силе и для разложимой матрицы , поскольку она может быть представлена в виде предела последовательности неразложимых матриц.

Соотношения (67') позволяют установить следующую теорему:

Теорема 6. При увеличении любого элемента неотрицательной матрицы  максимальное характеристическое число не убывает. Оно строго возрастает, если  - неразложимая матрица.

Эта теорема допускает эквивалентную формулировку.

Теорема 6'. Если даны две неотрицательные матрицы  и  с максимальными характеристическими числами  и , то из неравенства   следует неравенство . Если же  - неразложимая матрица, то .

Доказательство. Пусть  - неразложимая матрица. Тогда  - также неразложимая матрица. Обозначим через  собственный вектор матрицы  для характеристического числа :

 

Отсюда

                           (67'')

Но . Поэтому, если  не является собственным вектором матрицы  для характеристического числа , то в силу (67) при некотором индексе  

,

откуда , т.е. .

Если же  - собственный вектор матрицы  при характеристическом числе , то , и поскольку при некотором индексе  , то из равенства (67") следует:

,

т. е. снова .

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

Теорема доказана