Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Линейная алгебра. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
698 Кб
Скачать

 

 

 

 

 

 

 

 

 

1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

)(

 

 

1 1 −

 

)(

2

2

)

 

 

Б = Б

 

 

 

ББ

 

 

 

 

 

Б =

 

1 0

 

 

 

 

 

1 1

 

=

 

Б =

 

 

 

Б

 

 

 

 

 

 

1

 

 

1 + 1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

 

 

1 +

 

 

 

 

 

 

 

 

 

 

→Б

 

(

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

 

 

 

= 2

 

 

3 + 5

3

 

 

=

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

̸

Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

0

 

 

 

 

 

 

 

 

 

(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

(

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

1 +

 

3 +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б

 

 

 

 

 

 

 

 

 

 

 

 

 

Б′

 

Б = 2

 

 

 

1 1

 

 

 

 

 

 

 

 

= 1

(

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Второй способ. Воспользуемся признаком унитарного ЛО по его матрице в

произвольном базисе

Б

:

*

=

 

 

 

 

 

 

*

 

 

1

 

 

Γ

 

 

 

 

 

 

 

 

 

 

 

, где

= Γ

Б

(теорема 3.2.1):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( ( 2

Б

 

 

 

 

Б

 

 

Б

 

Б

 

 

 

 

Б

 

 

 

 

 

 

 

 

 

 

ΓБ=

, 1

) ( 2

, 2

) ) = (

2 4 ) = ΓБ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1

, 1

) ( 1

, 2

)

 

 

 

2 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Γ

 

4

 

 

 

 

 

 

 

 

 

= Γ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

2

 

 

2

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б= Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

4 2

 

 

 

 

 

1 1

 

2 2

 

 

 

 

2 + 3

3 5

 

 

 

 

 

 

Б

 

 

 

 

( −2

2 )( 1 +

 

 

 

1 )( 2 4 ) = (

 

 

 

 

 

3 )

̸=

Б

 

= 4

 

 

 

 

 

 

 

.

*

 

 

 

 

 

 

 

2

 

Несмотря на то, что изначально заданная матрица оператора была эрмитова, т. е. Б′ = Б, сам оператор эрмитовым не является, так как базис Бне

ортонормированный (только в ОНБ матрица эрмитова оператора эрмитова и наоборот).

3.2.3. Ортогональные и унитарные операторы

Определение 3.2.4. Линейный оператор ^

евклидова (унитарного) ЛП называется ортогональным (унитарным) оператором тогда и только тогда,

когда ^* ^−1.

=

Определение 3.2.5. Квадратная действительная матрица называется ортогональной, если = −1. Комплексная матрица называется унитарной, когда = −1.

Теорема 3.2.5 (свойства ортогональных и унитарных операторов).

Вевклидовом (унитарном) пространстве верны следующие утверждения:

1)ортогональный (унитарный) оператор сохраняет скалярное произведе-

^ ^

ние: ( ( ), ( )) = ( , ), в частности, ортогональный (унитарный) оператор переводит ОНБ в ОНБ;

81

2)в ОНБ матрица оператора является ортогональной (унитарной) тогда

итолько тога, когда оператор ортогональный (унитарный);

3)собственные числа ортогонального (унитарного) оператора по модулю равны единице;

4)собственные векторы ортогонального (унитарного) оператора, отвечающие различным собственным значениям, ортогональны;

5)в любом базисе Б детерминант матрицы Б ортогонального (унитар-

ного) оператора ^ по модулю равен 1.

Доказательство. 1. По определению сопряженного оператора

^ ^ ^* ^ ^−1 ^ ( ( ), ( )) = ( , ( ( ))) = ( , ( ( ))) = ( , ).

2. Утверждение следует из формулы (3.13) матрицы сопряженного операто-

ра, ортогональности ЛО ^* ^−1 и того факта, что матрица Грама ортонор-

=

мированного базиса единичная:

Б

 

 

 

Б

 

Б

 

 

 

 

Б

 

 

 

 

{

 

 

 

для евклидова ЛП,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для унитарного ЛП;

 

1

= * = Γ

 

 

ΓБ =

 

=

 

 

 

Б

 

 

 

 

 

 

 

 

 

 

 

Б

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что и требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Пусть — собственный вектор, отвечающий собственному значению

.

Тогда

·

 

·

( , ) = ( , ) = ( ^( ), ^( )) = ( , ^*( ^( ))) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ( , ^−1( ^( ))) = ( , )

 

·

 

 

= | |2 = 1.

 

 

 

 

 

 

 

 

 

 

4. Пусть

 

^

 

 

^

 

 

 

 

 

 

 

 

По пункту 3) | | = | | = 1. Тогда

 

 

 

 

 

( ) = ,

( ) = , ̸= .

 

^( ) =

 

 

 

 

( , ) = ( , ^−1

 

^( ) ) = ( ^( ), ^( )) =

 

 

 

^* = ^−1

 

 

 

 

 

 

 

 

 

 

 

 

 

(( , ) )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

= ( , ) =

 

 

 

( ) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( , ) = ( , )

 

(1

)( , ) = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предположим, что 1 = . Тогда получим

= 1 = = | | = ,

что противоречит условию: ̸= . Следовательно,

(1 − )( , ) = 0 ( , ) = 0.

̸=0

82

5. Поскольку определитель произведения матриц равен произведению определителей, а транспонирование определителя не меняет, имеем

| Б1| = | *Б| = |ΓБ1 БΓБ| = |ΓБ1 · Б · ΓБ| =

= |ΓБ1|| Б||ΓБ| = |ΓБ1||ΓБ| ·| Б| = | Б|.

=1

Таким образом, получим

 

−1

 

= ( Б

)−1

= Б

Б

 

 

 

 

= 1

 

|

Б

|

2

= 1.

 

 

 

 

Б

 

 

|

Б

|

| |

 

 

 

| |

| · |

 

|

 

 

 

 

 

 

|

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В следующей теореме покажем, что «сохранять» ОНБ есть признак ортогонального оператора.

Теорема 3.2.6 (об ортогональном операторе). Линейный оператор ^

унитарного (евклидова) пространства является унитарным (ортогональным) тогда и только тогда, когда он переводит ОНБ в ОНБ.

Доказательство. Необходимость. Если ЛО ^

является ортогональным, то

образом ОНБ является ОНБ. Это доказано в пункте 1) теоремы 3.2.5. Докажем

обратное.

Достаточность. Пусть Б = { 1, . . . , } и Б= { 1, . . . , } — некоторые ор-

тонормированные базисы ЛП . Причем ^(

) =

, 1

 

. Покажем, что

матрица ЛО ^

 

 

 

 

 

, вычисленная в ОНБ Б

: Б, является унитарной (ортогональ-

ной) и тогда, по пункту 2) теоремы 3.2.5, сделаем заключение об унитарности

(ортогональнсти) и оператора

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, по определению матрицы оператора в базисе Б, имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б =

 

Б.

.

 

Б = ([ ^( 1)]Б . . . [ ^( )]Б) = ([ 1]Б . . . [ ]Б)

 

 

[ .1.]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[ ]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Строками [ ]Б матрицы Б являются сопряженные столбцы

[ ]Б матрицы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Б. Перемножим матрицы по правилу « я строка на й столбец»:

 

Б Б = ( ), = [

]Б · [

]Б = [ ]Б

ΓБ [

]Б = (

, ) = = { 0, ̸= .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1, =

 

 

 

Б — ОНБ,

 

 

Γ =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

Здесь использовано то, что

 

поэтому

 

Б

 

и произведение строки

на столбец дает формулу скалярного произведения ( , ). Кроме того, Б

83

ОНБ, поэтому ( , ) = . Таким образом, получено

 

 

 

= =

 

) =

 

 

 

 

 

 

 

 

Б Б = (

 

 

 

Б = −1,

 

 

 

 

 

 

 

Б

что и требовалось доказать.

В следующем следствии сформулированы свойства ортогональных (унитар-

ных) матриц, которые вытекают из доказанных свойств соответствующих ЛО. Следствие. 1. Матрица перехода из ОНБ в ОНБ ортогональна (унитарна).

2. Определитель ортогональной (унитарной) матрицы равен по модулю 1.

Замечание (о геометрическом свойстве ортогонального оператора).

Ортогональный оператор ^

 

 

2 есть поворот на

геометрического пространства

 

угол вокруг начала координат, если определитель

| Б| = +1. Соответствен-

но, если | Б| − ^= 1, то есть симметрия относительно оси. Отсюда можно по-

лучить, что произведение двух осевых симметрий есть поворот, а произведение

поворота на симметрию есть поворот на другой угол. Ортогональный оператор

^ 3 можно интерпретировать как вращение во-геометрического пространства

круг оси или симметрию относительно плоскости или как их произведения. Теория линейных операторов в пространствах со скалярным произведением

работает в различных приложениях линейной алгебры. В частности, полученные теоремы для самосопряженных и ортогональных операторов, переформулированные в матричной форме, будем применять в дальнейшем для построения квадрик. В следующей теореме используется стандартное обозначение диагональной матрицы через перечисление элементов, стоящих на главной диагонали: diag( 1, 2, . . . , ).

Теорема 3.2.7 (матричная форма теоремы о самосопряженном ЛО).

Если — действительная симметрическая матрица ( = ), тогда существует ортогональная матрица ( −1 = ) такая, что

−1 = = diag( 1, 2, . . . , ), R.

Доказательство. Рассмотрим евклидово пространство, возьмем в нем

ОНБ Б и рассмотрим линейный оператор ^, имеющий в базисе Б матрицу

^

: Б = . Тогда — самосопряженный (симметрический) оператор (теорема 3.2.3, пункт 3). По теореме о самосопряженном операторе 3.2.4 найдется

ОНБ B из собственных векторов оператора ^

, отвечающих действительным собственным значениям. Обозначим через матрицу перехода из Б в базис B.

По следствию из теоремы 3.2.6, матрица является ортогональной и, кроме того, −1 является матрицей оператора в базисе из собственных векторов, то есть диагональной действительной матрицей. Теорема доказана.

84

3.3. Числовые функции на ЛП

В этом разделе рассмотрим линейные пространства над полем R. Однако

построенная здесь теория обобщается и на комплексные пространства. Числовые функции на ЛП — это произвольные функции из в R.

3.3.1. Линейные формы

Среди всех числовых функций на ЛП над полем R выделим линейные.

Определение 3.3.1. Функция ( ) из ЛП над полем R в R называется линейной формой, если она удовлетворяет свойствам линейности:

1), ( + ) = ( ) + ( );

2), R ( ) = ( ).

Очевидно, что определение можно записать в эквивалентной форме:

, , , R ( + ) = ( ) + ( ).

Пример 3.3.1 (линейные формы).

1. На ЛП R3 зададим функцию ( ) : R3 → R, где

1

= 2 R3 ( ) = 21 + 2 − 3 1 2.3

Поскольку ( ) = 21 + 2 − 3 1 2 ̸= ( ), ( ) не является линейной формой.

2. На пространстве [ , ] функций, непрерывных на отрезке [ , ] зададим функцию ( ( )) : [ , ] → R, где

 

( ( )) =

 

( ) [ , ]

( ) .

Поскольку

( ( ) + ( )) =

 

( ( ) + ( )) =

 

 

 

 

=

( ) +

( ) = ( ( )) + ( ( )),

85

( ( )) является линейной формой.

: 3 → R через

3. На геометрическом ЛП 3 зададим функцию ( )

скалярное произведение на фиксированный вектор :

 

3 ( ) = ( , ).

 

Поскольку

 

( ) = ( + , ) = ( , ) + ( , ) = ( ) + ( ),

( ) является линейной формой.

Теперь перейдем к вычислению линейной формы в координатах.

Пусть Б = { 1, . . . , } — базис ЛП и ( ) — линейная форма на . Тогда

= 1 1 + . . . + = e · [ ]Б ( ) = 1 ( 1) + . . . + ( ).

Обозначим = ( ), 1 ≤ ≤ , тогда ( ) = 1 1+. . .+ — координатная форма записи.

Определение 3.3.2. Если ( ) — линейная форма на ЛП над полем R, то

координаты (коэффициенты) линейной формы в базисе Б = { 1, . . . , }

есть набор чисел = ( ), 1

 

. Обозначение:

. .

1.

 

= [ ]Б .

 

 

 

 

 

 

Используя введенные матричные обозначения, получим

 

 

 

 

 

 

 

 

 

 

 

 

( ) = 1 1 + . . . + = [ ]Б [ ]Б .

 

 

(3.14)

Для любых базисов Б и Ббудем иметь

 

 

 

 

 

 

 

 

 

 

 

 

 

( ) = [ ]Б [ ]Б = [ ]Б[ ]Б.

 

 

 

 

Используя связь координат вектора в разных базисах (формула (1.7)), получим матричное равенство

( )

[ ]Б [ ]Б = Б [ ]Б[ ]Б = [ ]Б′ ′ [ ]Б = [ ]Б[ ]Б,

Б ББ

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

[ ]Б=

[ ]Б .

(3.15)

ББ

 

 

86

3.3.2. Билинейные формы

Среди всех числовых функций двух переменных на данном ЛП выделим линейные по обоим аргументам.

Определение 3.3.3. Функция двух переменных ( , ) из ЛП над полем R в R называется билинейной формой, если она удовлетворяет свойствам линейности как по первому, так и по второму аргументам:

1) , ,

( + , ) = ( , ) + ( , ); ( , + ) = ( , ) + ( , );

2) , , R ( , ) = ( , );

( , ) = ( , ).

Эквивалентная формулировка:

 

, , ,

1) ( + , ) = ( , ) + ( , );

, R 2) ( , + ) = ( , ) + ( , ).

Пример 3.3.2 (билинейные формы).

1. На ЛП R3 зададим функцию двух переменных ( , ) : R3 → R, где

=

2

, =

2

 

R3

( ) = 1 2 + 2 2

 

3 3 2.

 

1

 

1

 

 

 

 

 

 

3

 

3

 

 

 

Легко проверяется, что функция линейна по обоим аргументам и является билинейной формой. Заметим, однако, что ( , ) ̸= ( , ).

2. На пространстве [ , ] функций, непрерывных на отрезке [ , ], зададим функцию двух переменных ( ( ), ( )) : [ , ] → R, где

 

( ( ), ( )) =

 

( ), ( ) [ , ]

( ) · ( )2 .

Данная функция линейна по первому аргументу, но нелинейна по второму, поэтому ( ( ), ( )) не является билинейной формой.

3. На геометрическом ЛП 3 зададим функцию ( , ) : 3 → R через скалярное произведение:

, 3 ( , ) = ( , ).

В силу линейности скалярного произведения евклидова пространства по обоим аргументам оно является билинейной формой.

87

Рассмотрим вычисление билинейной формы в координатах.

Пусть Б = { 1, . . . , } — базис ЛП и ( , ) — билинейная форма на . Тогда

,

{ = 1 1

+ . . . + = e ··[ ]Б ;

 

= 1 1

+ . . . + = e [ ]Б

( , ) = 1 1 ( 1, 1) + 1 2 ( 1, 2) + . . . + ( , ) = ( , ).

1≤ , ≤

натная форма записи.

 

 

1≤, ≤

 

 

 

 

 

Обозначим = ( , ), 1

 

,

 

, тогда ( , ) =

 

 

 

 

 

— коорди-

Определение 3.3.4. Если ( , ) — билинейная форма на ЛП над полем R, то матрица (коэффициенты) билинейной формы в базисе

Б = { 1, . . . , } есть матрица значений формы на всех парах базисных векторов: Б = ( ( , )) .

Используя матричные обозначения, получим

( , ) = [ ]Б Б [ ]Б =

1≤, ≤ ( , ).

(3.16)

Для любых базисов Б и Ббудем иметь

 

 

 

 

 

( , ) = [ ]Б Б [ ]Б = [ ]ББ[ ]Б.

 

Используя связь координат вектора в разных базисах (формула (1.7)), получим матричное равенство

( ) ( )

[ ]Б Б [ ]Б = ББ[ ]ББ ББ[ ]Б=

( )

= [ ]Б′ ′ Б Б [ ]Б= [ ]ББ[ ]Б,

ББ Б

верное для любых , . Поэтому получена формула, связывающая координаты билинейной формы в разных базисах:

Б=

Б Б

Б.

(3.17)

ББ

 

 

 

Далее рассмотрим специальный класс билинейных форм.

Определение 3.3.5. Функция двух переменных ( , ) из ЛП над полем R в R называется симметричной билинейной формой, если эта билинейная форма, удовлетворяющая условию

, , ( , ) = ( , ).

88

Теорема 3.3.1 (о матрице симметричной билинейной формы).

Билинейная форма ( , ) на действительном ЛП является симметричной тогда и только тогда, когда ее матрица в любом базисе симметрична.

Доказательство. Действительно, по определению матрицы билинейной формы Б = ( = ( , )) в базисе Б = { 1, . . . , } и в силу коммутативности скалярного произведения, имеем

= ( , ) = ( , ) = Б = Б.

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

Замечание. Скалярное произведение в любом евклидовом пространстве является симметричной билинейной формой.

3.3.3. Квадратичные формы

Определение 3.3.6. Квадратичной формой на действительном ЛП называется такая функция ( ) : →R, для которой найдется симметричная

билинейная форма ( , ) такая, что

( ) = ( , ).

Говорят, что билинейная симметричная форма ( , ) порождает квадратичную ( ).

Определение 3.3.7. Матрицей квадратичной формы Б = ( ) в базисе Б = { 1, . . . , } называется матрица Б порождающей билинейной формы

Б = Б = ( ( , ) = ) , 1 ≤ , ≤ .

В силу определения, в любом базисе матрица Б = ( ) квадратичной формы симметрична и закон преобразования матрицы квадратичной формы при замене базиса тот же, что и для порождающей билинейной формы

 

Б=

 

 

Б.

(3.18)

Б = Б,

Б Б

 

 

ББ

 

 

Также из координатной формы записи билинейной формы, получим координатную форму записи квадратичной формы

 

 

 

 

 

( ) = [ ]Б Б [ ]Б =

 

 

=

 

+ 2

 

.

1 ,

 

 

1≤ ≤

 

1 <

 

89

Определение 3.3.8. Если матрица квадратичной формы ( ) диагональна в базисе Б, то будем говорить, что в Б квадратичная форма имеет канонический вид. Соответствующая координатная форма записи

( ) =

2

2

2

2

 

= 11 1

+ 22 2

+ . . . +

1≤ ≤

также называется каноническим видом квадратичной формы.

Пример 3.3.3 (метод Лагранжа). Пусть в некотором базисе Б = { 1, 2, 3}

линейного пространства имеем

( ) = [ ]Б Б [ ]Б = 4 21 + 24 1 2 + 11 22 + 5 23.

Тогда

Б =

12

11

0

.

 

4

12

0

 

0

0

5

 

 

приведем ( ) к каноническому виду методом Лагранжа (выделения полных квадратов). Для этого перепишем координатную запись в виде

( ) = 4 21 + 24 1 2 + 11 22 + 5 23 = 4( 21 + 6 1 2 + 9 22) − 36 22 + 11 22 + 5 23 =

= 4( 1 + 3 2)2 − 25 22 + 5 23.

Сделаем переход в новый базис Б= { 1, 2, 3}, в котором

 

 

 

1

=

 

1

+ 3 2

 

 

 

 

[ ]Б=

2

2

 

 

 

Б

Б =

 

0

 

3

 

 

3

 

 

 

 

=

1

0

Б

 

Б=

0 1

0 .

 

1

3

0

 

 

 

 

 

1

−3

0

 

 

0

0

1

 

 

 

0

 

0

1

Тогда в базисе Б= { 1 = 1, 2 = −3 1+ 2, 3 = 3} квадратичная форма имеет канонический вид: ( ) = 4 12 − 25 22 + 5 32. При этом имеют место равенства:

( ) = ( 1 2 3) 12

11

0

2 = 4 12 + 24 1 2 + 11 22 + 5 32 =

 

4

 

12

0

 

1

 

 

 

 

 

 

0

 

0

5

3

 

 

 

 

 

= ( 123)

 

4

 

0

0

 

1

 

= 4 1′2

 

25 2′2

+ 5 3′2,

0

 

25

0

2

 

 

0

0

5

 

3

 

 

 

 

90

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]