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

В линейной алгебре ( собственный вектор / ˈaɪ ɡ ən- / ) EYE - gən- или характеристический вектор — это вектор , направление которого не меняется при заданном линейном преобразовании . Точнее, собственный вектор, $\mathbf {v}$ , линейного преобразования, $T$ , масштабируется постоянным коэффициентом , $\lambda$ , когда к нему применяется линейное преобразование: $T\mathbf {v} =\lambda \mathbf {v}$ . Часто бывает важно знать эти векторы в линейной алгебре. Соответствующее собственное значение , характеристическое значение или характеристический корень является умножающим коэффициентом. $\lambda$ .

Геометрически векторы представляют собой многомерные величины с величиной и направлением, часто изображаемые в виде стрелок. Линейное преобразование вращает , растягивает или сдвигает векторы, на которые оно воздействует. Его собственные векторы — это те векторы, которые только растянуты, без вращения и сдвига. Соответствующее собственное значение — это коэффициент, на который собственный вектор растягивается или сжимается. Если собственное значение отрицательное, направление собственного вектора меняется на противоположное. ^[1]

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

Определение

Рассмотрим матрицу $A$ и ненулевой вектор $\mathbb {v}$ . Если применить $А$ к $\mathbb {v}$ (обозначается $A\mathbb {v}$ ) просто масштабируется $\mathbb {v}$ в множитель $λ$ , где $λ$ — скаляр , то $\mathbb {v}$ — собственный вектор $A$ , а $λ$ — соответствующее собственное значение. Эту связь можно выразить как: $A\mathbb {v} =\lambda \mathbb {v}$ . ^[2]

Существует прямая связь между размером n × n квадратными матрицами и линейными преобразованиями из n -мерного векторного пространства в себя при любом базисе векторного пространства. Следовательно, в конечномерном векторном пространстве эквивалентно определять собственные значения и собственные векторы, используя либо язык матриц , либо язык линейных преобразований. ^[3]^[4]

Если $V$ конечномерно, приведенное выше уравнение эквивалентно ^[5] $A\mathbf {u} =\lambda \mathbf {u} ,$

где $A$ матричное представление $T$ , а $u$ — координатный вектор v $—$ .

Обзор

Собственные значения и собственные векторы играют важную роль при анализе линейных преобразований. Приставка eigen- заимствована из немецкого слова eigen ( родственного английскому ) , слову own означающего «собственный», «характерный», «собственный». ^[6]^[7] Первоначально используемые для изучения главных осей вращательного движения твердых тел , собственные значения и собственные векторы имеют широкий спектр применений, например, в анализе устойчивости , анализе вибрации , атомных орбиталях , распознавании лиц и диагонализации матриц .

По сути, собственный вектор v линейного преобразования T — это ненулевой вектор, который при применении к нему T не меняет направления. Применение T к собственному вектору масштабирует собственный вектор только на скалярное значение λ , называемое собственным значением. Это условие можно записать в виде уравнения $T(\mathbf {v} )=\lambda \mathbf {v} ,$ называется уравнением собственных значений или собственным уравнением . В общем, λ может быть любым скаляром . Например, λ может быть отрицательным, и в этом случае собственный вектор меняет направление как часть масштабирования, или он может быть нулевым или комплексным .

Приведенный здесь пример, основанный на Моне Лизе , дает простую иллюстрацию. Каждую точку на картине можно представить в виде вектора, указывающего из центра картины на эту точку. Линейное преобразование в этом примере называется отображением сдвига . Точки в верхней половине перемещаются вправо, а точки в нижней половине — влево пропорционально тому, насколько далеко они находятся от горизонтальной оси, проходящей через середину картины. Поэтому векторы, указывающие на каждую точку исходного изображения, наклоняются вправо или влево и в результате преобразования становятся длиннее или короче. Точки вдоль горизонтальной оси вообще не перемещаются при применении этого преобразования. Следовательно, любой вектор, указывающий прямо вправо или влево без вертикальной составляющей, является собственным вектором этого преобразования, поскольку отображение не меняет своего направления. Более того, все эти собственные векторы имеют собственное значение, равное единице, поскольку отображение также не меняет их длину.

Линейные преобразования могут принимать множество различных форм, отображая векторы в различных векторных пространствах, поэтому собственные векторы также могут принимать множество форм. Например, линейное преобразование может быть дифференциальным оператором типа ${\tfrac {d}{dx}}$ , и в этом случае собственные векторы представляют собой функции, называемые собственными функциями , которые масштабируются этим дифференциальным оператором, например: ${\frac {d}{dx}}e^{\lambda x}=\lambda e^{\lambda x}.$ Альтернативно, линейное преобразование может принять форму n матрицы размером на n , и в этом случае собственные векторы представляют собой матрицы размером n на 1. Если линейное преобразование выражается в виде на n размером n матрицы A , то уравнение собственных значений для приведенного выше линейного преобразования можно переписать как матричное умножение $A\mathbf {v} =\lambda \mathbf {v} ,$ где собственный вектор v представляет собой матрицу размера n на 1. Для матрицы собственные значения и собственные векторы могут использоваться для разложения матрицы , например, путем ее диагонализации .

Собственные значения и собственные векторы порождают множество тесно связанных математических понятий, и префикс «собственный-» при их названии широко применяется :

Набор всех собственных векторов линейного преобразования, каждый из которых сопряжен с соответствующим собственным значением, называется собственной системой этого преобразования. ^[8]^[9]
Набор всех собственных векторов T , соответствующих одному и тому же собственному значению, вместе с нулевым вектором, называется собственным пространством или характеристическим пространством T , связанным с этим собственным значением. ^[10]
Если набор собственных векторов T образует базис области определения T , то этот базис называется собственным базисом .

История

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

В 18 веке Леонард Эйлер изучал вращательное движение твердого тела и обнаружил важность главных осей . ^[а] Жозеф-Луи Лагранж понял, что главные оси являются собственными векторами матрицы инерции. ^[11]

В начале 19 века Огюстен-Луи Коши увидел, как их работу можно использовать для классификации квадратичных поверхностей , и обобщил ее на произвольные размеры. ^[12] Коши также ввел термин racine caractéristique (характеристический корень) для того, что сейчас называется собственным значением ; его член сохраняется в характеристическом уравнении . ^[б]

Позже Жозеф Фурье использовал работы Лагранжа и Пьера-Симона Лапласа для решения уравнения теплопроводности методом разделения переменных в своей знаменитой книге 1822 года «Аналитическая теория де ла шалёр» . ^[13] Шарль-Франсуа Штурм развил идеи Фурье и представил их вниманию Коши, который объединил их со своими собственными идеями и пришел к тому факту, что реальные симметричные матрицы имеют действительные собственные значения. ^[12] Это было расширено Чарльзом Эрмитом в 1855 году до того, что сейчас называется эрмитовыми матрицами . ^[14]

Примерно в то же время Франческо Бриоски доказал, что собственные значения ортогональных матриц лежат на единичной окружности , ^[12] и Альфред Клебш нашли соответствующий результат для кососимметричных матриц . ^[14] Наконец, Карл Вейерштрасс прояснил важный аспект теории устойчивости, начатой Лапласом, осознав, что дефектные матрицы могут вызывать нестабильность. ^[12]

Тем временем Джозеф Лиувилл изучал проблемы собственных значений, аналогичные проблемам Штурма; дисциплина, выросшая из их работ, теперь называется теорией Штурма-Лиувилля . ^[15] Шварц изучил первое собственное значение уравнения Лапласа в общих областях в конце XIX века, а Пуанкаре изучил уравнение Пуассона несколько лет спустя. ^[16]

В начале 20-го века Дэвид Гильберт изучал собственные значения интегральных операторов , рассматривая операторы как бесконечные матрицы. ^[17] Он был первым, кто использовал немецкое слово eigen , что означает «собственный». ^[7] для обозначения собственных значений и собственных векторов в 1904 году, ^[с] хотя он, возможно, следовал схожему использованию Германа фон Гельмгольца . Некоторое время стандартным термином в английском языке было «собственное значение», но сегодня стандартом является более отличительный термин «собственное значение». ^[18]

Первый численный алгоритм вычисления собственных значений и собственных векторов появился в 1929 году, когда Рихард фон Мизес опубликовал степенной метод . Один из самых популярных сегодня методов, QR-алгоритм , был независимо предложен Джоном Фрэнсисом. ^[19] and Vera Kublanovskaya ^[20] в 1961 году. ^[21]^[22]

Собственные значения и собственные векторы матриц

Собственные значения и собственные векторы часто знакомятся студентам в контексте курсов линейной алгебры, посвященных матрицам. ^[23]^[24]Кроме того, линейные преобразования в конечномерном векторном пространстве могут быть представлены с помощью матриц: ^[3]^[4] что особенно распространено в численных и вычислительных приложениях. ^[25]

Рассмотрим $n$ -мерные векторы, которые формируются в виде списка из $n$ скаляров, например трехмерные векторы $\mathbf {x} ={\begin{bmatrix}1\\-3\\4\end{bmatrix}}\quad {\mbox{and}}\quad \mathbf {y} ={\begin{bmatrix}-20\\60\\-80\end{bmatrix}}.$

Говорят, что эти векторы скалярно кратны друг другу, параллельны или коллинеарны , если существует скаляр $λ$ такой, что $\mathbf {x} =\lambda \mathbf {y} .$

В этом случае, $\lambda =-{\frac {1}{20}}$ .

Теперь рассмотрим линейное преобразование $n$ -мерных векторов, определяемых $размером n$ на $n$ матрицей $A$ , $A\mathbf {v} =\mathbf {w} ,$ или ${\begin{bmatrix}A_{11}&A_{12}&\cdots &A_{1n}\\A_{21}&A_{22}&\cdots &A_{2n}\\\vdots &\vdots &\ddots &\vdots \\A_{n1}&A_{n2}&\cdots &A_{nn}\\\end{bmatrix}}{\begin{bmatrix}v_{1}\\v_{2}\\\vdots \\v_{n}\end{bmatrix}}={\begin{bmatrix}w_{1}\\w_{2}\\\vdots \\w_{n}\end{bmatrix}}$ где для каждой строки $w_{i}=A_{i1}v_{1}+A_{i2}v_{2}+\cdots +A_{in}v_{n}=\sum _{j=1}^{n}A_{ij}v_{j}.$

Если окажется, что $v$ и $w$ являются скалярными кратными, то есть если

A\mathbf {v} =\mathbf {w} =\lambda \mathbf {v} ,

( 1 )

тогда $v$ — собственный вектор линейного преобразования $A$ , а масштабный коэффициент $λ$ — это собственное значение, соответствующее этому собственному вектору. Уравнение ( 1 является уравнением собственных значений матрицы $A.$ )

Уравнение ( 1 ) можно эквивалентно сформулировать как

\left(A-\lambda I\right)\mathbf {v} =\mathbf {0} ,

( 2 )

где $I$ — $n$ на $n$ единичная матрица размера , а 0 — нулевой вектор.

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

Уравнение ( 2 ) имеет ненулевое решение v тогда и только тогда, когда матрицы определитель ( A − λI ) равен нулю. Следовательно, собственные значения A являются значениями λ , которые удовлетворяют уравнению

\det(A-\lambda I)=0

( 3 )

Используя формулу Лейбница для определителей , левая часть уравнения ( 3 ) представляет собой полиномиальную функцию переменной λ а степень этого многочлена равна n , порядку матрицы A. , Его коэффициенты зависят от элементов A , за исключением того, что его член степени n всегда равен (−1) ^нл ^н. называется характеристическим многочленом A . Этот многочлен Уравнение ( ) характеристическим уравнением или вековым уравнением A. называется 3

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

\det(A-\lambda I)=(\lambda _{1}-\lambda )(\lambda _{2}-\lambda )\cdots (\lambda _{n}-\lambda ),

( 4 )

где каждое λ _i может быть вещественным, но, как правило, является комплексным числом. Числа λ ₁ , λ ₂ , ..., λ _n , которые не все могут иметь различные значения, являются корнями многочлена и являются собственными значениями A .

В качестве краткого примера, который более подробно описан ниже в разделе примеров, рассмотрим матрицу $A={\begin{bmatrix}2&1\\1&2\end{bmatrix}}.$

Взяв определитель ( A − λI ) , характеристический многочлен A равен $\det(A-\lambda I)={\begin{vmatrix}2-\lambda &1\\1&2-\lambda \end{vmatrix}}=3-4\lambda +\lambda ^{2}.$

Приравнивая характеристический многочлен к нулю, он имеет корни в точках λ=1 и λ=3 , которые являются двумя собственными значениями A . Собственные векторы, соответствующие каждому собственному значению, можно найти, решив компоненты v в уравнении $\left(A-\lambda I\right)\mathbf {v} =\mathbf {0}$ . В этом примере собственными векторами являются любые ненулевые скалярные кратные $\mathbf {v} _{\lambda =1}={\begin{bmatrix}1\\-1\end{bmatrix}},\quad \mathbf {v} _{\lambda =3}={\begin{bmatrix}1\\1\end{bmatrix}}.$

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

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

Спектр матрицы

Спектр матрицы — это список собственных значений, повторяющихся по кратности; в альтернативных обозначениях - множество собственных значений с их кратностями.

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

Алгебраическая кратность

Пусть λ _i — собственное значение n размером n× матрицы A . Алгебраическая кратность µ _A ( λ _i ) собственного значения — это его кратность как корня характеристического многочлена, то есть наибольшее целое число k такое, что ( λ − λ _i ) ^к делит этот многочлен равномерно . ^[10]^[26]^[27]

Предположим, что матрица A имеет размерность n и d ≤ n различных собственных значений. В то время как уравнение ( 4 ) разлагает характеристический полином A на произведение n линейных членов с некоторыми потенциально повторяющимися членами, характеристический полином также может быть записан как произведение d членов, каждый из которых соответствует отдельному собственному значению и возведен в степень алгебраическая кратность, $\det(A-\lambda I)=(\lambda _{1}-\lambda )^{\mu _{A}(\lambda _{1})}(\lambda _{2}-\lambda )^{\mu _{A}(\lambda _{2})}\cdots (\lambda _{d}-\lambda )^{\mu _{A}(\lambda _{d})}.$

Если d = n, то правая часть представляет собой произведение n линейных членов, и это то же самое, что уравнение ( 4 ). Размер алгебраической кратности каждого собственного значения связан с размерностью n как ${\begin{aligned}1&\leq \mu _{A}(\lambda _{i})\leq n,\\\mu _{A}&=\sum _{i=1}^{d}\mu _{A}\left(\lambda _{i}\right)=n.\end{aligned}}$

Если µ _A ( λ _i ) = 1, то λ _i называется простым собственным значением . ^[27] Если µ _A ( λ _i ) равно геометрической кратности λ _i , γ _A ( λ _i ), определенной в следующем разделе, то λ _i называется полупростым собственным значением .

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

Учитывая конкретное собственное значение λ матрицы n x n A E , определите набор которые как все векторы v, удовлетворяют уравнению ( 2 ), $E=\left\{\mathbf {v} :\left(A-\lambda I\right)\mathbf {v} =\mathbf {0} \right\}.$

С одной стороны, это множество является в точности ядром или нулевым пространством матрицы ( A − λI ). С другой стороны, по определению любой ненулевой вектор, удовлетворяющий этому условию, является собственным вектором A, связанным с λ . Итак, множество E представляет собой объединение нулевого вектора с набором всех собственных векторов A , связанных с λ , а E равно нулевому пространству ( A − λI ). E называется собственным пространством или характеристическим пространством A, связанным с λ . ^[28]^[10] В общем случае λ — комплексное число, а собственные векторы представляют собой комплексные матрицы n на 1. Свойством нуль-пространства является то, что оно является линейным подпространством , поэтому E является линейным подпространством $\mathbb {C} ^{n}$ .

Поскольку собственное пространство E является линейным подпространством, оно замкнуто относительно сложения. То есть, если два вектора u и v принадлежат множеству E , записанные u , v ∈ E , то ( u + v ) ∈ E или, что эквивалентно, A ( u + v ) = λ ( u + v ) . Это можно проверить, используя распределительное свойство умножения матриц. Аналогично, поскольку E — линейное подпространство, оно замкнуто относительно скалярного умножения. То есть, если v ∈ E и α — комплексное число, ( α v ) ∈ E или, что то же самое, A ( α v ) = λ ( α v ) . В этом можно убедиться, заметив, что умножение комплексных матриц на комплексные числа коммутативно . Пока u + v и α v не равны нулю, они также являются собственными векторами A , связанными с λ .

Размерность собственного пространства E, связанного с λ , или, что эквивалентно, максимальное количество линейно независимых собственных векторов, связанных с λ , называется геометрической кратностью собственного значения. $\gamma _{A}(\lambda )$ . Поскольку E также является нулевым пространством ( A − λI ), геометрическая кратность λ является размерностью нулевого пространства ( A − λI ), также называемого нулевым пространством ( A − λI ), которое относится к размерности и рангу ( A − λI ) как $\gamma _{A}(\lambda )=n-\operatorname {rank} (A-\lambda I).$

Из-за определения собственных значений и собственных векторов геометрическая кратность собственного значения должна быть не менее одной, то есть каждое собственное значение имеет хотя бы один связанный с ним собственный вектор. Более того, геометрическая кратность собственного значения не может превышать его алгебраическую кратность. Кроме того, напомним, что алгебраическая кратность собственного значения не может превышать n . $1\leq \gamma _{A}(\lambda )\leq \mu _{A}(\lambda )\leq n$

Чтобы доказать неравенство $\gamma _{A}(\lambda )\leq \mu _{A}(\lambda )$ , рассмотрим, как определение геометрической кратности подразумевает существование $\gamma _{A}(\lambda )$ ортонормированные собственные векторы ${\boldsymbol {v}}_{1},\,\ldots ,\,{\boldsymbol {v}}_{\gamma _{A}(\lambda )}$ , такой, что $A{\boldsymbol {v}}_{k}=\lambda {\boldsymbol {v}}_{k}$ . Таким образом, мы можем найти (унитарную) матрицу $V$ чей первый $\gamma _{A}(\lambda )$ столбцы являются этими собственными векторами, а остальные столбцы могут быть любым ортонормированным набором $n-\gamma _{A}(\lambda )$ векторы, ортогональные этим собственным векторам $A$ . Затем $V$ имеет полный ранг и поэтому обратим. Оценка $D:=V^{T}AV$ , мы получаем матрицу, верхний левый блок которой является диагональной матрицей $\lambda I_{\gamma _{A}(\lambda )}$ . В этом можно убедиться, оценив, что левая часть делает с базисными векторами первого столбца. Путем реорганизации и добавления $-\xi V$ с обеих сторон, мы получаем $(A-\xi I)V=V(D-\xi I)$ с $I$ ездит с $V$ . Другими словами, $A-\xi I$ похоже на $D-\xi I$ , и $\det(A-\xi I)=\det(D-\xi I)$ . Но из определения $D$ , мы это знаем $\det(D-\xi I)$ содержит фактор $(\xi -\lambda )^{\gamma _{A}(\lambda )}$ , что означает, что алгебраическая кратность $\lambda$ должен удовлетворить $\mu _{A}(\lambda )\geq \gamma _{A}(\lambda )$ .

Предполагать $A$ имеет $d\leq n$ различные собственные значения $\lambda _{1},\ldots ,\lambda _{d}$ , где геометрическая кратность $\lambda _{i}$ является $\gamma _{A}(\lambda _{i})$ . Полная геометрическая кратность $A$ , ${\begin{aligned}\gamma _{A}&=\sum _{i=1}^{d}\gamma _{A}(\lambda _{i}),\\d&\leq \gamma _{A}\leq n,\end{aligned}}$ есть размерность суммы всех собственных пространств $A$ собственные значения или, что то же самое, максимальное количество линейно независимых собственных векторов $A$ . Если $\gamma _{A}=n$ , затем

Прямая сумма собственных пространств всех $A$ собственные значения - это все векторное пространство $\mathbb {C} ^{n}$ .
Основа $\mathbb {C} ^{n}$ может быть сформирован из $n$ линейно независимые собственные векторы $A$ ; такой базис называется собственным базисом
Любой вектор в $\mathbb {C} ^{n}$ можно записать как линейную комбинацию собственных векторов $A$ .

Дополнительные свойства собственных значений

Позволять $A$ быть произвольным $n\times n$ матрица комплексных чисел с собственными значениями $\lambda _{1},\ldots ,\lambda _{n}$ . Каждое собственное значение появляется $\mu _{A}(\lambda _{i})$ раз в этом списке, где $\mu _{A}(\lambda _{i})$ - алгебраическая кратность собственного значения. Ниже приведены свойства этой матрицы и ее собственных значений:

След $A$ , определяемый как сумма его диагональных элементов, также является суммой всех собственных значений, ^[29]^[30]^[31]
$\operatorname {tr} (A)=\sum _{i=1}^{n}a_{ii}=\sum _{i=1}^{n}\lambda _{i}=\lambda _{1}+\lambda _{2}+\cdots +\lambda _{n}.$
Определитель $A$ является произведением всех своих собственных значений, ^[29]^[32]^[33]
$\det(A)=\prod _{i=1}^{n}\lambda _{i}=\lambda _{1}\lambda _{2}\cdots \lambda _{n}.$
Собственные значения $k$ сила $A$ ; т. е. собственные значения $A^{k}$ , для любого положительного целого числа $k$ , являются $\lambda _{1}^{k},\ldots ,\lambda _{n}^{k}$ .
Матрица $A$ обратима тогда и только тогда , когда каждое собственное значение не равно нулю.
Если $A$ обратима, то собственные значения $A^{-1}$ являются ${\textstyle {\frac {1}{\lambda _{1}}},\ldots ,{\frac {1}{\lambda _{n}}}}$ и геометрическая кратность каждого собственного значения совпадает. Более того, поскольку характеристический полином обратного полинома является обратным полиномом оригинала, собственные значения имеют одну и ту же алгебраическую кратность.
Если $A$ равно сопряженному с ним транспонированию $A^{*}$ или, что то же самое, если $A$ является эрмитовым , то каждое собственное значение действительно. То же самое верно для любой симметричной вещественной матрицы.
Если $A$ является не только эрмитовым, но и положительно-определенным , положительно-полуопределенным, отрицательно-определенным или отрицательно-полуопределенным, то каждое собственное значение является положительным, неотрицательным, отрицательным или неположительным соответственно.
Если $A$ унитарно значение , каждое собственное значение имеет абсолютное $|\lambda _{i}|=1$ .
Если $A$ это $n\times n$ матрица и $\{\lambda _{1},\ldots ,\lambda _{k}\}$ — ее собственные значения, то собственные значения матрицы $I+A$ (где $I$ – единичная матрица) $\{\lambda _{1}+1,\ldots ,\lambda _{k}+1\}$ . Более того, если $\alpha \in \mathbb {C}$ , собственные значения $\alpha I+A$ являются $\{\lambda _{1}+\alpha ,\ldots ,\lambda _{k}+\alpha \}$ . В более общем смысле для полинома $P$ собственные значения матрицы $P(A)$ являются $\{P(\lambda _{1}),\ldots ,P(\lambda _{k})\}$ .

Левые и правые собственные векторы

Во многих дисциплинах векторы традиционно представляются в виде матриц с одним столбцом, а не в виде матриц с одной строкой. По этой причине слово «собственный вектор» в контексте матриц почти всегда относится к правому собственному вектору , а именно к вектору- столбцу , который вправо умножает $n\times n$ матрица $A$ в определяющем уравнении, уравнении ( 1 ), $A\mathbf {v} =\lambda \mathbf {v} .$

Задачу о собственных значениях и собственных векторах также можно определить для векторов- строок , которые оставили матрицу умножения $A$ . В этой формулировке определяющим уравнением является $\mathbf {u} A=\kappa \mathbf {u} ,$

где $\kappa$ является скаляром и $u$ это $1\times n$ матрица. Любой вектор-строка $u$ удовлетворяющий этому уравнению, называется левым собственным вектором $A$ и $\kappa$ является связанным с ним собственным значением. Транспонируя это уравнение, $A^{\textsf {T}}\mathbf {u} ^{\textsf {T}}=\kappa \mathbf {u} ^{\textsf {T}}.$

Сравнивая это уравнение с уравнением ( 1 ), сразу следует, что левый собственный вектор $A$ то же самое, что транспонирование правого собственного вектора $A^{\textsf {T}}$ , с тем же собственным значением. Кроме того, поскольку характеристический полином $A^{\textsf {T}}$ совпадает с характеристическим полиномом $A$ , левый и правый собственные векторы $A$ связаны с одними и теми же собственными значениями.

Диагонализация и собственное разложение

Предположим, что собственные векторы A образуют базис, или, что то же самое, A имеет n линейно независимых собственных векторов v ₁ , v ₂ , ..., v _n с соответствующими собственными значениями λ ₁ , λ ₂ , ..., λ _n . Собственные значения не обязательно должны быть различными. Определите квадратную матрицу Q , столбцы которой представляют собой n линейно независимых собственных векторов A ,

Q={\begin{bmatrix}\mathbf {v} _{1}&\mathbf {v} _{2}&\cdots &\mathbf {v} _{n}\end{bmatrix}}.

Поскольку каждый столбец Q является собственным вектором A , умножение A справа на Q масштабирует каждый столбец Q на соответствующее ему собственное значение,

AQ={\begin{bmatrix}\lambda _{1}\mathbf {v} _{1}&\lambda _{2}\mathbf {v} _{2}&\cdots &\lambda _{n}\mathbf {v} _{n}\end{bmatrix}}.

Имея это в виду, определите диагональную матрицу Λ, где каждый диагональный элемент Λ _ii является собственным значением, связанным с i -м столбцом Q . Затем

AQ=Q\Lambda .

Поскольку столбцы Q линейно независимы, Q обратима. Справа умножив обе части уравнения на Q ⁻¹,

A=Q\Lambda Q^{-1},

или вместо этого умножив обе части слева на Q ⁻¹,

Q^{-1}AQ=\Lambda .

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

Обратно, предположим, что матрица A диагонализуема. Пусть P — неособая квадратная матрица такая, что P ⁻¹AP некоторая диагональная матрица D. — Левое умножение обоих на P , AP = PD . Поэтому каждый столбец P должен быть собственным вектором A , собственное значение которого является соответствующим диагональным элементом D . был обратимым, столбцы P должны быть линейно независимыми Поскольку для того, чтобы P , существует n линейно независимых собственных векторов A . Отсюда следует, что собственные векторы A образуют базис тогда и только тогда, когда A диагонализуемо.

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

Вариационная характеристика

В эрмитовом случае собственным значениям можно дать вариационную характеристику. Самое большое собственное значение $H$ - максимальное значение квадратичной формы $\mathbf {x} ^{\textsf {T}}H\mathbf {x} /\mathbf {x} ^{\textsf {T}}\mathbf {x}$ . Значение $\mathbf {x}$ который понимает, что максимум является собственным вектором.

Примеры матриц

Пример двумерной матрицы

Матрица преобразования A = $\left[{\begin{smallmatrix}2&1\\1&2\end{smallmatrix}}\right]$ сохраняет направление фиолетовых векторов параллельно v _{λ =1} = [1 −1] ^Т и синие векторы, параллельные v _{λ =3} = [1 1] ^Т. Красные векторы не параллельны ни одному из собственных векторов, поэтому их направления изменяются в результате преобразования. Длины фиолетовых векторов не изменились после преобразования (из-за их собственного значения 1), тогда как длины синих векторов в три раза превышают длину оригинала (из-за их собственного значения 3). См. также: Расширенная версия, показывающая все четыре квадранта .

Рассмотрим матрицу $A={\begin{bmatrix}2&1\\1&2\end{bmatrix}}.$

На рисунке справа показано влияние этого преобразования на координаты точки на плоскости. Собственные векторы v этого преобразования удовлетворяют уравнению ( 1 ), а значения λ, для которых определитель матрицы ( A − λI ) равен нулю, являются собственными значениями.

Взяв определитель, чтобы найти характеристический полином A , ${\begin{aligned}\det(A-\lambda I)&=\left|{\begin{bmatrix}2&1\\1&2\end{bmatrix}}-\lambda {\begin{bmatrix}1&0\\0&1\end{bmatrix}}\right|={\begin{vmatrix}2-\lambda &1\\1&2-\lambda \end{vmatrix}}\\[6pt]&=3-4\lambda +\lambda ^{2}\\[6pt]&=(\lambda -3)(\lambda -1).\end{aligned}}$

Приравнивая характеристический многочлен к нулю, он имеет корни в точках λ =1 и λ =3 , которые являются двумя собственными значениями A .

Для λ =1 уравнение ( 2 ) принимает вид $(A-I)\mathbf {v} _{\lambda =1}={\begin{bmatrix}1&1\\1&1\end{bmatrix}}{\begin{bmatrix}v_{1}\\v_{2}\end{bmatrix}}={\begin{bmatrix}0\\0\end{bmatrix}}$ $1v_{1}+1v_{2}=0$

Любой ненулевой вектор с v ₁ = − v ₂ решает это уравнение. Поэтому, $\mathbf {v} _{\lambda =1}={\begin{bmatrix}v_{1}\\-v_{1}\end{bmatrix}}={\begin{bmatrix}1\\-1\end{bmatrix}}$ является собственным вектором A, соответствующим λ = 1, как и любое скалярное кратное этого вектора.

Для λ =3 уравнение ( 2 ) становится ${\begin{aligned}(A-3I)\mathbf {v} _{\lambda =3}&={\begin{bmatrix}-1&1\\1&-1\end{bmatrix}}{\begin{bmatrix}v_{1}\\v_{2}\end{bmatrix}}={\begin{bmatrix}0\\0\end{bmatrix}}\\-1v_{1}+1v_{2}&=0;\\1v_{1}-1v_{2}&=0\end{aligned}}$

Любой ненулевой вектор с v ₁ = v ₂ решает это уравнение. Поэтому, $\mathbf {v} _{\lambda =3}={\begin{bmatrix}v_{1}\\v_{1}\end{bmatrix}}={\begin{bmatrix}1\\1\end{bmatrix}}$

является собственным вектором A, соответствующим λ = 3, как и любое скалярное кратное этого вектора.

Таким образом, векторы v _{λ =1} и v _{λ =3} являются собственными векторами оператора A , связанными с собственными значениями λ =1 и λ =3 соответственно.

Пример трехмерной матрицы

Рассмотрим матрицу $A={\begin{bmatrix}2&0&0\\0&3&4\\0&4&9\end{bmatrix}}.$

Характеристический полином A равен ${\begin{aligned}\det(A-\lambda I)&=\left|{\begin{bmatrix}2&0&0\\0&3&4\\0&4&9\end{bmatrix}}-\lambda {\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}\right|={\begin{vmatrix}2-\lambda &0&0\\0&3-\lambda &4\\0&4&9-\lambda \end{vmatrix}},\\[6pt]&=(2-\lambda ){\bigl [}(3-\lambda )(9-\lambda )-16{\bigr ]}=-\lambda ^{3}+14\lambda ^{2}-35\lambda +22.\end{aligned}}$

Корнями характеристического многочлена являются 2, 1 и 11, которые являются единственными тремя собственными значениями A . Эти собственные значения соответствуют собственным векторам ${\begin{bmatrix}1&0&0\end{bmatrix}}^{\textsf {T}}$ , ${\begin{bmatrix}0&-2&1\end{bmatrix}}^{\textsf {T}}$ , и ${\begin{bmatrix}0&1&2\end{bmatrix}}^{\textsf {T}}$ или любое его ненулевое кратное.

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

Рассмотрим матрицу циклических перестановок $A={\begin{bmatrix}0&1&0\\0&0&1\\1&0&0\end{bmatrix}}.$

Эта матрица сдвигает координаты вектора на одну позицию вверх и перемещает первую координату вниз. Его характеристический полином равен 1 − λ ³, корни которого ${\begin{aligned}\lambda _{1}&=1\\\lambda _{2}&=-{\frac {1}{2}}+i{\frac {\sqrt {3}}{2}}\\\lambda _{3}&=\lambda _{2}^{*}=-{\frac {1}{2}}-i{\frac {\sqrt {3}}{2}}\end{aligned}}$ где $i$ представляет собой мнимую единицу, имеющую $i^{2}=-1$ .

Для вещественного собственного значения λ ₁ = 1 любой вектор с тремя равными ненулевыми элементами является собственным вектором. Например, $A{\begin{bmatrix}5\\5\\5\end{bmatrix}}={\begin{bmatrix}5\\5\\5\end{bmatrix}}=1\cdot {\begin{bmatrix}5\\5\\5\end{bmatrix}}.$

Для комплексно-сопряженной пары мнимых собственных значений $\lambda _{2}\lambda _{3}=1,\quad \lambda _{2}^{2}=\lambda _{3},\quad \lambda _{3}^{2}=\lambda _{2}.$

Затем $A{\begin{bmatrix}1\\\lambda _{2}\\\lambda _{3}\end{bmatrix}}={\begin{bmatrix}\lambda _{2}\\\lambda _{3}\\1\end{bmatrix}}=\lambda _{2}\cdot {\begin{bmatrix}1\\\lambda _{2}\\\lambda _{3}\end{bmatrix}},$ и $A{\begin{bmatrix}1\\\lambda _{3}\\\lambda _{2}\end{bmatrix}}={\begin{bmatrix}\lambda _{3}\\\lambda _{2}\\1\end{bmatrix}}=\lambda _{3}\cdot {\begin{bmatrix}1\\\lambda _{3}\\\lambda _{2}\end{bmatrix}}.$

Следовательно, два других собственных вектора A являются комплексными и равны $\mathbf {v} _{\lambda _{2}}={\begin{bmatrix}1&\lambda _{2}&\lambda _{3}\end{bmatrix}}^{\textsf {T}}$ и $\mathbf {v} _{\lambda _{3}}={\begin{bmatrix}1&\lambda _{3}&\lambda _{2}\end{bmatrix}}^{\textsf {T}}$ с собственными значениями λ ₂ и λ ₃ соответственно. Два комплексных собственных вектора также появляются в комплексно-сопряженной паре: $\mathbf {v} _{\lambda _{2}}=\mathbf {v} _{\lambda _{3}}^{*}.$

Пример диагональной матрицы

Матрицы с элементами только по главной диагонали называются диагональными матрицами . Собственные значения диагональной матрицы сами являются диагональными элементами. Рассмотрим матрицу $A={\begin{bmatrix}1&0&0\\0&2&0\\0&0&3\end{bmatrix}}.$

Характеристический полином A равен $\det(A-\lambda I)=(1-\lambda )(2-\lambda )(3-\lambda ),$

который имеет корни λ ₁ = 1 , λ ₂ = 2 и λ ₃ = 3 . Эти корни являются диагональными элементами, а также собственными значениями A .

Каждый диагональный элемент соответствует собственному вектору, единственный ненулевой компонент которого находится в той же строке, что и этот диагональный элемент. В примере собственные значения соответствуют собственным векторам, $\mathbf {v} _{\lambda _{1}}={\begin{bmatrix}1\\0\\0\end{bmatrix}},\quad \mathbf {v} _{\lambda _{2}}={\begin{bmatrix}0\\1\\0\end{bmatrix}},\quad \mathbf {v} _{\lambda _{3}}={\begin{bmatrix}0\\0\\1\end{bmatrix}},$

соответственно, а также скалярные кратные этих векторов.

Пример треугольной матрицы

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

Рассмотрим нижнюю треугольную матрицу: $A={\begin{bmatrix}1&0&0\\1&2&0\\2&3&3\end{bmatrix}}.$

Характеристический полином A равен $\det(A-\lambda I)=(1-\lambda )(2-\lambda )(3-\lambda ),$

который имеет корни λ ₁ = 1 , λ ₂ = 2 и λ ₃ = 3 . Эти корни являются диагональными элементами, а также собственными значениями A .

Эти собственные значения соответствуют собственным векторам, $\mathbf {v} _{\lambda _{1}}={\begin{bmatrix}1\\-1\\{\frac {1}{2}}\end{bmatrix}},\quad \mathbf {v} _{\lambda _{2}}={\begin{bmatrix}0\\1\\-3\end{bmatrix}},\quad \mathbf {v} _{\lambda _{3}}={\begin{bmatrix}0\\0\\1\end{bmatrix}},$

соответственно, а также скалярные кратные этих векторов.

Пример матрицы с повторяющимися собственными значениями

Как и в предыдущем примере, нижняя треугольная матрица $A={\begin{bmatrix}2&0&0&0\\1&2&0&0\\0&1&3&0\\0&0&1&3\end{bmatrix}},$ имеет характеристический многочлен, который является произведением его диагональных элементов, $\det(A-\lambda I)={\begin{vmatrix}2-\lambda &0&0&0\\1&2-\lambda &0&0\\0&1&3-\lambda &0\\0&0&1&3-\lambda \end{vmatrix}}=(2-\lambda )^{2}(3-\lambda )^{2}.$

Корни этого многочлена и, следовательно, собственные значения равны 2 и 3. Алгебраическая кратность каждого собственного значения равна 2; другими словами, они оба являются двойными корнями. Сумма алгебраических кратностей всех различных собственных значений равна µ _A = 4 = n размерности A. , порядка характеристического многочлена и

С другой стороны, геометрическая кратность собственного значения 2 равна всего 1, поскольку его собственное пространство натянуто всего на один вектор. ${\begin{bmatrix}0&1&-1&1\end{bmatrix}}^{\textsf {T}}$ и поэтому является одномерным. Аналогично, геометрическая кратность собственного значения 3 равна 1, поскольку его собственное пространство натянуто всего на один вектор. ${\begin{bmatrix}0&0&0&1\end{bmatrix}}^{\textsf {T}}$ . Общая геометрическая кратность γ _A равна 2, что является наименьшим значением для матрицы с двумя различными собственными значениями. Геометрические кратности определены в следующем разделе.

Тождество собственного вектора и собственного значения

Для эрмитовой матрицы квадрат нормы j -го компонента нормализованного собственного вектора можно вычислить, используя только собственные значения матрицы и собственные значения соответствующей второстепенной матрицы : $|v_{i,j}|^{2}={\frac {\prod _{k}{(\lambda _{i}-\lambda _{k}(M_{j}))}}{\prod _{k\neq i}{(\lambda _{i}-\lambda _{k})}}},$ где ${\textstyle M_{j}}$ — подматрица, образованная удалением j -й строки и столбца из исходной матрицы. ^[34]^[35]^[36] Это тождество также распространяется на диагонализуемые матрицы и много раз открывалось заново в литературе. ^[35]^[37]

Собственные значения и собственные функции дифференциальных операторов

Определения собственного значения и собственных векторов линейного преобразования T остаются в силе, даже если базовое векторное пространство является бесконечномерным гильбертовым или банаховым пространством . Широко используемый класс линейных преобразований, действующих в бесконечномерных пространствах, — это дифференциальные операторы в функциональных пространствах . Пусть D — линейный дифференциальный оператор в пространстве C ^∞ бесконечно дифференцируемых вещественных функций вещественного аргумента t . Уравнение собственных значений для D представляет собой дифференциальное уравнение $Df(t)=\lambda f(t)$

Функции, удовлетворяющие этому уравнению, являются собственными векторами D и обычно называются собственными функциями .

Пример производного оператора

Рассмотрим оператор производной ${\tfrac {d}{dt}}$ с уравнением собственных значений ${\frac {d}{dt}}f(t)=\lambda f(t).$

Это дифференциальное уравнение можно решить, умножив обе части на dt / f ( t ) и проинтегрировав . Ее решение – показательная функция $f(t)=f(0)e^{\lambda t},$ — собственная функция производного оператора. В этом случае собственная функция сама по себе является функцией связанного с ней собственного значения. В частности, при λ = 0 собственная функция f ( t ) является константой.

В основной статье о собственных функциях приводятся и другие примеры.

Общее определение

Понятие собственных значений и собственных векторов естественным образом распространяется на произвольные линейные преобразования в произвольных векторных пространствах. Пусть V — любое векторное пространство над некоторым полем K скаляров T , и пусть — линейное преобразование, отображающее V в V , $T:V\to V.$

Мы говорим, что ненулевой вектор v ∈ V является собственным вектором T тогда и только тогда, когда существует скаляр λ ∈ K такой, что

T(\mathbf {v} )=\lambda \mathbf {v} .

( 5 )

Это уравнение называется уравнением собственных значений для T , а скаляр λ является собственным значением T , соответствующим собственному вектору v . T ( v ) — результат применения преобразования T к вектору v , а λ v — произведение скаляра λ на v . ^[38]^[39]

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

Учитывая собственное значение λ , рассмотрим множество $E=\left\{\mathbf {v} :T(\mathbf {v} )=\lambda \mathbf {v} \right\},$

который представляет собой объединение нулевого вектора с набором всех собственных векторов, связанных с λ . E называется собственным пространством или характеристическим пространством T, связанным с λ . ^[40]

По определению линейного преобразования, ${\begin{aligned}T(\mathbf {x} +\mathbf {y} )&=T(\mathbf {x} )+T(\mathbf {y} ),\\T(\alpha \mathbf {x} )&=\alpha T(\mathbf {x} ),\end{aligned}}$

для x , y ∈ V и α ∈ K. Следовательно, если u и v — собственные векторы T , связанные с собственным значением λ , а именно u , v ∈ E , то ${\begin{aligned}T(\mathbf {u} +\mathbf {v} )&=\lambda (\mathbf {u} +\mathbf {v} ),\\T(\alpha \mathbf {v} )&=\lambda (\alpha \mathbf {v} ).\end{aligned}}$

Таким образом, и u + v, и α v являются либо нулевыми, либо собственными векторами T , связанными с λ , а именно u + v , α v ∈ E , и E замкнуто относительно сложения и скалярного умножения. Следовательно, собственное пространство E , связанное с λ, является линейным подпространством V . ^[41]Если это подпространство имеет размерность 1, его иногда называют собственной линией . ^[42]

Геометрическая кратность γ _T ( λ ) собственного значения λ — это размерность собственного пространства, связанного с λ , т. е. максимальное количество линейно независимых собственных векторов, связанных с этим собственным значением. ^[10]^[27]^[43] По определению собственных значений и собственных векторов γ _T ( λ ) ≥ 1, поскольку каждое собственное значение имеет хотя бы один собственный вектор.

Собственные пространства оператора T всегда образуют прямую сумму . Как следствие, собственные векторы разных собственных значений всегда линейно независимы. Следовательно, сумма размерностей собственных пространств не может превышать размерность n векторного пространства, в котором работает T , и не может быть более n различных собственных значений. ^[д]

натянутое собственными векторами T, является инвариантным подпространством T Любое подпространство , , и ограничение T на такое подпространство диагонализуемо. Более того, если все векторное пространство V может быть натянуто на собственные векторы T или, что то же самое, если прямая сумма собственных пространств, связанных со всеми собственными значениями T, является всем векторным пространством V , то базис V , называемый собственным базисом, может быть формируется из линейно независимых собственных векторов T . Когда T допускает собственный базис, T диагонализуемо.

Спектральная теория

Если λ является собственным значением T , то оператор ( T − λI ) не является взаимно однозначным , и, следовательно, его обратный ( T − λI ) ⁻¹ не существует. Обратное верно для конечномерных векторных пространств, но не для бесконечномерных векторных пространств. В общем, оператор ( T − λI ) может не иметь обратного, даже если λ не является собственным значением.

По этой причине в функциональном анализе собственные значения можно обобщить на спектр линейного оператора T как набор всех скаляров λ, для которых оператор ( T − λI ) не имеет ограниченного обратного. Спектр оператора всегда содержит все его собственные значения, но не ограничивается ими.

Ассоциативные алгебры и теория представлений

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

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

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

Динамические уравнения

Простейшие разностные уравнения имеют вид

x_{t}=a_{1}x_{t-1}+a_{2}x_{t-2}+\cdots +a_{k}x_{t-k}.

Решение этого уравнения для x через t находится с помощью его характеристического уравнения

\lambda ^{k}-a_{1}\lambda ^{k-1}-a_{2}\lambda ^{k-2}-\cdots -a_{k-1}\lambda -a_{k}=0,

который можно найти путем суммирования в матричную форму набора уравнений, состоящего из приведенного выше разностного уравнения и уравнений k – 1 $x_{t-1}=x_{t-1},\ \dots ,\ x_{t-k+1}=x_{t-k+1},$ дающая k -мерную систему первого порядка по вектору стековой переменной ${\begin{bmatrix}x_{t}&\cdots &x_{t-k+1}\end{bmatrix}}$ в терминах его однократно запаздывающего значения и взяв характеристическое уравнение матрицы этой системы. Это уравнение дает k характеристических корней $\lambda _{1},\,\ldots ,\,\lambda _{k},$ для использования в уравнении решения

x_{t}=c_{1}\lambda _{1}^{t}+\cdots +c_{k}\lambda _{k}^{t}.

Аналогичная процедура применяется для решения дифференциального уравнения вида

{\frac {d^{k}x}{dt^{k}}}+a_{k-1}{\frac {d^{k-1}x}{dt^{k-1}}}+\cdots +a_{1}{\frac {dx}{dt}}+a_{0}x=0.

Расчет

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

Классический метод

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

Собственные значения

Собственные значения матрицы $A$ можно определить, найдя корни характеристического многочлена. Это легко для $2\times 2$ матриц, но сложность быстро возрастает с увеличением размера матрицы.

Теоретически коэффициенты характеристического многочлена можно вычислить точно, поскольку они представляют собой суммы произведений матричных элементов; и существуют алгоритмы, которые могут найти все корни многочлена произвольной степени с любой необходимой точностью . ^[44] Однако на практике этот подход нежизнеспособен, поскольку коэффициенты будут испорчены неизбежными ошибками округления , а корни полинома могут быть чрезвычайно чувствительной функцией коэффициентов (как показано на примере полинома Уилкинсона ). ^[44] Даже для матриц, элементы которых являются целыми числами, вычисление становится нетривиальным, поскольку суммы очень длинные; постоянный член является определителем , который для $n\times n$ матрица представляет собой сумму $n!$ разные продукты. ^[и]

Явные алгебраические формулы для корней многочлена существуют только в том случае, если степень $n$ составляет 4 или меньше. Согласно теореме Абеля–Руффини не существует общей, явной и точной алгебраической формулы для корней многочлена степени 5 и более. (Общность имеет значение, поскольку любой полином степени $n$ является характеристическим полиномом некоторой сопутствующей матрицы порядка $n$ .) Следовательно, для матриц порядка 5 и более собственные значения и собственные векторы не могут быть получены явной алгебраической формулой и поэтому должны вычисляться приближенными численными методами . Даже точная формула для корней многочлена степени 3 численно непрактична.

Собственные векторы

Как только (точное) значение собственного значения известно, соответствующие собственные векторы можно найти, найдя ненулевые решения уравнения собственных значений, которое становится системой линейных уравнений с известными коэффициентами. Например, если известно, что 6 — собственное значение матрицы $A={\begin{bmatrix}4&1\\6&3\end{bmatrix}}$

мы можем найти его собственные векторы, решив уравнение $Av=6v$ , то есть ${\begin{bmatrix}4&1\\6&3\end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}=6\cdot {\begin{bmatrix}x\\y\end{bmatrix}}$

Это матричное уравнение эквивалентно двум линейным уравнениям $\left\{{\begin{aligned}4x+y&=6x\\6x+3y&=6y\end{aligned}}\right.$ то есть $\left\{{\begin{aligned}-2x+y&=0\\6x-3y&=0\end{aligned}}\right.$

Оба уравнения сводятся к одному линейному уравнению $y=2x$ . Следовательно, любой вектор вида ${\begin{bmatrix}a&2a\end{bmatrix}}^{\textsf {T}}$ , для любого ненулевого действительного числа $a$ , является собственным вектором $A$ с собственным значением $\lambda =6$ .

Матрица $A$ выше имеет другое собственное значение $\lambda =1$ . Аналогичный расчет показывает, что соответствующие собственные векторы являются ненулевыми решениями уравнения $3x+y=0$ , то есть любой вектор вида ${\begin{bmatrix}b&-3b\end{bmatrix}}^{\textsf {T}}$ , для любого ненулевого действительного числа $b$ .

Простые итерационные методы

Обратный подход, когда сначала ищут собственные векторы, а затем определяют каждое собственное значение по его собственному вектору, оказывается гораздо более удобным для компьютеров. Самый простой алгоритм здесь состоит из выбора произвольного начального вектора и последующего многократного умножения его на матрицу (необязательно нормализуя вектор, чтобы сохранить его элементы разумного размера); это заставляет вектор сходиться к собственному вектору. Вариант состоит в том, чтобы вместо этого умножить вектор на $(A-\mu I)^{-1}$ ; это заставляет его сходиться к собственному вектору собственного значения, ближайшего к $\mu \in \mathbb {C}$ .

Если $\mathbf {v}$ является (хорошим приближением) собственным вектором $A$ , то соответствующее собственное значение можно вычислить как

\lambda ={\frac {\mathbf {v} ^{*}A\mathbf {v} }{\mathbf {v} ^{*}\mathbf {v} }}

где $\mathbf {v} ^{*}$ обозначает транспонирование сопряженное $\mathbf {v}$ .

Современные методы

Эффективные и точные методы вычисления собственных значений и собственных векторов произвольных матриц не были известны до тех пор, пока в 1961 году не был разработан алгоритм QR . ^[44] Сочетание преобразования Хаусхолдера с LU-разложением приводит к получению алгоритма с лучшей сходимостью, чем алгоритм QR. ^{[ нужна ссылка ]} Для больших эрмитовых разреженных матриц алгоритм Ланцоша является одним из примеров эффективного итеративного метода вычисления собственных значений и собственных векторов, а также нескольких других возможностей. ^[44]

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

Приложения

Геометрические преобразования

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

Собственные значения геометрических преобразований
	Масштабирование	Неравномерное масштабирование	Вращение	Горизонтальный сдвиг	Гиперболическое вращение
Иллюстрация
Матрица	${\begin{bmatrix}k&0\\0&k\end{bmatrix}}$	${\begin{bmatrix}k_{1}&0\\0&k_{2}\end{bmatrix}}$	${\begin{bmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{bmatrix}}$	${\begin{bmatrix}1&k\\0&1\end{bmatrix}}$	${\begin{bmatrix}\cosh \varphi &\sinh \varphi \\\sinh \varphi &\cosh \varphi \end{bmatrix}}$
Характеристика полиномиальный	$\ (\lambda -k)^{2}$	$(\lambda -k_{1})(\lambda -k_{2})$	$\lambda ^{2}-2\cos(\theta )\lambda +1$	$\ (\lambda -1)^{2}$	$\lambda ^{2}-2\cosh(\varphi )\lambda +1$
собственные значения, $\lambda _{i}$	$\lambda _{1}=\lambda _{2}=k$	${\begin{aligned}\lambda _{1}&=k_{1}\\\lambda _{2}&=k_{2}\end{aligned}}$	${\begin{aligned}\lambda _{1}&=e^{i\theta }\\&=\cos \theta +i\sin \theta \\\lambda _{2}&=e^{-i\theta }\\&=\cos \theta -i\sin \theta \end{aligned}}$	$\lambda _{1}=\lambda _{2}=1$	${\begin{aligned}\lambda _{1}&=e^{\varphi }\\&=\cosh \varphi +\sinh \varphi \\\lambda _{2}&=e^{-\varphi }\\&=\cosh \varphi -\sinh \varphi \end{aligned}}$
Алгебраического много. , $\mu _{i}=\mu (\lambda _{i})$	$\mu _{1}=2$	${\begin{aligned}\mu _{1}&=1\\\mu _{2}&=1\end{aligned}}$	${\begin{aligned}\mu _{1}&=1\\\mu _{2}&=1\end{aligned}}$	$\mu _{1}=2$	${\begin{aligned}\mu _{1}&=1\\\mu _{2}&=1\end{aligned}}$
Очень геометрично . , $\gamma _{i}=\gamma (\lambda _{i})$	$\gamma _{1}=2$	${\begin{aligned}\gamma _{1}&=1\\\gamma _{2}&=1\end{aligned}}$	${\begin{aligned}\gamma _{1}&=1\\\gamma _{2}&=1\end{aligned}}$	$\gamma _{1}=1$	${\begin{aligned}\gamma _{1}&=1\\\gamma _{2}&=1\end{aligned}}$
Собственные векторы	Все ненулевые векторы	${\begin{aligned}\mathbf {u} _{1}&={\begin{bmatrix}1\\0\end{bmatrix}}\\\mathbf {u} _{2}&={\begin{bmatrix}0\\1\end{bmatrix}}\end{aligned}}$	${\begin{aligned}\mathbf {u} _{1}&={\begin{bmatrix}1\\-i\end{bmatrix}}\\\mathbf {u} _{2}&={\begin{bmatrix}1\\+i\end{bmatrix}}\end{aligned}}$	$\mathbf {u} _{1}={\begin{bmatrix}1\\0\end{bmatrix}}$	${\begin{aligned}\mathbf {u} _{1}&={\begin{bmatrix}1\\1\end{bmatrix}}\\\mathbf {u} _{2}&={\begin{bmatrix}1\\-1\end{bmatrix}}\end{aligned}}$

Характеристическое уравнение вращения представляет собой квадратное уравнение с дискриминантом $D=-4(\sin \theta )^{2}$ , которое является отрицательным числом, если $θ$ не является целым числом, кратным 180°. Следовательно, за исключением этих особых случаев, два собственных значения являются комплексными числами. $\cos \theta \pm i\sin \theta$ ; и все собственные векторы имеют недействительные элементы. Действительно, за исключением этих особых случаев, вращение меняет направление каждого ненулевого вектора в плоскости.

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

Анализ главных компонентов

PCA многомерного гауссовского распределения с центром в $(1,3)$ со стандартным отклонением 3 примерно $(0.878,0.478)$ направлении и 1 в ортогональном направлении. Показанные векторы представляют собой единичные собственные векторы (симметричной, положительно-полуопределенной) ковариационной матрицы, масштабированные по квадратному корню из соответствующего собственного значения. Как и в одномерном случае, квадратный корень берется потому, что стандартное отклонение легче визуализировать, чем дисперсию .

Собственное разложение симметричной положительно - полуопределенной (PSD) матрицы дает ортогональный базис собственных векторов, каждый из которых имеет неотрицательное собственное значение. Ортогональное разложение матрицы PSD используется в многомерном анализе , где выборочные ковариационные матрицы представляют собой PSD. Это ортогональное разложение в статистике называется анализом главных компонент (PCA). PCA изучает линейные отношения между переменными. PCA выполняется на ковариационной матрице или корреляционной матрице (в которой каждая переменная масштабируется так, чтобы ее выборочная дисперсия была равна единице). Для ковариационной или корреляционной матрицы собственные векторы соответствуют главным компонентам , а собственные значения — дисперсии, объясняемой главными компонентами. Анализ главных компонентов корреляционной матрицы обеспечивает ортогональную основу для пространства наблюдаемых данных: в этом базисе наибольшие собственные значения соответствуют главным компонентам, которые связаны с большей частью ковариативности среди ряда наблюдаемых данных.

Анализ главных компонент используется как средство уменьшения размерности при изучении больших наборов данных , таких как те, которые встречаются в биоинформатике . В Q-методологии собственные значения корреляционной матрицы определяют практическую значимость суждения Q-методолога (которое отличается от статистической значимости проверки гипотез ; ср. критерии определения числа факторов ). В более общем смысле анализ главных компонентов можно использовать как метод факторного анализа при моделировании структурными уравнениями .

Графики

В теории спектральных графов собственное значение графа определяется графа. как собственное значение матрицы смежности $A$ графа или (все чаще) матрицы Лапласа из-за ее дискретного оператора Лапласа , который либо $D-A$ (иногда называемый комбинаторным лапласианом ) или $I-D^{-1/2}AD^{-1/2}$ (иногда называемый нормализованным лапласианом ), где $D$ представляет собой диагональную матрицу с $D_{ii}$ равен степени вершины $v_{i}$ и в $D^{-1/2}$ , $i$ диагональный вход ${\textstyle 1/{\sqrt {\deg(v_{i})}}}$ . $k$ Главный собственный вектор графа определяется как собственный вектор, соответствующий $k$ по величине или $k$ наименьшее собственное значение лапласиана. Первый главный собственный вектор графа также называется просто главным собственным вектором.

Главный собственный вектор используется для измерения централизации его вершин. Примером может служить Google от алгоритм PageRank . Главный собственный вектор модифицированной матрицы смежности графа Всемирной паутины определяет рейтинг страниц как ее компонентов. Этот вектор соответствует стационарному распределению цепи Маркова , представленному нормализованной по строкам матрицей смежности; однако сначала необходимо изменить матрицу смежности, чтобы обеспечить существование стационарного распределения. Второй наименьший собственный вектор можно использовать для разделения графа на кластеры посредством спектральной кластеризации . Для кластеризации также доступны другие методы.

Цепи Маркова

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

Анализ вибрации

Проблемы собственных значений естественным образом возникают при анализе вибрации механических конструкций со многими степенями свободы . Собственные значения — это собственные частоты (или собственные частоты ) вибрации, а собственные векторы — это формы этих колебательных мод. В частности, незатухающая вибрация определяется $m{\ddot {x}}+kx=0$ или $m{\ddot {x}}=-kx$

То есть ускорение пропорционально положению (т. е. мы ожидаем, что $x$ быть синусоидальным во времени).

В $n$ размеры, $m$ становится массовой матрицей и $k$ матрица жесткости . Допустимые решения тогда представляют собой линейную комбинацию решений обобщенной проблемы собственных значений. $kx=\omega ^{2}mx$ где $\omega ^{2}$ является собственным значением и $\omega$ — (мнимая) угловая частота . Основные моды колебаний отличаются от основных мод податливости, которые являются собственными векторами $k$ один. Кроме того, затухающая вибрация , регулируемая $m{\ddot {x}}+c{\dot {x}}+kx=0$ приводит к так называемой квадратичной проблеме собственных значений , $\left(\omega ^{2}m+\omega c+k\right)x=0.$

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

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

Тензор момента инерции

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

Тензор напряжений

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

Уравнение Шрёдингера

Волновые функции, со связанными состояниями электрона связанные в атоме водорода, можно рассматривать как собственные векторы гамильтониана атома водорода , а также оператора углового момента . Они связаны с собственными значениями, интерпретируемыми как их энергии (возрастающие вниз: $n=1,\,2,\,3,\,\ldots$ ) и угловой момент (увеличивается по: s, p, d, ...). На иллюстрации показан квадрат абсолютного значения волновых функций. Более яркие области соответствуют более высокой плотности вероятности положения измерения . Центром каждой фигуры является атомное ядро , протон .

Пример уравнения собственных значений, в котором преобразование $T$ представлено через дифференциальный оператор — это независимое от времени уравнение Шредингера в квантовой механике :

H\psi _{E}=E\psi _{E}\,

где $H$ , гамильтониан второго порядка , является дифференциальным оператором и $\psi _{E}$ , волновая функция , является одной из ее собственных функций, соответствующей собственному значению $E$ , интерпретируется как его энергия .

Однако в случае, когда нас интересуют только решения в связанном состоянии уравнения Шредингера, ищут $\psi _{E}$ в пространстве квадратично интегрируемых функций. Поскольку это пространство является гильбертовым пространством с четко определенным скалярным произведением , можно ввести базисный набор , в котором $\psi _{E}$ и $H$ может быть представлен как одномерный массив (т.е. вектор) и матрица соответственно. Это позволяет представить уравнение Шредингера в матричной форме.

обозначение брекет В этом контексте часто используется . Вектор, представляющий состояние системы, в гильбертовом пространстве квадратично интегрируемых функций представляется выражением $|\Psi _{E}\rangle$ . В этих обозначениях уравнение Шредингера имеет вид:

H|\Psi _{E}\rangle =E|\Psi _{E}\rangle

где $|\Psi _{E}\rangle$ является собственным состоянием $H$ и $E$ представляет собой собственное значение. $H$ — наблюдаемый самосопряженный оператор , бесконечномерный аналог эрмитовых матриц. Как и в матричном случае, в приведенном выше уравнении $H|\Psi _{E}\rangle$ Под вектором понимается вектор, полученный применением преобразования $H$ к $|\Psi _{E}\rangle$ .

Волновой транспорт

Свет , акустические волны и микроволны беспорядочно рассеиваются множество раз при прохождении статической неупорядоченной системы . Несмотря на то, что многократное рассеяние многократно хаотизирует волны, в конечном итоге когерентный перенос волн через систему представляет собой детерминированный процесс, который можно описать матрицей передачи поля. $\mathbf {t}$ . ^[45]^[46] Собственные векторы оператора передачи $\mathbf {t} ^{\dagger }\mathbf {t}$ формируют набор входных волновых фронтов, специфичных для беспорядка, которые позволяют волнам соединяться с собственными каналами неупорядоченной системы: волны по независимым путям могут проходить через систему. Собственные значения, $\tau$ , из $\mathbf {t} ^{\dagger }\mathbf {t}$ соответствуют коэффициенту пропускания интенсивности, связанному с каждым собственным каналом. Одним из замечательных свойств оператора передачи диффузионных систем является их бимодальное распределение собственных значений с $\tau _{\max }=1$ и $\tau _{\min }=0$ . ^[46] Более того, одним из поразительных свойств открытых собственных каналов, помимо идеального коэффициента пропускания, является статистически надежный пространственный профиль собственных каналов. ^[47]

Молекулярные орбитали

В квантовой механике , и в частности в атомной и молекулярной физике , в рамках Хартри-Фока теории атомные и молекулярные орбитали могут определяться собственными векторами оператора Фока . Соответствующие собственные значения интерпретируются как потенциалы ионизации посредством теоремы Купмана . В этом случае термин «собственный вектор» используется в несколько более общем смысле, поскольку оператор Фока явно зависит от орбиталей и их собственных значений. Таким образом, если кто-то хочет подчеркнуть этот аспект, говорят о нелинейных задачах собственных значений. Такие уравнения обычно решаются с помощью итерационной процедуры, называемой в данном случае методом самосогласованного поля . В квантовой химии уравнение Хартри-Фока часто представляют в неортогональном базисном наборе . Это конкретное представление представляет собой обобщенную проблему собственных значений, называемую уравнениями Рутана .

Геология и гляциология

В геологии , особенно при изучении ледникового тилла , собственные векторы и собственные значения используются как метод, с помощью которого массу информации об ориентации и наклоне компонентов обломочной ткани можно суммировать в трехмерном пространстве с помощью шести чисел. В полевых условиях геолог может собрать такие данные для сотен или тысяч обломков в образце почвы, которые можно сравнить только графически, например, с помощью диаграммы Tri-Plot (Снид и Фолк). ^[48]^[49] или как стереосеть в сети Вульфа. ^[50]

Выходные данные для тензора ориентации находятся в трех ортогональных (перпендикулярных) осях пространства. Три собственных вектора упорядочены $\mathbf {v} _{1},\mathbf {v} _{2},\mathbf {v} _{3}$ по их собственным значениям $E_{1}\geq E_{2}\geq E_{3}$ ; ^[51] $\mathbf {v} _{1}$ тогда – основная ориентация/наклон обломка, $\mathbf {v} _{2}$ является второстепенным и $\mathbf {v} _{3}$ является третичным с точки зрения силы. Ориентация обломков определяется как направление собственного вектора на компасной розе 360 ° . Наклон измеряется как собственное значение, модуль тензора: он измеряется от 0 ° (нет наклона) до 90 ° (вертикально). Относительные значения $E_{1}$ , $E_{2}$ , и $E_{3}$ продиктованы природой ткани осадка. Если $E_{1}=E_{2}=E_{3}$ ткань называется изотропной. Если $E_{1}=E_{2}>E_{3}$ ткань называется плоской. Если $E_{1}>E_{2}>E_{3}$ ткань называется линейной. ^[52]

Базовый номер репродукции

Базовый номер репродукции ( $R_{0}$ ) является фундаментальным числом в изучении распространения инфекционных заболеваний. Если одного заразного человека поместить в популяцию полностью восприимчивых людей, то $R_{0}$ — среднее число людей, которых заразит один типичный заразный человек. Время зарождения инфекции – это время, $t_{G}$ , от одного человека, заразившегося до заражения следующего человека. В гетерогенной популяции матрица следующего поколения определяет, сколько людей в популяции заразятся через некоторое время. $t_{G}$ прошло. Значение $R_{0}$ тогда это наибольшее собственное значение матрицы следующего поколения. ^[53]^[54]

Собственные лица

При обработке изображений обработанные изображения лиц можно рассматривать как векторы, компонентами которых являются яркости каждого пикселя . ^[55] Размерность этого векторного пространства равна количеству пикселей. Собственные векторы ковариационной матрицы, связанные с большим набором нормализованных изображений лиц, называются собственными лицами ; это пример анализа главных компонент . Они очень полезны для выражения любого изображения лица как линейной комбинации некоторых из них. В распознавания лиц области биометрии собственные лица предоставляют средства применения сжатия данных к лицам в целях идентификации . Также были проведены исследования, связанные с системами собственного зрения, определяющими жесты рук.

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

См. также

Примечания

^
Примечание:
- вращения: Леонард Эйлер (представлено: октябрь 1751 года; опубликовано: 1760 год) 1751 году Леонард Эйлер доказал, что любое тело имеет главную ось В движение любого твердого тела при его вращении вокруг движущейся оси), История Королевской академии наук и «Красивая литература Берлина» , стр. 176–227. Мы п. 212 Эйлер доказывает, что любое тело содержит главную ось вращения: «Теорема. 44. Какой бы формы ни было тело, мы всегда можем назначить такую ось, проходящую через его центр тяжести, вокруг которой тело может свободно вращаться & равномерным движением». (Теорема 44. Какова бы ни была форма тела, ему всегда можно приписать такую ось, проходящую через его центр тяжести, вокруг которой оно может свободно и равномерно вращаться.)
- В 1755 году Иоганн Андреас Зегнер доказал, что любое тело имеет три главные оси вращения: Иоганн Андреас Зегнер, Specimen theoriae turbinum [Очерк теории волчков (т. е. вращающихся тел)] (Halle («Halae»), (Германия): Гебауэр, 1755). ( https://books.google.com/books?id=29 стр. xxviiii [29]) Сегнер выводит уравнение третьей степени по t , которое доказывает, что тело имеет три главные оси вращения. Затем он заявляет (на той же странице): «Non autem repugnat tres esse eiusmodipositiones plani HM, quia in aequatione Cubaca radices tres esse possunt, et tres tangentis t valores». (Однако не является противоречивым [что] существует три таких положения плоскости HM, потому что в кубических уравнениях [там] может быть три корня и три значения тангенса t.)
- Соответствующий отрывок из работы Сегнера кратко обсуждался Артуром Кэли . См.: Кэли А. (1862) «Отчет о ходе решения некоторых специальных проблем динамики», Отчет Тридцать второго собрания Британской ассоциации содействия развитию науки; состоялось в Кембридже в октябре 1862 г. , 32 : 184–252; особенно см. стр. 225–226.
^ Клайн 1972 , стр. 807–808 Огюстен Коши (1839) «Мемуары об интегрировании линейных уравнений», Comptes Renés , 8 : 827–830, 845–865, 889–907, 931–937. Из стр. 827: «Мы также знаем, что, следуя методу Лагранжа, мы получаем в качестве общего значения главной переменной функцию, в которую вместе с основной переменной входят корни некоторого уравнения, которое я назову характеристическим уравнением , степень этого уравнения это именно порядок дифференциального уравнения, которое необходимо проинтегрировать». (Более того, известно, что, следуя методу Лагранжа, для общего значения главной переменной получают функцию, в которой вместе с главной переменной появляются корни некоторого уравнения, которое я назову «характеристическим уравнением». , причем степень этого уравнения в точности соответствует порядку дифференциального уравнения, которое необходимо проинтегрировать.)
^
См.:
- Давид Гильберт (1904) «Основы общей теории линейных интегральных уравнений. (Первый отчет)», Новости Общества наук в Геттингене, Математик-физический класс (Новости Философского общества в Геттингене, математико-физический раздел), стр. 49–91. Из стр. 51: «В частности, в этом первом докладе я прихожу к формулам, обеспечивающим разложение произвольной функции по некоторым выделенным функциям, которые я называю «собственными функциями»: ...» (В частности, в этом первом докладе я прихожу к формулы, которые обеспечивают [последовательное] развитие произвольной функции через некоторые отличительные функции, которые я называю собственными функциями : ...) Далее на той же странице: «Этот успех, по существу, обусловлен тем, что я этого не делаю, как это произошло раньше, в первую очередь на основе доказательства существования собственных значений,...» (Этот успех объясняется главным образом тем, что я не ставлю, как это происходило до сих пор, прежде всего цели на доказательство существования собственных значений, ... )
- О происхождении и эволюции терминов «собственное значение», «характеристическое значение» и т. д. см.: « Самые ранние известные варианты использования некоторых слов математики» (E).
^ Доказательство этой леммы см. в Roman 2008 , теорема 8.2 на с. 186; Шилов 1977 , с. 109; Гефферон 2001 , с. 364; Бизер 2006 , Теорема EDELI на стр. 469; и лемма о линейной независимости собственных векторов
^ Путем исключения Гаусса над формальными степенными рядами, усеченными до $n$ условия, от которых можно уйти $O(n^{4})$ операций, но при этом не учитывается комбинаторный взрыв .

Цитаты

^ Burden & Faires 1993 , с. 401.
^ Гилберт Стрэнг. «6: Собственные значения и собственные векторы». Введение в линейную алгебру (PDF) (5-е изд.). Уэлсли-Кембридж Пресс.
^ Перейти обратно: ^а ^б Херштейн 1964 , стр. 228, 229.
^ Перейти обратно: ^а ^б Неринг 1970 , с. 38.
^ Вайсштейн без даты.
^ Беттеридж 1965 .
^ Перейти обратно: ^а ^б «Собственный вектор и собственное значение» . www.mathsisfun.com . Проверено 19 августа 2020 г.
^ Пресс и др. 2007 , с. 536.
^ Wolfram.com: Собственный вектор .
^ Перейти обратно: ^а ^б ^с ^д Неринг 1970 , с. 107.
^ Хокинс 1975 , §2.
^ Перейти обратно: ^а ^б ^с ^д Хокинс 1975 , §3.
^ Кляйн 1972 , с. 673.
^ Перейти обратно: ^а ^б Клайн 1972 , стр. 807–808.
^ Клайн 1972 , стр. 715–716.
^ Клайн 1972 , стр. 706–707.
^ Кляйн 1972 , с. 1063, с..
^ Олдрич 2006 .
^ Фрэнсис 1961 , стр. 265–271.
^ Кублановская 1962 .
^ Голуб и Ван Лоан 1996 , §7.3.
^ Мейер 2000 , §7.3.
^ Математический факультет Корнеллского университета (2016) Курсы нижнего уровня для первокурсников и второкурсников . Доступ осуществлен 27 марта 2016 г.
^ Мичиганского университета (2016). Каталог математических курсов Архивировано 1 ноября 2015 г. в Wayback Machine . Доступ осуществлен 27 марта 2016 г.
^ Пресс и др. 2007 , с. 38.
^ Фрэли 1976 , с. 358.
^ Перейти обратно: ^а ^б ^с Голуб и Ван Лоан, 1996 , с. 316.
^ Антон 1987 , стр. 305, 307.
^ Перейти обратно: ^а ^б Борегар и Фрели 1973 , с. 307.
^ Херштейн 1964 , с. 272.
^ Неринг 1970 , стр. 115–116.
^ Херштейн 1964 , с. 290.
^ Неринг 1970 , с. 116.
^ Вулчовер 2019 .
^ Перейти обратно: ^а ^б Дентон и др. 2022 .
^ Ван Мигем 2014 .
^ Ван Мигем 2024 .
^ Korn & Korn 2000 , раздел 14.3.5a.
^ Фридберг, Инзель и Спенс 1989 , стр. 217.
^ Роман 2008 , с. 186 §8
^ Неринг 1970 , с. 107; Шилов 1977 , с. 109 Лемма о собственном пространстве
^ Липшуц и Липсон 2002 , с. 111.
^ Роман 2008 , с. 189 §8.
^ Перейти обратно: ^а ^б ^с ^д Трефетен и Бау, 1997 .
^ Vellekoop & Mosk 2007 , pp. 2309–2311.
^ Перейти обратно: ^а ^б Роттер и Гиган, 2017 , с. 15005.
^ Бендер и др. 2020 , с. 165901.
^ Грэм и Мидгли 2000 , стр. 1473–1477.
^ Снид и Фолк 1958 , стр. 114–150.
^ Нокс-Робинсон и Гардолл 1998 , с. 243.
^ Буше, Кристиан; Шиллер, Беате. «Эндогенная геология – Рурский университет в Бохуме» . www.ruhr-uni-bochum.de .
^ Бенн и Эванс 2004 , стр. 103–107.
^ Дикманн, Хестербек и Мец 1990 , стр. 365–382.
^ Хестербек и Дикманн 2000 .
^ Ксирухакис, Вотсис и Делопулус 2004 .

Источники

Олдрич, Джон (2006), «Собственное значение, собственная функция, собственный вектор и связанные с ними термины» , в книге Миллера, Джеффа (ред.), « Самые ранние известные варианты использования некоторых слов математики».
Антон, Ховард (1987), Элементарная линейная алгебра (5-е изд.), Нью-Йорк: Wiley , ISBN 0-471-84819-0
Борегар, Раймонд А.; Фрэли, Джон Б. (1973), Первый курс линейной алгебры: с дополнительным введением в группы, кольца и поля , Бостон: Houghton Mifflin Co. , ISBN 0-395-14017-Х
Бизер, Роберт А. (2006), Первый курс линейной алгебры , Бесплатная онлайн-книга по лицензии GNU, Университет Пьюджет-Саунда
Бендер, Николай; Ямилов, Алексей; Йылмаз, Хасан; Цао, Хуэй (14 октября 2020 г.). «Флуктуации и корреляции собственных каналов передачи в диффузных средах» . Письма о физических отзывах . 125 (16): 165901. arXiv : 2004.12167 . Бибкод : 2020PhRvL.125p5901B . дои : 10.1103/physrevlett.125.165901 . ISSN 0031-9007 . ПМИД 33124845 . S2CID 216553547 .
Бенн, Д.; Эванс, Д. (2004), Практическое руководство по изучению ледниковых отложений , Лондон: Арнольд, стр. 103–107.
Беттеридж, Гарольд Т. (1965), Немецкий словарь Нового Касселла , Нью-Йорк: Funk & Wagnall , LCCN 58-7924
Берден, Ричард Л.; Фейрес, Дж. Дуглас (1993), Численный анализ (5-е изд.), Бостон: Приндл, Вебер и Шмидт, ISBN 0-534-93219-3
Дентон, Питер Б.; Парк, Стивен Дж.; Тао, Теренс; Чжан, Синин (январь 2022 г.). «Собственные векторы из собственных значений: обзор базовой идентичности в линейной алгебре» (PDF) . Бюллетень Американского математического общества . 59 (1): 31–58. arXiv : 1908.03795 . дои : 10.1090/bull/1722 . S2CID 213918682 . Архивировано (PDF) из оригинала 19 января 2022 года.
Дикманн, О; Хестербек, Дж.А.; Мец, Дж. А. (1990), «Об определении и расчете основного коэффициента воспроизводства R0 в моделях инфекционных заболеваний в гетерогенных популяциях» , Журнал математической биологии , 28 (4): 365–382, doi : 10.1007/BF00178324 , hdl : 1874/8051 , PMID 2117040 , S2CID 22275430
Фрэли, Джон Б. (1976), Первый курс абстрактной алгебры (2-е изд.), Чтение: Аддисон-Уэсли , ISBN 0-201-01984-1
Фрэнсис, JGF (1961), «QR-преобразование, I (часть 1)», The Computer Journal , 4 (3): 265–271, doi : 10.1093/comjnl/4.3.265
Фрэнсис, JGF (1962), «QR-преобразование, II (часть 2)», The Computer Journal , 4 (4): 332–345, doi : 10.1093/comjnl/4.4.332
Фридберг, Стивен Х.; Инсел, Арнольд Дж.; Спенс, Лоуренс Э. (1989), Линейная алгебра (2-е изд.), Энглвуд Клиффс, Нью-Джерси: Прентис Холл, ISBN 0-13-537102-3
Голуб, Джин Х .; Ван Лоан, Чарльз Ф. (1996), Матричные вычисления (3-е изд.), Балтимор, Мэриленд: Издательство Университета Джонса Хопкинса, ISBN 978-0-8018-5414-9
Грэм, Д.; Мидгли, Н. (2000), «Графическое представление формы частиц с использованием треугольных диаграмм: метод электронных таблиц Excel», Earth Surface Processes and Landforms , 25 (13): 1473–1477, Bibcode : 2000ESPL...25.1473G , doi : 10.1002/1096-9837(200012)25:13<1473::AID-ESP158>3.0.CO;2-C , S2CID 128825838
Хокинс, Т. (1975), «Коши и спектральная теория матриц», Historia Mathematica , 2 : 1–29, doi : 10.1016/0315-0860(75)90032-4
Хестербек, Япония; Дикманн, Одо (2000), Математическая эпидемиология инфекционных заболеваний , Серия Уайли по математической и вычислительной биологии, Западный Суссекс, Англия: John Wiley & Sons ^{[ постоянная мертвая ссылка ]}
Хефферон, Джим (2001), Линейная алгебра , Колчестер, Вирджиния: Интернет-книга, Колледж Святого Михаила.
Херштейн, Индиана (1964), Темы алгебры , Уолтем: издательство Blaisdell, ISBN 978-1114541016
Клайн, Моррис (1972), Математическая мысль от древности до современности , Oxford University Press, ISBN 0-19-501496-0
Нокс-Робинсон, К.; Гардолл, Стивен Дж. (1998), «ГИС-стереоплот: интерактивный модуль построения стереосети для географической информационной системы ArcView 3.0», Computers & Geosciences , 24 (3): 243, Bibcode : 1998CG.....24..243K , дои : 10.1016/S0098-3004(97)00122-2
Корн, Гранино А.; Корн, Тереза М. (2000), «Математический справочник для ученых и инженеров: определения, теоремы и формулы для справки и обзора», Нью-Йорк: McGraw-Hill (2-е исправленное издание), Bibcode : 1968mhse.book... ..К , ISBN 0-486-41147-8
Кублановская, Вера Н. (1962), «О некоторых алгоритмах решения полной проблемы собственных значений», Вычислительная математика и математическая физика СССР , 1 (3): 637–657, doi : 10.1016/0041-5553(63)90168 -Х
Липшуц, Сеймур; Липсон, Марк (12 августа 2002 г.). Простое описание линейной алгебры Шаума . МакГроу Хилл Профессионал. п. 111. ИСБН 978-007139880-0 .
Мейер, Карл Д. (2000), Матричный анализ и прикладная линейная алгебра , Филадельфия: Общество промышленной и прикладной математики (SIAM), ISBN 978-0-89871-454-8
Неринг, Эвар Д. (1970), Линейная алгебра и теория матриц (2-е изд.), Нью-Йорк: Wiley , LCCN 76091646
Пресс, Уильям Х.; Теукольский, Саул А. ; Веттерлинг, Уильям Т.; Фланнери, Брайан П. (2007), Численные рецепты: искусство научных вычислений (3-е изд.), Cambridge University Press, ISBN 978-0521880688
Роман, Стивен (2008), Продвинутая линейная алгебра (3-е изд.), Нью-Йорк: Springer Science + Business Media, ISBN 978-0-387-72828-5
Роттер, Стефан; Гиган, Сильвен (2 марта 2017 г.). «Световые поля в сложных средах: мезоскопическое рассеяние и волновой контроль» . Обзоры современной физики . 89 (1): 015005. arXiv : 1702.05395 . Бибкод : 2017RvMP...89a5005R . дои : 10.1103/RevModPhys.89.015005 . S2CID 119330480 .
Шилов, Георгий Э. (1977), Линейная алгебра , переведенный и отредактированный Ричардом А. Сильверманом, Нью-Йорк: Dover Publications, ISBN 0-486-63518-Х
Снид, Эд; Фолк, Р.Л. (1958), «Галька в нижнем течении реки Колорадо, штат Техас, исследование морфогенеза частиц», Journal of Geology , 66 (2): 114–150, Bibcode : 1958JG.....66..114S , doi : 10.1086/626490 , S2CID 129658242
Трефетен, Ллойд Н.; Бау, Дэвид (1997), Численная линейная алгебра , SIAM
Ван Мигем, Пит (18 января 2014 г.). «Собственные векторы графа, фундаментальные веса и метрики центральности для узлов в сетях». arXiv : 1401.4580 [ math.SP ].
Веллекоп, ИМ; Моск, АП (15 августа 2007 г.). «Фокусировка когерентного света через непрозрачные сильно рассеивающие среды» . Оптические письма . 32 (16): 2309–2311. Бибкод : 2007OptL...32.2309V . дои : 10.1364/OL.32.002309 . ISSN 1539-4794 . ПМИД 17700768 . S2CID 45359403 .
Вайсштейн, Эрик В. «Собственный вектор» . mathworld.wolfram.com . Проверено 4 августа 2019 г.
Вайсштейн, Эрик В. (nd). «Собственное значение» . mathworld.wolfram.com . Проверено 19 августа 2020 г.
Волховер, Натали (13 ноября 2019 г.). «Нейтрино приводят к неожиданным открытиям в базовой математике» . Журнал Кванта . Проверено 27 ноября 2019 г. .
Ксирухакис, А.; Вотсис, Г.; Делопулус, А. (2004), Оценка трехмерного движения и структуры человеческих лиц (PDF) , Национальный технический университет Афин.
Ван Мигем, П. (2024). «Компоненты собственных векторов симметричных матриц, связанных с графами» . Линейная алгебра и ее приложения . 692 : 91–134. дои : 10.1016/j.laa.2024.03.035 .

Дальнейшее чтение

Голуб, Джин Ф.; ван дер Ворст, Хенк А. (2000), «Вычисление собственных значений в 20 веке» (PDF) , Журнал вычислительной и прикладной математики , 123 (1–2): 35–65, Бибкод : 2000JCoAM.123...35G , doi : 10.1016/S0377-0427(00)00413-1 , hdl : 1874/2663
Хилл, Роджер (2009). «λ – Собственные значения» . Шестьдесят символов . Брэди Харан из Ноттингемского университета .
Каттлер, Кеннет (2017), Введение в линейную алгебру (PDF) , Университет Бригама Янга
Стрэнг, Гилберт (1993), Введение в линейную алгебру , Уэлсли, Массачусетс: Wellesley-Cambridge Press, ISBN 0-9614088-5-5
Стрэнг, Гилберт (2006), Линейная алгебра и ее приложения , Бельмонт, Калифорния: Томсон, Брукс/Коул, ISBN 0-03-010567-6

Внешние ссылки

Что такое собственные значения? - нетехническое введение из статьи «Спросите экспертов» на PhysLink.com.
Числовые примеры собственных значений и собственных векторов — учебное пособие и интерактивная программа от Revoledu.
Введение в собственные векторы и собственные значения - лекция Академии Хана
Собственные векторы и собственные значения | Сущность линейной алгебры, глава 10 – Наглядное объяснение с помощью 3Blue1Brown
Калькулятор собственных векторов матрицы от Symbolab (нажмите правую нижнюю кнопку сетки 2×12, чтобы выбрать размер матрицы. Выберите $n\times n$ размер (для квадратной матрицы), затем введите числовые значения и нажмите кнопку «Перейти». Он также может принимать комплексные числа.)

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

Теория

Вычисление собственных значений
Численное решение задач на собственные значения. Под редакцией Чжаоцзюня Бай, Джеймса Деммеля , Джека Донгарры, Акселя Руэ и Хенка ван дер Ворста.

[11] Примечание:
вращения: Леонард Эйлер (представлено: октябрь 1751 года; опубликовано: 1760 год) 1751 году Леонард Эйлер доказал, что любое тело имеет главную ось В движение любого твердого тела при его вращении вокруг движущейся оси), История Королевской академии наук и «Красивая литература Берлина» , стр. 176–227. Мы п. 212 Эйлер доказывает, что любое тело содержит главную ось вращения: «Теорема. 44. Какой бы формы ни было тело, мы всегда можем назначить такую ось, проходящую через его центр тяжести, вокруг которой тело может свободно вращаться & равномерным движением». (Теорема 44. Какова бы ни была форма тела, ему всегда можно приписать такую ось, проходящую через его центр тяжести, вокруг которой оно может свободно и равномерно вращаться.)
В 1755 году Иоганн Андреас Зегнер доказал, что любое тело имеет три главные оси вращения: Иоганн Андреас Зегнер, Specimen theoriae turbinum [Очерк теории волчков (т. е. вращающихся тел)] (Halle («Halae»), (Германия): Гебауэр, 1755). ( https://books.google.com/books?id=29 стр. xxviiii [29]) Сегнер выводит уравнение третьей степени по t , которое доказывает, что тело имеет три главные оси вращения. Затем он заявляет (на той же странице): «Non autem repugnat tres esse eiusmodipositiones plani HM, quia in aequatione Cubaca radices tres esse possunt, et tres tangentis t valores». (Однако не является противоречивым [что] существует три таких положения плоскости HM, потому что в кубических уравнениях [там] может быть три корня и три значения тангенса t.)
Соответствующий отрывок из работы Сегнера кратко обсуждался Артуром Кэли . См.: Кэли А. (1862) «Отчет о ходе решения некоторых специальных проблем динамики», Отчет Тридцать второго собрания Британской ассоциации содействия развитию науки; состоялось в Кембридже в октябре 1862 г. , 32 : 184–252; особенно см. стр. 225–226.

[2] вращения: Леонард Эйлер (представлено: октябрь 1751 года; опубликовано: 1760 год) 1751 году Леонард Эйлер доказал, что любое тело имеет главную ось В движение любого твердого тела при его вращении вокруг движущейся оси), История Королевской академии наук и «Красивая литература Берлина» , стр. 176–227. Мы п. 212 Эйлер доказывает, что любое тело содержит главную ось вращения: «Теорема. 44. Какой бы формы ни было тело, мы всегда можем назначить такую ось, проходящую через его центр тяжести, вокруг которой тело может свободно вращаться & равномерным движением». (Теорема 44. Какова бы ни была форма тела, ему всегда можно приписать такую ось, проходящую через его центр тяжести, вокруг которой оно может свободно и равномерно вращаться.)

[3] В 1755 году Иоганн Андреас Зегнер доказал, что любое тело имеет три главные оси вращения: Иоганн Андреас Зегнер, Specimen theoriae turbinum [Очерк теории волчков (т. е. вращающихся тел)] (Halle («Halae»), (Германия): Гебауэр, 1755). ( https://books.google.com/books?id=29 стр. xxviiii [29]) Сегнер выводит уравнение третьей степени по t , которое доказывает, что тело имеет три главные оси вращения. Затем он заявляет (на той же странице): «Non autem repugnat tres esse eiusmodipositiones plani HM, quia in aequatione Cubaca radices tres esse possunt, et tres tangentis t valores». (Однако не является противоречивым [что] существует три таких положения плоскости HM, потому что в кубических уравнениях [там] может быть три корня и три значения тангенса t.)

[4] Соответствующий отрывок из работы Сегнера кратко обсуждался Артуром Кэли . См.: Кэли А. (1862) «Отчет о ходе решения некоторых специальных проблем динамики», Отчет Тридцать второго собрания Британской ассоциации содействия развитию науки; состоялось в Кембридже в октябре 1862 г. , 32 : 184–252; особенно см. стр. 225–226.

[14] Клайн 1972 , стр. 807–808 Огюстен Коши (1839) «Мемуары об интегрировании линейных уравнений», Comptes Renés , 8 : 827–830, 845–865, 889–907, 931–937. Из стр. 827: «Мы также знаем, что, следуя методу Лагранжа, мы получаем в качестве общего значения главной переменной функцию, в которую вместе с основной переменной входят корни некоторого уравнения, которое я назову характеристическим уравнением , степень этого уравнения это именно порядок дифференциального уравнения, которое необходимо проинтегрировать». (Более того, известно, что, следуя методу Лагранжа, для общего значения главной переменной получают функцию, в которой вместе с главной переменной появляются корни некоторого уравнения, которое я назову «характеристическим уравнением». , причем степень этого уравнения в точности соответствует порядку дифференциального уравнения, которое необходимо проинтегрировать.)

[20] См.:
Давид Гильберт (1904) «Основы общей теории линейных интегральных уравнений. (Первый отчет)», Новости Общества наук в Геттингене, Математик-физический класс (Новости Философского общества в Геттингене, математико-физический раздел), стр. 49–91. Из стр. 51: «В частности, в этом первом докладе я прихожу к формулам, обеспечивающим разложение произвольной функции по некоторым выделенным функциям, которые я называю «собственными функциями»: ...» (В частности, в этом первом докладе я прихожу к формулы, которые обеспечивают [последовательное] развитие произвольной функции через некоторые отличительные функции, которые я называю собственными функциями : ...) Далее на той же странице: «Этот успех, по существу, обусловлен тем, что я этого не делаю, как это произошло раньше, в первую очередь на основе доказательства существования собственных значений,...» (Этот успех объясняется главным образом тем, что я не ставлю, как это происходило до сих пор, прежде всего цели на доказательство существования собственных значений, ... )
О происхождении и эволюции терминов «собственное значение», «характеристическое значение» и т. д. см.: « Самые ранние известные варианты использования некоторых слов математики» (E).

[7] Давид Гильберт (1904) «Основы общей теории линейных интегральных уравнений. (Первый отчет)», Новости Общества наук в Геттингене, Математик-физический класс (Новости Философского общества в Геттингене, математико-физический раздел), стр. 49–91. Из стр. 51: «В частности, в этом первом докладе я прихожу к формулам, обеспечивающим разложение произвольной функции по некоторым выделенным функциям, которые я называю «собственными функциями»: ...» (В частности, в этом первом докладе я прихожу к формулы, которые обеспечивают [последовательное] развитие произвольной функции через некоторые отличительные функции, которые я называю собственными функциями : ...) Далее на той же странице: «Этот успех, по существу, обусловлен тем, что я этого не делаю, как это произошло раньше, в первую очередь на основе доказательства существования собственных значений,...» (Этот успех объясняется главным образом тем, что я не ставлю, как это происходило до сих пор, прежде всего цели на доказательство существования собственных значений, ... )

[8] О происхождении и эволюции терминов «собственное значение», «характеристическое значение» и т. д. см.: « Самые ранние известные варианты использования некоторых слов математики» (E).

[47] Доказательство этой леммы см. в Roman 2008 , теорема 8.2 на с. 186; Шилов 1977 , с. 109; Гефферон 2001 , с. 364; Бизер 2006 , Теорема EDELI на стр. 469; и лемма о линейной независимости собственных векторов

[49] Путем исключения Гаусса над формальными степенными рядами, усеченными до $n$ условия, от которых можно уйти $O(n^{4})$ операций, но при этом не учитывается комбинаторный взрыв .

[FOOTNOTEBurdenFaires1993401-1] Burden & Faires 1993 , с. 401.

[2] Гилберт Стрэнг. «6: Собственные значения и собственные векторы». Введение в линейную алгебру (PDF) (5-е изд.). Уэлсли-Кембридж Пресс.

[FOOTNOTEHerstein1964228,_229-3] Перейти обратно: ^а ^б Херштейн 1964 , стр. 228, 229.

[FOOTNOTENering197038-4] Перейти обратно: ^а ^б Неринг 1970 , с. 38.

[FOOTNOTEWeissteinn.d.-5] Вайсштейн без даты.

[FOOTNOTEBetteridge1965-6] Беттеридж 1965 .

[:0-7] Перейти обратно: ^а ^б «Собственный вектор и собственное значение» . www.mathsisfun.com . Проверено 19 августа 2020 г.

[FOOTNOTEPressTeukolskyVetterlingFlannery2007536-8] Пресс и др. 2007 , с. 536.

[FOOTNOTEWolfram.com:_Eigenvector-9] Wolfram.com: Собственный вектор .

[FOOTNOTENering1970107-10] Перейти обратно: ^а ^б ^с ^д Неринг 1970 , с. 107.

[FOOTNOTEHawkins1975§2-12] Хокинс 1975 , §2.

[FOOTNOTEHawkins1975§3-13] Перейти обратно: ^а ^б ^с ^д Хокинс 1975 , §3.

[FOOTNOTEKline1972p._673-15] Кляйн 1972 , с. 673.

[FOOTNOTEKline1972pp._807–808-16] Перейти обратно: ^а ^б Клайн 1972 , стр. 807–808.

[FOOTNOTEKline1972pp._715–716-17] Клайн 1972 , стр. 715–716.

[FOOTNOTEKline1972pp._706–707-18] Клайн 1972 , стр. 706–707.

[FOOTNOTEKline19721063p.-19] Кляйн 1972 , с. 1063, с..

[FOOTNOTEAldrich2006-21] Олдрич 2006 .

[FOOTNOTEFrancis1961265–271-22] Фрэнсис 1961 , стр. 265–271.

[FOOTNOTEKublanovskaya1962-23] Кублановская 1962 .

[FOOTNOTEGolubVan_Loan1996§7.3-24] Голуб и Ван Лоан 1996 , §7.3.

[FOOTNOTEMeyer2000§7.3-25] Мейер 2000 , §7.3.

[CornellMathCourses-26] Математический факультет Корнеллского университета (2016) Курсы нижнего уровня для первокурсников и второкурсников . Доступ осуществлен 27 марта 2016 г.

[UMichMathCourses-27] Мичиганского университета (2016). Каталог математических курсов Архивировано 1 ноября 2015 г. в Wayback Machine . Доступ осуществлен 27 марта 2016 г.

[FOOTNOTEPressTeukolskyVetterlingFlannery200738-28] Пресс и др. 2007 , с. 38.

[FOOTNOTEFraleigh1976358-29] Фрэли 1976 , с. 358.

[FOOTNOTEGolubVan_Loan1996316-30] Перейти обратно: ^а ^б ^с Голуб и Ван Лоан, 1996 , с. 316.

[FOOTNOTEAnton1987305,_307-31] Антон 1987 , стр. 305, 307.

[FOOTNOTEBeauregardFraleigh1973307-32] Перейти обратно: ^а ^б Борегар и Фрели 1973 , с. 307.

[FOOTNOTEHerstein1964272-33] Херштейн 1964 , с. 272.

[FOOTNOTENering1970115–116-34] Неринг 1970 , стр. 115–116.

[FOOTNOTEHerstein1964290-35] Херштейн 1964 , с. 290.

[FOOTNOTENering1970116-36] Неринг 1970 , с. 116.

[FOOTNOTEWolchover2019-37] Вулчовер 2019 .

[FOOTNOTEDentonParkeTaoZhang2022-38] Перейти обратно: ^а ^б Дентон и др. 2022 .

[FOOTNOTEVan_Mieghem2014-39] Ван Мигем 2014 .

[FOOTNOTEVan_Mieghem2024-40] Ван Мигем 2024 .

[FOOTNOTEKornKorn2000Section_14.3.5a-41] Korn & Korn 2000 , раздел 14.3.5a.

[FOOTNOTEFriedbergInselSpence1989p._217-42] Фридберг, Инзель и Спенс 1989 , стр. 217.

[43] Роман 2008 , с. 186 §8

[44] Неринг 1970 , с. 107; Шилов 1977 , с. 109 Лемма о собственном пространстве

[FOOTNOTELipschutzLipson2002111-45] Липшуц и Липсон 2002 , с. 111.

[FOOTNOTERoman2008p._189_§8-46] Роман 2008 , с. 189 §8.

[FOOTNOTETrefethenBau1997-48] Перейти обратно: ^а ^б ^с ^д Трефетен и Бау, 1997 .

[FOOTNOTEVellekoopMosk20072309–2311-50] Vellekoop & Mosk 2007 , pp. 2309–2311.

[FOOTNOTERotterGigan201715005-51] Перейти обратно: ^а ^б Роттер и Гиган, 2017 , с. 15005.

[FOOTNOTEBenderYamilovYilmazCao2020165901-52] Бендер и др. 2020 , с. 165901.

[FOOTNOTEGrahamMidgley20001473–1477-53] Грэм и Мидгли 2000 , стр. 1473–1477.

[FOOTNOTESneedFolk1958114–150-54] Снид и Фолк 1958 , стр. 114–150.

[FOOTNOTEKnox-RobinsonGardoll1998243-55] Нокс-Робинсон и Гардолл 1998 , с. 243.

[56] Буше, Кристиан; Шиллер, Беате. «Эндогенная геология – Рурский университет в Бохуме» . www.ruhr-uni-bochum.de .

[FOOTNOTEBennEvans2004103–107-57] Бенн и Эванс 2004 , стр. 103–107.

[FOOTNOTEDiekmannHeesterbeekMetz1990365–382-58] Дикманн, Хестербек и Мец 1990 , стр. 365–382.

[FOOTNOTEHeesterbeekDiekmann2000-59] Хестербек и Дикманн 2000 .

[FOOTNOTEXirouhakisVotsisDelopoulus2004-60] Ксирухакис, Вотсис и Делопулус 2004 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[а]

[11]

[12]

[б]

[13]

[14]

[15]

[16]

[17]

[с]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[д]

[44]

[и]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

v т и Линейная алгебра
Outline Glossary
Basic concepts	Scalar Vector Vector space Scalar multiplication Vector projection Linear span Linear map Linear projection Linear independence Linear combination Multilinear map Basis Change of basis Row and column vectors Row and column spaces Kernel Eigenvalues and eigenvectors Transpose Linear equations
Matrices	Block Decomposition Invertible Minor Multiplication Rank Transformation Cramer's rule Gaussian elimination
Bilinear	Orthogonality Dot product Hadamard product Inner product space Outer product Kronecker product Gram–Schmidt process
Multilinear algebra	Determinant Cross product Triple product Seven-dimensional cross product Geometric algebra Exterior algebra Bivector Multivector Tensor Outermorphism
Vector space constructions	Dual Direct sum Function space Quotient Subspace Tensor product
Numerical	Floating-point Numerical stability Basic Linear Algebra Subprograms Sparse matrix Comparison of linear algebra libraries
Category

v т и Основные математики области
History Timeline Future Lists Glossary
Foundations	Category theory Information theory Mathematical logic Philosophy of mathematics Set theory Type theory
Algebra	Abstract Commutative Elementary Group theory Linear Multilinear Universal Homological
Analysis	Calculus Real analysis Complex analysis Hypercomplex analysis Differential equations Functional analysis Harmonic analysis Measure theory
Discrete	Combinatorics Graph theory Order theory
Geometry	Algebraic Analytic Arithmetic Differential Discrete Euclidean Finite
Number theory	Arithmetic Algebraic number theory Analytic number theory Diophantine geometry
Topology	General Algebraic Differential Geometric Homotopy theory
Applied	Engineering mathematics Mathematical biology Mathematical chemistry Mathematical economics Mathematical finance Mathematical physics Mathematical psychology Mathematical sociology Mathematical statistics Probability Statistics Systems science Control theory Game theory Operations research
Computational	Computer science Theory of computation Computational complexity theory Numerical analysis Optimization Computer algebra
Related topics	Mathematicians lists Informal mathematics Films about mathematicians Recreational mathematics Mathematics and art Mathematics education
Mathematics portal Category Commons WikiProject