математика, алгебра, теория групп, матрицы, нормальные формы
Камиль Жордан
Камиль Жордан - французский математик, важный для алгебры, теории групп и нормальных форм матриц. В линейной алгебре его имя полезно связывать с собственными пространствами, кратностями и жордановой формой.
Камиль Жордан родился в 1838 году во Франции и стал одним из ведущих алгебраистов своего времени. Его имя известно в разных разделах математики: теории групп, анализе, топологии и линейной алгебре. Для темы собственных значений особенно важна жорданова нормальная форма. Она описывает, как выглядит линейный оператор, когда собственных векторов недостаточно для диагонализации, но матрицу все же можно привести к каноническому блочному виду над комплексными числами.
В базовом батче о собственных значениях страница Жордана нужна прежде всего для объяснения кратностей. Алгебраическая кратность показывает повторность корня характеристического многочлена, а геометрическая - размерность собственного пространства. Если геометрическая кратность меньше алгебраической, появляются жордановы блоки. Поэтому имя Жордана уместно не только в будущей теме нормальной формы, но и уже здесь, когда пользователь впервые встречает различие двух кратностей.
Важно не путать Камиля Жордана с Вильгельмом Жорданом, связанным с методом Гаусса-Жордана. Это разные математики и разные исторические линии. Такая ясность особенно нужна на сайте-справочнике, где фамилии должны помогать, а не создавать путаницу.
Исторический контекст
Во второй половине XIX века математики активно изучали линейные подстановки, матрицы и канонические формы. Простая диагональная форма работает только тогда, когда есть достаточно независимых собственных векторов. Повторные корни характеристического многочлена заставили искать более тонкое описание операторов. Жорданова форма дала такую рамку: она показывает, как алгебраическая кратность, геометрическая кратность и цепочки обобщенных собственных векторов соединяются в структуру оператора. Поэтому различие кратностей стало не частной деталью, а частью классификации линейных операторов.
Вклад в формулы
В текущем разделе Камиль Жордан связан со страницами о собственном пространстве, алгебраической и геометрической кратности, спектре и будущей диагонализации. Его вклад помогает объяснить, почему повторное собственное значение само по себе не гарантирует диагонализуемость. Если собственных направлений меньше, чем кратность корня, нужна более богатая структура, которая позже приводит к жордановым блокам. Такая авторская связь помогает не сводить кратности к формальному подсчету степеней.
Связь с формулами
С этим именем связано 18 формул: Расширенная матрица системы, Элементарные преобразования строк, Приведенный ступенчатый вид матрицы и еще 15. Ниже можно открыть каждую формулу, посмотреть обозначения, пример и историческую справку.
Библиография
The MacTutor History of Mathematics archive. Camille Jordan.
Camille Jordan. Traite des substitutions et des equations algebriques, 1870.
TUDelft Interactive Linear Algebra. Algebraic and geometric multiplicity.
Расширенная матрица [A|b] объединяет коэффициенты системы и правые части в одну таблицу. Она нужна для метода Гаусса, потому что при преобразовании строк меняются и коэффициенты, и правые части.
Элементарные преобразования строк - это три допустимые операции, которые заменяют систему на эквивалентную: перестановка строк, умножение строки на ненулевое число и прибавление кратной строки.
Приведенный ступенчатый вид, или RREF, усиливает обычный ступенчатый вид: каждый ведущий элемент равен 1, а в его столбце все остальные элементы равны 0.
Метод Гаусса-Жордана продолжает метод Гаусса до приведенного ступенчатого вида. Если система имеет единственное решение, расширенная матрица превращается в [I|x], и ответ читается сразу.
Собственное пространство E_lambda - это множество всех векторов, которые удовлетворяют Av=lambda v, вместе с нулевым вектором. Оно равно ядру матрицы A-lambda I.
Геометрическая кратность собственного значения - это размерность его собственного пространства. Она показывает, сколько независимых собственных направлений соответствует данному lambda.
Диагонализация представляет квадратную матрицу A в виде A=PDP^{-1}, где D диагональна, а столбцы P являются собственными векторами A. Это переводит действие оператора в собственный базис.
Базис из собственных векторов - это базис пространства, каждый вектор которого является собственным для оператора A. В таком базисе матрица оператора становится диагональной.
Матрица n x n диагонализируема тогда и только тогда, когда сумма размерностей всех ее собственных пространств равна n. Это означает, что собственных векторов хватает на базис.
Если матрица n x n имеет n различных собственных значений, то она диагонализируема. Разным собственным значениям соответствуют линейно независимые собственные векторы.
Матрица 2x2 диагонализируется, если для нее можно найти два линейно независимых собственных вектора. При двух различных собственных значениях это выполняется автоматически.
Жорданов блок 2x2 с единицей над диагональю имеет одно собственное значение lambda алгебраической кратности 2, но только одно независимое собственное направление. Поэтому он не диагонализируем.
Если B - базис из собственных векторов оператора T, то матрица T в этом базисе диагональна. На диагонали стоят собственные значения, соответствующие векторам базиса.
Сингулярное разложение представляет матрицу как произведение двух ортогональных матриц и диагональной матрицы сингулярных чисел. Это универсальная форма разложения, которая работает для прямоугольных матриц и показывает главные направления действия линейного отображения.
Собственный вектор матрицы A - это ненулевой вектор, который после умножения на A остается на той же прямой. Собственное значение lambda показывает, во сколько раз этот вектор растягивается, сжимается или меняет направление.
Характеристический многочлен квадратной матрицы A - это многочлен det(lambda I-A). Его корни являются собственными значениями A с учетом алгебраической кратности.
