ВУЗ:
Составители:
Рубрика:
Вывод:
Любую квадратичную форму с помощью невырожденного пре-
образования можно привести к виду, в котором 0
11
≠
a . Тогда её можно при-
вести к виду (31):
()
∑
=
+=
n
ji
jiij
aaххA
2,
2
111
*,
ξξξ
.
Если квадратичная форма
ji
ji
ij
a
ξξ
∑
∞
=2,
*
(32)
тождественно равна нулю, то задача приведения квадратичной формы
(
)
xхA ,
к
каноническому виду решена
и
(
)
2
111
,
ξ
aххA = .
Если же , то уже известным способом с помощью невыро-
жденного преобразования
0
2,
≡
/
∑
=
ji
n
ji
ij
a
ξξ
n
ξ
ξ
ξ
...,,,
32
приведём квадратичную форму (32) к
виду (31) и т.д.
Очевидно, за конечное число шагов мы приведём квадратичную форму
к каноническому виду (30).
(
n
xxxL ...,,,
21
)
Замечания:
1 Базис, в котором квадратичная форма имеет канонический вид, назы-
вается каноническим базисом.
2 Если квадратичная форма приведена к каноническому виду, то не все
канонические обязательно отличны от нуля. Перенумеровывая их, получим:
()
nkbbbххA
k
kn
≤+++= ,...,
2
22
2
11
ηηη
. (33)
По определению, ранг квадратичной формы равен рангу её матрицы,
который не меняется при переходе к другому базису и т.к. ранг квадратичной
формы (29) равен k, то ранг квадратичной формы (29) также равен k.
Таким образом, число отличное от нуля канонических коэффициентов
равно рангу квадратичной формы.
53
Вывод: Любую квадратичную форму с помощью невырожденного пре- образования можно привести к виду, в котором a11 ≠ 0 . Тогда её можно при- вести к виду (31): n A( х , х ) = a11ξ 12 + ∑ a *ij ξ i ξ j . i, j =2 Если квадратичная форма ∞ ∑ a *ij ξ i ξ j (32) i, j =2 тождественно равна нулю, то задача приведения квадратичной формы A( х , x ) к каноническому виду решена и A( х , х ) = a11 ξ 12 . n Если же ∑ a ij ξ i ξ j ≡/ 0 , то уже известным способом с помощью невыро- i, j =2 жденного преобразования ξ 2 , ξ 3 , ..., ξ n приведём квадратичную форму (32) к виду (31) и т.д. Очевидно, за конечное число шагов мы приведём квадратичную форму L( x1 , x 2 , ..., x n ) к каноническому виду (30). Замечания: 1 Базис, в котором квадратичная форма имеет канонический вид, назы- вается каноническим базисом. 2 Если квадратичная форма приведена к каноническому виду, то не все канонические обязательно отличны от нуля. Перенумеровывая их, получим: A( х , х ) = b1η12 + b2η 22 + ... + bnη kk , k ≤ n . (33) По определению, ранг квадратичной формы равен рангу её матрицы, который не меняется при переходе к другому базису и т.к. ранг квадратичной формы (29) равен k, то ранг квадратичной формы (29) также равен k. Таким образом, число отличное от нуля канонических коэффициентов равно рангу квадратичной формы. 53