Ядро (линейная алгебра)

редактировать

Обратный образ нуля при гомоморфизме

В математике, более конкретно в линейной алгебре и функциональном анализе, ядро линейного отображения , также известное как пустое пространство или пустое пространство, это набор векторов в домене отображения, которые отображаются в нулевой вектор. То есть, учитывая линейное отображение L: V → W между двумя векторными пространствами V и W, ядро L является набором всех элементов v из V, для которых L (v ) = 0, где 0 обозначает нулевой вектор в W, или более символически:

ker ⁡ (L) = {v ∈ V ∣ L (v) = 0}. {\ displaystyle \ ker (L) = \ left \ {\ mathbf {v} \ in V \ mid L (\ mathbf {v}) = \ mathbf {0} \ right \} {\ text {.}}}

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

Содержание

1 Свойства
2 Применение к модулям
3 В функциональном анализе
4 Представление в виде умножения матриц
- 4.1 Свойства подпространства
- 4.2 Пространство строк в матрице
- 4.3 Оставшееся пустое пространство
- 4.4 Неоднородные системы линейных уравнений
5 Иллюстрация
6 Примеры
7 Вычисление методом исключения Гаусса
8 Числовое вычисление
- 8.1 Точные коэффициенты
- 8.2 Вычисление с плавающей запятой
9 См. Также
10 Примечания и ссылки
11 Библиография
12 Внешние ссылки

Свойства

Ядро и изображение карты L.

Ядром L является линейное подпространство области V. В линейном отображении L: V → W два элемента V имеют один и тот же образ в W тогда и только тогда, когда их различие лежит в ядре L:

L (v 1) = L (v 2) ⇔ L (v 1 - v 2) = 0. {\ Displaystyle L (\ mathbf {v} _ {1}) = L (\ mathbf {v} _ {2}) \; \ Leftrightarrow \; L (\ mathbf {v} _ {1} - \ mathbf {v } _ {2}) = \ mathbf {0} {\ text {.}}}

{\ displaystyle L (\ mathbf {v} _ {1}) = L (\ mathbf {v} _ {2}) \; \ Leftrightarrow \; L (\ mathbf {v} _ {1} - \ mathbf {v} _ {2}) = \ mathbf {0} {\ text {.}}}

Отсюда следует, что изображение L изоморфно частному ядра V:

im ⁡ (L) ≅ V / ker ⁡ (L). {\ displaystyle \ mathop {\ mathrm {im}} (L) \ cong V / \ ker (L) {\ text {.}}}

{\ mathop {\ mathrm {im}}} (L) \ cong V / \ ker (L) {\ text {.}}

В случае, когда V конечномерный, отсюда следует теорема ранга – недействительности :

dim ⁡ (ker ⁡ L) + dim ⁡ (im ⁡ L) = dim ⁡ (V). {\ displaystyle \ dim (\ ker L) + \ dim (\ mathop {\ mathrm {im}} L) = \ dim (V) {\ text {.}} \,}

\ dim (\ ker L) + \ dim ({\ mathop {\ mathrm { im}}} L) = \ dim (V) {\ text {.}} \,

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

Когда V является внутренним пространством продукта, отношение V / ker (L) можно отождествить с ортогональное дополнение в V к ker (L). Это обобщение на линейные операторы пространства строк или кообраза матрицы.

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

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

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

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

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

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

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

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

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

A x = 0 ⇔ a 11 x 1 + a 12 x 2 + ⋯ + a 1 nxn знак равно 0 a 21 x 1 + a 22 x 2 + ⋯ + a 2 nxn знак равно 0 ⋮ ⋮ ⋮ am 1 x 1 + am 2 x 2 + ⋯ + amnxn = 0. {\ displaystyle A \ mathbf {x} = \ mathbf {0} \; \; \ Leftrightarrow \; \; {\ begin {alignat} {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 {alignat}}}

A \ mathbf {x} = \ mathbf {0} \; \; \ Leftrightarrow \; \; {\ begin {alignat} {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 {alignat}}

Таким образом, ядро A такое же, как и решение набора вышеуказанных однородных уравнений.

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

Ядром матрицы A размера m × n над полем K является линейное подпространство из K . То есть ядро A, набор Null (A), имеет следующие три свойства:

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

Строковое пространство матрицы

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

A x = [a 1 ⋅ xa 2 ⋅ x ⋮ am ⋅ x]. {\ Displaystyle 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}}.}

A \ mathbf {x} = {\ начало {bmatrix} \ mathbf {a} _ {1} \ cdot \ mathbf {x} \\\ mathbf {a} _ {2} \ cdot \ mathbf {x} \\\ v точки \\\ mathbf {a} _ {m} \ cdot \ mathbf {x} \ end {bmatrix}}.

Здесь a1,..., amобозначают строки матрица A. Отсюда следует, что x находится в ядре A, если и только если x является ортогональным (или перпендикулярным) каждому из векторов-строк точки A (поскольку ортогональность определяется как скалярное произведение, равное 0).

пространство строки, или совместное изображение, матрицы A - это промежуток векторов-строк матрицы A. Согласно приведенным выше рассуждениям, ядро матрицы A является ортогональное дополнение к пространству строки. То есть вектор x лежит в ядре A, если и только если он перпендикулярен каждому вектору в пространстве строк A.

Размерность пространства строк A называется ранг A, а размерность ядра A называется недействительностью A. Эти величины связаны теоремой ранг – недействительность

ранг ⁡ (A) + недействительность ⁡ (A) = n. {\ displaystyle \ operatorname {rank} (A) + \ operatorname {nullity} (A) = n.}

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

Пустой левый пробел

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

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

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

A x = b или a 11 x 1 + a 12 x 2 + ⋯ + a 1 nxn = b 1 a 21 x 1 + a 22 Икс 2 + ⋯ + a 2 nxn знак равно b 2 ⋮ ⋮ ⋮ ⋮ am 1 x 1 + am 2 x 2 + ⋯ + amnxn = bm {\ displaystyle A \ mathbf {x} = \ mathbf {b} \; \ ; \; \; \; \; {\ text {или}} \; \; \; \; \; \; {\ begin {alignat} {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 {alignat}}}

A \ mathbf {x} = \ mathbf {b} \; \; \; \; \; \; {\ text {или}} \; \ ; \; \; \; \; {\ begin {alignat} {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 {alignat}}

Если u и v - два возможных решения вышеуказанного уравнения, тогда

A (u - v) = A u - A v = b - b = 0 {\ стиль отображения A (\ mathbf {u} - \ mathbf {v}) = A \ mathbf {u} -A \ mathbf {v} = \ mathbf {b} - \ mathbf {b} = \ mathbf {0} \,}

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

Таким образом, разница между любыми двумя решениями уравнения A x= bлежит в ядре A.

Отсюда следует, что любое решение уравнения A x= bможет быть выражено как сумма фиксированное решение v и произвольный элемент ядра. То есть набор решений уравнения A x= bравен

{v + x ∣ A v = b ∧ x ∈ Null ⁡ (A)}, {\ displaystyle \ left \ {\ mathbf {v} + \ mathbf {x} \ mid A \ mathbf {v} = \ mathbf {b} \ land \ mathbf {x} \ in \ operatorname {Null} (A) \ right \},}

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

Геометрически это означает, что решение, установленное в A x= b, является трансляцией ядра A на вектор v . См. Также Альтернатива Фредгольма и плоский (геометрия).

Иллюстрация

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

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

A = [2 3 5 - 4 2 3]. {\ displaystyle A = {\ begin {bmatrix} \, \, \, 2 3 5 \\ - 4 2 3 \ end {bmatrix}}.}

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

Ядро этой матрицы состоит из всех векторов (x, y, z) ∈ R, для которого

[2 3 5 - 4 2 3] [xyz] = [0 0], {\ displaystyle {\ begin {bmatrix} \, \, \, 2 3 5 \\ - 4 2 3 \ end {bmatrix }} {\ begin {bmatrix} x \\ y \\ z \ end {bmatrix}} = {\ begin {bmatrix} 0 \\ 0 \ end {bmatrix}},}

{\ 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:

2 x + 3 y + 5 z = 0, - 4 x + 2 y + 3 z = 0, {\ displaystyle {\ begin {alignat} {7} 2x \; + \; 3y \; + \; 5z \; = \; 0, \\ - 4x \; + \; 2y \; + \; 3z \; = \; 0, \ \\ end {alignat}}}

{\ begin {alignat} {7} 2x \; + \; 3y \; + \; 5z \; = \; 0, \\ - 4x \ ; + \; 2y \; + \; 3z \; = \; 0, \\\ end {alignat}}

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

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

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

Через исключение Гаусса – Джордана матрица можно уменьшить до:

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

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

Переписав матрицу в форму уравнения, получаем:

х = - 1 16 zy = - 13 8 z. {\ displaystyle {\ begin {alignat} {7} x = \; - {\ frac {1} {16}} z \, \, \, \\ y = \; - {\ frac {13} { 8}} z. \ End {alignat}}}

{\ begin {alignat} {7} x = \; - {\ frac {1} {16}} z \, \, \, \\ y = \; - {\ frac {13} {8}} z. \ End {alignat}}

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

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

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

Поскольку c - это свободная переменная с диапазоном всех действительных чисел, это можно выразить одинаково хорошо:

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

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

Ядро A является в точности решением, установленным для этих уравнений (в данном случае от строки до начала координат в R ). Здесь, поскольку вектор (−1, −26,16) составляет базис ядра A., нулевое значение A равно 1.

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

[2 3 5] ⋅ [- 1 - 26 16] = 0 и [- 4 2 3] ⋅ [- 1 - 26 16] = 0, {\ displaystyle \ left [{\ begin {array} {ccc} 2 и 3 и 5 \ end {array}} \ right] \ cdot {\ begin {bmatrix} -1 \\ - 26 \\ 16 \ end {bmatrix}} = 0 \ quad \ mathrm {и} \ quad \ left [{\ begin {array} {ccc} -4 2 3 \ end {array}} \ right] \ cdot {\ begin {bmatrix} -1 \\ - 26 \\ 16 \ end {bmatrix}} = 0 \ mathrm {,}}

\ left [{\ begin {array} {ccc} 2 3 5 \ end {array}} \ right] \ cdot {\ begin {bmatrix} -1 \\ - 26 \\ 16 \ end {bmatrix}} = 0 \ quad \ mathrm {and} \ quad \ left [{\ begin {array} {ccc} -4 2 3 \ end {array}} \ right] \ cdot {\ begin {bmatrix} -1 \\ - 26 \\ 16 \ end {bmatrix}} = 0 \ mathrm {,}

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

Эти два (линейно независимых) вектора-строки охватывают пространство строк A - плоскость, ортогональную вектору (- 1, −26,16).

С рангом 2 для A, нулевым значением 1 для A и размерностью 3 для A у нас есть иллюстрация теоремы о ранге-нуле.

Примеры

Если L: R→ R, то ядро L является решением, заданным для однородной системы линейных уравнений. Как на иллюстрации выше, если L - оператор:

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

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

тогда ядро L является набором решений уравнений

2 x 1 + 3 x 2 + 5 x 3 = 0 - 4 x 1 + 2 x 2 + 3 x 3 знак равно 0 {\ displaystyle {\ begin {alignat} {7} 2x_ {1} \; + \; 3x_ {2} \; + \; 5x_ {3} \; = \; 0 \\ -4x_ {1} \; + \; 2x_ {2} \; + \; 3x_ {3} \; = \; 0 \ end {alignat}}}

{\ begin { выровнено} {7} 2x_ {1} \; + \; 3x_ {2} \; + \; 5x_ {3} \; = \; 0 \\ - 4x_ {1} \; + \; 2x_ {2} \; + \; 3x_ {3} \; = \; 0 \ end {alignat}}

Пусть C [0,1] обозначает векторном пространстве всех непрерывных действительных функций на интервале [0,1], и определим L: C [0,1] → R правилом

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

L (f) = f ( 0.3) {\ text {.}} \,

Тогда ядро L состоит из всех функций f ∈ C [0,1], для которых f (0.3) = 0.

Пусть C (R ) - векторное пространство всех бесконечно дифференцируемых функций R→ R, и пусть D: C (R ) → C (R ) будет оператором дифференцирования :

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

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

Тогда ядро D состоит из всех функций в C (R ), чьи производные равны нулю, т.е. множество всех постоянных функций.

. Пусть R будет прямым продуктом бесконечного количества копий R, и пусть s: R→ Rбыть оператором сдвига

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

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

Тогда ядро s - это одномерное подпространство, состоящее из всех векторов (x 1, 0, 0,...).

Если V является внутреннее пространство продукта, а W - подпространство, ядро ортогональной проекции V → W - это ортогональное дополнение к W в V.

Вычисление с помощью Исключение Гаусса

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

Для этой цели, учитывая матрицу A размера m × n, мы сначала строим строку расширенной матрицы $[AI], {\ displaystyle \ left [{\ begin {array} {c} A \\\ hline I \ end {array}} \ right],}$ $\ left [{\ begin {array} {c} A \\\ hline I \ end {array}} \ right],$ где I единичная матрица.

размера n × n . Вычисляя ее эшелонированную форму столбца методом исключения Гаусса (или любым другим подходящим методом), мы получаем матрицу $[BC]. {\ displaystyle \ left [{\ begin {array} {c} B \\\ hline C \ end {array}} \ right].}$ $\ left [{\ begin {array} {c} B \\\ hline C \ end {array}} \ right].$ Основа ядра A состоит из не- нулевые столбцы C, так что соответствующий столбец B является нулевым столбцом.

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

Например, предположим, что

A = [1 0 - 3 0 2 - 8 0 1 5 0 - 1 4 0 0 0 1 7 - 9 0 0 0 0 0 0]. {\ displaystyle 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].}

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].

Тогда

[AI] = [1 0 - 3 0 2 - 8 0 1 5 0 - 1 4 0 0 0 1 7 - 9 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 0 0 0 0 0 0 1]. {\ displaystyle \ left [{\ begin {array} {c} A \\\ hline I \ 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 0 1 0 0 0 0 \\ 0 0 0 0 0 0 amp; 0} \\ 0 0 0 0 0 0 0} \ end {0 0} \\ 0 0 эшелонирование столбцов по операциям с столбцами для всей матрицы дает

[BC] = [1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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]. {\ displaystyle \ 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 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 0 1 0 \\ 0 0 0 end; B - нулевые столбцы. Следовательно, три последних вектора C,

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

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

являются основой ядра A.

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

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

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

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

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

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

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

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

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

См. Также

Примечания и ссылки

Библиография

Axler, Sheldon Jay (1997), Linear Algebra Done Done Right (2-е изд.), Springer-Verlag, ISBN 0-387-98259-0.
Lay, Дэвид К. (2005), Линейная алгебра и ее приложения (3-е изд.), Эддисон Уэсли, ISBN 978-0-321-28713-7.
Мейер, Карл Д. (2001), Матричный анализ и прикладная линейная алгебра, Общество промышленной и прикладной математики (SIAM), ISBN 978-0-89871-454-8, заархивировано из оригинал 31.10.2009.
Пул, Дэвид (2006), Linear Algebra: A Modern Introduction (2 ed.), Brooks / Cole, ISBN 0-534-99845-3.
Антон, Ховард (2005), Элем Entary Linear Algebra (Applications Version) (9-е изд.), Wiley International.
Леон, Стивен Дж. (2006), Linear Algebra With Applications (7-е изд.), Pearson Prentice Hall.
Lang, Serge (1987). Линейная алгебра. Springer. ISBN 9780387964126. CS1 maint: ref = harv (ссылка )
Трефетен, Ллойд Н.; Бау, Дэвид III (1997), Числовой Линейная алгебра, SIAM, ISBN 978-0-89871-361-9.

Внешние ссылки

В Викиучебнике есть книга по теме: Линейная алгебра / пустые пространства