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

r

0

 

Cos

Sin

 

 

r

 

и

Sin

.

 

0

 

 

Cos

Первый из которых соответствует преобразованию подобия с центром в начале координат и коэффициентом растяжения r ; второй поворот в плоскости x, y на угол около начала координат.

ТЕОРЕМА 2. (основная о нормальных операторах в евклидовых пространствах). Матрица нормального оператора в евклидовом

пространстве имеет клеточно-диагональный вид в подходящем ортонормированном базисе. В клетках порядка 1 находятся действительные числа, а клетки порядка 2 имеют вид .

ДОКАЗАТЕЛЬСТВО. Оно аналогично доказательству теоремы 3 §1.4 о

нормальных

операторах. Отличие состоит в том,

что

мы не

можем

утверждать,

что характеристический многочлен

 

всегда

имеет

действительный корень. Но тогда он имеет 2 комплексно-сопряжённых корня

и , которые по теореме 1 позволяют определить подпространство размерности 2, инвариантное относительно , которое порождено двумя

ортогональными векторами x и y . Клетка матрицы ограничения 1

оператора в базисе x, y имеет вид .

Так как пространство векторов, ортогональных векторам x и y так же инвариантно относительно , то осталось воспользоваться индукцией по

размерности пространства. □

ТЕОРЕМА 3. (основная об ортогональных операторах в евклидовых пространствах). В подходящем ортонормированном базисе матрица ортогонального оператора клеточно-диагональная с клетками порядка 1 и 2; причём в клетках порядка 1 содержатся числа 1 или -1, а клетки порядка

Cos i

Sin i

, Sin i 0 .

2 имеют вид

Sin i

 

 

Cos i

 

ДОКАЗАТЕЛЬСТВО. Оно следует из теоремы 2 о нормальных

31

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

значений чисел i

и i

равны 1, то в тригонометрической форме

 

Cos

 

Sin

 

 

. □

r 1 и клетка имеет вид

 

i

 

i

 

 

Sin i

Cos i

 

Пример 3. Рассмотрим трёхмерное евклидово пространство E3 . По теореме 3 для каждого ортогонального оператора пространства E3 можно найти такую ортонормированную систему векторов e1, e2, e3 , что матрица оператора будет иметь один из следующих шести видов:

1

 

 

 

1

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

a)

1

 

,

b)

1

 

,

c)

 

,

d )

 

,

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

1

 

 

 

1

 

 

 

Cos

 

,

 

Cos

 

e)

Sin

f )

Sin .

 

Sin

 

 

 

Sin

 

 

Cos

 

 

Cos

Операторы соответствуют следующим преобразованиям пространства:

a)тождественное преобразование;

b)зеркальное отображение относительно плоскости e2Oe3 ;

c)зеркальное отображение относительно прямой Oe1 ;

d)зеркальное отображение относительно точки O ;

e)вращение на угол около оси e1 ;

f)вращение на угол около оси e1 , сопровождаемое зеркальным отображением относительно плоскости e2Oe3 .

Для симметрических операторов теорема формулируется так же, как и для эрмитовых. Согласно теореме 2 данного параграфа матрица оператора распадается на клетки порядков 1 или 2. При этом клетки порядка 2

появляются только тогда, когда характеристический многочлен оператора

32

имеет комплексные корни. Но характеристические корни симметрических операторов действительны. Следовательно, справедлива

ТЕОРЕМА 4. (основная о симметрических операторах). Матрица симметрического оператора в подходящем ортонормированном базисе является диагональной с действительными числами по главной диагонали.

ТЕОРЕМА 5. (основная о кососимметрических операторах в евклидовых пространствах). В подходящем ортонормированном базисе матрица кососимметрического оператора евклидова пространства имеет клеточно-диагональный вид с клетками порядков 1 или 2; причём в клетках

 

0

 

 

порядка 1 находится число 0, а клетки порядка 2 имеют вид

 

i

.

 

0

 

i

 

ДОКАЗАТЕЛЬСТВО следует из теоремы 2 о нормальных операторах в евклидовых пространствах и того факта, что собственные значения кососимметрического оператора либо 0, либо чисто мнимое число. □

33

ЗАДАЧИ К ГЛАВЕ I.

1. Выяснить, являются ли ортогональными в евклидовом пространстве

следующие системы векторов:

 

 

а)

0,1, 0 ,

 

6, 0, 4 ;

б) 2,1, 4 ,

3, 0, 5 ;

в)

1, 0, 0 ,

0, 5, 0 ,

0, 0, 9 ;

 

г)

1,1, 3 ,

1, 2,1 ,

7, 4, 1 ;

 

д)

2,1, 1 ,

 

1, 2, 0 ,

0,1,1 ?

 

2. Установить, образует ли каждая из указанных систем векторов ортогональный базис в евклидовом пространстве En :

а)

1, 3 ,

 

 

 

6, 2 ;

 

 

 

 

б)

5,1 ,

3, 1 ;

в)

1, 0, 0 ,

 

 

 

 

 

0, 7, 0 ,

0, 0, 2 ;

 

 

 

 

 

 

 

 

 

г)

0, 0, 0, 5 ,

 

 

 

0, 0, 1, 0 ,

0, 2, 0, 0 ,

3, 0, 0, 0 ;

д)

2, 3, 0, 0 ,

 

 

3, 2,1,1 ,

0, 0,1, 0 ,

1, 0, 5, 0 ;

е)

1,1, 0, 1, 1 ,

 

1, 0, 1, 0,1 ,

1, 1, 2, 1,1 ,

1, 1, 0,1, 1 ;

ж)

1, 3, 2, 3,1 ,

 

 

 

 

1,1, 0, 1, 1 ,

1, 0, 1, 0,1 ,

1, 1, 2, 1,1 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1, 1, 0,1, 1 ?

3.

Является ли нормированным каждый из векторов евклидова

пространства En :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,2 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

4

 

 

а)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

 

 

,

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г) 1, 2, 0 ;

 

 

 

1

 

 

 

 

 

 

 

2

 

 

 

 

 

 

1

 

 

 

 

 

 

в)

 

 

 

 

 

,

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

5

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

е) 1, 0, 2, 0 ;

д)

0,

 

 

 

 

 

,

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

13

 

 

 

13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ж)

 

 

1

 

,

1

 

,

1

,

1

 

?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

34

4. Применяя процесс ортогонализации, по данному базису евклидова

пространства E3 , построить ортонормированный:

а)

g1 1, 2, 3 ,

g2 0, 3, 2 ,

g3 0,1, 1 ;

б) g1 1, 2, 3 ,

g2 0, 2, 0 ,

g3 0, 0, 3 ;

в)

g1 1, 0, 0 ,

g2 0,1, 1 ,

g3 1,1,1 .

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

а) g1 1,1, 0, 0 ,

g2 0, 0,1,1 ,

g3 1, 0,1,1 ,

g4 0,1, 0, 1 ;

б) g1 1, 0,1, 2 ,

g2 1, 0, 1, 0 ,

g3 0, 0, 2,1 ,

g4 0,1,1,1 .

6.Даны векторы евклидова пространства En . Найти длины векторов x

иy , их скалярное произведение, косинус угла между ними:

а)

x 2, 1 ,

y 0, 3 ;

б) x 0, 3,1 ,

y 1, 0, 2 ;

в)

x 5, 0, 12, 0 ,

y 3,1, 0, 2 .

 

 

7. Выяснить, является ли матрица A ортогональной, и если является, то найти обратную ей:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

3

 

 

 

 

 

 

1

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

10

 

 

а)

A

2

2

 

;

 

 

 

 

 

 

 

 

 

 

б)

A

 

 

3

 

 

1

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

6

 

 

30

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 0

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в) A

0

 

 

 

 

 

 

 

 

 

 

 

;

г)

A

0

 

1

 

0

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

30

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

0

 

1

 

 

 

 

 

 

 

2

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

6

 

30

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

35

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

1

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

2

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

13

 

13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

д)

A 0

1

 

 

 

 

 

 

0

 

 

 

;

е) A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

2

 

 

 

 

 

6

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

13

3

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8.

Какому условию должны удовлетворять и

 

 

 

 

, R , чтобы

матрица

 

 

 

 

была ортогональной?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9. Оператор : E3 E3

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

матрицей A . Выяснить, является ли оператор ортогональным, если:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

6

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

70

 

 

 

14

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

0 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

3

 

 

 

 

 

1

 

 

 

а)

A

0

 

 

1 1

 

;

 

 

 

 

 

 

б) A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

70

 

 

14

 

 

1

 

 

0

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

70

 

 

 

14

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

1

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в) A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

3

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

3

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10.При каких условиях диагональная матрица будет ортогональной?

11.Оператор : En En имеет в некотором ортонормированном

базисе матрицу

A .

Найти матрицу сопряжённого оператора

в том же

базисе, если:

 

 

 

 

 

 

 

 

 

 

 

 

2

3

 

 

 

1

3

2

 

 

а) A

;

б)

A

0

1

4

 

;

 

 

 

 

4

5

 

 

 

 

 

 

 

 

 

 

 

 

 

3

1

2

 

 

 

 

 

 

 

 

 

 

 

36

 

 

0

1

2

 

 

 

 

 

 

 

 

 

в)

 

3

4 5

 

 

 

 

 

 

 

 

 

A

.

 

 

 

 

 

 

 

 

 

1

0

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12.

Оператор

: En En

имеет в некотором

ортонормированном

базисе матрицу

A . Выяснить, является ли оператор

самосопряжённым,

если:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

1

 

 

 

 

 

 

2

3

1

 

 

 

 

 

 

A

 

4 1

 

а)

A

 

;

 

 

 

б)

3

;

 

1

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

1

1

1

 

 

 

 

0

2 4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в) A

1

2 2

 

;

г) A

 

2

1

1

.

 

 

1

2

3

 

 

 

 

 

4

1 3

 

 

 

 

 

 

 

 

 

13.

При

каком

значении

оператор,

заданный

матрицей A в

некотором

ортонормированном

базисе,

является

 

одновременно

ортогональным и самосопряжённым, если:

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

5

 

5

 

 

 

 

 

 

 

а)

A

 

 

 

 

;

б)

A

 

.

 

 

1

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

5

 

 

 

 

 

 

 

 

 

 

 

14. Линейный оператор : En En

в некотором ортонормированном

базисе e1, e2 , , en

 

имеет

матрицу A . Найти

 

матрицу сопряжённого

оператора в ортонормированном базисе e/

, e/ ,

 

,e/ , если:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

 

 

 

n

 

 

 

 

 

 

 

а) A

3 1

 

, e/

 

1

 

 

 

e

1

 

 

 

e ,

e/

 

1

 

 

 

e

1

 

 

 

e ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

2

2

 

 

 

 

 

 

1

 

 

 

 

 

 

2

 

4

2

 

 

 

2

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

2

 

 

б) A

1

2

 

, e/

 

1

 

e

 

2

 

e ,

e/

 

2

 

 

 

e

 

1

 

e ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

2

2

 

 

 

 

 

 

1

 

 

 

 

 

 

2

 

3

4

 

 

 

5

 

 

 

 

5

 

 

 

 

 

5

 

 

 

 

 

5

 

 

 

 

37

 

 

1

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в)

A

0

1

1

 

,

e/

 

1

 

e e e

,

e/

 

 

1

 

e e

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

3

1 2 3

 

 

2

 

 

2

 

 

1 2

 

 

 

0

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e/

 

1

 

 

e e 2e

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

6

 

 

1

2

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

38

ГЛАВА II. КВАДРАТИЧНЫЕ ФОРМЫ.

§2.1. Приведение квадратичной формы к каноническому виду.

Теория квадратичных форм берёт своё начало в аналитической геометрии, а именно в теории кривых второго порядка. Известно, что уравнение центральной кривой второго порядка на плоскости, после перенесения начала прямоугольных координат в центр этой кривой, имеет вид

 

 

A x2 2B x x

C x2

D .

 

(1)

 

 

1

1 2

 

 

2

 

 

 

 

 

Известно, далее, что можно совершить такой поворот осей координат

на

некоторый

угол (величина

которого

зависит от

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

A, B, C ), т.е. такой переход от координат x1, x2

к координатам y1, y2 :

 

 

 

x1 y1 cos y2 sin

 

 

(2)

 

 

x2 y1 sin y2 cos ,

 

 

 

 

 

что

в новых

координатах

уравнение

нашей кривой

будет

иметь

«канонический» вид

 

 

 

 

 

 

 

 

 

 

 

2

 

2

D ,

 

 

(3)

 

 

A y1 C y2

 

 

 

в этом уравнении коэффициент при произведении неизвестных y1y2

равен,

следовательно, нулю. Преобразование координат (2) можно толковать,

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

Это преобразование применяется к левой части уравнения (1), и поэтому можно сказать, что левая часть уравнения (1) невырожденным линейным преобразованием (2) превращается в левую часть уравнения (3).

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

Обобщая выражение, состоящее в левой части уравнения (1), приходим

39

к следующему понятию.

Квадратичной формой f от n неизвестных x1, x2 ,..., xn называется сумма, каждое слагаемое которой является или квадратом одного из этих неизвестных, или произведением двух разных неизвестных. Квадратичная форма называется действительной или комплексной в зависимости от того,

являются ли ее коэффициенты действительными или же могут быль любыми комплексными числами.

Считая, что в квадратичной форме f уже сделано приведение

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

этой формы: коэффициент при

x2

обозначим через

a

, а коэффициент при

 

i

 

ii

 

произведении xi x j для i j

через 2aij . Так как,

однако, xi x j x j xi , то

коэффициент при этом произведении мог бы быть обозначен и через 2a ji ,

т.е. введенные нами обозначения предполагают справедливость равенства

a ji aij .

(4)

Слагаемое 2aij xi x j можно записать теперь в виде 2aij xi x j aij xi x j a ji x j xi ,

а всю квадратичную форму f в виде суммы всевозможных слагаемых

aij xi x j , где i и j уже независимо друг от друга принимают значения от 1 до n :

n n

 

 

f aij xi x j ,

(5)

i 1 j 1

 

 

в частности, при i j получается слагаемое a

x2 .

 

ii

i

 

Из коэффициентов aij можно составить,

очевидно, квадратную

матрицу A (aij ) порядка n , она называется матрицей квадратичной формы f , а ее ранг r рангом этой квадратичной формы. Если, в частности, r n ,

т.е. матрица – невырожденная, то и квадратичная форма f называется

невырожденной. Ввиду равенства (4) элементы матрицы A , симметричные

40

Соседние файлы в папке Фунд. и комп. алгебра I курс