математика, алгебра, матрицы, линейные подстановки, теория представлений
Фердинанд Георг Фробениус
Фердинанд Георг Фробениус - немецкий математик конца XIX - начала XX века. Для линейной алгебры он важен как представитель алгебраической линии, где линейные подстановки, матрицы и операторы становятся объектами строгого изучения.
Фердинанд Георг Фробениус родился в 1849 году и работал в Берлинской математической школе. Его исследования охватывали алгебру, теорию групп, представления, линейные подстановки, матрицы и дифференциальные уравнения. В истории линейной алгебры его имя связано не с одной простой учебной формулой, а с более широкой алгебраической культурой, где линейные преобразования изучаются через их матрицы, композиции, инварианты и канонические свойства.
Для сайта о формулах Фробениус особенно полезен в блоке о линейных операторах, композиции отображений и обратимых преобразованиях. Эти страницы показывают, что квадратная матрица - не просто таблица коэффициентов, а координатная запись оператора, который можно применять повторно, умножать с другими операторами и изучать через структурные свойства. Такая точка зрения близка алгебраической традиции, в которой работал Фробениус.
Важно не приписывать Фробениусу формулы вроде [S∘T]=[S][T] как личное изобретение. Правильнее использовать его страницу как исторический мост от линейных подстановок XIX века к современной теории матриц, операторов и представлений. Это делает авторскую страницу содержательной: она объясняет, почему имя появляется рядом с матричными операторами, а не просто добавляет биографию ради объема.
Исторический контекст
К концу XIX века линейные подстановки и матрицы стали центральными инструментами алгебры. Математики изучали не только решения конкретных систем, но и то, как преобразования сочетаются, обращаются, сохраняют инварианты и действуют на пространствах. Фробениус работал в этой среде и внес вклад в области, где матричный и операторный язык оказался особенно мощным. Для текущего раздела это важно потому, что композиция линейных отображений, обратная матрица и квадратная матрица оператора являются не разрозненными приемами, а частями одной алгебраической картины.
Вклад в формулы
В справочнике Фробениус связан со страницами о композиции линейных отображений, обратном линейном отображении и линейном операторе как квадратной матрице. Его роль - исторически поддержать алгебраическую трактовку матриц и линейных подстановок. Пользователь видит, что операции с матрицами возникают из операций с отображениями: произведение соответствует композиции, обратная матрица - обратному отображению, а квадратная матрица - оператору пространства в себя.
Связь с формулами
С этим именем связано 21 формула: Композиция линейных отображений и произведение матриц, Обратное линейное отображение и обратная матрица, Линейный оператор как квадратная матрица и еще 18. Ниже можно открыть каждую формулу, посмотреть обозначения, пример и историческую справку.
Библиография
The MacTutor History of Mathematics archive. Ferdinand Georg Frobenius.
Ferdinand Georg Frobenius. Über lineare Substitutionen und bilineare Formen, 1878.
Thomas Hawkins. Frobenius, matrices, and the representation theory of groups.
Если линейное отображение T представлено обратимой квадратной матрицей A, то обратное отображение представлено матрицей A^{-1}. Это верно при согласованных базисах.
$T^{-1}\text{ существует }\Longleftrightarrow A^{-1}\text{ существует},\quad [T^{-1}]=A^{-1}$
Собственный вектор матрицы A - это ненулевой вектор, который после умножения на A остается на той же прямой. Собственное значение lambda показывает, во сколько раз этот вектор растягивается, сжимается или меняет направление.
Характеристическое уравнение det(A-lambda I)=0 находит те значения lambda, при которых у системы (A-lambda I)v=0 появляется ненулевое решение. Именно эти lambda являются собственными значениями матрицы.
Характеристический многочлен квадратной матрицы A - это многочлен det(lambda I-A). Его корни являются собственными значениями A с учетом алгебраической кратности.
Геометрическая кратность собственного значения - это размерность его собственного пространства. Она показывает, сколько независимых собственных направлений соответствует данному lambda.
Диагонализация представляет квадратную матрицу A в виде A=PDP^{-1}, где D диагональна, а столбцы P являются собственными векторами A. Это переводит действие оператора в собственный базис.
Базис из собственных векторов - это базис пространства, каждый вектор которого является собственным для оператора A. В таком базисе матрица оператора становится диагональной.
Матрица n x n диагонализируема тогда и только тогда, когда сумма размерностей всех ее собственных пространств равна n. Это означает, что собственных векторов хватает на базис.
Если матрица n x n имеет n различных собственных значений, то она диагонализируема. Разным собственным значениям соответствуют линейно независимые собственные векторы.
Если A диагонализируема, функцию от матрицы можно вычислить через функцию от ее собственных значений. Для диагональной D функция применяется к каждому диагональному элементу.
Жорданов блок 2x2 с единицей над диагональю имеет одно собственное значение lambda алгебраической кратности 2, но только одно независимое собственное направление. Поэтому он не диагонализируем.
Если B - базис из собственных векторов оператора T, то матрица T в этом базисе диагональна. На диагонали стоят собственные значения, соответствующие векторам базиса.
Квадрат нормы Фробениуса равен следу матрицы A^T A, сумме квадратов всех элементов и сумме квадратов сингулярных чисел. Это удобная мера общего размера матрицы.
При смене базиса матрица одного и того же линейного оператора меняется по формуле подобия. Это позволяет описывать один оператор разными матрицами без изменения самого действия на пространстве.
