математика, механика, вероятность, астрономия, детерминанты

Пьер-Симон Лаплас

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

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

Биография

Пьер-Симон Лаплас родился в 1749 году во Франции и стал одной из крупнейших фигур математической астрономии, механики и теории вероятностей. Его работы по небесной механике и аналитическим методам оказали огромное влияние на математическую физику. В линейной алгебре имя Лапласа часто появляется рядом с разложением определителя по строке или столбцу. Это не делает его автором современной теории собственных значений, но связывает его с инструментом, без которого характеристическое уравнение det(A-lambda I)=0 было бы трудно объяснить.

Лаплас важен как часть детерминантной линии. Собственные значения ищут через определитель A-lambda I, а произведение собственных значений равно det(A). Поэтому историческая справка о Лапласе уместна там, где спектральные свойства оператора связаны с определителем и объемным масштабом преобразования.

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

Исторический контекст

В XVIII и XIX веках детерминанты развивались в задачах систем линейных уравнений, аналитической механики и геометрии. До появления современной матричной алгебры именно определители часто были главным алгебраическим инструментом. Разложение по строке или столбцу позволяло вычислять сложные детерминанты через меньшие. Для характеристического многочлена это важно напрямую: det(lambda I-A) вычисляется теми же принципами, а его корни дают собственные значения. Поэтому старый вычислительный аппарат определителей стал частью современного спектрального языка.

Вклад в формулы

В текущем разделе Лаплас связан прежде всего со страницей о произведении собственных значений и определителе, а также с характеристическим многочленом как детерминантом lambda I-A. Историческая связь с Лапласом показывает, что спектральные формулы опираются не только на абстрактный операторный язык, но и на более старую вычислительную традицию детерминантов. Это особенно полезно там, где пользователь должен увидеть связь между корнями характеристического многочлена и объемным смыслом det(A).

Связь с формулами

С этим именем связано 7 формул: Произведение собственных значений равно определителю, Проектор на span(Q), Характеристический многочлен общей матрицы и еще 4. Ниже можно открыть каждую формулу, посмотреть обозначения, пример и историческую справку.

Библиография

Связанные формулы

Проектор на span(Q)

Проецирование на пространство столбцов Q удобно через матрицу QQ^T. Эта формула относится к ортогонализации столбцов матрицы и объясняет, как заменить исходный набор векторов ортонормированным базисом с верхнетреугольными коэффициентами перехода.

$P=QQ^{\top},\quad P^2=P,\quad P^{\top}=P$

Характеристическое уравнение матрицы

Характеристическое уравнение det(A-lambda I)=0 находит те значения lambda, при которых у системы (A-lambda I)v=0 появляется ненулевое решение. Именно эти lambda являются собственными значениями матрицы.

$\det(A-\lambda I)=0$

Определитель матрицы 2x2

Определитель матрицы 2x2 равен разности произведений диагоналей. Он показывает, во сколько раз линейное преобразование меняет ориентированную площадь.

$\det\begin{pmatrix}a&b\\c&d\end{pmatrix}=ad-bc$

Определитель матрицы 3x3 по правилу Саррюса

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

$\det A=a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-a_{13}a_{22}a_{31}-a_{11}a_{23}a_{32}-a_{12}a_{21}a_{33}$

Критерий базиса в Rn через определитель

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

$A=[v_1\ \cdots\ v_n],\quad v_1,\ldots,v_n\text{ - базис }\mathbb R^n\Longleftrightarrow \det A\ne0$