ВУЗ:
Составители:
Рубрика:
§3. Задача о паре квадратичных форм_________________
–32–
уравнения будет выше нулевой , и согласно теореме 11 собственные
подпространства составят прямую сумму. Построенный базис будет общим
каноническим базисом данной пары квадратичных форм (A, B) в силу
построения и леммы 4. "
Следствие 1. Невырожденная пара форм (A, B) имеет общий
канонический базис тогда и только тогда, когда
• спектр L этой пары конечен ,
•
(
)
∑
Λ∈
=
−
λ
λ
BrankBAdef )(
. 4 (26)
Следствие 2. Пара форм (A, B) имеет общий канонический базис тогда
и только тогда, когда
• множество L значений l таких , что def(A –lB)> def(A ,B) конечно,
•
(
)
∑
Λ∈
=
−
−
λ
λ
B
rank
B
A
def
B
A
def
)),()((
. 4 (27)
4. Правило построения общего канонического базиса пары
квадратичных форм в общем случае
Пусть A и B – квадратичные формы в пространстве размерности n ,
имеющие общий канонический базис, ранг B равен r , 0 < r £ n,
а матрицы A
e
, B
e
– матрицы квадратичных форм в некотором базисе e.
Правило 6 (построения общего канонического базиса пары
квадратичных форм A и B, общий случай).
1. Составим блочную матрицу
(B
e
|| A
e
||E). (28)
где E – единичная матрица.
Определение. Биэлементарным преобразованием матрицы такого вида
будем называть прибавление к некоторой ее строке другой строки,
предварительно умноженной на некоторое число, с последуюшим
дублированием этой операции над столбцами матриц, стояших в первых двух
блоках .
2. Биэлементарными преобразованиями приведем матрицу (28) к такому
виду, чтобы в первом блоке стояла диагональная матрица , в которой
первые r элементов были ненулевыми, а следующие нулевыми.
3. Биэлементарными преобразованиями, не изменяющими первые r
строк полученной матрицы , приведем ее к такому виду, чтобы во
втором блоке элементы , стояшие на последних n – r строках и
столбцах , составляли диагональную матрицу.
4. Все элементы , стоящие над ненулевыми диагональными элементами
второго блока, обратим в нулевые, используя биэлементарные
преобразования, при которых последние n – r строк прибавляются к
предшествующим. В результате получим блочную матрицу вида
§3. Задача о паре квадратичных форм_________________ уравнения будет выше нулевой, и согласно теореме 11 собственные подпространства составят прямую сумму. Построенный базис будет общим каноническим базисом данной пары квадратичных форм (A, B) в силу построения и леммы 4. Следствие 1. Невырожденная пара форм (A, B) имеет общий канонический базис тогда и только тогда, когда • спектр L этой пары конечен , • ∑ def ( A −λB ) =rank (B ). (26) λ∈Λ Следствие 2. Пара форм (A, B) имеет общий канонический базис тогда и только тогда, когда • множество L значений таких, что def(A –lB)> def(A ,B) конечно, • ∑ (def ( A −λB ) −def ( A, B )) =rank (B ). (27) λ∈Λ 4. Правило построения общего канонического базиса пары квадратичных форм в общем случае Пусть A и B – квадратичные формы в пространстве размерности n, имеющие общий канонический базис, ранг B равен r, 0 < r £ n, а матрицы Ae, Be – матрицы квадратичных форм в некотором базисе e. Правило 6 (построения общего канонического базиса пары квадратичных форм A и B, общий случай). 1. Составим блочную матрицу (Be || Ae ||E). (28) где E – единичная матрица. Определение. Биэлементарным преобразованием матрицы такого вида будем называть прибавление к некоторой ее строке другой строки, предварительно умноженной на некоторое число, с последуюшим дублированием этой операции над столбцами матриц, стояших в первых двух блоках. 2. Биэлементарными преобразованиями приведем матрицу (28) к такому виду, чтобы в первом блоке стояла диагональная матрица, в которой первые r элементов были ненулевыми, а следующие нулевыми. 3. Биэлементарными преобразованиями, не изменяющими первые r строк полученной матрицы, приведем ее к такому виду, чтобы во втором блоке элементы, стояшие на последних n – r строках и столбцах, составляли диагональную матрицу. 4. Все элементы, стоящие над ненулевыми диагональными элементами второго блока, обратим в нулевые, используя биэлементарные преобразования, при которых последние n – r строк прибавляются к предшествующим. В результате получим блочную матрицу вида –32–
Страницы
- « первая
- ‹ предыдущая
- …
- 30
- 31
- 32
- 33
- 34
- …
- следующая ›
- последняя »