Математика / Матрицы, определители

Критерий сюръективности линейного отображения через образ

Линейное отображение сюръективно, если его образ совпадает со всем пространством значений. В матричном языке это означает полный строковый ранг.

Опубликовано: 12 мая 2026 г.Обновлено: 12 мая 2026 г.

Формула

T\text{ surjective}\iff\operatorname{Im}T=W

покрытие пространства значений Сюръективность означает Im T = W

Если образ занимает только плоскость внутри R^3, отображение не покрывает весь R^3.

Для A: R^n -> R^m сюръективность равносильна rank A = m.

Обозначения

$T$: линейное отображение T: V -> W, оператор
$W$: пространство значений, векторное пространство
$\operatorname{Im}T$: образ отображения, подпространство W
$surjective$: сюръективность: каждый выход из W достижим, свойство

Условия применения

Отображение должно быть линейным.
Пространство W должно быть явно задано, иначе нельзя понять, весь ли образ покрыт.
Для матрицы A размера m x n сюръективность на R^m означает rank A = m.

Ограничения

Сюръективность не гарантирует инъективность, если исходное пространство имеет большую размерность.
Один и тот же набор формул может быть сюръективным на меньший codomain и несюръективным на больший.
В прикладных задачах достижимость всех выходов может быть нарушена ограничениями, которых нет в линейной модели.

Подробное объяснение

Сюръективность означает, что отображение достигает каждый вектор пространства значений. Для линейного отображения это условие можно выразить через образ: если Im T = W, то любой w из W равен T(v) для некоторого v. Если образ является только подпространством W, то выходы вне этого подпространства недостижимы.

В матричном языке T(x)=Ax. Образ A - это столбцовое пространство. Поэтому A: R^n -> R^m сюръективно тогда и только тогда, когда столбцы A порождают весь R^m. Это равносильно rank A = m, то есть полному строковому рангу. Тогда система Ax=b совместна при любой правой части b.

Критерий важно отличать от инъективности. Если отображение идет из пространства большей размерности в меньшее, оно может быть сюръективным, но не инъективным. Если из меньшего в большее, оно может быть инъективным, но не сюръективным. Теорема о ранге и дефекте объясняет эти ограничения через размерности.

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

Как пользоваться формулой

Уточните пространство значений W.
Найдите образ T или столбцовое пространство матрицы A.
Посчитайте rank T.
Сравните rank T с dim W.
Если rank T = dim W, отображение сюръективно; иначе нет.

Историческая справка

Сюръективность как термин относится к более позднему языку отображений, но ее линейно-алгебраический смысл старше: система Ax=b должна иметь решение для каждой правой части b. Матричная теория позволила выразить это через столбцовое пространство и ранг. Когда линейные отображения стали основным языком курса, критерий Im T = W стал естественным способом говорить о достижимости всех выходов. В вычислительной версии это тот же вопрос, порождают ли столбцы матрицы все пространство значений; в геометрической версии - покрывает ли отображение всю целевую плоскость, пространство или абстрактное W. Поэтому исторически критерий связан и с решением систем, и с развитием общего языка функций между множествами и пространствами.

Историческая линия формулы

Критерий сюръективности через образ является стандартным следствием определения образа. Его корректнее связывать с развитием языка функций и линейных отображений, а не с одним автором. В контексте матриц исторически важны ранг, столбцовое пространство и переход от систем Ax=b к отображениям.

Герман Грассман 1809-1877 Джеймс Джозеф Сильвестр 1814-1897

Пример

Пусть T: R^3 -> R^2 задано T(x,y,z)=(x+z, y). Для любого выхода (a,b) можно выбрать y=b, z=0, x=a. Тогда T(a,b,0)=(a,b). Значит каждый вектор R^2 достижим, и Im T = R^2. В матрице A = [[1,0,1],[0,1,0]] две строки независимы, rank A = 2 = dim R^2. Поэтому отображение сюръективно. При этом оно не инъективно, потому что из R^3 в R^2 неизбежно есть ненулевое ядро. Например, вектор (-1,0,1) переходит в ноль, так что разные входы могут давать один и тот же выход. В задачах это помогает не смешивать свойства: сюръективность говорит о покрытии всех выходов, а не об уникальности входа.

Частая ошибка

Распространенная ошибка - говорить о сюръективности, не указав пространство значений W. Например, одна и та же плоскость может быть всем образом в W=эта плоскость и не быть всем образом в W=R^3. Вторая ошибка - проверять только количество столбцов: для сюръективности на R^m нужен ранг m. Третья ошибка - путать сюръективность с существованием решения для одного конкретного b; сюръективность требует решений для всех b из W.

Практика

Задачи с решением

Проверить сюръективность по рангу

Условие. A имеет размер 3 x 5 и rank A = 3. Сюръективно ли A: R^5 -> R^3?

Решение. Пространство значений R^3 имеет размерность 3. Ранг равен 3, значит образ совпадает со всем R^3.

Ответ. Да, отображение сюръективно

Увидеть недостижимый выход

Условие. T: R^2 -> R^3, T(x,y)=(x,y,0). Сюръективно ли T на R^3?

Решение. Образ состоит из векторов вида (x,y,0). Вектор (0,0,1) недостижим, поэтому образ не равен R^3.

Ответ. Нет, не сюръективно

Дополнительные источники

Sheldon Axler, Linear Algebra Done Right, surjective linear maps
Jim Hefferon, Linear Algebra, onto homomorphisms
18.06SC Linear Algebra notes, column space and rank

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

Математика

Образ линейного отображения

$\operatorname{Im}T=\{T(v)\mid v\in V\}$

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

Математика

Ранг линейного отображения

$\operatorname{rank}T=\dim\operatorname{Im}T$

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

Математика

Теорема о ранге и дефекте

$\dim V=\operatorname{rank}T+\dim\ker T$

Теорема о ранге и дефекте говорит, что размерность исходного пространства равна сумме размерности образа и размерности ядра линейного отображения.