Мы знаем, что многие квадратные матрицы можно привести к диагональному виду, что радикально упрощает вычисление их степеней и экспонент. Однако в линейной алгебре существует целый класс матриц, для которых диагонализация принципиально невозможна из-за нехватки линейно независимых собственных векторов. Такие матрицы называются дефектными. Для них французский математик Камиль Жордан разработал канонический вид, который является максимально близким к диагональному — Жорданову нормальную форму. Изучение жордановых форм позволяет решать сложные системы линейных дифференциальных уравнений с кратными корнями характеристического уравнения и глубоко понимать резонансные явления в динамических системах.

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

Математика не изучает объекты в изоляции; ей всегда интересны связи и трансформации. В линейной алгебре роль таких трансформаторов играют линейные операторы (или линейные отображения). Линейный оператор — это специальная функция, которая берет вектор из одного пространства и переводит его в вектор другого (или того же самого) пространства, при этом строго сохраняя структуру линейных комбинаций. Геометрически операторы описывают всевозможные преобразования пространства: растяжения по осям, сдвиги, симметрии, проекции на плоскости и вращения. Понимание того, как работают линейные операторы, позволяет описывать динамику сложных систем в физике и программировать трехмерную компьютерную графику.

Понятие ортогональности является одним из самых мощных инструментов в арсенале линейной алгебры. В двумерном или трехмерном мире ортогональность означает просто перпендикулярность векторов (угол между ними равен 90 градусам). В абстрактных евклидовых пространствах два вектора называются ортогональными, если их скалярное произведение в точности равно нулю. Работа с ортогональными системами векторов кардинально упрощает любые математические вычисления: матрицы становятся легко обратимыми, системы уравнений распадаются на независимые части, а геометрические проекции вычисляются в одно действие. Умение находить и строить ортогональные базисы — ключевой навык для инженеров и аналитиков данных.