Как найти матрицу преобразования суммы

Действия с линейными преобразованиями. Произведение линейного преобразования на число.

Пусть
– линейное преобразование линейного
пространстваLнад
полемиk– любое число из.
Линейное преобразованиепроизвольному векторуставит в соответствие единственный
вектор.
Векторk∙.
Если векторупоставить в соответствие векторk∙,
то имеем преобразование пространства:

k∙=().

Это преобразование пространства
называютпроизведением преобразования
на числои обозначают:

()=()=

Теорема 1. Еслилинейное преобразование линейного
пространстванад полеми– любое число из,
тоесть линейное преобразование линейного
пространства.

Теорема 2. Если– матрица линейного преобразованиялинейного пространстваLв базисе,
то матрица линейного преобразованияв базисеестьkA.

Пример 1. Пустьматрица линейного преобразованиялинейного пространстванад полемв базисе=(,).
Найти матрицу преобразования 2;

Решение. Матрица преобразования 2есть2A=.

Сложение и вычитание линейных преобразований.

Пусть даны линейные преобразования
илинейного пространства.
Еслилюбой вектор из,
то=и=‑ векторы из.
Если векторупоставим в соответствие единственный
векториз,
то получим преобразование линейного
пространства.
Оно называетсясуммойлинейных
преобразованийии обозначается+.

Итак, по определению

(+)=+=+.

Аналогично определяется разность
линейных преобразований

(–)=‑=‑..

Теорема 3. Еслии– линейные преобразования линейного
пространства,
то преобразования+и–линейного пространстваявляются линейными.

Теорема 4.Еслии
– матрицы, соответственно, линейных
преобразованийилинейного пространстваLв базисе,
то матрицы+,–являются соответственно матрицами
линейных преобразований+и–в том же базисе.

Пример 2.Пустьбазис линейного пространства,,– его линейные преобразования и их
матрицы соответственно.
Найти матрицyлинейных
преобразований в базисе е:

1. 2+3;

2. 3–.

Решение.

1)2A+3B=;

2)3B–A=.

Умножение линейных преобразований.

В линейном пространстве
даны линейные преобразованияи.
Результат последовательного выполнения
линейных преобразованийиявляется преобразованием линейного
пространства.
Оно называетсяпроизведениемлинейных преобразованийии обозначается

Теорема 5.Произведение линейных
преобразованийилинейного пространстваявляется линейным преобразованием
этого пространства.

Теорема 6.Еслии,
соответственно, матрицы линейных
преобразованийилинейного пространствав базисе,
то матрица линейного преобразованиялинейного пространствав базисеесть.

Пример 3.Пусть,матрицы линейных преобразований
соответственноилинейного пространствав базисе.
Найти матрицы преобразований в базисе.

1)
;

2)
;

3) (+);

Решение.

1)
.

2)
.

3)
.

Свойства
линейных операций над матрицами

Операции
сложения матриц и умножения матрицы на
число называются линейными
операциями над матрицами.
Непосредственно из определений вытекают
следующие свойства
линейных операций.

Для
любых матриц  одинаковых
размеров и любых чисел  справедливы
равенства:

1.  (коммутативность
сложения);

2.  (ассоциативность
сложения);

3. существует
нулевая матрица  (тех
же размеров, что и ): 

4. существует
матрица ,
противоположная матрице 

5. ;

6. ;

7. ;

8. .

№28

  Собственные
векторы и собственные значения линейного
оператора 

     Ненулевой
вектор  называется
собственным вектором линейного
оператора ,
если  ( для
комплексного ),
такое, что  Число  называется
собственным числом (собственным
значением) оператора f,
соответствующим этому собственному
вектору.

     Если
в некотором базисе оператор f имеет
матрицу А и
в том же базисе вектор  имеет
координатный столбец X,
то или 

     Собственные
числа  линейного
оператора  —
корни характеристического уравнения ,
где  —
матрица оператора f,  —
символ Кронекера.

     Для
каждого собственного значения  соответствующие
собственные векторы могут быть найдены
из матричного уравнения  или
соответствующей ему системы линейных
уравнений

     Линейный
оператор называется оператором простой
структуры, если существует базис,
состоящий из собственных векторов этого
оператора. Матрица линейного оператора
в этом базисе имеет вид

где  —
соответствующие собственные значения.

№29

Евкли́дово
простра́нство (также Эвкли́дово
простра́нство) —
в изначальном смысле, пространство,
свойства которого описываются аксиомами евклидовой
геометрии.
В этом случае предполагается, что
пространство имеет размерность 3.

Если
каждой паре векторов x, y линейного
пространства L поставлено
в соответствие действительное
число (x, y),
так, что для любых x, y и z из L и
любого действительного числа α справедливы
следующие аксиомы:

(x, y) = (y,
x),

(α·x, y) = α·(x, y),

(x + y, z) =(x, z) + (y, z),

(x, x)>
0 при x ≠
0, (0, 0) =
0,

то
в пространстве L определено скалярное
произведение (x, y).

Если
в линейном пространстве определено
скалярное произведение, то такое
пространство называется евклидовым
пространством.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

• #
• #
• #
• #
• #
• #
• #

  09.06.201514.68 Mб41P.N.Bibilo_Osnovy_yazika_VHDL(2007)1.djvu
• #
• #
• #
• #

Линейные операторы (преобразования)

Определение линейных операторов (преобразований)

Линейным преобразованием (линейным оператором) линейного пространства называется линейное отображение пространства в себя.

Поскольку линейное преобразование является частным случаем линейного отображения, к нему применимы все понятия и свойства, рассмотренные для отображений: инъективность, сюръективность, биективность, обратимость, ядро, образ, дефект, ранг и т.д.

Матрицей линейного оператора (преобразования) в базисе пространства называется квадратная матрица , составленная из координатных столбцов образов базисных векторов , найденных относительно базиса .

Матрица биективного линейного оператора (преобразования) обратима, т.е. невырождена. Поэтому биективное (обратимое) преобразование называют также невырожденным.

Примеры линейных операторов (преобразований)

1. Обозначим — нулевое преобразование n-мерного пространства , которое ставит в соответствие любому вектору нулевой элемент пространства . Это преобразование не является инъективным, сюръективным, биективным, обратимым. Матрица нулевого преобразования (в любом базисе) нулевая, ядро преобразования , образ преобразования , дефект , ранг .

2. Обозначим — тождественное преобразование n-мерного пространства , которое ставит в соответствие каждому вектору этот же вектор . Это преобразование является инъективным, сюръективным, биективным, обратимым. Матрица тождественного преобразования (в любом базисе) единичная n-го порядка, ядро преобразования , образ преобразования , дефект , ранг .

3. Обозначим — центральную симметрию n-мерного пространства (относительно нулевого вектора ), т.е. преобразование, которое каждому вектору ставит в соответствие противоположный ему вектор: . Это преобразование линейное, инъективное, сюръективное, биективное, обратимое. Матрица преобразования противоположна единичной (в любом базисе): ; ядро преобразования , образ преобразования , дефект , ранг .

4. Обозначим — гомотетию n-мерного пространства (с коэффициентом ), т.е. преобразование, которое каждому вектору ставит в соответствие коллинеарный ему вектор: . Это преобразование линейное. При оно инъективное, сюръективное, биективное, обратимое. Матрица преобразования пропорциональна единичной (в любом базисе): , ядро преобразования , образ преобразования , дефект , ранг . При (см. пункт 1); при (см. пункт 2); при (см. пункт 3).

5. Рассмотрим линейное пространство радиус-векторов (с общим началом в точке ), принадлежащих одной плоскости (рис. 9.1). Обозначим — поворот вокруг точки (на угол в положительном направлении (против часовой стрелки)). Это преобразование линейное, инъективное, сюръективное, биективное, обратимое. Найдем матрицу поворота в стандартном ортонормированием базисе . Раскладывая образы базисных векторов по базису, получаем

Составляем матрицу (9.1) преобразования (оператора), записывая найденные координаты образов по столбцам:

Ядро оператора (преобразования) , образ преобразования , дефект , ранг . При (см. пункт 2); при (см. пункт 3).

6. Обозначим — оператор дифференцирования, который каждому многочлену степени не выше и ставит в соответствие его производную, рассматриваемую как многочлен степени не выше . Это преобразование линейное, неинъективное, несюръективное, небиективное, необратимое. Квадратная матрица ((n+l)-го порядка) преобразования в стандартном базисе имеет вид

Ядро преобразования — пространство многочленов нулевой степени, образ — пространство многочленов степени не выше , дефект , ранг .

Рассмотрим преобразование линейного пространства тригонометрических многочленов (частоты ) с действительными коэффициентами: , т.е. — множество функций вида , где . Заметим, что это множество является двумерным вещественным линейным пространством. Стандартный базис пространства образуют функции , поскольку они линейно независимы (тождественное равенство нулю возможно только в тривиальном случае ). При дифференцировании функции получаем функцию того же вида. Следовательно, преобразование определено. Это преобразование линейное, инъективное, сюръективное, биективное, обратимое. Найдем матрицу преобразования в стандартном базисе . Раскладывая образы базисных векторов, получаем

Составляем матрицу (9.1) преобразования, записывая найденные координаты образов по столбцам: . Ядро преобразования — нулевое подпространство, образ , дефект , ранг , .

Аналогичными свойствами обладает преобразование , где — множество функций вида с комплексными коэффициентами и . Множество является двумерным комплексным линейным пространством.

7. Пусть линейное пространство разлагается в прямую сумму подпространств . Обозначим — оператор проектирования на подпространство параллельно подпространству , который каждому вектору , где , ставит в соответствие его составляющую (проекцию) , т.е. (рис.9.2). Это преобразование линейное. При оно неинъективное, несюръективное, небиективное, необратимое. Ядро преобразования , образ преобразования , дефект , Ранг ,. При ; при .

8. Пусть линейное пространство разлагается в прямую сумму подпространств . Обозначим — оператор отражения в подпространстве параллельно подпространству (или преобразование симметрии относительно подпространства параллельно подпространству ), который каждому вектору , где , ставит в соответствие вектор , т.е. (рис. 9.3). Это преобразование линейное, инъективное, сюръективное, биективное, обратимое. Ядро преобразования , образ преобразования , дефект , ранг . При .

Матрицы линейного оператора (преобразования) в разных базисах

Найдем связь матриц одного и того же линейного оператора (преобразования) в разных базисах.

Пусть в базисе преобразование имеет матрицу , а в базисе — матрицу . Если — матрица перехода от базиса к базису , то

Докажем формулу (9.4). Пусть векторы и в базисах и имеют координатные столбцы и соответственно. Если , то по формуле (9.2) имеем

Подставляя в первое равенство связи координат векторов в разных базисах получаем или, учитывая обратимость матрицы . Сравнивая последнее равенство с , убеждаемся в справедливости (9.4).

Замечания 9.2

1. Матрицы линейного преобразования в разных базисах оказываются подобными. И наоборот, любые две подобные матрицы являются матрицами некоторого линейного преобразования, найденными относительно разных базисов.

2. Для матриц преобразований справедливы свойства, рассмотренные ранее. В частности, при фиксированном базисе матрица суммы преобразований равна сумме их матриц, матрица произведения преобразования на число равна произведению матрицы преобразования на это же число, матрица композиции преобразований равна произведению матриц преобразований, матрица обратного преобразования является обратной для матрицы обратимого преобразования.

Алгебра линейных операторов (преобразований)

Рассмотрим множество — линейных преобразований (операторов) n-мерного линейного пространства . Напомним, что два преобразования и называются равными, если .

На множестве определены две линейные операции: сложение преобразований и умножение преобразования на число, поскольку в результате этих операций получается линейное преобразование.

Нетрудно показать, что эти операции удовлетворяют условиям:

1. ;

2. ;

3. существует нулевое преобразование такое, что ;

4. для каждого преобразования существует противоположное преобразование такое, что ;

5. и любого числа ;

6. и любых чисел ;

7. и любых чисел ;

8. .

В условиях 5-7 говорится о числах из того же числового поля, над которым определено линейное пространство .

Условия 1-8 повторяют аксиомы линейного пространства. Поэтому множество с линейными операциями является линейным пространством. Если пространство вещественное (комплексное), то и пространство вещественное (комплексное).

Найдем размерность пространства . При фиксированном базисе имеется взаимно однозначное соответствие между линейными преобразованиями и их матрицами, причем это соответствие сохраняет линейные операции. Следовательно, пространство изоморфно пространству — квадратных матриц n-го порядка. Размерность пространства равна . По теореме 8.3:

то есть

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

1. ;

2. ;

3. ;

4. существует тождественное преобразование такое, что .

Первое условие выражает ассоциативность операции умножения, условия 2 и 3 — законы дистрибутивности, условие 4 — существование нейтрального элемента. Множество с операциями сложения и умножения элементов является кольцом с единицей (вообще говоря, некоммутативное, так как в общем случае ).

Операции умножения операторов (преобразований) и произведения операторов на число (из заданного числового поля) удовлетворяют условию:

5.

Линейное пространство, которое является кольцом, удовлетворяющим условию 5, называется алгеброй. Поэтому множество называют алгеброй линейных операторов (преобразований).

Многочлены от линейного оператора (преобразования)

В алгебре можно определить целую неотрицательную степень оператора , полагая по определению

Пусть — многочлен переменной . Многочленом от линейного преобразования называется преобразование .

Многочлен называется аннулирующим для линейного преобразования , если — нулевое преобразование. Заметим, что у каждого линейного преобразования n-мерного линейного пространства существует аннулирующий многочлен степени не выше . Действительно, система из элементов линейного пространства линейно зависима (так как ). Поэтому существуют такие числа , не все равные нулю одновременно, что . Следовательно, многочлен — аннулирующий для преобразования .

Замечания 9.3

1. При фиксированном базисе каждому преобразованию (оператору) можно сопоставить его матрицу. Свойства линейных операций 1-8, записанные для матриц преобразований, повторяют свойства линейных операций с матрицами, а свойствам 1-5 произведения операторов отвечают свойства операции умножения матриц.

2. При фиксированном базисе многочлен от линейного преобразования имеет матрицу , где — матрица преобразования в том же базисе. Поэтому свойства многочленов от матриц переносятся на многочлены от линейного преобразования. В частности, многочлены от одного преобразования перестановочны:

3. Функции от матриц определяются при помощи многочленов от матриц. Поэтому можно определить функции от линейных преобразований.

Математический форум (помощь с решением задач, обсуждение вопросов по математике).

Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Действия над линейными преобразованиями

Сложение преобразований. Пусть в n -мерном пространстве R с базисом l₁, l₂, …, l_n заданы два линейных преобразования А и В, определяемые как y = Ax и z = Bx.

Определение 28. Суммой линейных преобразований А и В называют преобразование С, обозначаемое С = А + В, если для каждого вектора x из пространства R справедливо Сх = (А + В)х = Ax + Вx. Тогда говорят, что преобразование С преобразует вектор х в вектор q равный сумме векторов у и z, т.е. q = y + z.

Из определения 28 очевидно, что матрица С, определяющая преобразование С, должна быть равна сумме матриц преобразований А и В: С = А + В.

Умножение преобразования на число. Пусть в n -мерном пространстве R с базисом l₁, l₂, …, l_n задано линейное преобразование А, определяемом как y = Ax, и некоторое число .

Определение 29. Произведением линейного преобразования А и числа называют преобразование С, обозначаемое , если для каждого вектора x из пространства R справедливо . Тогда говорят, что преобразование С преобразует вектор х в вектор q, равный , где у = Ax.

Произведение преобразований. Пусть в n -мерном пространстве R с базисом l₁, l₂, …, l_n заданы два линейных преобразования А и В, определяемых как y = Ax и z = Bу, т.е. вектор x преобразуется преобразованием А в вектор y, который в свою очередь преобразуется в вектор z преобразованием В.

Определение 30. Произведением преобразований А и В называют преобразование С, обозначаемое С = ВА, если для каждого вектора справедливо Сх = (ВА)х = В(Ax) = Ву = z.

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

Обратное преобразование. Пусть в n -мерном пространстве R с базисом l₁, l₂, …, l_n задано линейное преобразование А выражением y = Ax, где A — невырожденная квадратная матрица, для которой определена обратную матрицу A^-1 как A^-1A = AA^-1 = Е, где Е — единичная матрица^{2Единичная матрица — это диагональная матрица, все элементы которой равны единице, или единичная матрица — это квадратная матрица, у которой на главной диагонали стоят единицы, а все остальные элементы равны нулю.}.

Определение 31. Обратным преобразованием х = A^-1у назовем такое, которое будет обратно прямому преобразованию y = Ax, причем произведение прямого и обратного преобразования будет переводить вектор в самого себя, т.е. х = A^-1у = A^-1Ax = Еx = х.

Очевидно, что матрица A^-1 обратного преобразования А^-1 будет являться обратной по отношению к матрице прямого преобразования А.

Содержание:

1. Линейные преобразования. Собственные векторы и собственные числа линейного оператора
2. Собственные векторы и собственные числа линейного оператора: определение, свойства
3. Нахождение собственных чисел и собственных векторов
4. Базис пространства из собственных векторов линейного оператора
5. Линейная модель обмена (модель международной торговли)

Линейные преобразования. Собственные векторы и собственные числа линейного оператора

Линейные преобразования (линейные операторы). Матрица линейного преобразования

Пусть задано -мерный пространство . Если каждому вектору поставлено в соответствие единственный вектор

этого же пространства, говорится, что в векторном пространстве  задано преобразование , или оператор .

Вектор — результат линейного преобразования — называют образом вектора , а выходной вектор  — прообразом вектора .

Преобразование называется линейным преобразованием, или линейным оператором, если для произвольных векторов и произвольного действительного скаляра выполняются условия:

То есть линейный оператор преобразует пространство  в то самое пространство. Это записывается следующим образом:

Примерами простейших линейных преобразований являются:
тождественное преобразование: , когда каждый -мерный вектор пространства превращается в самого себя, то есть остается без изменения;

нулевой оператор , когда каждый -мерный вектор пространства превращается в ноль-вектор этого же пространства, то есть

Линейное преобразование , с помощью которого осуществляется восстановление вектора  по его образу , называется обратным к линейным преобразованием. В отличие от матрицы оператор записывают каллиграфическим шрифтом.

Рассмотрим задачу об отыскании координат образа вектора .

Пусть в пространстве  выбрано базис (не обязательно ортонормированный) и есть координатами вектора в этом базисе. Обозначим через координаты вектора в выбранном базисе. по условию , тогда согласно линейностью оператора  получим :

Но образы тоже являются векторами с , поэтому иx можно разложить по тому же базисом. Пусть

где  коэффициенты разложения вектора  по базису  

С учетом (5.5) соотношение (5.4) принимает вид:

Группируя члены правой части относительно векторов базиса, имеем:

С другой стороны, если  являются координатами вектора  в базисе  то его можно представить следующим образом:

Сопоставляем (5.8) из (5.7) и получаем координаты вектора :

Следовательно, при линейном преобразовании:

координаты образа вектора являются линейными комбинациями координат прообраза, коэффициенты при которых составляют матрицу -го порядка (обозначим ее через ):

Матрица , которая в произведении (слева) с вектором с  определяет координаты его образа при линейном преобразовании , Называется матрицей линейного преобразования  в базисе  и пишут:

Каждый — -й — столбец матрицы составляют коэффициенты разложения вектора  по базису каждая — -я — строка определяет коэффициенты разложения координат вектора по координатам вектора .

Обратите внимание, что — нераздельный символ (обозначение вектораобраза), а — произведение матрицы с вектором (прообразом).

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

Например, с помощью оператора линейных преобразований можно описать поворот произвольного вектора с пространства вокруг начала координат на угол  против часовой стрелки. Формулы поворота осей координат (формулы перехода от исходных координат и к новым  и , и наоборот ) определяют алгебраическую форму изображения линейного оператора поворота осей:

где  оператор перехода от исходных (новых) координат к новым (исходных);

 векторы, началом которых является точка , а концами —
точки и , соответственно.

По соотношению (5.12) матрица линейного преобразования} , Описывающий поворот произвольного вектора из пространства вокруг начала координат на угол против часовой стрелки, имеет вид:

а матрица обратного линейного преобразования , то есть такого, что описывает поворот произвольного вектора из пространства вокруг начала координат на угол  по часовой стрелке, имеет вид:

Теорема 5.1 (о связи между матрицами оператора в различных базисах).

Матрицы и  линейного оператора в разных базисах и связаны между собой соотношением:

где  матрица перехода от исходного к новому базису.

Доказательство. Пусть линейный оператор превращает вектор пространства  в вектор того самого пространства. Тогда в матричной форме связь между вектором и его образом в исходном базисе можно записать как , а в новом — как . Поскольку является матрицей перехода от исходного базиса к новому, то в соответствии с (4.18) имеем:

Умножим равенство (5.14) слева на матрицу и получим . Отсюда по определению линейного оператора имеем: . С учетом (5.15):

Сравнив соотношение  и , получаем 

Две квадратные матрицы и называются подобными, если существует такая невырожденная матрица , матрицы и связанные соотношениями:

Соответствующие линейные операторы называются преобразованиями сходства.

Подобные матрицы описывают то же линейное преобразование, но в разных базисах, а матрица является матрицей перехода от одного базиса к другому.

Подобные матрицы имеют те же ранги, суммы элементов главной диагонали и определители.

В базисе и задана матрица линейного оператора :

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

Предоставим расписание векторов нового базиса по векторам исходного базиса: . Соответственно, матрица перехода от исходного к новому базису имеет вид:

Ее определитель , то есть матрица невырожденная и имеет обратную: 

По теореме 5.1 определяем матрицу оператора в новом базисе:

Обратите внимание, что в новом базисе матрица оператора оказалась диагональной.

Собственные векторы и собственные числа линейного оператора: определение, свойства

Рассмотрим -мерных линейный пространство  с определенным базисом и матрицу , некоторого линейного оператора пространства.

Ненулевой вектор называют собственным, или характеристическим вектором линейного оператора (или матрицы ), если существует такое действительное число , имеет место равенство:

Скаляр называется собственным, или характеристическим, числом матрицы , или ее собственным значением, соответствует собственному вектору :

Согласно определениями собственного числа и собственного вектора имеем:

1) Если , то каждый ненулевой вектор из  является собственным вектором матрицы , при этом , ведь по свойству единичной матрицы имеем ;
2) любой ненулевой -мерный вектор является собственным вектором нулевой матрицы , при этом , так как .

Поставим задачу нахождения собственных чисел и собственных векторов заданной матрицы 

Поставим задачу нахождения собственных чисел и собственных векторов заданной матрицы

Запишем матричное уравнение (5.17) в развернутом виде:

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

Раскрытие определителя в соотношении (5.19) дает многочлен степени относительно , который называется характеристическим многочленом матрицы , а соотношение (5.19), которое можно представить в виде , определяет уравнение для нахождения собственных чисел, которое называют характеристическим уравнением матрицы .

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

Множество всех собственных чисел матрицы называют спектром матрицы. Если в спектре матрицы то же собственное число повторяется раз, то говорят, что кратность этого собственного числа равна .

Теорема 5.2 (о единственности собственного чucлa, что соответствует собственному вектору). Если — собственный вектор матрицы , то существует единственный скаляр , который удовлетворяет условие .

Доказательство. Предположим, что кроме собственного числа существует еще один
скаляр , такой, что . Тогда должно выполняться равенство . Поскольку по определению собственный вектор является ненулевым, то есть , получим .

Согласно теореме 5.2 говорят, что собственный вектор  из матрицы принадлежит собственному числу . 

Теорема 5.3 (о множестве собственных векторов, принадлежащих собственному числу). Если матрица имеет собственный вектор, принадлежащий собственному числу , то таких векторов бесконечно много.

Доказательство базируется на определении собственного вектора и свойствах ассоциативности и коммутативности операции умножения матрицы на скаляр.

Действительно, пусть собственный вектор матрицы , тогда . Привлечем к рассмотрению вектор , коллинеарный вектору , то есть ,  где , и покажем, что в также является собственным вектором матрицы :

Поскольку равенство (5.19) выполняется для произвольного , то существует множество собственных векторов, принадлежащих данному собственному числу.

Теорема 5.4 (критерий существования собственного вектора , соответствующего собственному числу ). Вектор тогда и только тогда является собственным вектором матрицы , соответствующим собственному числу , когда его координаты образуют ненулевое решение однородной квадратной системы линейных алгебраических уравнений

 или 

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

Необходимость уже доказано переходом от соотношения , к однородной системе линейных уравнений , представленной в развернутом виде (5 18).

Достаточность. На основании свойств действий над матрицами с учетом условия , осуществит переход от однородной системы уравнений в матричной форме с соотношением :

Теорема 5.5 (пpo линейную независимость собственных векторов). Собственные векторы, принадлежащие различным собственным числам, является линейно независимыми.

Доказательство проведем методом от противного. Пусть два произвольные собственные векторы, принадлежащие соответственно собственным числам и . Необходимо показать, что линейная комбинация этих собственных векторов ноль-вектор только тогда, когда , то есть

Предположим обратное. Пусть (5.23) выполняется при условии, что одно из чисел не является нулем, например,

Умножим левую и правую части (5.23) на собственное число . Тогда

Левую и правую части равенства (5.23) умножим на матрицу слева, и, учитывая свойства операций над матрицами, получим:

Сравним (5.25) и (5.24). Получаем:

По условию теоремы . По определению вектор  является ненулевым, поэтому равенство (5.26) возможно только при , то есть предположение о линейной зависимости векторов и  ошибочно.

Если есть более двух собственных векторов, принадлежащих попарно различным собственным числам, доведение аналогичное (с использованием метода математической индукции).

Заметим, что собственные векторы, принадлежащих различным собственным числам, можно использовать как базисные векторы пространства .

Теорема 5.6 (пpo сумму и произведение собственных чисел). Если собственные числа матрицы , то:
1) сумма собственных чисел равна сумме элементов главной диагонали матрицы :

2) произведение собственных чисел равна определителю матрицы :

Доказательство основывается на формулах Виета, которые описывают соотношение между корнями и коэффициентами многочлена -гo степени в случае, когда его старший коэффициент равен единице.

Рассмотрим простейший случай . Запишем характеристическое уравнение в развернутом виде:

С (5.29) по теореме Виета (для квадратного уравнения) имеем:

Сумму всех диагональных элементов матрицы называют следом (от нем. spur — след) этой матрицы и обозначают .

Для квадратной матрицы произвольного порядка теорему 5.6 в символьном виде можно записать так:

при этом собственное число берем столько раз, какова его кратность как корня характеристического уравнения (5.29).

Нахождение собственных чисел и собственных векторов

Рассмотрим алгоритм нахождения собственных чисел матрицы и собственных векторов, которые им принадлежат.
Согласно соотношениями (5.18) и (5.19) имеем такой порядок отыскания собственных чисел и собственных векторов матрицы.
1. Составляем по исходной матрицей характеристическое уравнение (5.18) и решаем его, то есть находим спектр собственных чисел.
2. Подставляем поочередно каждое собственное число в систему (5.18) и находим все ее нетривиальные решения, что и дает множество собственных векторов, принадлежащих соответствующему собственному числу.

Замечания. Множество всех собственных векторов, принадлежащих определенному собственному числу, можно представить как линейную комбинацию фундаментальных решений однородной системы уравнений согласно (4.19), гл. 4.

Найдем собственные числа и собственные векторы матрицы

Характерным уравнением этой матрицы является квадратное уравнение:

Решив его, получим собственные числа  и 

Теперь описываем множества и всех собственных векторов, принадлежащих найденным собственным числам.

Для этого в матрицу вместо подставим поочередно значения собственных чисел, запишем соответствующую систему однородных линейных уравнений (5.18) и решим ее:

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

Теорема 5.7 (про собственные числа и собственные векторы симметричной матрицы).

Симметричная матрица имеет только действительные собственные числа. Собственные векторы, принадлежащие разным собственным числам, ортогональны и линейно независимы.

Теорема приводим без доказательства.
Проиллюстрируем прав выводов данной теоремы на примере.

Пусть имеем симметричную матрицу

Найдем собственные числа и собственные векторы этой матрицы и докажем ортогональность собственных векторов, соответствующих различным собственным числам.

1. Составим характеристическое уравнение матрицы

2. Найдем корни полученного кубического уравнения относительно . С элементарной алгебры известно, если многочлен со старшим коэффициентом, равным единице, имеет целые корни, то их следует искать среди делителей свободного члена. Перебирая делители числа 36, убеждаемся, что является корнем уравнения (5.30).

Нахождение других двух корней сводится к решению квадратного уравнения:

3. Опишем множества и собственных векторов, принадлежащих найденным собственным числам.

Для этого в матрицу  вместо подставляем поочередно значения собственных чисел, записываем соответствующую систему однородных линейных уравнений (5.17) и решаем ее методом Жордана-Гаусса:

Аналогично находим собственные векторы  и 

Система векторов  и  является линейно независимой, поскольку 

Убеждаемся, что векторы  и  — попарно ортогональны.
Для этого определим их скалярные произведения:

Поскольку скалярные произведения векторов равны нулю, то векторы попарно ортогональны.
Если в выражениях (5.31-5.33) положить , то получим систему векторов:

которая использовалась как базис пространства в примере после теоремы   и . В таком базисе, то есть базисе из собственных векторов, матрица оператора оказалась диагональной, ее ненулевыми элементами являются собственные числа матрицы .

Теорема 5.8 (о преобразовании матрицы к диагональному виду). Матрица линейного оператора в базисе имеет диагональный вид тогда и только тогда, когда все векторы базиса являются собственными векторами матрицы .
Теорему наводим  без доказательств

Заметим, что при нахождении собственных чисел для заданной матрицы самой задачей является решение алгебраического уравнения -й степени, что во многих случаях сделать невозможно без использования приближенных методов. Изучение приближенных методов выходит за пределы программы. Поэтому предлагаем воспользоваться известными программами MatLab, MathCad, Maple и др.

Следующий пример был решен в пакете MatLab, в котором конечный результат вычислений предоставляется без промежуточных выкладок.
Найдем собственные числа и соответствующие им собственные векторы матрицы

Характерным уравнением для нахождения собственных чисел является уравнение

корнями которого будут числа  а соответствующие им собственные векторы имеют вид: 

Собственные числа и собственные векторы матриц имеют широкий спектр использования, в частности, в аналитической геометрии (Раздел 2), в задачах различных отраслей естественных наук и эконометрики.

Базис пространства из собственных векторов линейного оператора

По теореме 5.5 собственные векторы, принадлежащие разным собственным числам, являются линейно независимыми. Возникает вопрос, при каких условиях существует базис линейного пространства , построенный из собственных векторов матрицы.
Лема. Если является собственным числом матрицы , то множество собственных векторов матрицы содержит линейно независимых векторов, где — ранг матрицы .

Доказательство. Согласно теореме 5.4 множество собственных векторов совпадает с множеством всех решений однородной системы линейных уравнений: 

где — собственный вектор матрицы , что соответствует собственному числу . По теореме 4.4 такая система имеет фундаментальную систему решений, количество векторов которой равна , то есть содержит — линейно независимых векторов.

Теорема 5.9 (о существовании базиса из собственных векторов матрицы). Пусть числа образуют множество всех различных собственных чисел матрицы . Если сумма рангов матриц равна , то в пространстве существует базис из собственных векторов матрицы .

Доказательство. Согласно лемме каждое множество собственных векторов, соответствующих уравнению , содержит независимые векторы в количестве . По теореме 5.5 собственные векторы, принадлежащие разным собственным числам, являются линейно независимыми. Тогда для матрицы общее количество линейно независимых собственных векторов составляет:

Поскольку собственные векторы матрицы  в совокупности составляют систему линейно независимых векторов, то они образуют базис пространства .

Теорема 5.10 (о существовании базиса из собственных векторов симметричной матрицы). Если матрица линейного оператора симметрична, то в пространстве существует базис, образованный из собственных векторов матрицы .

Теорему принимаем без доказательств.
Построим ортонормированный базис пространства , состоящий из собственных векторов матрицы

линейного преобразования , и найдем матрицу заданного преобразования в этом базисе.

Согласно теореме 5.9 такой базис существует, поскольку матрица является симметричной матрицей. Составим характеристическое уравнение матрицы :

и решим его: (собственное значение кратности ) и

Для каждого из двух различных собственных чисел матрицы определим фундаментальную систему решений однородной системы уравнений: . При в результате элементарных преобразований основной матрицы системы получаем:

По последним шагом элементарных преобразований матрицы записываем общее решение системы:

Определяем фундаментальную систему решений однородной системы уравнений 

Собственные векторы и являются ортогональными, поскольку их скалярное произведение равно нулю: 

При в результате элементарных преобразований основной матрицы системы получаем:

По последнем шагом элементарных преобразований матрицы записываем общее решение системы:

Возлагаем и получаем фундаментальный решение однородной системы уравнений 

Поскольку и , то все три вектора попарно ортогональны. Объединив полученные фундаментальные системы решений, иметь систему собственных векторов матрицы  . Они образуют ортогональный базис пространства . После нормирования векторы приобретают вид:

Это и есть ортогональный базис пространства , состоящий из собственных векторов матрицы .

По соотношению (5.13) определим матрицу , что соответствует оператору в базисе из собственных векторов. Согласно теореме 5.8 эта матрица будет иметь диагональный вид, а элементами ее главной диагонали будут собственные числа этой матрицы. Заключим с собственными векторами , и матрицу перехода к новому базису и найдем обратную к ней матрицу :

По матричным уравнением (5.13) находим матрицу , что соответствует оператору в базисе из собственных векторов:

Следовательно, мы получили диагональную матрицу третьего порядка, элементами главной диагонали которой есть собственные числа матрицы .

Далее приведен пример применения собственных векторов и собственных чисел в одной из многих задач экономики.

Линейная модель обмена (модель международной торговли)

Практически все страны кроме внутреннего товарообмена осуществляют внешний товарообмен, то есть занимаются внешней торговлей. Торговля считается сбалансированной, или бездефицитной, если для каждой страны прибыль от торговли не меньше объем средств, которые она вкладывает в товарооборот (внутренний и внешний).

Постановка задачи. Несколько стран осуществляют взаимный товарообмен. Известную долю бюджетных средств, тратит каждая страна на закупку товаров у другой страны, учитывая и внутренний товарооборот. Определить, каким должно быть соотношение бюджетов партнеров для того, чтобы обеспечить бездефицитность торговли.  

Построение математической модели. Введем обозначения количественных характеристик, описывающих торговлю между странами, и определим связь между этими характеристиками. Пусть — страны, участвующие в международной торговле. Доли средств, которые тратит страна на закупку товаров в стране , учитывая и внутренний товарооборот , обозначим через . Понятно, что

Матрицу , элементами которой являются числа , называют структурной матрицей торговли:

Эта матрица описывает взаимодействие стран в процессе международной торговли. Соотношение (5.34) означает, что сумма элементов каждого столбца матрицы равна
1. Если объем средств, которые тратит каждая страна на торговлю, обозначить через , соответственно, то прибыль страны от внутренней и внешней торговли составит

Чтобы торговля каждой страны была сбалансированной, по определению должно выполняться условие , и , то есть прибыль от торговли не должна быть меньше расходов. Однако соблюдение этого требования в виде неравенства невозможно для всех стран в совокупности. Действительно, добавим левые и правые части указанных неровностей, изменяя от единицы до :

Группируя в левой части слагаемые, содержащие каждое из , получим:

Учитывая соотношение (5.20), получим:

Отсюда следует, что сбалансированная торговля возможна только в случае знака равенства. Это, полагаем, понятно не только на основании аналитических выкладок, но и с экономической точки зрения (и даже просто с точки зрения здравого смысла): все страны в совокупности не могут получить прибыль. Более того, для одной из стран не может выполняться знак строгого неравенства .

Итак, условием сбалансированной торговли является равенства , и , из которых получим:

Введем в рассмотрение вектор (бюджетных) средств и подадим систему (5.39) в матричной форме:

С (5.40) следует, что при условии сбалансированности торговли между странами вектор средств должен быть собственным вектором структурной матрицы торговли , который принадлежит собственному числу . Таким образом, решение задачи сводится к нахождению этого собственного вектора , компоненты которого устанавливают соотношение между бюджетами стран, участвующих в товарообмене.

Рассмотрим товарообмен между тремя странами. Пусть структурная матрица торговли стран , имеет вид:

Найдем вектор средств, компонентами которого являются доли от общего объема торговли, должна вкладывать каждая из стран во внешней товарооборот для того, чтобы торговля была сбалансированной.

Искомый вектор средств является собственным вектором структурной матрицы, принадлежащий собственному значению . Его компоненты образуют ненулевое решение однородной СЛАУ:

Поскольку система является однородной, то расширенная матрица эквивалентна основной матрицы системы. Осуществим элементарные преобразования основной матрицы этой системы уравнений:

Находим общее решение системы, в котором — базисные переменные, — свободная переменная: 

Отсюда следует, что для сбалансированности торговли необходимо, чтобы средства, которые вкладывает в внешний товарооборот каждая страна, соотносились как