Элементарными преобразованиями λ-матриц называются преобразования следующих типов:
1) Перестановка между собой двух каких-либо строк или столбцов матрицы
2) Прибавление к строке какой-либо другой строки, умноженной на некоторый многочлен j(λ), и, аналогично, прибавление к столбцу другого столбца, умноженного на некоторый многочлен.
3) Умножение строки или столбца на некоторое число, отличное от нуля
Теорема: Всякая λ-матрица может быть элементарными преобразованиями приведена к виду
diag(Ei(λ)), i=1,n, где многочлены Ek(λ), стоящие по диагонали, имеют старшие коэффициенты, равные единице, многочлен E2(λ) делится на E1(λ), E3(λ) делится на E2(λ), E4(λ) на E3(λ) и т.д. Этот вид называется нормальной диагональной формой λ-матрицы.
Конечно, некоторое число последних многочленов Ek(λ) в матрице (4) может оказаться равным нулю: Er+1(λ) = Er+2(λ) = … = 0. Мы можем считать, что a11(λ)≠0, так как, если в матрице есть хоть один элемент, отличный от нуля, то перестановками строк и столбцов его можно перевести на это место. Если не все элементы матрицы делятся на a11(λ), то мы можем способом, заменит матрицу эквивалентной, в которой элемент, стоящий в левом верхнем углу, имеет более низкую степень и по-прежнему отличен от нуля. Если не все элементы делятся на него, ты мы можем опять понизить степень этого элемента и т.д. Процесс закончится, когда мы придем к матрице B(λ), в которой все элементы делятся на b11(λ). Так как элементы b12(λ),…,b1n(λ) первой строки делятся на b11(λ), то вычитая из второго, третьего и т.д. столбца первый, умноженный на соответственно подобранные многочлены от λ, мы можем обратить в нуль 2-й, 3-й,…,n-й элементы первой строки. Аналогично обратим в нуль все элементы, начиная со второго, в первом столбце. Так как в матрице B(λ) все элементы делились на b11(λ), то в полученной матрице все элементы также делятся на b11(λ). Разделим все элементы первой строки на старший коэффициент многочлена b11(λ). На первом месте получится многочлен со старшим коэффициентом 1, который мы обозначим через E1(λ), а на остальных местах будут по-прежнему нули. Мы пришли, таким образом, к матрице следующего вида:
все элементы которой делятся на E1(λ). Мы теперь можем повторить с матрицей (n-1)-го порядка ||cik(λ)|| те же операции, что с матрицей n-го порядка. Заметим, что всякое элементарное преобразование матрицы ||сik|| есть в то же время элементарное преобразование матрицы (3), так как в первой строке и столбце все элементы, кроме E1(λ), равны нулю. Таким образом, мы обратим в нуль все элементы второй строки и второго столбца, кроме диагонального. Полученный диагональный элемент (старший коэффициент которого также считаем равным единице) обозначим E2(λ). Все элементы cik(λ) делятся на E1(λ). Поэтому все дальнейшие элементарные преобразования всегда приводят нас к элементам, делящимся на E1(λ). В частности, E2(λ) делится на E1(λ). Мы пришли, таким образом, к матрице у которой в первых двух строках и столбцах все элементы, кроме диагональных, равны нулю, а по диагонали стоят E1(λ) и E2(λ), причем E2(λ) делится на E1(λ). Мы сможем продолжать этот процесс далее, пока не приведем всю матрицу к диагональному виду. Может, конечно, оказаться, что мы закончим процесс раньше, придя к матрице, состоящей сплошь из нулей.
33. Доказать, что нормальная диагональная форма λ – матрицы определяется однозначно.
Теорема: Нормальная диагональная форма данной λ-матрицы A(λ) определяется по ней однозначно. Если Dk(λ) (k=2,3,…,r) – наибольший общий делитель миноров k-го порядка матрицы A(λ), а Dr+1(λ) = … = Dn(λ) = 0, то элементы нормальной диагональной формы определяются по формулам
Ek(λ) = (k=1,2,…,r)
Er+1(λ) = Er+2(λ) = … = En(λ) = 0
Доказательство: Мы показали, что при элементарных преобразованиях многочлены Dk(λ) не меняются. Поэтому, если матрица A(λ) эквивалентна диагональной нормальной матрице, то Dk(λ) у них совпадают. Так как для матрицы мы получили, что Dk(λ) = E1(λ)…Ek(λ) (k=1,2,…,r ; r<=n) и что Dr+1(λ) = Dr+2(λ) = … = Dn(λ) = 0, то теорема доказана
34-36. Вычисление функции от матрицы.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.