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

МФТИ 2012 Умнов АЕ АГ+ЛА Стр001-544

.pdf
Скачиваний:
42
Добавлен:
03.06.2015
Размер:
6.64 Mб
Скачать

Глава 8 . Линейные зависимости в линейном пространстве

319

Тогда в силу линейности функционала справедливы соотношения

 

n

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

f (x) = f (ξ i gi ) = ξ i f (gi ) = φ i ξ i ,

 

 

 

i=1

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

где φ i = f (gi ) , i = [1, n]

числа, называемые компонентами ли-

нейного функционала в данном базисе.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из последних равенств следует легко проверяемая

 

 

Теорема Каждый линейный функционал

f (x) в Λn в кон-

8.7.1.

кретном базисе

{g1, g2 ,..., gn} имеет однозначно оп-

 

 

ределяемую строку компонентов

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

g =

 

 

 

φ1

 

φ2 K φn

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а каждая строка компонентов

 

φ1 φ2 K φn

 

в

 

 

 

 

конкретном базисе в Λn

 

определяет некоторый ли-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

нейный функционал по формуле

f (x) = φ i ξi ,

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

в матричном виде f (x) =

 

 

 

f

 

 

 

 

 

 

 

 

x

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Запись координатного представления линейного функционала в

Λn в виде строки (а не столбца!) следует из необходимости обеспе- чить соответствие этого представления определению 8.4.5, поскольку

линейный функционал в Λn можно рассматривать как линейное ото- бражение Λn → Λ1 .

Получим теперь правило изменения компонент линейного функ-

ционала в Λn

при переходе от одного базиса к другому. Пусть в Λn

даны два базиса {g1 , g

 

 

 

 

2 ,..., gn } и {g1 , g

2 ,..., gn }, связанные матри-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

цей перехода

 

S

 

 

 

=

 

 

 

σij

 

 

 

, где gj = σ ij gi

j = [1, n] .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

320

Аналитическая геометрия и линейная алгебра

Координатные представления некоторого элемента x будут иметь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x =

n

 

ξ

i

 

i

=

n

 

i

 

i

 

 

 

 

 

в рассматриваемых базисах вид

 

 

g

 

 

а коорди-

 

 

i=1

 

 

i=1

ξ′ g ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

натные представления линейного функционала

 

 

 

f (x)

 

 

соответствен-

но

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) =

 

n

φ

 

ξ

 

 

 

=

 

n

 

φ′

ξ′ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Найдем выражения для величин

 

 

φ′i

через

 

φi . Используя введен-

ные обозначения, получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

φ′i = f (gi′) = f (σki g k ) = σki f (g k ) =φ k σki ,

 

 

 

 

 

 

 

 

 

 

 

k =1

 

 

 

 

 

 

 

 

 

 

k =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =1

 

 

 

 

 

 

 

что доказывает следующее утверждение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема В Λn

в базисах {g

1

, g

2

,..., g

n

 

}

и {g′, g

,..., g ′ } ком-

8.7.2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

n

поненты

 

координатных

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

 

 

 

функционала

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

=

 

 

 

φ

 

, φ

 

,..., φ

 

 

 

 

и

 

 

 

f

 

 

 

g

=

 

 

 

 

φ′

, φ′

,..., φ′

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

1

 

2

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

1

2

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

связаны соотношением φ′

 

=

 

 

φ

 

σ

 

 

 

 

 

 

; k = [1, n] , где

 

 

i

ik

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

коэффициенты σik

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

коэффициенты

 

S

 

матрицы

 

 

 

 

 

перехода от первого базиса ко второму.

В матричной форме это утверждение имеет вид

f g= f g S .

Это означает, что компоненты линейного функционала в Λn преоб- разуются при замене базиса так же, как преобразуются столбцы ба- зисных элементов (см. § 7.3).

Глава 8 . Линейные зависимости в линейном пространстве 321

Двойственное (сопряженное) пространство. Взаимный (биортогональный) базис

Поскольку линейные функционалы в Λ являются частным случа- ем линейных операторов, то для них можно ввести операции сравне- ния, сложения и умножения на число.

Задача

Показать, что в Λn с базисом {g1 , g2 ,..., gn } опера-

8.7.2.ции сложения и умножения на число для линейных функ- ционалов p(x) и q(x) в координатном представлении

имеют вид

p + q

 

 

 

g =

 

 

 

φ1 + ψ1

φ2 + ψ 2

...

φn

 

+ ψ n

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ p

 

 

 

g =

 

 

 

λφ1

λφ2

...

λφn

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

p

 

 

 

 

g

=

 

 

 

Kφ1

φ2

...

φn

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

 

g

=

 

 

 

ψ1

ψ 2

...

ψ n

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Очевидно, что при этом будут справедливы все утверждения § 8.2, в том числе и

Теорема Множество всех линейных функционалов, заданных в

8.7.3.линейном пространстве Λ , является линейным про- странством.

Определение Линейное пространство линейных функционалов, за-

8.7.3.данных в Λ , называется двойственным (или сопря-

женным) пространству Λ и обозначается Λ+ .

Теорема 8.7.1 устанавливает взаимно однозначное соответствие между множествами линейных функционалов и n-компонентных строк, последнее из которых является линейным n-мерным простран-

322 Аналитическая геометрия и линейная алгебра

ством. Принимая во внимание, что операции с линейными функцио-

налами в координатном представлении в Λn совпадают с аналогич- ными операциями для n-компонентных строк, можно прийти к заклю-

чению об изоморфности линейных пространств Λn и Λn+ . Поэтому будет справедлива

Теорема Размерность пространства Λn+ , двойственного Λn ,

8.7.4.равна n .

Как и во всяком n-мерном линейном пространстве, в Λn+ должен

существовать

базис.

Пусть он состоит из элементов

{r , r ,..., r }; r Λn+

i = [1, n] . Тогда каждый элемент f Λn+

1 2

n

i

 

может быть однозначно представлен в виде линейной комбинации

n

базисных элементов, то есть f = ρ i ri , а стандартное для Λn

i=1

столбцовое координатное представление элемента f , будет иметь

вид

ρ1

f r = ρ2 .

L

ρn

Связь между координатными представлениями линейного функ-

ционала f в базисах {g

1

, g

2

,..., g

n

} Λn

и {r , r ,..., r } Λn+

 

 

 

 

 

 

 

 

 

 

 

1

2

n

задается квадратной, порядка n , матрицей

 

 

 

 

Γ

 

 

 

,

элементами кото-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rg

 

 

рой являются числа γ ij = ri (g j ) ; i, j = [1, n]

 

 

 

 

значения функциона-

ла ri на элементах g j .

n -мерным линейным пространством, то

 

 

Глава 8 .

Линейные зависимости в линейном пространстве 323

 

 

 

Задача

Доказать,

 

что

если {r , r ,..., r }

базис

 

в

 

Λn+ , а

 

 

8.7.3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{g1 , g2 ,..., gn }

базис в Λn , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

= (

 

 

 

G

 

 

 

T

)1

 

 

 

 

f

 

 

 

T

 

 

 

 

или

 

 

 

 

 

 

f

 

 

 

 

=

 

 

 

f

 

 

 

T

 

 

 

G

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

rg

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

rg

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение

 

Если матрица

G

rg

=

 

 

 

 

E

, то есть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8.7.4.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1, i = j,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

gij

 

= dij

 

 

 

 

 

 

 

 

 

 

 

 

"i, j = [1, n] ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0, i ¹ j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то базисы

 

{g1 , g2 ,..., gn }

 

 

и {r1 , r2 ,..., rn }

называ-

 

 

 

 

 

 

 

ются взаимными (биортогональными).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим, что если базис {r , r ,..., r } в Ln+

 

 

 

 

является взаимным

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для базиса

{g1 , g2 ,..., gn }

в

 

Ln ,

то для любого линейного функ-

 

 

 

ционала f (x)

его координатные представления в Ln

 

и в Ln+ связа-

 

 

 

 

 

f

 

 

 

 

=

 

 

 

 

f

 

 

 

T .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ны очевидным соотношением

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вторичное двойственное (вторичное сопряженное) пространство

Поскольку Ln+ является

в нем так же, как и в Ln , возможно определять линейные функциона- лы и рассматривать их множество как новое линейное пространство

Ln++ , двойственное к Ln+ . Будем называть пространство Ln++ вто-

ричным двойственным для линейного пространства Ln .

Вполне очевидно, что линейные пространства Ln , Ln+ и Ln++ n -мерные и, следовательно, изоморфны друг другу. Однако для про-

странств Ln и Ln++ существует особый изоморфизм, позволяющий не делать различия между ними и который может быть построен сле- дующим образом.

324

Аналитическая геометрия и линейная алгебра

Пусть x некоторый элемент из Λn , а X ( f ) действующий в

Λn+

функционал, такой, что X ( f ) = f (x) f Λn+ . Убедимся

вначале, что X ( f ) линейный на Λn+ , то есть он будет некоторым элементом в Λn++ . Действительно,

 

X 1 f1 + λ 2 f 2 ) = λ1 f1 (x) + λ 2 f 2 (x) =

 

 

= λ1 X ( f1 ) + λ 2 X ( f 2 ) λ1 , λ 2 ;

f1 , f 2 Λn+ .

Это

означает, что X ( f ) Ω f Λn+ , где,

согласно теореме

8.4.1,

Ω подпространство линейного пространства Λn++ .

Теперь рассмотрим отображение X (x) : Λn → Ω , которое можно записать и как y = X ( f (x)) x Λn ; y Ω . Оно будет линейным,

как произведение (композиция) линейных отображений X ( f ) и

f (x) , и, кроме того, очевидно, взаимно однозначным. Следователь-

но, y = X ( f (x)) отображение, устанавливающее изоморфизм ли-

нейного пространства Λn и множества Ω , а тогда в силу теоремы

7.5.1 dim(Ω) = dim (Λn ) = n .

Наконец, отметим, что сочетание условий

dim (Λn++ ) = n = dim(Ω) и Ω Λn++

означает совпадение множества Ω и линейного пространства Λn++ .

Таким образом, мы приходим к заключению, что отображение y = X ( f (x)) x Λn ; y Λn++ устанавливает тождественное

взаимно однозначное соответствие между элементами линейных про-

странств Λn

и

Λn++ , позволяющее считать их одним и тем же про-

странством

Λn

и записывать связь между значениями линейных

функционалов,

действующих в Λn и Λn+ , в симметричной форме

вида

 

x( f ) = f (x) ; x Λn ; f Λn+ .

 

 

Глава 9 . Нелинейные зависимости в линейном пространстве 325

Глава 9

НЕЛИНЕЙНЫЕ ЗАВИСИМОСТИ В ЛИНЕЙНОМ ПРОСТРАНСТВЕ

§ 9.1. Билинейные функционалы

Определение Пусть в линейном пространстве Λ каждой упорядо-

9.1.1.ченной паре элементов x и y поставлено в соответ-

ствие число B(x, y) так, что

 

 

1)

B(αx1 + βx2 , y) = αB(x1 , y) + βB(x2 , y)

 

 

 

x1 , x2 , y Λ ; α,β ,

 

 

2)

B(x, α y1 + β y2 ) = αB(x, y1 ) + βB(x, y2 )

 

 

 

x, y1 , y2 Λ ; α,β ,

 

 

тогда говорят, что в Λ задан билинейный функционал

 

 

(или билинейная форма).

Пример

1°.

Произведение двух линейных функционалов F (x)

9.1.1.

 

и

G( y) , определенных в Λ ,

 

 

 

 

 

B(x, y) = F (x)G( y)

 

 

есть билинейный функционал.

 

2°.

Двойной интеграл

 

 

 

B(x, y) = ∫∫ K (τ, σ)x(τ) y(σ)dσdτ =

 

 

 

Ω

β β

=x(τ)(K (τ, σ) y(σ)dσ)dτ,

αα

где функция двух переменных K (τ, σ) непрерывна

326 Аналитическая геометрия и линейная алгебра

 

α ≤ τ ≤ β

на множестве

Ω :

, есть билинейный

 

α ≤ σ ≤ β

функционал в линейном пространстве непрерывных

на [α,β] функций.

 

3°. Билинейным

функционалом

является скалярное

произведение векторов на плоскости или в про- странстве.

Билинейные функционалы в Λn .

Пусть в Λn заданы базис {g1 , g 2 ,..., g n } и билинейный функ-

ционал B(x, y) . Найдем формулу для выражения его значения через координаты аргументов.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

Предположим,

что

в рассматриваемом

базисе

 

x = ξi gi и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = η j g j

, тогда, согласно определению 9.1.1, справедливы ра-

j =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

венства

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

n

 

 

 

 

n

 

 

 

B(x, y) = B(ξ i gi , η j g j ) = ξ i B(gi , η j g j ) =

 

 

 

i=1

j =1

i=1

 

 

 

 

j =1

 

 

 

 

n

n

 

n n

 

 

 

 

 

 

 

 

 

 

 

= ∑∑ξ i η j B(gi , g j ) = ∑∑βij ξ i η j .

 

 

 

 

i=1 j =1

 

i=1 j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение

 

Числа

βij = B(gi , g j ) называются компонентами

9.1.2.

 

билинейного

функционала

 

B(x, y)

 

в

базисе

 

 

 

 

 

 

{g1 , g 2 ,..., g n }, а матрица

 

B

 

g =

 

βij

 

 

 

матри-

 

 

 

 

 

 

 

 

 

цей билинейного функционала в этом базисе.

 

Глава 9 . Нелинейные зависимости в линейном пространстве 327

В Λn с базисом {g1 , g 2 ,..., gn }

билинейный функционал может

быть представлен в виде

 

 

 

n n

n n

n

n

Β (x, y) = ∑∑βki ξ k ηi = ∑∑ξ k1βki ηi1 =ξ1Tk βki ηi1 =

 

 

 

 

k =1 i=1

 

 

 

 

 

 

k =1 i=1

 

 

k =1

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

β11

β12

...

β1n

 

 

 

 

 

 

 

η1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

ξ1

 

ξ 2

...

 

 

 

ξ n

 

 

 

 

 

β21

β22

...

β2n

 

 

 

 

 

 

 

η2

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

... ... ... ...

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

βn1

βn 2

...

βnn

 

 

 

 

 

 

 

ηn

 

 

 

 

=

 

 

 

x

 

 

 

T

 

 

 

B

 

 

 

 

 

 

 

y

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где столбцы

 

x

 

и

 

y

 

координатные представления элементов

gg

xи y в данном базисе.

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

Теорема Пусть

 

 

S

 

 

 

 

 

матрица

 

перехода от базиса

9.1.1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{g1, g2 ,..., gn} к базису {g1, g2

,..., gn}, тогда

 

 

 

 

 

 

B

 

 

 

 

g=

 

 

 

 

S

 

 

 

T

 

 

 

B

 

 

 

g

 

 

 

S

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По определению матрицы перехода от одного базиса к другому в

 

Λn (см. § 7.3) имеют место соотношения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= σik gi

, k

= [1, n] ,

 

 

 

 

g k

i=1

 

328

Аналитическая геометрия и линейная алгебра

 

 

но тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

β′

= B(g

, g ′) = B(

n

σ

 

 

 

n

σ

 

 

 

) =

 

 

ik

g

,

jl

g

j

 

 

kl

k

l

 

i

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

j =1

 

 

 

 

 

n n

=∑∑σik σ jl B(gi , g j ) = i=1 j =1

 

 

 

 

 

 

n

n

 

 

 

 

 

 

n

n

 

 

 

 

 

 

= ∑∑σik σ jl βij = σTki βij σ jl

 

 

 

 

 

 

i=1 j =1

 

 

 

 

 

 

i=1

j =1

для всех k , l = [1, n] .

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие

det

 

B

 

g

= det

 

B

 

g det

2

 

 

 

S

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9.1.1.

Доказательство.

Следует из теоремы 9.1.1, а также свойств детерминанта (тео-

ремы 6.2.1 и 6.2.4).

Отметим, что в силу невырожденности матрицы перехода знак оп- ределителя матрицы билинейного функционала не зависит от выбора базиса.

Следствие Ранг матрицы билинейного функционала не

9.1.2.зависит от выбора базиса.

Доказательство.

Следует из теоремы 8.4.3 и невырожденности матрицы пере-

хода

S

.

Определение

Билинейный функционал B(x, y) называется сим-

9.1.3.метричным, если для любой упорядоченной пары элементов x и y линейного пространства Λ имеет место равенство B(x, y) = B( y, x) .