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

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

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

Ядро линейного отображения - это множество всех векторов, которые переходят в нулевой вектор. По ядру сразу видно, теряет ли отображение информацию и может ли оно быть инъективным.

Опубликовано: Обновлено:

Линейная алгебраЛинейные отображенияЯдро отображенияРанг и дефектСвободные переменные

Формула

$$\ker T=\{v\in V\mid T(v)=0\}$$
подпространство входов Ядро как направления, исчезающие при отображении

Входные векторы из ядра переходят в нулевой вектор пространства значений.

Если ненулевое направление попало в ядро, отображение теряет информацию вдоль этого направления.

Обозначения

$T$
линейное отображение из пространства V в пространство W, оператор
$V$
область определения линейного отображения, векторное пространство
$0$
нулевой вектор в пространстве W, вектор
$\ker T$
ядро отображения, то есть все входы с нулевым образом, подпространство V

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

  • Отображение T должно быть линейным: T(u+v)=T(u)+T(v) и T(cv)=cT(v).
  • Нулевой вектор берется в пространстве значений W, а элементы ядра лежат в исходном пространстве V.
  • Если T задано матрицей A, ядро находят как общее решение однородной системы Ax = 0.

Ограничения

  • Ядро показывает только направления, уходящие в ноль, но не описывает все возможные значения отображения.
  • Нулевой вектор всегда лежит в ядре, поэтому важно отличать тривиальное ядро от ядра положительной размерности.
  • В численных расчетах почти нулевые сингулярные значения могут создавать неопределенность: считать ли направление частью ядра.

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

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

В матричной форме ядро особенно удобно. Если T(x)=Ax, то ker T - это все решения Ax=0. Поэтому его находят тем же методом Гаусса, что и однородные системы: приводят матрицу A к ступенчатому виду, выбирают свободные переменные и записывают базисные направления. Количество независимых направлений в ядре называется дефектом или размерностью ядра.

Смысл ядра хорошо виден через потерю информации. Если ядро содержит ненулевой вектор h, то T(x+h)=T(x)+T(h)=T(x). Значит два разных входа x и x+h дают один и тот же результат. Поэтому отображение не может быть инъективным. Если же ядро состоит только из нулевого вектора, такое совпадение невозможно, и линейное отображение инъективно.

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

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

  1. Запишите отображение T или его матрицу A.
  2. Составьте однородную систему T(v)=0 или Ax=0.
  3. Приведите матрицу к ступенчатому виду.
  4. Выберите свободные переменные и выразите ведущие через них.
  5. Запишите ядро как линейную оболочку найденных направляющих векторов.

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

Понятие ядра стало естественным после перехода от отдельных систем уравнений к линейным отображениям между пространствами. В вычислительной форме оно уже присутствовало в однородных системах: свободные параметры описывали все решения Ax = 0. В более абстрактной линейной алгебре ядро стало одним из главных объектов, потому что оно измеряет потерю информации отображением и входит в теорему о ранге и дефекте. Исторически эта линия связана с развитием векторных пространств, матриц и линейных преобразований в XIX-XX веках; имя Грассмана важно для раннего языка пространств, а Сильвестра - для распространения матричной терминологии. В университетских курсах ядро закрепилось как стандартный мост между техникой решения Ax = 0 и геометрией подпространств.

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

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

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

Пример

Пусть T: R^3 -> R^2 задано формулой T(x,y,z) = (x+y, y+z). Чтобы найти ядро, решаем систему x + y = 0, y + z = 0. Из первого уравнения x = -y, из второго z = -y. Обозначим y = t. Тогда любой вектор ядра имеет вид (-t, t, -t) = t(-1, 1, -1). Значит ker T - прямая, натянутая на вектор (-1, 1, -1). Проверка простая: T(-1,1,-1) = (0,0). Это значит, что движение вдоль этого направления не меняет результат отображения. В задачах такой ответ сразу показывает размерность ядра, число свободных параметров и то, что отображение не может быть инъективным.

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

Частая ошибка - искать ядро как множество выходов, хотя ядро состоит из входных векторов. Вторая ошибка - решать систему Ax = b вместо Ax = 0: ядро всегда связано с однородной системой. Третья ошибка - забывать, что нулевой вектор всегда в ядре; вопрос не в том, пусто ли ядро, а есть ли в нем ненулевые векторы. Еще одна ошибка - путать ядро с образом: ядро лежит в исходном пространстве, образ - в пространстве значений.

Практика

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

Найти ядро отображения

Условие. T(x,y) = (x-y). Найдите ker T.

Решение. Решаем x - y = 0, откуда x = y. Пусть y = t, тогда (x,y) = (t,t) = t(1,1).

Ответ. ker T = span{(1,1)}

Проверить принадлежность ядру

Условие. A = [[1,2,0],[0,1,1]]. Лежит ли v = (-2,1,-1) в ядре A?

Решение. Считаем Av: первая координата -2 + 2·1 + 0·(-1) = 0, вторая 0·(-2) + 1 + (-1) = 0. Значит Av = 0.

Ответ. Да, v принадлежит ker A

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

  • Sheldon Axler, Linear Algebra Done Right, linear maps and kernels
  • Jim Hefferon, Linear Algebra, homomorphisms and kernels
  • 18.06SC Linear Algebra notes, kernel and rank

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

Математика

Дефект линейного отображения

$\operatorname{def}T=\dim\ker T$

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