(x,
(y))= (b11y1+b12y2) x1+(b21y1+b22y2) x2=b11x1y1+b12x1y2+b21x2y1+b22x2y2.Найдем разность скалярных произведений:
( (x), y) – (x, (y)) = (a11-b11) x1y1+(a21-b12) x1y2+(a12-b21) x2y1+(a22-b22) x2y2.
Если для любых векторов x и y из пространства R2 равенство
( (x), y) – (x, (y))=0 (3)
Выполнено (необходимость), то верна система
a11=b11,
a21=b12,
a12=b21, (4)
a22=b22,
и обратно: если условия (4) соблюдены для любых векторов x и y, то равенство (3) выполнено (достаточность). Система равенств (4) означает, что
1= 2= .Ортогональность собственных векторов
Собственные векторы симметричного линейного оператора, соответствующие различным собственным числам, взаимо ортогональны.
Пусть x и y – собственные векторы оператора
, соответствующие собственным числам λ1и λ2, причем λ1≠ λ2. По определению симметричного оператора:(
(x), y)= (x, (y))Подставив сюда правые части равенства (
(x))= λ1x, ( (y))= λ1y, получим(λ1x, y)=(x, λ2y). Вынесем числа λ1и λ2, за знак скалярного произведения, перенесем слагаемые влево и разложим на множители: (λ1– λ2) (x, y)=0
Поскольку λ1≠ λ2, получаем (x, y)=0, что и означает взаимную ортогональность векторов x и y.
Отметим другие важные свойства симметричного оператора.
1) Характеристическое уравнение симметричного оператора имеет только действительные корни.
2) Если в евклидовом пространстве Rn задан симметричный оператор
, то в Rn существует ортонормированный базис e1, e2, …, en, составленный из собственных векторов .3) Если все собственные числа λ1, λ2, …, λnсимметричного оператора положительны, то (
(x), x) > 0 для любого ненулевого вектора x.Положительные матрицы
Квадратная вещественная матрица A = (aij) называется положительной, если все её элементы положительны: aij > 0.
Теорема Перрона (частный случай теоремы Перрона-Фробениуса): Положительная квадратная матрица A имеет положительное собственное значение r, которое имеет алгебраическую кратность 1 и строго превосходит абсолютную величину любого другого собственного значения этой матрицы. Собственному значению r соответствует собственный вектор er, все координаты которого строго положительны. Вектор er – единственный собственный вектор A (с точностью до умножения на число), имеющий неотрицательные координаты.
Список литературы
1. Арутюнов Ю.C. и др. Высшая.математика: Методические указания и контрольные задания (с программой) для студентов-заочников инженерно-технических специальностей вузов. 3-е изд. М.: Высш. шк., 2005. 144 с.
2. Высшая математика: Программа, методические указания и контрольные задания для студентов-заочников иижеиерио-техиических специальностей сельскохозяйственных вузов. 4-е изд., перераб. М.: Высш.шк., 2005. 110 с.
3. Мироненко Е.С. Высшая математика: методические указания и контрольные задания для студентов-заочников инженерных специальностей вузов. М.: Высш. шк., 2008. 110 с.
4. Зимина О.В. и др. Высшая математика. 2-е изд., испр. М.: Физматлит, 2009. 368 с. (Решебиик).