АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Теорема о паре квадратичных форм

Читайте также:
  1. S-M-N-теорема, приклади її використання
  2. Б1 1.Системы линейных алгебраических уравнений (СЛУ). Теорема Кроникера-Капелли. Общее решение СЛУ.
  3. Базисный минор и ранг матрицы. Теорема о базисном миноре
  4. Билет 22Понятие евклидова пространства, неравенство Коши-Буняковского. Теорема Кронекера Капелли.
  5. Билет 5 Теорема Безу и следствия из неё. Основная теорема алгебры.
  6. Внешние эффекты (экстерналии). Теорема Коуза.
  7. Внешние эффекты трансакционные издержки. Теорема Коуза
  8. Внешние эффекты, их виды и последствия. Теорема Коуза
  9. Внешние эффекты. Теорема Коуза.
  10. Внешние эффекты. Теорема Коуза.
  11. Вопрос 1 теорема сложения вероятностей
  12. Вопрос 24 Теорема Остроградского-Гаусса для электрического поля в вакууме

Пусть в векторном (не евклидовом!) пространстве V над полем R действительных чисел заданы две квадратичных формы: K и G. Нам известно, что для каждой квадратичной формы в векторном пространстве найдется, и не единственный, канонический базис. Поставим вопрос: существует ли базис, являющийся каноническим для обеих форм? Ответ в общем случае отрицательный, но если одна из квадратичных форм положительно определена, то ответ положителен. Докажем это. Предварительно убедимся, что верна

Лемма. Пусть в евклидовом пространстве Е в некотором ортонормированном базисе квадратичная форма G имеет вид

G (x) = (1)

Тогда она имеет такой же вид в любом ортонормированном базисе.

Доказательство. Пусть квадратичная форма G имеет вид (1) в данном ортонормированном базисе е 1,…, е п. Матрица этой квадратичной формы в данном базисе равна единичной матрице Е. Если е 1¢,…, е п ¢ - новый ортонормированный базис, то матрица перехода Q к новому базису является ортогональной. Как известно, матрица квадратичной формы G в новом базисе будет иметь вид QtEQ= = QtQ = E. Это значит, что и в новом базисе квадратичная форма будет представлять собой сумму квадратов всех координат, то есть иметь вид (1).

Теорема. Пусть в векторном пространстве V над полем действительных чисел даны две квадратичные формы K и G, из которых G – положительно определенная. Тогда существует такой базис, в котором форма G принимает нормальный вид, а форма К – канонический.

Доказательство. Как мы отметили в § 5 главы 3, для любой квадратичной формы существует базис, в котором она принимает нормальный вид. Выберем такой базис е 1,…, е п для формы G, тогда она примет вид (1). Билинейная форма В, которая порождает квадратичную G, имеет, очевидно, вид

В (х, у) = x 1 y 1+ x 2 y 2+…+ xnyn (2)

Объявим билинейную форму В скалярным произведением, превратив векторное пространство V в евклидово пространство Е. При таком скалярном произведении наш выбранный базис е 1,…, е п, как следует из теоремы 3 § 2 данной главы, будет ортонормированным. Теперь в построенном евклидовом пространстве выберем ортонормированный канонический базис для формы К. Так как по лемме квадратичная форма G и в этом базисе будет иметь нормальный вид, то выбранный базис – искомый и теорема доказана.

 

 

УПРАЖНЕНИЯ

 

1. Скалярное произведение в векторном пространстве действительных квадратных матриц второго порядка задано формулой (A,B) =trABt, где Bt – транспонированная матрица В. Чему равен угол между матрицами и ?

2. В векторном пространстве R 2 даны два скалярных произведения:

а) (х,у) = х 1 у 1- х 1 у 2- х 2 у 1+2 х 2 у 2; б) (х,у)=2 х 1 у 1+3 х 2 у 2.

В каком скалярном произведении векторы (1,0) и (0,1) ортогональны?

3. Дано, что у векторов х и у длины равны. Будут ли векторы х+у и х-у ортогональны?

4. Можно ли назвать скалярным произведением геометрических векторов произведение их длин?

5. В трехмерном подпространстве пространства R4, натянутом на векторы (1,2,1,3), (4,1,1,1), (3,1,1,0), построить ортогональный базис методом ортогонализации Шмидта.

6. Известно, что линейный оператор в некотором ортонормированном базисе имеет диагональную матрицу. Как называется такой линейный оператор?

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

8. Для какого линейного оператора длина вектора совпадает с длиной его образа?

9. Пусть φ - симметрический линейный оператор евклидова пространства, а А и В - соответственно ядро и образ этого линейного оператора. Доказать, что ортогональные дополнения для А и В являются соответственно образом и ядром этого оператора.

10. Доказать, что ортогональный симметрический оператор φ является инволюцией, то есть удовлетворяет условию φ2 = ε, где ε - тождественный оператор.

 

 

Оглавление

Введние……...………………………………………………………….3

Глава 1. Векторные пространства

§ 1. Определение векторного пространства. Простейшие

следствия. Примеры………….……………………………………..5

§ 2. Линейная зависимость. Лемма о двух системах

векторов………………………………………..……………………7

§ 3. Конечномерные векторные пространства. Базис и

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

§ 4. Преобразование координат при замене базиса…….………13

§ 5. Изоморфизм векторных пространств…………………..........15

§ 6. Подпространства векторного пространства. Способы

задания подпространств…………………………………………..17

§ 7. Пересечение и сумма подпространств. Прямая сумма……..20

Упражнения………………………………………………………..23


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.004 сек.)