математика, линейная алгебра, теория пространств, внешняя алгебра
Герман Грассман
Герман Грассман - немецкий математик и филолог XIX века, чьи работы о протяженных величинах стали одной из исторических линий, ведущих к современному языку линейных пространств, базисов, размерности и линейных отображений.
Герман Гюнтер Грассман родился в 1809 году в Штеттине и большую часть жизни работал учителем, совмещая математику с филологией, физикой и изучением языков. Его главный труд 1844 года Die lineale Ausdehnungslehre был необычен для своего времени: вместо вычисления отдельных координат Грассман пытался построить общий язык для величин, которые можно складывать, умножать и рассматривать независимо от привычной трехмерной геометрии. Современники долго воспринимали эту работу как слишком абстрактную и трудную, поэтому влияние Грассмана стало заметным постепенно, уже через развитие векторного исчисления, внешней алгебры и линейной алгебры.
Для темы ядра, образа и ранга Грассман важен не как автор одной школьной формулы, а как человек, который помог перенести внимание с отдельных числовых примеров на структуру пространства. Когда читатель видит запись ker T, im T или dim V, за ней стоит именно такой взгляд: объектом изучения становится не только матрица с числами, но и подпространства, направления, размерности и то, как линейное отображение переносит одни направления в другие. Поэтому связь с Грассманом корректнее объяснять через историю понятий пространства и размерности, а не через упрощенное утверждение, будто он единолично открыл теорему о ранге и дефекте.
Исторический контекст
В первой половине XIX века алгебра и геометрия еще не имели привычного современного словаря линейных пространств. Векторы, матрицы, координаты и преобразования развивались разными линиями: в аналитической геометрии, механике, теории определителей и вычислительной практике. Грассман предложил более общий язык для протяженных величин, где важны сложение, линейная зависимость, независимые направления и размерность. Именно такой язык позднее оказался естественным для объяснения ядра как множества входных направлений, исчезающих при отображении, и образа как множества достижимых выходов. В учебной линейной алгебре это превращается в строгую формулу dim V = dim ker T + dim im T.
Вклад в формулы
В справочнике Грассман связан со страницами о ядре, образе, ранге, дефекте и размерности пространств решений. Его вклад помогает объяснить, почему формулы этого блока не являются только приемами для счета строк матрицы. Ранг показывает размерность образа, дефект показывает размерность ядра, а их сумма восстанавливает размерность исходного пространства. Такая подача делает историческую справку честной: современные формулировки возникли позднее и в учебниках обычно не имеют одного автора, но без грассмановой линии абстрактного пространства трудно понять, почему эти равенства стали центральными.
Связь с формулами
С этим именем связано 32 формулы: Скалярное произведение векторов, Ядро линейного отображения, Образ линейного отображения и еще 29. Ниже можно открыть каждую формулу, посмотреть обозначения, пример и историческую справку.
Библиография
Hermann Grassmann. Die lineale Ausdehnungslehre, 1844.
Hermann Grassmann. Die Ausdehnungslehre, 1862.
The MacTutor History of Mathematics archive. Hermann Grassmann.
Скалярное произведение складывает попарные произведения координат двух векторов и дает число. Через него находят длину, угол между векторами, ортогональность и проекции.
Ядро линейного отображения - это множество всех векторов, которые переходят в нулевой вектор. По ядру сразу видно, теряет ли отображение информацию и может ли оно быть инъективным.
Образ линейного отображения - это множество всех векторов, которые реально могут получиться на выходе. Для матрицы это столбцовое пространство, натянутое на ее столбцы.
Линейное отображение инъективно тогда и только тогда, когда его ядро состоит только из нулевого вектора. Ненулевое ядро означает потерю различимости входов.
Если матрица A имеет n столбцов и ранг r, то размерность ее ядра равна n-r, а размерность образа равна r. Это матричная форма теоремы о ранге и дефекте.
Базис векторного пространства - это набор векторов, который одновременно порождает все пространство и не содержит лишних зависимых направлений. Через базис любой вектор записывается единственным способом.
Координаты вектора в базисе - это коэффициенты единственного разложения вектора по базисным векторам. Сам вектор не меняется, меняется только числовая запись относительно выбранного базиса.
Размерность конечномерного векторного пространства - это число векторов в любом его базисе. Она показывает, сколько независимых направлений нужно для описания всех элементов пространства.
$\dim V=n\quad\Longleftrightarrow\quad \text{любой базис }V\text{ содержит }n\text{ векторов}$
Матрица базиса переводит координатный столбец в выбранном базисе в стандартные координаты. Ее столбцы - это сами базисные векторы, записанные в стандартной системе.
Переход координат между базисами переводит координатный столбец одного и того же вектора из базиса B в базис C. Сам вектор не меняется, меняется только его числовое описание.
При смене базиса матрица одного и того же линейного оператора меняется по формуле подобия. Это позволяет описывать один оператор разными матрицами без изменения самого действия на пространстве.
Лемма Штейница о замене формализует идею, что независимых направлений не может быть больше, чем в порождающем наборе. Из нее следуют равенство числа векторов в любых базисах и корректность понятия размерности.
Критерий линейности проверяет, сохраняет ли отображение сложение векторов и умножение на скаляр. Если равенство выполняется для любых u, v и скаляров alpha, beta, отображение линейно.
Матрица отображения в базисах B и C переводит координаты входного вектора в базисе B в координаты его образа в базисе C. Ее столбцы - координаты образов базисных векторов.
Линейный функционал - это линейное отображение из пространства в поле скаляров. В выбранном базисе он записывается одной строкой, которая умножается на координатный столбец.
Два вектора ортогональны, если их скалярное произведение равно нулю. В евклидовом пространстве это означает взаимную перпендикулярность направлений и дает алгебраический способ проверять прямые углы.
Длина вектора в евклидовом пространстве равна квадратному корню из его скалярного произведения с самим собой. Формула связывает геометрическую длину с алгебраической операцией над координатами.
Базис называется ортонормированным, если его векторы имеют длину 1 и попарно ортогональны. Краткая запись e_i*e_j=delta_ij объединяет оба условия в одной формуле.
В ортонормированном базисе коэффициент при базисном векторе равен скалярному произведению x с этим вектором. Поэтому разложение вектора строится без решения системы уравнений.
Ортогональное дополнение W^perp состоит из всех векторов, перпендикулярных каждому вектору подпространства W. В R^n его размерность дополняет размерность W до n.
$W^{\perp}=\{x:\ x\cdot w=0\ \text{для всех }w\in W\},\quad \dim W+\dim W^{\perp}=n$
Проекция вектора v на направление u вычисляется через скалярное произведение с нормированием на длину u. Эта формула связывает вычисление с геометрическим смыслом ортогонального разложения: она показывает, какая часть вектора идет вдоль выбранного направления, а какая остается поперек него.
В совместной линейной системе число свободных переменных равно числу неизвестных минус ранг матрицы коэффициентов. Эти переменные становятся параметрами общего решения.
Размерность пространства решений однородной системы Ax = 0 равна числу неизвестных минус ранг матрицы A. Это частный и особенно важный случай подсчета свободных переменных.
