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

Лекция 15

Сопряжённый базис

Пусть V n–мерное евклидовое пространство,

 

 

 

 

 

 

и

 

 

e1; e2; : : : ; en базис в V.

 

 

 

 

; e2i

he2

; eni3

 

2e2 3

2he2

; e1i he2

 

6

e1

7 e1 e2 en

 

e1

; e1

 

e1

; e2

 

 

 

e1

; en

 

 

...

6h

 

 

i h

 

i

 

h

 

i7

= G.

6e

 

 

7

6 e

n

; e

1

 

e

n

; e

2

 

 

 

e

n

; e

n

7

 

6

 

n7

6

 

 

i h

 

 

i h

 

 

7

 

4

 

 

 

5

4h

 

 

 

 

 

 

 

 

 

 

 

 

i5

 

G матрица Грама ;

 

hej; eki = gjk .

 

 

 

 

 

 

 

 

Базис h1; h2; : : : ; hn

ортонормирован, если

 

 

 

 

 

 

 

2h2

3

 

 

 

 

 

 

 

 

 

 

 

 

 

1 ; j = k

6

h1

7 h1 h2 hn = I ;

 

 

 

hhj; hki = jk = 0 ; j 6= k ,

...

 

 

 

6h

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

n7

 

 

 

 

 

jk символ Кронекера.

 

4

 

 

 

5

 

 

 

 

 

 

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

1 / 34

Пусть

x = x1e

1

 

+ x2e

2

+ : : : + xne

n

и

!

 

 

 

 

 

 

 

 

 

!

 

1

+ y2e

2

+ : : : + yne

n ,

 

 

y = y1e

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

тогда

h! !i

=

j;X

 

 

j

k

.

 

 

 

 

 

gjk x

y

 

 

 

 

x ; y

 

 

 

 

 

 

 

 

 

k=1

Удобство ортонормированного базиса h1; h2; : : : ; hn

Пусть

x = x1h

1

+ x2h

2

+ : : : + xnh

n

и

 

!

 

 

 

 

 

 

 

 

 

 

!

 

 

1

+ y2h

2

+ : : : + ynh

n ,

 

 

 

y = y1h

 

 

 

 

 

 

 

тогда

x ; y

 

= x1y1 + x2y2 + : : : + xnyn

.

h! !i

 

 

 

 

 

 

 

 

 

 

 

Кроме того x

j

 

 

x ; h

ji ,

yj =

y ; h

ji.

 

 

= h!

 

 

h!

 

Векторное и смешанное произведение пока у нас было выражено только в ортонормированном базисе.

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

2 / 34

2e2

3

 

2h2

3

 

e1

7 e1 e2 en

 

h1

7 h1 h2 hn

 

6 ...

= G ;

6 ...

= I ;

6e

7

 

6h

 

7

 

6 n7

 

6

n7

 

4

5

 

4

 

5

 

hej; eki = gjk ,

 

hhj; hki = jk .

 

Определение

Базис e1; e2; : : : ; en называется сопряжённым

(ещё двойственным или взаимным) базису e1; e2; : : : ; en,

 

2e2

3

 

1

 

2

 

n

 

k

 

e1

7

e

 

 

 

 

 

= I ,

 

если

6 ...

 

e

 

e

 

hej; e i = jk .

 

6e

 

7

 

 

 

 

 

 

 

 

 

6

n7

 

 

 

 

 

 

 

 

 

4

 

5

 

 

 

 

 

 

 

 

Для ортонормированного базиса h1; h2; : : : ; hn сопряжённый базис существует и равен этому же базису.

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

3 / 34

hej; eki = jk.

Условия на вектор ek

 

 

ek

 

 

ek

he1; eki = 0; hek 1; eki = 0;

hek+1; e

k

i = 0; hen; e

k

i = 0;

ek+1

 

 

 

hek; eki = 1

ek-1

определяют его однозначно.

Таким образом,

для любого базиса e1; e2; : : : ; en существует единственный сопряжённый ему базис e1; e2; : : : ; en.

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

4 / 34

Пример n = 2

e2

 

Имеется базис e1; e2

e2

сопряжённый базис e1; e2

 

 

определяется соотношениями:

 

e1

he1; e1i = 1 ; he2; e1i = 0 ;

e

1

he1; e2i = 0 ; he2; e2i = 1.

 

 

 

Эти соотношения однозначно определяют сопряжённый базис.

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

5 / 34

Пример n = 3

e

3

 

 

Имеется базис e1; e2; e3, сопряжённый базис e1; e2; e3

определяется соотношениями:

he1; e1i = 1 ; he3; e1i = 0 ; he2; e1i = 0 ;

he1; e2i = 0 ; he2; e2i = 1 ; he3; e2i = 0 ;

he1; e3i = 0 ; he2; e3i = 0 ; he3; e3i = 1.

e3

e2

e1

e2

e1

Эти соотношения однозначно определяют сопряжённый базис.

Теорема

 

 

 

 

 

 

e1 =

e2 e3

,

e2 =

e3 e1

,

e3 =

e1 e2

.

 

 

 

 

(e1; e2; e3)

 

(e1; e2; e3)

 

(e1; e2; e3)

(e1; e2; e3) смешанное произведение векторов (ориентированный объём).

J Соотношения hej; eki = jk легко проверяются. I

Замечание

2 3

e1

6e2 7

6 7

6 .. 7 e1 e2 en = I , hej; eki = jk ()

4 . 5 en

2e1 3

6e2 7

() 6 .. 7 e1 e2 en = I , hej; eki = jk .

6 7

4 . 5

en

Значит, исходный базис является сопряжённым базисом для сопряжённого базиса.

Базис e1; e2; : : : ; en и сопряжённый ему базис e1; e2; : : : ; en, как и любые два базиса связаны некоторой матрицей перехода

e1 e2 : : : en = e1 e2 : : : en C

C = ? C = G !!

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

7 / 34

Утверждение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e1

e2 : : : en

= e1 e2 : : : en

G 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

e

2

 

: : : e

n

 

 

 

 

 

 

 

 

 

 

e1 e2 : : : en = e

 

 

 

 

G,

 

 

 

 

 

 

 

 

 

где G матрица Грама базиса

e1; e2; : : : ; en.

 

 

 

 

 

 

 

J Достаточно проверить выполнение соотношения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2e2

3

1 2

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e1

7 e e e

 

= I :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6 ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6e

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

n7

 

 

 

 

 

 

 

e1

3

 

 

 

 

 

 

 

 

 

 

 

 

 

e1

3

 

 

4

 

5

 

 

 

 

 

 

 

2e2

 

e

1

e

2

 

e

n

 

=

2e2

e1 e2 : : : en

G

1

= GG

1

= I. I

6 ...

7

 

 

 

 

 

6 ...

7

 

 

6e

7

 

 

 

 

 

 

 

 

 

 

6e

 

7

 

 

 

 

 

 

 

 

 

 

 

 

6 n7

 

 

 

 

 

 

 

 

 

 

 

 

6

n7

 

 

 

 

 

 

 

 

 

 

 

 

4

5

 

 

 

 

 

 

 

 

 

 

 

 

4

 

5

 

 

 

 

 

 

 

 

 

 

 

 

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

8 / 34

Итак, для любого базиса e1; e2; : : : ; en существует сопряжённый ему базис e1; e2; : : : ; en,

он однозначно определён любым из трёх условий:

1

2e2

3

 

1 2

n

 

 

k

 

e1

7 e e e

 

= I ,

 

 

 

6 ...

 

hej; e i = jk

 

6e

 

7

 

 

 

 

 

 

 

6

n7

 

 

 

 

 

 

 

4

 

5

 

 

 

 

 

 

 

e1

3

 

 

 

 

 

 

2

2e2

e1 e2 en

= I ,

j

; eki = jk

 

6 ...

7

he

 

6en7

 

 

 

 

 

 

 

6

 

7

 

 

 

 

 

 

 

4

 

5

 

 

 

 

 

 

3

e1 e2 : : : en = e1 e2 : : : en G

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

9 / 34

Упр. Доказать, что если

G матрица Грама базиса e1; e2; : : : ; en ,

то матрицей Грама сопряжённого базиса e1; e2; : : : ; en

является матрица G 1.

Упр. Доказать, что базис

e1; e2; : : : ; en и

сопряжённый базис

e1; e2; : : : ; en

одинаково ориентированы.

Аналитическая геометрия (1-ый сем.)

Лекция 15

10 декабря 2011 г.

10 / 34

Соседние файлы в папке Аналитическая геометрия - В.М. Гордиенко