уравнений Ах — у. Предположим, что это решение линейно-зависимо от переменных хг. Тогда существуют такие скалярные величины kt (i принимает значения 1, 2, q — г), которые удовлетворяют (при условии, что не все kt одновременно равны нулю) следующему соот ношению:
Gy = 2Ягхг = |
2Я,, [Gy + |
(Я - I) Zi], |
(25) |
т. е. |
|
|
|
Gy - Gy^K |
+ (Я - |
I) 2 М г. |
(26) |
Левая часть уравнения (26) не содержит г. Поэтому в правой части второе слагаемое должно быть равно нулю, откуда следует, что = 0. Поскольку же гг представляют собой независимые ре шения, их линейная комбинация может быть равна нулю лишь в том случае, если каждое число к 1 равно нулю. Но это противоречит пред положению о том, что соотношение (25) содержит отличные от нуля
kt. Поэтому вектор Gy не может быть линейно-зависим от хг, и, следо
вательно, набор Xi (г = 1,2, ..., q — г) и Gy образуют систему, содер жащую q — г -|- 1 линейно-независимых решений.
в) ЛИНЕЙНАЯ КОМБИНАЦИЯ, СОСТАВЛЕННАЯ ИЗ ЭЛЕМЕНТОВ РЕШЕНИЯ
Линейные комбинации элементов решения, которые инвариантны относительно выбранных решений, находят широкое применение в некоторых методах статистического анализа (регрессия на условную переменную (0; 1) и ее эквивалентные формы, линейные статистические модели; см. главу XI). Поэтому приведем еще одну теорему, касаю щуюся линейных комбинаций элементов решения. Она принадлежит
Рао [8]. |
дана совместная система уравнений |
Ах = у |
Теорема 5. Если |
и матрицы G и Я |
удовлетворяют условиям AGA = А |
и |
Я = GA, |
то линейная комбинация k'x, составленная из элементов |
решения х, |
будет инвариантна относительно выбранных решений тогда и только тогда, когда k'Я = k!.
Доказательство. Воспользуемся формулой решения системы, пре дусматриваемой теоремой 2, и умножим обе части формулы на k':
k'x = k'Gy |
+ k' (Я — I) z. |
Допустим, что условие k'H |
k! удовлетворено, тогда решение не за |
висит от выбора произвольного вектора г; поскольку же любое решение
может быть представлено в виде х = Gy + (Я — I) г, если подобрать соответствующие значения г, в тех случаях, когда k'H -^k' , произведе
ние k'x при любом х равно k'Gy. Кроме того, если удовлетворяется
условие k'H — k ', произведение k'x = k'Gy будет иметь единственное значение, не зависящее от того, какую из обобщенных обратных мат риц мы выбираем в качестве G. Докажем это утверждение. Во-первых, в соответствии с теоремой 3 существует q — г + 1 линейно-независи