Все формулы РФ

математика, алгебра, основания линейной алгебры, теория полей

Эрнст Штейниц

Эрнст Штейниц - математик начала XX века, чье имя в линейной алгебре связано с леммой о замене. Эта лемма объясняет, почему все базисы конечномерного пространства имеют одинаковое число векторов.

1871-1928МатематикиXIX векXX век
Стилизованный портрет Эрнста Штейница на фоне независимых векторов, базисной замены и схемы размерности векторного пространства

Биография

Эрнст Штейниц родился в 1871 году и известен прежде всего работами в алгебре, особенно в теории полей. В контексте линейной алгебры его имя чаще всего появляется в названии леммы Штейница о замене. Эта лемма не является вычислительным приемом вроде метода Гаусса, но она играет фундаментальную роль: показывает, что независимый набор не может быть длиннее порождающего набора в конечномерном пространстве.

Из леммы Штейница следуют базовые факты, без которых нельзя корректно определить размерность. Если B и C - два базиса одного пространства, лемма применяется в обе стороны и дает |B|=|C|. Значит размерность можно определять как число векторов в любом базисе, а не в каком-то специально выбранном базисе. Для читателя это снимает важный скрытый вопрос: почему разные координатные системы одного пространства имеют одинаковое число координат.

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

Исторический контекст

К началу XX века линейная алгебра становилась более строгой и аксиоматической. Геометрическая интуиция о двух направлениях на плоскости и трех в пространстве была понятна давно, но для абстрактных пространств требовались доказательства. Лемма о замене отвечает именно на этот запрос. Она объясняет, почему базисы можно сравнивать по числу элементов, почему независимый набор можно дополнять до базиса, а порождающий набор сокращать до базиса. Поэтому Штейниц важен как одна из ключевых фигур в истории темы размерности и базиса.

Вклад в формулы

В справочнике Штейниц связан со страницами о базисе, размерности и лемме о замене. Его роль особенно полезна в объяснении того, почему формула dim V=n не зависит от выбора базиса. На практическом уровне пользователь может проверять базисы через ранг или определитель, но за надежностью этих приемов стоит структурный факт: число независимых направлений в конечномерном пространстве согласовано с любым порождающим набором. Именно это и фиксирует лемма Штейница.

Связь с формулами

С этим именем связано 7 формул: Базис векторного пространства, Размерность векторного пространства, Лемма Штейница о замене и еще 4. Ниже можно открыть каждую формулу, посмотреть обозначения, пример и историческую справку.

Библиография

Связанные формулы

Базис векторного пространства

Базис векторного пространства - это набор векторов, который одновременно порождает все пространство и не содержит лишних зависимых направлений. Через базис любой вектор записывается единственным способом.

$B=(e_1,\ldots,e_n),\quad V=\operatorname{span}B,\quad e_1,\ldots,e_n\ \text{линейно независимы}$

Размерность векторного пространства

Размерность конечномерного векторного пространства - это число векторов в любом его базисе. Она показывает, сколько независимых направлений нужно для описания всех элементов пространства.

$\dim V=n\quad\Longleftrightarrow\quad \text{любой базис }V\text{ содержит }n\text{ векторов}$

Лемма Штейница о замене

Лемма Штейница о замене формализует идею, что независимых направлений не может быть больше, чем в порождающем наборе. Из нее следуют равенство числа векторов в любых базисах и корректность понятия размерности.

$L\text{ независим},\ G\text{ порождает }V\quad\Rightarrow\quad |L|\le |G|$

Формула QR-разложения

Матрица A раскладывается в произведение ортонормированной матрицы Q и верхнетреугольной R. Эта формула относится к ортогонализации столбцов матрицы и объясняет, как заменить исходный набор векторов ортонормированным базисом с верхнетреугольными коэффициентами перехода.

$A = QR,\quad Q^{\top}Q=I_r,\quad R \text{ верхнетреугольная}$

Нормальные уравнения в QR-форме

Из A=QR получаем эквивалентное равенство через R, сохраняя идею нормальных уравнений. Формула показывает устойчивый способ работать с задачей наименьших квадратов через ортогональную геометрию, а не через прямое обращение матрицы или слепое использование нормальных уравнений.

$A^T A x = A^T b,\quad R^T R x = R^T Q^T b$

Остаток в задаче ЛС и его ортогональность

Оптимальный LS-решение дает остаток, перпендикулярный всем столбцам A (и столбцам Q). Формула показывает устойчивый способ работать с задачей наименьших квадратов через ортогональную геометрию, а не через прямое обращение матрицы или слепое использование нормальных уравнений.

$r=b-A\hat{x},\quad A^T r=0,\quad Q^T r=0$

Критерий базиса в Rn через определитель

В Rn набор из n векторов является базисом тогда и только тогда, когда определитель матрицы из этих векторов как столбцов не равен нулю.

$A=[v_1\ \cdots\ v_n],\quad v_1,\ldots,v_n\text{ - базис }\mathbb R^n\Longleftrightarrow \det A\ne0$