математика, механика, алгебра, кватернионы, матричные идеи
Уильям Роуэн Гамильтон
Уильям Роуэн Гамильтон - ирландский математик и физик XIX века. В линейной алгебре его имя важно для исторического контекста характеристических многочленов, операторных уравнений и теоремы Кэли-Гамильтона.
Уильям Роуэн Гамильтон родился в 1805 году в Ирландии и стал выдающимся математиком и физиком. Он известен работами в оптике, механике и особенно созданием кватернионов - алгебраической системы, которая расширила представления о числах, вращениях и многомерных величинах. Для линейной алгебры Гамильтон важен не только как автор кватернионов. Его имя входит в теорему Кэли-Гамильтона, утверждающую, что квадратная матрица удовлетворяет своему характеристическому многочлену.
Теорема Кэли-Гамильтона относится к следующему уровню после базового поиска собственных значений, но уже в теме характеристического многочлена полезно видеть эту историческую связь. Характеристический многочлен не просто дает корни; он связан с самим оператором и его степенями. Такой взгляд превращает матрицу из таблицы коэффициентов в алгебраический объект.
Гамильтона не нужно указывать как автора каждой формулы о собственных значениях. Его роль точнее описывать как часть линии, где алгебра, геометрия и механика привели к изучению операторов, характеристических уравнений и матричных тождеств.
Исторический контекст
XIX век был временем, когда алгебраические структуры быстро расширялись за пределы обычных чисел и координатной геометрии. Кватернионы Гамильтона показали, что операции с многомерными объектами могут иметь собственную алгебру. Параллельно развивались матрицы, детерминанты и линейные подстановки. Для темы собственных значений это важно потому, что характеристический многочлен стал не только способом найти числа lambda, но и объектом, который описывает сам оператор и его инварианты. Так алгебра начала говорить о преобразованиях как о самостоятельных объектах.
Вклад в формулы
В текущем разделе Гамильтон связан прежде всего с характеристическим многочленом и алгебраической кратностью. Его имя помогает подготовить читателя к дальнейшей теме Кэли-Гамильтона и диагонализации: собственные значения являются корнями многочлена, а сам многочлен выражает глубокое свойство оператора. Такая связь полезна, но должна подаваться без ложного утверждения, что Гамильтон единолично создал современную теорию собственных значений. Его страница связывает этот блок с общей историей операторной алгебры.
Связь с формулами
С этим именем связано 18 формул: Градиент функции двух переменных, Скалярное произведение векторов, Характеристический многочлен общей матрицы и еще 15. Ниже можно открыть каждую формулу, посмотреть обозначения, пример и историческую справку.
Библиография
The MacTutor History of Mathematics archive. William Rowan Hamilton.
William Rowan Hamilton. Lectures on Quaternions, 1853.
Arthur Cayley. A Memoir on the Theory of Matrices, 1858.
Скалярное произведение складывает попарные произведения координат двух векторов и дает число. Через него находят длину, угол между векторами, ортогональность и проекции.
Характеристический многочлен квадратной матрицы A - это многочлен det(lambda I-A). Его корни являются собственными значениями A с учетом алгебраической кратности.
Если A диагонализируема, функцию от матрицы можно вычислить через функцию от ее собственных значений. Для диагональной D функция применяется к каждому диагональному элементу.
Два вектора ортогональны, если их скалярное произведение равно нулю. В евклидовом пространстве это означает взаимную перпендикулярность направлений и дает алгебраический способ проверять прямые углы.
Квадратная матрица Q ортогональна, если ее столбцы образуют ортонормированный базис. Тогда обратная матрица равна транспонированной, а преобразование сохраняет длины и углы.
Для каждого нового столбца убирают вклад уже построенных ортонормированных направлений, затем нормируют остаток. Эта формула относится к ортогонализации столбцов матрицы и объясняет, как заменить исходный набор векторов ортонормированным базисом с верхнетреугольными коэффициентами перехода.
Характеристическое уравнение det(A-lambda I)=0 находит те значения lambda, при которых у системы (A-lambda I)v=0 появляется ненулевое решение. Именно эти lambda являются собственными значениями матрицы.
Собственный вектор матрицы A - это ненулевой вектор, который после умножения на A остается на той же прямой. Собственное значение lambda показывает, во сколько раз этот вектор растягивается, сжимается или меняет направление.
Длина вектора в евклидовом пространстве равна квадратному корню из его скалярного произведения с самим собой. Формула связывает геометрическую длину с алгебраической операцией над координатами.
