Математика / Матрицы, определители
Ранг линейного отображения
Ранг линейного отображения равен размерности его образа. Он показывает, сколько независимых направлений результата реально достижимо.
Формула
Если образ - плоскость, ранг равен двум; если весь R^m, ранг равен m.
rank T = dim Im T.
Обозначения
- $T$
- линейное отображение, оператор
- $\operatorname{Im}T$
- образ отображения, подпространство
- $\dim$
- размерность векторного пространства, штук
- $\operatorname{rank}T$
- ранг отображения, штук
Условия применения
- Отображение T должно быть линейным.
- Пространства должны быть конечномерными, если ранг считается как обычное конечное число.
- При матричном вычислении ранг не зависит от выбранных базисов, хотя сама матрица может измениться.
Ограничения
- Ранг говорит о размерности образа, но не задает сам базис образа.
- Одинаковый ранг не означает, что два отображения имеют один и тот же образ.
- В численных задачах ранг чувствителен к почти линейной зависимости столбцов.
Подробное объяснение
Ранг линейного отображения измеряет размерность множества достижимых результатов. Если образ T является прямой, ранг равен 1; если плоскостью, ранг равен 2; если весь W имеет размерность m и образ совпадает с W, ранг равен m. Поэтому ранг удобно понимать как число независимых выходных координат, которые отображение действительно может контролировать.
В матричной форме ранг T вычисляют как ранг матрицы A. Это можно делать через ведущие столбцы, ведущие строки, миноры или ступенчатый вид. Все эти способы дают одну и ту же размерность образа. Если матрица меняется при переходе к другим базисам, ранг сохраняется, потому что размерность образа не зависит от координатной записи.
Ранг связан с двумя базовыми вопросами. Для сюръективности нужно, чтобы образ совпадал со всем пространством W, то есть rank T = dim W. Для инъективности в конечномерном случае вместе с теоремой о ранге и дефекте используют условие dim ker T = 0. Поэтому ранг служит центральным числом, через которое соединяются образ, ядро, число решений и обратимость.
В приложениях ранг показывает эффективную размерность модели. Если ранг меньше ожидаемого, часть выходов недостижима, а часть входной информации теряется. Это важно в системах уравнений, обработке данных, механике, эконометрике и численных методах.
Как пользоваться формулой
- Определите отображение T или его матрицу A.
- Найдите образ T как линейную оболочку столбцов или возможных выходов.
- Выберите базис образа.
- Посчитайте число векторов в этом базисе.
- Запишите это число как rank T.
Историческая справка
Понятие ранга возникло из задач о линейной независимости строк, столбцов и условий систем уравнений. Когда матрицы стали трактовать как линейные отображения, ранг получил более геометрическую формулировку: это размерность образа. Такая формулировка делает один и тот же объект понятным и вычислительно, и концептуально. Сильвестр важен для истории матричного языка, а Грассман - для раннего развития идей линейной независимости и пространств, хотя современное определение ранга отображения является результатом общей эволюции линейной алгебры. В XX веке эта точка зрения стала стандартной в курсах, где матрицу сначала связывают с отображением, а затем считают ранг как размерность достижимого подпространства.
Историческая линия формулы
Ранг линейного отображения не принадлежит одному автору. Его современная форма возникла на пересечении теории систем, матриц и векторных пространств. Поэтому атрибуция должна указывать исторический контекст: матричный язык Сильвестра и пространственную линию Грассмана, без ложного персонального открытия.
Пример
Пусть T(x,y,z)=(x+y, y+z). Матрица отображения равна [[1,1,0],[0,1,1]]. Ее две строки независимы, а столбцы порождают весь R^2: например, (1,0) получается из первого столбца, а (0,1) из третьего. Значит Im T = R^2 и rank T = 2. При этом исходное пространство имеет размерность 3, поэтому отображение не может быть инъективным: у него остается одно направление ядра. Действительно, ker T = span{(-1,1,-1)}, и размерности складываются как 2 + 1 = 3. В этом примере ранг сразу отвечает на два вопроса: все ли выходы достижимы и сколько независимой информации сохраняет отображение.
Частая ошибка
Частая ошибка - считать ранг отображения по числу формул в записи T, не проверяя независимость выходных направлений. Вторая ошибка - путать ранг с размерностью исходного пространства: ранг не может быть больше ни размерности V, ни размерности W. Третья ошибка - думать, что если матрица имеет три столбца, то ранг обязательно 3; столбцы могут быть зависимыми или жить в пространстве меньшей размерности. Еще одна ошибка - забывать, что замена базиса меняет матрицу, но не меняет ранг самого отображения.
Практика
Задачи с решением
Найти ранг по образу
Условие. Образ отображения T в R^3 равен span{(1,0,1),(0,1,1)}. Векторы независимы. Найдите rank T.
Решение. Ранг равен размерности образа. В базисе образа два независимых вектора, поэтому dim Im T = 2.
Ответ. rank T = 2
Оценить возможный ранг
Условие. T: R^5 -> R^3. Может ли rank T быть равен 4?
Решение. Нет. Ранг не может быть больше размерности пространства значений R^3. Максимальный ранг равен 3.
Ответ. Нет, максимум 3
Дополнительные источники
- Sheldon Axler, Linear Algebra Done Right, range and rank
- Jim Hefferon, Linear Algebra, rank of a homomorphism
- Encyclopedia of Mathematics, Rank of a matrix
Связанные формулы
Математика
Образ линейного отображения
Образ линейного отображения - это множество всех векторов, которые реально могут получиться на выходе. Для матрицы это столбцовое пространство, натянутое на ее столбцы.
Математика
Теорема о ранге и дефекте
Теорема о ранге и дефекте говорит, что размерность исходного пространства равна сумме размерности образа и размерности ядра линейного отображения.
Математика
Размерности ядра и образа матрицы
Если матрица A имеет n столбцов и ранг r, то размерность ее ядра равна n-r, а размерность образа равна r. Это матричная форма теоремы о ранге и дефекте.