Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Доказательство достаточности критерия будем строить по индукции.

Читайте также:
  1. IV. Как расстроить ряды неприятеля
  2. А хрен его знает. Не будем загадывать, что будет, то и будет.
  3. Ашем открывает Ноаху, что скоро случится Потоп и велит ему построить ковчег
  4. В приказании указываются место и фронт построения полка, по какому батальону строиться и в каком строю.
  5. Выбор Части, с которой будем работать
  6. Выбор Части, с которой будем работать.
  7. ГЛАВА III Доказательство того, что Бог существует

Необходимость критерия доказать очень легко.

Если кв. форма от n переменных x1,x2,...xn положительно определена, то все собственные числа матрицы коэффициентов A положительны, а определитель Δn = det(A) равен произведению собственных чисел матрицы A, потому тоже положителен.

Если теперь положить переменную xn = 0, то получим кв. форму от (n-1) переменной, тоже положительно определенную (легко от противного доказать), у которой свои собственные числа (уже другие), тоже больше нуля и потому определитель ее матрицы тоже больше нуля. А матрица ее как раз получается вычеркиванием из A последних столбца и строки, так что ее определитель - это и есть Δn-1.

Ну и так далее, вплоть до кв. формы от одной переменной a11x12 и матрицы, состоящей из одного числа a11.

 

Доказательство достаточности критерия будем строить по индукции.

Очевидно, что форма y = a11x12 условием Сильвестра a11 > 0 положительно определена.

Отсюда мы собираемся получить, что следующее условие Δ2 >0 гарантирует положительную определенность формы y = a11x12 + 2a12x1x2 + a22x22 (матрица которой как раз и написана в миноре Δ2 - см. выше).

Затем отсюда собираемся получить, что условие Δ3 >0 гарантирует положительную определенность соответствующей кв. формы от трех переменных x1,x2,x3.

И так далее.

Но вместо того, чтобы все эти шаги осуществлять отдельно, мы их рассмотрим в общем виде.

Дано: положительно определенная форма k переменных. Ее матрица A симметрична и имеет, естественно, k строк и столбцов.

Добавим к этой матрице (k+1)-ые одинаковые между собой строку и столбец такие, что получившаяся при этом симметричная матрица B имеет положительный определитель.

Рассмотрим соответствующую ей квадратичную форму XT BX от (k+1) переменной x1,x2,...xk,xk+1.

В матрице B левая верхняя подматрица k порядка есть матрица A коэффициентов положительно определенной квадратичной формы от к переменных. Положительно определенную форму можно невырожденной заменой переменных превратить в сумму квадратов с коэффициентами при них, равными 1. Обозначим S матрицу этого преобразования k переменных x1,x2,...xk.

Теперь составим матрицу C замены (k+1) переменной x1,x2,...xk , xk+1 на новые переменные u1,u2,...uk , uk+1. В качестве левой верхней подматрицы k порядка возьмем S. Справа и снизу к S допишем нули (добавим одну строку нулей снизу и один столбец нулей справа), а последний диагональный элемент (правый нижний) в матрице C возьмем равным 1.

 

 

Построенная нами матрица C соответствует преобразованию S над первыми k переменными и простой замене буквы для последней, k+1 переменной.

Используем C для замены переменных X=CU в квадратичной форме XTBX

Вычисляя новую матрицу D= CTBC, используя при этом навык умножения блочных матриц, получим матрицу D следующей структуры:

 

 

Т.е. левая верхняя подматрица k порядка - единичная. Это за счет подматрицы S. Она обеспечивает STAS=E. За ней справа идет столбец высоты k, полученный умножением ST на первые k чисел последнего столбца матрицы B. Под ней идет строка, равная транспонированному столбцу, описанному только что. И наконец число в правом нижнем углу унаследовано от матрицы B без изменений. Все это можно получить отслеживанием что на что умножается по хорошо известному нам правилу умножения матриц "строка на столбец".

Для нас важно то, что знак определителя матрицы D такой же, как знак определителя матрицы B, потому что det(D)= det(CTBC) = det(B)(det(C))2.

Отсюда делаем вывод, что det(D) > 0.

 

Дальнейшее очевидно. Методом Гаусса по строкам и столбцам (см. выше) обнуляем все числа в последних столбце и строке матрицы D, кроме правого нижнего числа. Оно в итоге будет равно определителю det (D), поскольку прибавление к строке (столбцу) копии другой строки (столбца), умноженной на любое число, не меняет определителя матрицы. А с другой стороны матрица-то получится диагональная, причем первые k чисел на диагонали = 1.

В итоге получается, что мы привели нашу квадратичную форму двумя последовательными невырожденными преобразованиями (т.е. взаимнооднозначной заменой переменных) к сумме квадратов, в которой первые k квадратов имеют коэффициент 1, а последнее слагаемое имеет коэффициент det(D)=det(B)(det(C))2 >0

Т.е. кв. форма от k+1 переменной положительно определена.

 

База индукции выполнена.

Шаг индукции доказан в общем виде.

Ч.Т.Д.

 


Дата добавления: 2015-11-30; просмотров: 33 | Нарушение авторских прав



mybiblioteka.su - 2015-2024 год. (0.008 сек.)