77188

Знаковизначенні квадратичні форми

Лекция

Математика и математический анализ

Познайомити з послідовністю приведення квадратичної форми до нормального вигляду; вивчити закон інерції квадратичної форми; познайомити з поняттями додатної та від’ємної визначеності квадратичної форми та вивчити критерії додатної визначеності. Нормальний вид комплексної і нормальний вид дійсної квадратичної форми. Знаковизначенні квадратичні форми.

Украинкский

2017-02-21

279 KB

3 чел.

Лекція 20.

Тема. Знаковизначенні квадратичні форми.

Мета вивчання:

  • познайомити з послідовністю приведення квадратичної форми до нормального вигляду;
  • вивчити закон інерції квадратичної форми;
  • познайомити з поняттями додатної та від’ємної визначеності квадратичної форми та вивчити критерії додатної визначеності.

План.

  1. Нормальний вид комплексної і нормальний вид дійсної квадратичної форми.
  2. Знаковизначенні квадратичні форми.

Література. [3], стор.166-184.

Зміст лекції.

1.Відомо, що будь-яка квадратична форма  відn змінних:x1,..,xn, що розглядається над полемР за допомогою невиродженого лінійного перетворення з матрицею, елементами якої є елементи поляР може бути приведена до свого канонічного виду. Причому, канонічний вигляд квадратичної форми залежить від вибору невиродженого лінійного перетворення змінних. Однак, яким би не було обрано невироджене лінійне перетворення змінних канонічний вигляд одержаної квадратичної форми містить рівноr квадратів змінних з коефіцієнтами не рівними нулю, деr – ранг вихідної квадратичної форми.

Нехайf(x1,.., xn) – комплексна квадратична форма рангуr.Тоді деяким невиродженим лінійним перетворенням змінних з комплексними коефіцієнтами, що переводитьx1 .., xnу y1, .. ,yn, одержимо квадратичну форму fканонічного вигляду:

f = α1 y12 +...+ αr yr2 , де α1·...αr≠ 0·,  С.

Здійснимо таке невироджене лінійне перетворення змінних з комплексними коефіцієнтами, що переводитьy1, .. ,yn у  z1, ..., zn :

(1)

Матриця перетворення в цьому випадку має вигляд:

У результаті послідовного виконання двох зазначених невироджених лінійних перетворень змінних з комплексними коефіцієнтами, вихідна комплексна квадратична форма буде приведена до нормального вигляду:

f= z12+...+ zк2 .

Він являє собою сумуrквадратів з коефіцієнтами рівними + 1.

Для будь-якої комплексної квадратичної форми відnзмінних, ранг якої дорівнюєrневиродженим лінійним перетворенням змінних приводиться до того самого нормального виду (до суми квадратівr змінних з коефіцієнтами +1).

Нехайf(x1,...,xn) – дійсна квадратична форма відn змінних ранг якої дорівнюєr . Вона також деяким невиродженим лінійним перетворенням змінних з дійсними коефіцієнтами може бути приведена до свого канонічного виду зr квадратами нових змінних і з ненульовими дійсними коефіцієнтами:

f= α1 y12 + ... + α2 y22, 1 ≤in, αi R    α1... αr ≠ 0.

Серед коефіцієнтів одержаної квадратичної форми можуть бути як додатні, так і від’ємні. Нехай

f = α1 y12 + ... + αk yk2 - αk+1 yk+1 - ... - αr yr2, де 1 ≤ir,αi > 0,  0 ≤ k ≤r

Тепер існує . Здійснюючи невироджене лінійне перетворення (1) одержимо нову квадратичну форму:

,

інші члени мають нульові коефіцієнти.

Таким чином, знайдений нормальний вигляд дійсної квадратичної форми є сумою квадратівn змінних з коефіцієнтами + 1 або – 1.

З огляду на те, що канонічний вигляд визначається неоднозначно укладаємо, що нормальний вигляд визначається неоднозначно.

З'ясуємо, чи залежить число додатних коефіцієнтів та число від’ємних коефіцієнтів від вибору невиродженого лінійного перетворення змінних . Відповідь на це питання даєзакон інерціїдійсної квадратичної форми.

Теорема (закон інерції квадратичної форми).Число додатних і число від’ємних квадратів у нормальному вигляді дійсної квадратичної форми від вибору невиродженого лінійного перетворення змінних з дійсними коефіцієнтами, що приводять її до нормального виду, не залежить.

#  Нехай  - дійсна квадратична форма відn змінних рангуr. Нехай вона невиродженим лінійним перетворенням змінних, що переводить  в  приводиться до нормального вигляду:

.

І невиродженим лінійним перетворенням, що переводить  в  приводиться до нормального вигляду:

.

Покажемо, що .

Перетворення, що переводить  в  - невироджене, а тому існує  обернене до нього. Нехай таким буде наступне:

або

.

Це перетворення – невироджене, тобто визначник його матриці не дорівнює нулю.

Аналогічно, перетворення, що переводить  в  також невироджене і для нього існує обернене перетворення:

,

і визначник матриці цього перетворення також не дорівнює нулю.

Припустимо, що . Для визначеності, нехай . Тоді розглянемо систему лінійних однорідних рівнянь:

(2)

Ця система містить  рівнянь зn невідомими , отже, вона невизначена. Нехай  - один з розв’язків цієї системи. Тоді ураховуючи, що

=(3)

і позначаючи  і  - значення відповідних лінійних форм в точці , будемо мати:

=.

Звідки

=, або

-.(4)

Тому що усі лінійні форми дійсні і числа  також дійсні, то одержана рівність можлива лише тоді, коли всі доданки суми в лівій частині (4) – нулі, зокрема  коли  Таким чином, вектор  є розв’язком системи лінійних однорідних рівнянь:

А це можливо, якщо визначник цієї системи дорівнює нулю, але він співпадає з визначником матриці другого перетворення () який, за умовою, не дорівнює нулю. Таким чином, приходимо до протиріччя. Отже, наше припущення про те, що  не вірне. Аналогічно доводиться, що  також хибне, отже, .

Таким чином, нормальний вигляд дійсної квадратичної форми не залежить від вибору невиродженого лінійного перетворення змінних з дійсними коефіцієнтами, що приводить її до нормального вигляду. #

Означення.Додатним індексом інерції дійсної квадратичної форми називається число додатних квадратів її нормального вигляду.

Від’ємним індексом інерції дійсної квадратичної форми називається число від’ємних квадратів її нормального вигляду.

Різниця між додатним і від’ємним індексами інерції називаєтьсясигнатуроюдійсної квадратичної форми.

2.Серед усіх дійсних  квадратичних форм виділяють так називані знаковизначені квадратичні форми.

Означення. Дійсна квадратична форма відn змінних називаєтьсядодатно-визначеною, якщо її нормальний вигляд являє собою сумуn додатних квадратів.

Отже, в додатно-визначеній квадратичній формі і ранг і додатній індекс інерції дорівнюютьn, а від’ємний дорівнює 0.

Означення. Дійсна квадратична форма відn змінних називаєтьсявід’ємно-визначеною, якщо її нормальний вигляд являє собою сумуn від’ємних квадратів.

У неї і ранг і від’ємний індекс інерції дорівнюютьn.

Теорема 1.Дійсна квадратична форма від n змінних є додатно -(від’ємно-) визначеною тоді і тільки тоді, коли при всяких дійсних значеннях змінних x1, ...,xn, серед яких хоча б одне відмінне від нуля, ця форма приймає строго додатні (від’ємні) значення.

#Нехай форма  додатно-визначена, тобтоприводиться до нормальноговигляду

(5)

причому

(6)

звідмінним від нуля визначником з дійсних коефіцієнтів.Якщо михочемо підставити в  довільні дійсні значенняневідомих,хоча б одне з яких відмінне від нуля, то можна підставити їх спочатку в (6), а потім значення,одержані для всіхуі—в (5). Помітимо, що значення, одержані дляз (6), не можутьусі відразудорівнювати нулю, тому що інакше ми бодержали, що система лінійних однорідних рівнянь

має ненульовийрозв’язок, хоча її визначниквідмінний від нуля. Підставляючи знайдені  длязначення  в (5), миодержимо значення форми , щодорівнює сумі квадратівпдійсних чисел, які невсі дорівнюютьнулю; це значення буде, отже, строгододатним.

Обернено, нехай форма  неє додатно-визначена, тобто або її ранг, або додатний індекс інерції менший зап.Це означає, що в нормальномувигляді цієї форми, до якого вонаприводиться, скажімо,невиродженим лінійним перетворенням (6), квадрат хоча бодного зновихневідомих, наприкладуп,абовідсутній зовсім, або жміститьсязі знаком мінус. Покажемо, що в цьому випадку можна підібрати такі дійсні значення дляневідомих,які невсі дорівнюютьнулю, що значення форми  при цих значеннях невідомих дорівнюєнулю або навіть від’ємне. Такими будуть, наприклад, ті значення для,які миодержимо, розв’язуючи за правиломКрамерасистему лінійних рівнянь, щовиходять із (6) приДійсно, при цих значеннях невідомихформа  дорівнюєнулю, якщоне входитьдо нормальноговигляду цієї форми, і дорівнює —1, якщовходить до нормальноговиглядузі знаком мінус.

Аналогічно проводиться доведення для від’ємно-визначеної форми. #

Зауваження. Цей критерій має тільки теоретичне значення, тому що на практиці перебрати всі значення неможливо. Можна лише стверджувати, що якщо при деякому ненульовому наборі дійсних значень змінних форма одержує значення нуль чи від’ємне, то вона не є додатно-визначеною.

Теорема (Критерій  Сильвестра).Дійсна квадратична форма від n змінних  тоді і тільки тоді є додатно-визначеною, коли всі головні мінори матриці цієї квадратичної форми строго додатні.

# Доведення проводимо методом математичної індукції.

  1. При  твердження теореми справедливе, тому що . Дійсна квадратична форма від однієї змінної додатно-визначена тоді, і лише тоді, коли  (головний мінор).
  2. Припускаємо справедливість теореми для дійсної квадратичної форми від  змінної.
  3. Доведемо її справедливість для квадратичної форми відn змінних. При цьому будемо використовувати два наступні факти:

А) якщо дійсна квадратична форма  має матрицюА, а після застосування невиродженого лінійного перетворення з дійсними коефіцієнтами з матрицеюС вона приводиться до свого нормального вигляду, матриця якого –В, то

, звідки , тобто

б) Квадратична форма  може бути записана так:

=

де  - квадратична форма відn-1 змінної.

Усякий головний мінор формиf порядку1,…,n-1 є відповідним головним мінором квадратичної форми .

Нехай дійсна квадратична формаf є додатно-визначеною. Тоді і  також є додатно-визначеною. Дійсно, в противному випадку при ненульовому наборі значень дійсних невідомих  формаfотримає те саме значення, що і форма , тобто не виявиться додатно-визначеною, що суперечить умові.

Висновок. Якщоf є додатно-визначеною, тоді, за припущенням індукції, усі головні мінори квадратичної форми  строго додатні, а значить і всі головні мінори порядку1,…,n-1 квадратичної формиf також додатні. Останній головний мінор формиf – це визначник матриціА (матриці квадратичної форми). Якщо формуf записати у нормальному вигляді, то її матрицяВ буде мати вигляд:

, де .

Звідси випливає, що  (тому що ).

Таким чином, доведено, що якщо квадратична формаf є додатно-визначеною, то всі головні мінори цієї квадратичної форми строго додатні.

Обернена теорема.Нехай всі головні мінори дійсної квадратичної форми  строго додатні. Доведемо, що вона є додатно-визначеною.

Якщо всі головні мінори квадратичної формиfстрого додатні, то тоді строго додатні всі головні мінори квадратичної форми . Тоді, за припущенням індукції, квадратична форма  є додатно-визначеною, тобто існує невироджене лінійне перетворення з дійсними коефіцієнтами, що переводить змінні  у змінні  і приводить форму  до її нормального вигляду:

.

Якщо доповнити це невироджене лінійне перетворення умовою: , то перетворення залишиться невиродженим. При цьому, квадратична формаfбуде приведена до вигляду:

Якщо виконати тепер невироджене лінійне перетворення змінних, що переводить  у , де

i=1,…,n-1,

то квадратична формаf буде приведена до вигляду:

де .

Залишається показати, що .

Вихідна квадратична форма має всі головні мінори строго додатні, зокрема, . В новому вигляді ця форма виходить за допомогою послідовного застосування невиродженого лінійного перетворення змінної з дійсними коефіцієнтами, матриця якої має вигляд:

, .

Але , звідки .#

Зауваження. Нехай головні мінори набувають значень, які чергуються:  і т.д. (де  - головний мінор першого порядку,  - другого і т.д.). Тоді з відомої формули

виходить, що усі , тобто дана квадратична форма від’ємно-визначена.

Квадратичні форми, нормальний вигляд яких містить як додатні, так і від’ємні квадрати невідомих, називаютьсяневизначеними.

Приклад 1.З’ясувати, при яких значеннях параметра λ задана квадратична форма є додатно-визначеною.

Розв’язування.

Розглянемо матрицю квадратичної форми

.

Обчислимо головні мінори матриці:

, коли . Звідси

Приклад 2. З'ясувати, при яких значеннях параметра λ задана квадратична форма є додатно-визначеною.

Розв’язування.

; M1= 1 > 0       M2 =

Відповідь: -4/5 < λ < 0

Питання для самостійної роботи.

Ортогональні перетворення квадратичних форм. ([12], стор. 154-157)


 

А также другие работы, которые могут Вас заинтересовать

22488. Навигация и интерфейс в средах виртуальной реальности 510 KB
  Работа посвящена исследованию и сравнительному анализу сред навигации интерфейса в средах виртуальной реальности для систем компьютерной визуализации, предназначенных для представления больших и очень больших объемов информации, генерируемых при супервычислениях. В ходе работы будут предложены средства навигации и интерфейса для виртуальной среды.
22489. ЦЕНТРАЛЬНАЯ РАЙОННАЯ ПОЛИКЛИНИКА. ОБЗОР. ПРИНЦИПЫ И ТЕХНОЛОГИЯ ОРГАНИЗАЦИИ РАБОТЫ, СОСТОЯНИЕ ПРОБЛЕМЫ И ПЕРСПЕКТИВЫ РАЗВИТИЯ В РЕСПУБЛИКЕ БЕЛАРУСЬ 133 KB
  Повышение роли профилактики заболеваний и формирование здорового образа жизни. Развитие современных медицинских технологий и расширение их доступности. Улучшение финансового обеспечения государственных гарантий бесплатной медицинской помощи. Сглаживание неравенства в доступности медицинской помощи для различных групп населения. Расширение возможностей граждан влиять на систему здравоохранения.
22490. Разработка методик визуализации для представления работы параллельных программ 582 KB
  Объект исследования: система RiDE, разрабатываемая для программирования в параллельных распределённых средах. Цель работы: разработка методик визуализации для представления работы параллельных программ, написанных для системы RiDE. Разработка программы-визуализатора.
22491. Разработка специализированной среды трехмерной динамической визуализации 479.62 KB
  Трехмерная графика реального времени связана с анимацией и интерактивным взаимодействием с пользователем. Одной из первых сфер применения трехмерной графики реального времени были военные авиатренажеры...
22492. Визуальная среда обучения программированию на языке Haskell 450 KB
  Язык программирования Haskell – это «ленивый» функциональный язык программирования с полиморфизмом типов. Основное понятие в нем – это функции. Но функции есть в любом языке программирования! В языках Pascal, Java...
22493. Разработка средств поддержки процесса проектирования интерфейсов 230 KB
  Однако качество цифровых продуктов с точки зрения взаимодействия с пользователем оставляло желать лучшего. Причина кроется в том, что определением конечной формы и поведения программ занимались программисты, ориентированные на качественное и быстрое выполнение технической стороны.
22494. SELECT в SQL Oracle. Основные возможности 335 KB
  1] Основные фразы запроса: SELECT и FROM [3.1] Фраза SELECT [3. В противном случае вы должны иметь привилегию SELECT по отношению к таблице.
22495. ОБРАБОТКА, ХРАНЕНИЕ И ВИЗУАЛИЗАЦИЯ ДАННЫХ ДЛЯ ЗАДАЧ КАРДИОМОНИТОРИНГА 1.92 MB
  В данной работе изучается задача кардиомониторинга; рассматриваются основные понятия, связанные с построением электрокардиограммы; вводится понятие кардиорегистратора, описываются виды регистрации показаний. Ставится задача о разработке программного обеспечения, которое будет принимать поток данных, разбивать его на отведения