Задача: доказать, что линейный оператор Φ, соответствующий матрице U, есть оператор поворота на угол α в n-мерном пространстве.
Матрица А неотрицательно определена, если .
ЛеммаСобственные числа неотрицательно определенной матрицы неотрицательны.
Доказательство
Пусть А – неотрицательно определенная матрица, λ1 – её собственное число.
Тогда .
Т.к. .
Что и требовалось доказать.
Матрица А симметричная, если .
Лемма 1Если А симметрична, неотрицательно определена и (Ay,y)=0, то Ay=0. Геометрически: А не может сделать вектор у ортогональным самому себе, а может лишь обратить его в ноль.
Доказательство
Рассмотрим выражение (A(y+tz),y+tz),
где z – произвольный вектор;
t – вещественное, малое число (t<<1).
Если бы (Ay,z)≠0, то знак всего выражения можно было бы сделать отрицательным, выбирая знак t, что противоречило бы условию неотрицательной определенности А.
Значит, (Ay,z)=0.
Т.к. элеент z выбирался произвольно, то Ay=0.
Что и требовалось доказать.
Рассмотрим выражение: .
Функция n переменных F(y)=(Ay,y) непрерывна на единичной сфере . Следовательно, по первой теореме Вейерштрасса F(y) достигает на S1 своих точных граней. Это означает, что .
Лемма 2 (вариационное свойство)Если А – симметричная матрица, то - собственное число матрицы А.
Доказательство
Из приведенных выше рассуждений и достигается в некоторой точке .
Т.к. , то || y ||=1, а значит .
Получим: . (*)
Из выбора точку y’ верно: (Ay,y)≤λ1 для любого вектора y из S1.
Т.е. Последнее утверждение верно и для любого вектора x из пространства Rn. Т.е. - неотрицательно определенная матрица.
Следовательно, из (*), используя Лемму 1, получим: