Ядро (линейная алгебра) (X;jk (lnuywugx gliyQjg))

Ядро линейного отображения — это линейное подпространство области определения отображения, каждый элемент которого отображается в нулевой вектор^[1]^[2].

Формулировка

Если задано линейное отображение $L\colon V\to W$ между двумя векторными пространствами $V$ и $W$ , то ядро отображения $L$ — это векторное пространство всех элементов $\mathbf {v}$ пространства $V$ , таких что $L(\mathbf {v} )=\mathbf {0}$ , где $\mathbf {0}$ обозначает нулевой вектор из $W$ ^[3]:

\ker(L)=\left\{\mathbf {v} \in V\mid L(\mathbf {v} )=\mathbf {0} \right\}.

Свойства

Для ядра линейного отображения определены следующие свойства:

В линейном отображении $L\colon V\to W$ $L\colon V\to W$ два элемента V имеют один и тот же образ в $W$ $W$ тогда и только тогда, когда их разность лежит в ядре отображения $L$ $L$ : $L(\mathbf {v} _{1})=L(\mathbf {v} _{2})\iff L(\mathbf {v} _{1}-\mathbf {v} _{2})=\mathbf {0} .$ $L(\mathbf {v} _{1})=L(\mathbf {v} _{2})\iff L(\mathbf {v} _{1}-\mathbf {v} _{2})=\mathbf {0} .$
- Из этого следует, что образ $L$ изоморфен факторпространству пространства $V$ по ядру: $\operatorname {im} (L)\cong V/\ker(L).$
В случае, когда $V$ конечномерно, из этого следует теорема о ранге и дефекте^[англ.]: $\dim(\ker L)+\dim(\operatorname {im} L)=\dim(V),$ где под рангом мы понимаем размерность образа отображения $L$ , а под дефектом — размерность ядра отображения $L$ ^[4].
Если $V$ является предгильбертовым пространством, факторпространство $V/ker(L)$ можно отождествить с ортогональным дополнением к $V$ пространства $ker(L)$ . Это является обобщением линейных операторов пространства строк или кообраза матрицы.

Приложение к модулям

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

В функциональном анализе

Если $V$ и $W$ являются топологическими векторными пространствами, причем $W$ конечномерно, то линейный оператор $L\colon V\to W$ непрерывен тогда и только тогда, когда ядро отображения $L$ является замкнутым подпространством пространства $V$ .

Представление в виде матричного умножения

Рассмотрим линейное отображение, представленное матрицей $A$ размера $m\times n$ с коэффициентами из поля $K$ (обычно из $\mathbb {R}$ или $\mathbb {C}$ ), то есть оперирующие с вектор-столбцами $\mathbf {x}$ с $n$ элементами из поля $K$ . Ядро этого линейного отображения — это множество решений уравнения $A\mathbf {x} =\mathbf {0}$ , где $\mathbf {0}$ понимается как нулевой вектор. Размерность ядра матрицы $A$ называется дефектом матрицы $A$ . В виде операций на множествах,

\operatorname {N} (A)=\operatorname {Null} (A)=\operatorname {ker} (A)=\left\{\mathbf {x} \in K^{n}|A\mathbf {x} =\mathbf {0} \right\}.

Матричное уравнение эквивалентно однородной системе линейных уравнений:

A\mathbf {x} =\mathbf {0} \;\;\Leftrightarrow \;\;\left\{{\begin{alignedat}{7}a_{11}x_{1}&&\;+\;&&a_{12}x_{2}&&\;+\;\cdots \;+\;&&a_{1n}x_{n}&&\;=\;&&&0\\a_{21}x_{1}&&\;+\;&&a_{22}x_{2}&&\;+\;\cdots \;+\;&&a_{2n}x_{n}&&\;=\;&&&0\\\vdots \;\;\;&&&&\vdots \;\;\;&&&&\vdots \;\;\;&&&&&\;\vdots \\a_{m1}x_{1}&&\;+\;&&a_{m2}x_{2}&&\;+\;\cdots \;+\;&&a_{mn}x_{n}&&\;=\;&&&0{\text{.}}\\\end{alignedat}}\right.

Тогда ядро матрицы $A$ — это то же самое, что и решение набора приведённых выше однородных уравнений.

Свойства подпространства

Ядро $m\times n$ матрицы $A$ над полем $K$ является линейным подпространством $K^{n}$ . То есть ядро матрицы $A$ , множество $\operatorname {Null} (A)$ , имеет следующие три свойства:

$\operatorname {Null} (A)$ всегда содержит нулевой вектор, поскольку $A\mathbf {0} =\mathbf {0}$ .
Если $\mathbf {x} \in \operatorname {Null} (A)$ и $\mathbf {y} \in \operatorname {Null} (A)$ , то $\mathbf {x} +\mathbf {y} \in \operatorname {Null} (A)$ . Это следует из свойства дистрибутивности матричного умножения.
Если $\mathbf {x} \in \operatorname {Null} (A)$ , а $c$ является скаляром $c\in K$ , то $c\mathbf {x} \in \operatorname {Null} (A)$ , поскольку $A(c\mathbf {x} )=c(A\mathbf {x} )=c\mathbf {0} =\mathbf {0}$ .

Пространство строк матрицы

Произведение $A\mathbf {x}$ может быть записано в терминах скалярного произведения векторов следующим образом:

A\mathbf {x} ={\begin{bmatrix}\mathbf {a} _{1}\cdot \mathbf {x} \\\mathbf {a} _{2}\cdot \mathbf {x} \\\vdots \\\mathbf {a} _{m}\cdot \mathbf {x} \end{bmatrix}}.

Здесь $\mathbf {a} _{1},\dots ,\mathbf {a} _{m}$ означают строки матрицы $A$ . Отсюда следует, что $\mathbf {x}$ принадлежит ядру матрицы $A$ тогда и только тогда, когда вектор $\mathbf {x}$ ортогонален (перпендикулярен) каждой из вектор-строк матрицы $A$ (поскольку ортогональность определяется как равенство нулю скалярного произведения).

Пространство строк, или кообраз матрицы $A$ , — это линейная оболочка вектор-строк матрицы $A$ . По указанным выше причинам ядро матрицы $A$ является ортогональным дополнением пространству строк. То есть вектор $\mathbf {x}$ лежит в ядре матрицы $A$ тогда и только тогда, когда он перпендикулярен любому вектору из пространства строк матрицы $A$ .

Размерность пространства строк матрицы $A$ называется рангом матрицы $A$ , а размерность ядра матрицы $A$ называется дефектом матрицы $A$ . Эти величины связаны теоремой о ранге и дефекте^[англ.]

\operatorname {rank} (A)+\operatorname {nullity} (A)=n.

^[4]

Левое нуль-пространство (коядро)

Левое нуль-пространство или коядро матрицы $A$ состоит из всех векторов $\mathbf {x}$ , таких что $\mathbf {x} ^{T}A=\mathbf {0} ^{T}$ , где $T$ обозначает транспонирование матрицы. Левое нуль-пространство матрицы $A$ — это то же самое, что и ядро матрицы $A^{T}$ . Левое нуль-пространство матрицы $A$ является ортогональным дополнением пространству столбцов матрицы $A$ и двойственно коядру связанного линейного преобразования. Ядро, пространство строк, пространство столбцов и левое нуль-пространство матрицы $A$ являются четырьмя фундаментальными подпространствами, ассоциированными с матрицей $A$ .

Неоднородные системы линейных уравнений

Ядро играет также большую роль при решении неоднородных систем линейных уравнений:

A\mathbf {x} =\mathbf {b} \;\;\Leftrightarrow \;\;\left\{{\begin{alignedat}{7}a_{11}x_{1}&&\;+\;&&a_{12}x_{2}&&\;+\;\cdots \;+\;&&a_{1n}x_{n}&&\;=\;&&&b_{1}\\a_{21}x_{1}&&\;+\;&&a_{22}x_{2}&&\;+\;\cdots \;+\;&&a_{2n}x_{n}&&\;=\;&&&b_{2}\\\vdots \;\;\;&&&&\vdots \;\;\;&&&&\vdots \;\;\;&&&&&\;\vdots \\a_{m1}x_{1}&&\;+\;&&a_{m2}x_{2}&&\;+\;\cdots \;+\;&&a_{mn}x_{n}&&\;=\;&&&b_{m}.\\\end{alignedat}}\right.

Пусть векторы $\mathbf {u}$ и $\mathbf {v}$ являются решениями уравнения выше, тогда

A(\mathbf {u} -\mathbf {v} )=A\mathbf {u} -A\mathbf {v} =\mathbf {b} -\mathbf {b} =\mathbf {0} .

Таким образом, разность любых двух решений системы $A\mathbb {x} =\mathbb {b}$ лежит в ядре матрицы $A$ .

Отсюда следует, что любое решение уравнения $A\mathbf {x} =\mathbf {b}$ может быть выражено как сумма фиксированного решения $\mathbf {v}$ и какого-либо элемента ядра. То есть множеством решений уравнения $A\mathbf {x} =\mathbf {b}$ является

\left\{\mathbf {v} +\mathbf {x} \mid A\mathbf {v} =\mathbf {b} \land \mathbf {x} \in \operatorname {Null} (A)\right\}.

Геометрически это означает, что множество решений уравнения $A\mathbf {x} =\mathbf {b}$ образовано параллельным переносом ядра матрицы $A$ на вектор $\mathbf {v}$ . См. также Альтернатива Фредгольма.

Иллюстрация вычисления ядра матрицы

Ниже приведена простая иллюстрация вычисления ядра матрицы (также см. Вычисление методом Гаусса ниже для метода, более подходящего для более сложных вычислений). Иллюстрация затрагивает также пространства строк и их связь с ядром.

Рассмотрим матрицу

A={\begin{bmatrix}2&3&5\\-4&2&3\end{bmatrix}}.

Ядро этой матрицы состоит из всех векторов $(x,y,z)\in \mathbb {R} ^{3}$ , для которых

{\begin{bmatrix}2&3&5\\-4&2&3\end{bmatrix}}{\begin{bmatrix}x\\y\\z\end{bmatrix}}={\begin{bmatrix}0\\0\end{bmatrix}},

что можно выразить в виде однородной системы линейных уравнений относительно $x$ , $y$ и $z$ :

{\begin{aligned}2x+3y+5z&=0,\\-4x+2y+3z&=0.\end{aligned}}

Те же самые равенства можно выписать в матричном виде:

\left[{\begin{array}{ccc|c}2&3&5&0\\-4&2&3&0\end{array}}\right].

С помощью метода Гаусса матрица может быть сведена к:

\left[{\begin{array}{ccc|c}1&0&1/16&0\\0&1&13/8&0\end{array}}\right].

Преобразование матрицы в уравнения даёт:

{\begin{aligned}x&=-{\frac {1}{16}}z\\y&=-{\frac {13}{8}}z.\end{aligned}}

Элементы ядра можно выразить в параметрическом виде следующим образом:

{\begin{bmatrix}x\\y\\z\end{bmatrix}}=c{\begin{bmatrix}-1/16\\-13/8\\1\end{bmatrix}}\quad ({\text{где}}\quad c\in \mathbb {R} )

Поскольку $c$ является свободной переменной^[англ.], пробегающей по всем вещественным числам, это выражение можно эквивалентно переписать в виде:

{\begin{bmatrix}x\\y\\z\end{bmatrix}}=c{\begin{bmatrix}-1\\-26\\16\end{bmatrix}}.

Ядро матрицы $A$ — это в точности множество решений этих уравнений (в этом случае прямая через начало координат в $\mathbb {R} ^{3}$ ). Здесь вектор (−1,−26,16)^T образует базис ядра матрицы $A$ . Дефект матрицы $A$ равен 1.

Следующие скалярные произведения равны нулю:

{\begin{bmatrix}2&3&5\end{bmatrix}}{\begin{bmatrix}-1\\-26\\16\end{bmatrix}}=0\quad {\text{ и }}\quad {\begin{bmatrix}-4&2&3\end{bmatrix}}{\begin{bmatrix}-1\\-26\\16\end{bmatrix}}=0\mathrm {,}

что показывает, что вектора ядра матрицы $A$ ортогональны каждой вектор-строке матрицы $A$ .

Линейная оболочка этих двух (линейно независимых) векторов-строк — это плоскость, ортогональная вектору $(-1,-26,16)^{T}$ .

Поскольку ранг матрицы $A$ равен 2, размерность ядра матрицы $A$ равна 1, а размерность матрицы $A$ равна 3, мы имеем иллюстрацию теоремы о ранге и дефекте.

Примеры

Если $L\colon \mathbb {R} ^{m}\to \mathbb {R} ^{n}$ , то ядром отображения $L$ является множество решений однородной системы линейных уравнений. Как в иллюстрации выше, если $L$ является оператором:

L(x_{1},x_{2},x_{3})=(2x_{1}+3x_{2}+5x_{3},\;-4x_{1}+2x_{2}+3x_{3})

,

то ядром оператора L является множество решений системы

{\begin{alignedat}{7}2x_{1}&\;+\;&3x_{2}&\;+\;&5x_{3}&\;=\;&0\\-4x_{1}&\;+\;&2x_{2}&\;+\;&3x_{3}&\;=\;&0\end{alignedat}}

Пусть $C[0,1]$ обозначает векторное пространство всех непрерывных вещественных функций на интервале [0,1]. Определим $L\colon C[0,1]\to \mathbb {R}$ правилом

L(f)=f(0,3){\text{.}}\,

Тогда ядро of L состоит из всех функций

f\in C[0,1]

, для которых

f(0,3)=0

.

Пусть $C^{\infty }(\mathbb {R} )$ будет векторным пространством всех бесконечно дифференцируемых функций $\mathbb {R} \to \mathbb {R}$ и пусть $D\colon C^{\infty }(\mathbb {R} )\to C^{\infty }(\mathbb {R} )$ будет оператором дифференцирования:

D(f)={\frac {df}{dx}}{\text{.}}

Тогда ядро of D состоит из всех функций в

C^{\infty }(\mathbb {R} )

, производная которых равна нулю, то есть из всех постоянных функций.

Пусть $\mathbb {R} ^{\infty }$ будет прямым произведением бесконечного числа копий $\mathbb {R}$ , и пусть $s\colon \mathbb {R} ^{\infty }\to \mathbb {R} ^{\infty }$ будет оператором сдвига

s(x_{1},x_{2},x_{3},x_{4},\ldots )=(x_{2},x_{3},x_{4},\ldots ){\text{.}}

Тогда ядром оператора s будет одномерное подпространство, состоящее из всех векторов

(x_{1},0,0,\dots )

.

Если $V$ является предгильбертовым пространством, а $W$ — подпространством, ядром ортогональной проекции $V\to W$ является ортогональным дополнением $W$ в $V$ .

Вычисления по методу Гаусса

Базис ядра матрицы можно вычислить с помощью метода Гаусса.

Для этой цели, если дана $m\times n$ матрица $A$ , мы строим сначала расширенную^[англ.] по строкам матрицу $\left[{\begin{array}{c}A\\\hline E\end{array}}\right],$ , где $E$ — это $n\times n$ единичная матрица.

Если вычислим ступенчатый по столбцам вид матрицы методом Гаусса (или любым другим подходящим методом), мы получим матрицу $\left[{\begin{array}{c}B\\\hline C\end{array}}\right].$ Базис ядра матрицы $A$ состоит из ненулевых столбцов матрицы $C$ , таких что соответствующие столбцы матрицы $B$ a нулевые.

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

Например, представим, что

A=\left[{\begin{array}{cccccc}1&0&-3&0&2&-8\\0&1&5&0&-1&4\\0&0&0&1&7&-9\\0&0&0&0&0&0\end{array}}\,\right].

Тогда

\left[{\begin{array}{c}A\\\hline E\end{array}}\right]=\left[{\begin{array}{cccccc}1&0&-3&0&2&-8\\0&1&5&0&-1&4\\0&0&0&1&7&-9\\0&0&0&0&0&0\\\hline 1&0&0&0&0&0\\0&1&0&0&0&0\\0&0&1&0&0&0\\0&0&0&1&0&0\\0&0&0&0&1&0\\0&0&0&0&0&1\end{array}}\right].

Если привести верхнюю часть с помощью операций над столбцами к ступенчатому виду, получим

\left[{\begin{array}{c}B\\\hline C\end{array}}\right]=\left[{\begin{array}{cccccc}1&0&0&0&0&0\\0&1&0&0&0&0\\0&0&1&0&0&0\\0&0&0&0&0&0\\\hline 1&0&0&3&-2&8\\0&1&0&-5&1&-4\\0&0&0&1&0&0\\0&0&1&0&-7&9\\0&0&0&0&1&0\\0&0&0&0&0&1\end{array}}\right].

Последние три столбца матрицы $B$ нулевые. Поэтому три последних вектора матрицы $C$ ,

\left[\!\!{\begin{array}{r}3\\-5\\1\\0\\0\\0\end{array}}\right],\;\left[\!\!{\begin{array}{r}-2\\1\\0\\-7\\1\\0\end{array}}\right],\;\left[\!\!{\begin{array}{r}8\\-4\\0\\9\\0\\1\end{array}}\right]

являются базисом ядра матрицы $A$ .

Доказательство, что метод вычисляет ядро: поскольку операции над столбцами соответствуют умножению справа на обратимую матрицу, из факта, что $\left[{\begin{array}{c}A\\\hline E\end{array}}\right]$ сводится к $\left[{\begin{array}{c}B\\\hline C\end{array}}\right]$ вытекает, что существует обратимая матрица $P$ , такая что $\left[{\begin{array}{c}A\\\hline E\end{array}}\right]P=\left[{\begin{array}{c}B\\\hline C\end{array}}\right],$ где $B$ имеет ступенчатый вид. Тогда $AP=B,$ $EP=C,$ и $AC=B.$ Вектор-столбец $v$ принадлежит ядру матрицы $A$ (то есть $Av=0$ ) тогда и только тогда, когда $Bw=0,$ где $w=P^{-1}v=C^{-1}v.$ Так как $B$ имеет ступенчатый вид, $Bw=0$ тогда и только тогда, когда ненулевые элементы $w$ соответствуют нулевым столбцам матрицы $B.$ После умножения на $C$ можно сделать вывод, что это случается тогда и только тогда, когда $v=Cw$ является линейной комбинацией соответствующих столбцов матрицы $C.$

Численные вычисления

Задача вычисления ядра на компьютере зависит от природы коэффициентов.

Точные коэффициенты

Если коэффициенты матрицы заданы как точные числа, ступенчатый вид матрицы может быть вычислен алгоритмом Барейса, который более эффективен, чем метод Гаусса. Ещё более эффективно использование сравнения по модулю и китайской теоремы об остатках, которые сводят задачу к нескольким аналогичным задачам над конечными полями (что сокращает издержки, порождённые нелинейной вычислительной сложностью целочисленного умножения).

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

Вычисления с плавающей точкой

Для матриц, элементами которых служат числа с плавающей запятой, задача вычисления ядра имеет смысл только для матриц, число строк которых равно её рангу — ввиду ошибок округления^[англ.] матрицы с плавающими значениями почти всегда имеют полный ранг, даже когда они являются аппроксимацией матрицы много меньшего ранга. Даже для матрицы полного ранга можно вычислить её ядро только тогда, когда она хорошо обусловлена, то есть имеет низкое число обусловленности^[5].

И для хорошо обусловленной матрицы полного ранга метод Гаусса не ведёт себя корректно: ошибки округления слишком велики для получения значимого результата. Так как вычисление ядра матрицы является специальным случаем решения однородной системы линейных уравнений, ядро может быть вычислено любым алгоритмом, предназначенным для решения однородных систем. Передовым программным обеспечением для этих целей является библиотека Lapack.

См. также

Примечания

↑ The Definitive Glossary of Higher Mathematical Jargon — Null (неопр.). Math Vault (1 августа 2019). Дата обращения: 9 декабря 2019. Архивировано 28 февраля 2020 года.
↑ Weisstein, Eric W. Kernel (неопр.). mathworld.wolfram.com. Дата обращения: 9 декабря 2019. Архивировано 23 июня 2004 года.
↑ Kernel (Nullspace) | Brilliant Math & Science Wiki (неопр.). brilliant.org. Дата обращения: 9 декабря 2019. Архивировано 10 декабря 2019 года.
↑ ¹ ² Weisstein, Eric W. Rank-Nullity Theorem (неопр.). mathworld.wolfram.com. Дата обращения: 9 декабря 2019. Архивировано 10 декабря 2019 года.
↑ Archived copy (неопр.). Дата обращения: 14 апреля 2015. Архивировано 29 августа 2017 года.

Ошибка в сносках^?: Тег <ref> с именем «TB», определённый в <references>, не используется в предшествующем тексте.

Литература

Sheldon Jay Axler. Linear Algebra Done Right. — 2nd. — Springer-Verlag, 1997. — ISBN 0-387-98259-0.
Гилберт Стренг. Линейная алгебра и её применение. — Москва: «Мир», 1980.
David C. Lay. Linear Algebra and Its Applications. — 3rd. — Addison Wesley, 2005. — ISBN 978-0-321-28713-7.
Carl D. Meyer. Matrix Analysis and Applied Linear Algebra. — Society for Industrial and Applied Mathematics (SIAM), 2001. — ISBN 978-0-89871-454-8. Архивировано 31 октября 2009 года.
David Poole. Linear Algebra: A Modern Introduction. — 2nd. — Brooks/Cole, 2006. — ISBN 0-534-99845-3.
Howard Anton. Elementary Linear Algebra (Applications Version). — 9th. — Wiley International, 2005.
Steven J. Leon. Linear Algebra With Applications. — 7th. — Pearson Prentice Hall, 2006.
Serge Lang. Linear Algebra. — Springer, 1987. — ISBN 9780387964126.
Lloyd N. Trefethen, David III Bau. Numerical Linear Algebra. — SIAM, 1997. — ISBN 978-0-89871-361-9.

Ссылки

Имеется викиучебник по теме «Linear Algebra/Null Spaces»

Hazewinkel, Michiel, ed. (2001), "Kernel of a matrix", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Khan Academy, Introduction to the Null Space of a Matrix

[MV-1] The Definitive Glossary of Higher Mathematical Jargon — Null (неопр.). Math Vault (1 августа 2019). Дата обращения: 9 декабря 2019. Архивировано 28 февраля 2020 года.

[MW-2] Weisstein, Eric W. Kernel (неопр.). mathworld.wolfram.com. Дата обращения: 9 декабря 2019. Архивировано 23 июня 2004 года.

[B0-3] Kernel (Nullspace) | Brilliant Math & Science Wiki (неопр.). brilliant.org. Дата обращения: 9 декабря 2019. Архивировано 10 декабря 2019 года.

[B1-4] ¹ ² Weisstein, Eric W. Rank-Nullity Theorem (неопр.). mathworld.wolfram.com. Дата обращения: 9 декабря 2019. Архивировано 10 декабря 2019 года.

[ohiou-5] Archived copy (неопр.). Дата обращения: 14 апреля 2015. Архивировано 29 августа 2017 года.

[1]

[2]

[3]

[4]

[5]