Линейная алгебра. Учебное пособие
.pdf
|
|
|
|
→ |
|
|
|
|
|
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 |
|
|
|
|
|
|||
= ( 1′ 2′ 3′ ) |
|
4 |
|
0 |
0 |
|
1′ |
|
= 4 1′2 |
|
25 2′2 |
+ 5 3′2, |
0 |
|
25 |
0 |
2′ |
− |
|||||||
|
|
0 |
−0 |
5 |
|
3′ |
|
|
|
|
||
90
