В теоретической линейной алгебре мы часто обращаемся к Жордановой нормальной форме для анализа дефектных матриц. Однако в мире компьютерных вычислений и численных методов Жорданова форма признана абсолютно непрактичной из-за ее катастрофической вычислительной неустойчивости. Малейшая ошибка округления разрушает структуру жордановых клеток. На помощь приходит великая теорема Исая Шура, которая гласит: любую квадратную матрицу (с комплексными элементами) можно привести к верхнетреугольному виду с помощью унитарных преобразований. Разложение Шура является математическим компромиссом: мы жертвуем идеальной диагональностью ради высочайшей вычислительной надежности, получая инструмент, на котором работают все современные математические пакеты.

Теория графов, изучающая узлы (вершины) и связи между ними (ребра), на первый взгляд кажется чисто комбинаторной дисциплиной, далекой от векторов и матриц. Однако алгебраическая теория графов доказывает обратное. Любую сеть — будь то маршруты интернета, социальные связи пользователей, транспортные развязки или молекулярная структура химических соединений — можно полностью закодировать с помощью квадратных матриц. Как только граф превращается в матрицу, к нему немедленно можно применить всю колоссальную мощь линейной алгебры: спектральный анализ, сингулярное разложение и возведение в степень. Это позволяет алгоритмам за доли секунды выявлять скрытые кластеры, находить важнейшие узлы и предсказывать пути распространения информации в сетях с миллионами вершин.

Обычное умножение матриц по правилу «строка на столбец» известно всем, кто хоть раз сталкивался с линейной алгеброй. Это умножение сжимает данные: мы перемножаем матрицы совместимых размеров и часто получаем матрицу меньшей размерности. Однако в математике существует совершенно иной тип матричного умножения — Кронекерово произведение (или тензорное произведение матриц). Вместо того чтобы сворачивать информацию, оно разворачивает ее, генерируя из двух небольших матриц одну гигантскую блочную структуру. Этот элегантный математический аппарат незаменим в квантовой механике для описания многочастичных систем, в обработке изображений и при решении сложных матричных дифференциальных уравнений.