Как найти размерность образа оператора – Сайт, где вы сможете решить свои вопросы

Линейный
оператор ,
действующий из пространства
в пространство ,
ставит в соответствие каждому вектору

определенный вектор
из .
При этом вектор
называется образом
вектора
,
а вектор
– прообразом
вектора

при отображении .

Пусть

и
– некоторые базисы линейных пространств

и
соответственно. Тогда ,

и координаты вектора – образа
связаны с координатами вектора – прообраза

соотношением

(7.2.1)

в
котором
– матрица линейного оператора
в паре базисов
и .

В
случае, когда пространства
и
совпадают, базисы
и
также совпадают, и формула (7.2.1) принимает
вид

(7.2.2)

Образом
(областью
значений)
линейного
оператора

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

Ядром
линейного оператора

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

Сумма
ранга и дефекта оператора

равна размерности пространства
.

Ранг
линейного оператора равен рангу матрицы
этого оператора.

Базис
системы векторов – столбцов матрицы
линейного оператора
образует систему координатных столбцов
базиса образа .
Базис подпространства решений однородной
системы линейных алгебраических
уравнений с матрицей оператора
образует базис ядра .

Пример
1.
Из пространства
с базисом
в пространство
с базисом
действует линейный оператор ,
имеющий в данной паре базисов матрицу
.
Найдите столбец координат в базисе
образа вектора
и столбец координат в базисе
прообраза вектора .

Решение.
Столбец координат образа вектора
в базисе находим
непосредственно по формуле (7.2.1):

Для
определения прообраза вектора
по той же формуле (7.2.1) имеем

или,
что то же самое,

Отсюда
находим все прообразы
вектора ,
где
– свободная переменная, принимающая
произвольные значения.

Пример
2.
В пространстве с
базисом линейный
оператор
переводит векторы ,
в
векторы ,

соответственно. Найдите матрицу оператора
в
базисе .

Решение.
Пусть –
матрица оператора в
базисе .
Тогда из условий ,

по формуле (7.2.2) имеем ,

или,
в подробной записи,

Отсюда
получаем
Следовательно,
.

Пример
3.
Найдите базис ядра и базис образа
линейного оператора пространства ,
если этот оператор задан матрицей .

Решение.
При помощи элементарных преобразований
над строками матрицы
приведём её к ступенчатому виду:

Отсюда
следует, что .
Базис составляют,
например, векторы
и .

Дефект
оператора найдём по формуле

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

7.2.1.
Линейный оператор переводит
вектор
в вектор.
Найдите образ вектора
и прообраз вектора ,
если

,
;

,
.

7.2.2.
Линейный оператор в
паре базисов и

имеет матрицу .
Найдите прообраз вектора ,
если

,
;

б)
,
;

в)
,
.

7.2.3.
Выясните, существует ли линейный оператор
двумерного пространства, переводящий
векторы ,

соответственно в векторы ,
,
и найдите матрицу этого оператора в
базисе ,
:

а)

б)

в)

7.2.4.
Выясните, существует ли линейный оператор
трехмерного пространства, переводящий
векторы ,
,

соответственно в векторы ,
,
,
и найдите матрицу этого оператора в том
же базисе, в котором даны координаты
всех векторов:

а)

б)

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

а)

б)

в)

7.2.6.
Найдите образ и ядро оператора
дифференцирования в пространстве .

7.2.7.
В пространстве
рассмотрите разностный
оператор

где

– фиксированное
число, отличное от нуля. Найдите его
образ и ядро.

7.2.8.
Найдите образ и ядро оператора
проектирования (см. задачу 7.1.2) на
параллельно
и оператора отражения (см. задачу 7.1.3) в

параллельно .

7.2.9.
Найдите базис ядра и базис образа
линейного
оператора из ,
заданного в некотором базисе матрицей
:

а)
;
б)
;
в)
.

7.2.10.
Найдите размерность линейного пространства

всех линейных операторов, действующих
в
– мерном линейном пространстве
и постройте базис пространства .

Соседние файлы в папке Задачник-2

Источник

Пусть – линейный оператор действующий в линейном пространстве V (комплексном или вещественном)

Определение: Совокупность всевозможных векторов вида называется образом оператора A и обозначается ImA. Таким образом .

Определение: Совокупность всевозможных векторов для которых называется ядром оператора A и обозначается KerA. Таким образом .

Утверждение: образ и ядро линейного оператора А являются подпространствами линейного пространства V.

Доказательство: В самом деле в силу линейности оператора А имеем:

1) тогда и т. к то

и т. к. , то является подпространством пространства V.

2) отсюда .

является подпространством пространства V. #

Пример:

Пусть V – n мерное комплексное или вещественное линейное пространство.

1) Тождественный оператор , при этом Ax = Ix = X, тогда ImA=ImI=V, KerA=KerI={θ}

/ ядро состоит из единственного нулевого элемента /

2) Нулевой оператор, тогда

3) Рассмотрим оператор дифференцирования на пространстве многочленов степени не выше N, тогда отсюда. Видно, что во всех приведенных примерах справедливо:

, что не является случайным.

Теорема (о сумме размерностей образа и ядра линейного оператора) :

Пусть A – линейный оператор, действующий в линейном пространстве V. Тогда сумма размерностей образа и ядра оператора равна размерности данного линейного пространства, т. е.

Доказательство:

Пусть , причем

Выберем в пространстве V произвольный базис . Поскольку по определению , то можно записать, что линейная оболочка, порождаемая совокупностью образов базисных векторов , причем , где R – максимальное число л. н.з. векторов в системе. Но координаты именно этих векторов стоят в столбцах матрицы линейного оператора А в базисе, поэтому .

Рассмотрим ядро оператора А: .

В выбранном базисе равенству соответствует однородная СЛАУ:, которая, как известно, имеет (N–R) л. н.з. решений, образующих ФСР. Поскольку неизвестными данной системы являются координаты векторов, составляющих KerA, то отсюда заключаем, что dim(KerA)=N–R. В результате получаем, что

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

Определение: Линейный оператор называется невырожденным, если в произвольном базисе (E) данного линейного пространства V Оператор А имеет невырожденную матрицу .

Следствие: Если А – невырожденный линейный оператор, то его образ совпадает со всем пространством, в котором этот оператор действует.

Доказательство: Если , то по предыдущей теореме запишем . По Свойству 40 невырожденных операторов (докажем позже в параграфе 12 главе 7) равенство возможно только при отсюда откуда . Т. к. , то отсюда следует, что .

Определение: Подпространство L пространства V называется инвариантным относительно линейного оператора А, если .

Теорема (об инвариантности образа и ядра линейного оператора):

Образ и ядро линейного оператора А являются подпространствами инвариантными относительно оператора А.

Доказательство:

1) Пусть , т. к. то и поэтому , т. е. подпространство ImA является инвариантным относительно оператора А.

2) Пусть . Тогда, т. у. а значит подпространство KerA инвариантно относительно оператора А.

Следующая >

Источник

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

Ядром линейного отображения mathcal{A}colon Vto W называется множество таких векторов mathbf{v}in V , что $mathcal{A}(mathbf{v})= mathbf{o}_W$ , т.е. множество векторов из {V} , которые отображаются в нулевой вектор пространства {W} . Ядро отображения mathcal{A}colon Vto W обозначается:

$ker mathcal{A}= Bigl{mathbf{v}colon, mathbf{v}in V,~ mathcal{A}(mathbf{v})=mathbf{o}_WBigr}.$

Образом линейного отображения mathcal{A}colon Vto W называется множество образов mathcal{A}(mathbf{v}) всех векторов из {V} . Образ отображения обозначается operatorname{im}mathcal{A} или mathcal{A}(V)colon

operatorname{im}mathcal{A}= mathcal{A}(V)= Bigl{mathbf{w}colon, mathbf{w}=mathcal{A}(v),~ forall mathbf{v}in VBigr}.

Заметим, что символ operatorname{im}mathcal{A} следует отличать от operatorname{Im}z — мнимой части комплексного числа.

Примеры ядер и образов линейных отображений

1. Ядром нулевого отображения mathcal{O}colon Vto W является все пространство {V} , а образом служит один нулевой вектор, т.е. $ker mathcal{O}=V,~ operatorname{im}mathcal{O}={mathbf{o}_W}.$

2. Рассмотрим отображение $mathsf{a!e}colon Vto mathbb{R}^n$ , которое ставит в соответствие каждому вектору mathbf{v} n-мерного линейного пространства {V} его координатный столбец $v=begin{pmatrix}v_1&cdots&v_n end{pmatrix}^T$ относительно заданного базиса $mathbf{e}_1,ldots,mathbf{e}_n$ . Ядром этого отображения является нулевой вектор $mathbf{o}_V$ пространства {V} , поскольку только этот вектор имеет нулевой координатный столбец $mathsf{a!e}(mathbf{o}_V)=oin mathbb{R}^n$ . Образ преобразования совпадает со всем пространством $mathbb{R}^n$ , так как это преобразование сюръективно (любой столбец из $mathbb{R}^n$ является координатным столбцом некоторого вектора пространства {V} ).

3. Рассмотрим отображение $operatorname{pr}_{mathbf{e}}colon mathbb{E}to mathbb{R}$ , которое каждому вектору mathbf{v} n-мерного евклидова пространства ставит в соответствие алгебраическое значение $operatorname{pr}_{mathbf{e}}(mathbf{v})= langle mathbf{e},mathbf{v}rangle$ его проекции на направление, задаваемое единичным вектором . Ядром этого преобразования является ортогональное дополнение ${mathbf{e}}^{perp}$ — множество векторов, ортогональных . Образом является все множество действительных чисел mathbb{R} .

4. Рассмотрим отображение $mathcal{D}colon P_n(mathbb{R})to P_{n-1}(mathbb{R})$ , которое каждому многочлену степени не выше {n} ставит в соответствие его производную. Ядром этого отображения является множество $P_0(mathbb{R})$ многочленов нулевой степени, а образом — все пространство $P_{n-1}(mathbb{R})$ .

Свойства ядра и образа линейного отображения

1. Ядро любого линейного отображения mathcal{A}colon Vto W является подпространством: ${mathbf{o}_V}triangleleft ker mathcal{A} triangleleft V$ .

В соответствии с определением требуется доказать, что множество ker mathcal{A} является непустым и замкнутым относительно операций сложения векторов и умножения вектора на число. В самом деле, из однородности отображения следует, что

$mathcal{A}(mathbf{o}_V)= mathcal{A}(0cdotmathbf{v})= 0cdot mathcal{A}(mathbf{v})= mathbf{v}_W,$

т.е. нулевой вектор $mathbf{o}_V$ отображается в нулевой вектор $mathbf{o}_W$ . Следовательно, ядро любого линейного отображения не является пустым и содержит, по крайней мере, нулевой элемент: $mathbf{o}_Vin ker mathcal{A}$ . Покажем, что множество замкнуто по отношению к операциям сложения векторов и умножения вектора на число. Действительно:

$begin{gathered} left.{begin{matrix} mathbf{v}_1in ker mathcal{A}~ Rightarrow~ mathcal{A} (mathbf{v}_1)= mathbf{o}_W\ mathbf{v}_2in ker mathcal{A}Rightarrow mathcal{A} (mathbf{v}_2)= mathbf{o}_W end{matrix}}right} Rightarrow~ mathcal{A}(mathbf{v}_1+mathbf{v}_2)= mathcal{A} (mathbf{v}_1)+ mathcal{A}(mathbf{v}_2)= mathbf{o}_W~ Rightarrow~ mathbf{v}_1+ mathbf{v}_2in ker mathcal{A},;\[5pt] mathbf{v}in ker mathcal{A}~ Rightarrow~ mathcal{A}(mathbf{v})=mathbf{o}_W~ Rightarrow~ mathcal{A}(lambdacdot mathbf{v})= lambdacdotmathcal{A}(mathbf{v})= lambda cdot mathbf{o}_W= mathbf{o}_W~ Rightarrow~ lambdacdot mathbf{v}in ker mathcal{A},. end{gathered}$

Следовательно, множество ker mathcal{A} является линейным подпространством пространства {V} .

2. Образ любого линейного отображения mathcal{A}colon Vto W является подпространством: operatorname{im}mathcal{A}triangleleft W .

В самом деле, докажем, например, замкнутость множества operatorname{im} mathcal{A} по отношению к операции умножения вектора на число. Если mathbf{w}in operatorname{im}mathcal{A} , то существует вектор mathbf{v}in V такой, что mathbf{w}=mathcal{A} (mathbf{v}) . Тогда mathcal{A}(lambdacdot mathbf{v})= lambdacdot mathcal{A}(mathbf{v})= lambdacdot mathbf{w} , то есть lambdacdot mathbf{w}in operatorname{im}mathcal{A} .

Поскольку ядро и образ линейного отображения являются линейными подпространствами (свойства 1 и 2), можно говорить об их размерностях.

Дефектом линейного отображения называется размерность его ядра: d=dim ker mathcal{A} , а рангом линейного отображения — размерность его образа: operatorname{rg}mathcal{A}=r=dim operatorname{im}mathcal{A} .

3. Ранг линейного отображения равен рангу его матрицы (определенной относительно любых базисов).

В самом деле, если $mathbf{e}_1,ldots,mathbf{e}_n$ любой базис пространства {V} , то $operatorname{im}mathcal{A}= operatorname{Lin}[ mathcal{A} (mathbf{e}_1),ldots,mathcal{A}(mathbf{e}_n)]$ . Поэтому максимальное число линейно независимых векторов системы $mathcal{A} (mathbf{e}_1),ldots,mathcal{A} (mathbf{e}_n)$ (ранг системы векторов) равно максимальному числу линейно независимых столбцов матрицы {A} отображения, т.е. рангу матрицы: dim operatorname{im} mathcal{A}= operatorname{rg}A= operatorname{rg}mathcal{A} .

4. Линейное отображение mathcal{A}colon Vto W инъективно тогда и только тогда, когда $ker mathcal{A}={mathbf{o}_V}$ , другими словами, когда дефект отображения равен нулю: d=dim ker mathcal{A}=0 .

Действительно, образом нулевого вектора $mathbf{o}_v$ служит нулевой вектор $mathbf{o}_W$ . Поэтому, если отображение инъективно, то ядро содержит только нулевой вектор $mathbf{o}_v$ , иначе два разных вектора имели бы один и тот же образ $mathbf{o}_W$ . Обратно, при условии $ker mathcal{A}= {mathbf{o}_V}$ разные векторы $mathbf{v}_1ne mathbf{v}_2$ не могут иметь одинаковые образы $mathcal{A}(mathbf{v}_1)= mathcal{A}(mathbf{v}_2)$ , так как в этом случае из равенств $mathcal{A}(mathbf{v}_1)- mathcal{A}(mathbf{v}_2)= mathcal{A} (mathbf{v}_1-mathbf{v}_2)= mathbf{}_W$ , следует, что ненулевой вектор $(mathbf{v}_1-mathbf{v}_2)in ker mathcal{A}$ (приходим к противоречию).

5. Линейное отображение mathcal{A}colon Vto W сюръективно тогда и только тогда, когда operatorname{im}mathcal{A}=W , другими словами, когда ранг отображения равен размерности пространства образов: r=dim operatorname{im}mathcal{A}= dim{W} .

6. Линейное отображение mathcal{A}colon Vto W биективно (значит, обратимо) тогда и только тогда, когда $ker mathcal{A}={mathbf{o}_V}$ и operatorname{im}mathcal{A}=W одновременно.

Теорема (9.1) о размерностях ядра и образа. Сумма размерностей ядра и образа любого линейного отображения mathcal{A}colon Vto W равна размерности пространства прообразов:

dim ker mathcal{A}+ dim operatorname{im}mathcal{A}= dim{V},.

(9.3)

Действительно, пусть d=dim ker mathcal{A},~ dim{V}=n . Выберем в подпространстве kermathcal{A} triangleleft V базис $mathbf{e}_1,ldots, mathbf{e}_d$ и дополним его векторами $mathbf{e}_{d+1},ldots,mathbf{e}_n$ до базиса $mathbf{e}_1,ldots,mathbf{e}_n$ всего пространства {V} . Покажем, что векторы $mathcal{A}(mathbf{e}_{d+1}),ldots,mathcal{A}(mathbf{e}_n)$ образуют базис подпространства operatorname{im}mathcal{A}triangleleft W .

Во-первых, $operatorname{im}mathcal{A}= operatorname{Lin}[mathcal{A} (mathbf{e}_{d+1}), ldots,mathcal{A}(mathbf{e}_n)]$ , так как образ любого вектора $mathbf{v}= v_1 mathbf{e}_1+ldots+v_d mathbf{e}_d+v_{d+1}mathbf{e}_{d+1}+ldots+ v_n mathbf{e}_n$ линейно выражается через векторы $mathcal{A}(mathbf{e}_{d+1}),ldots, mathcal{A}(mathbf{e}_n):$

$mathcal{A}(mathbf{v})= mathcal{A} Biggl( sum_{i=1}^{n} v_i mathbf{e}_iBiggr)= sum_{i=1}^{n}v_imathcal{A}(mathbf{e}_i)= sum_{i=1}^{d}v_i underbrace{mathcal{A} (mathbf{e}_i)}_{mathbf{o}_W}+ sum_{i=d+1}^{n} v_imathcal{A} (mathbf{e}_i)= sum_{i=d+1}^{n} v_imathcal{A}(mathbf{e}_i).$

Во-вторых, образующие $mathcal{A}(mathbf{e}_{d+1}), ldots, mathcal{A} (mathbf{e}_n)$ линейно независимы. Если их линейная комбинация равна нулевому вектору:

$mathbf{o}_W= sumlimits_{i=d+1}^{n} lambda_i mathcal{A} (mathbf{e}_i)= mathcal{A}!left(sum_{i=d+1}^{n}lambda_i mathbf{e}_iright)!,$

то вектор $textstyle{sumlimits_{i=d+1}^{n}lambda_i mathbf{e}_i}$ принадлежит ядру (его образ — нулевой вектор). Однако, по построению этот вектор принадлежит алгебраическому дополнению $(ker mathcal{A})^{+}$ . Учитывая, что $ker mathcal{A}cap (ker mathcal{A})^{+}={mathbf{o}_V}$ , заключаем: $textstyle{sumlimits_{i=d+1}^{n}lambda_i mathbf{e}_i}=mathbf{o}_V$ . Получили разложение нулевого вектора по линейно независимой системе $mathbf{e}_{d+1},ldots, mathbf{e}_n$ векторов, значит, все коэффициенты lambda_i=0 . Поэтому равенство $textstyle{sumlimits_{i=d+1}^{n}lambda_i mathcal{A}(mathbf{e}_i)= mathbf{o}_W}$ справедливо только для тривиальной линейной комбинации, т.е. система векторов $mathcal{A}(mathbf{e}_{d+1}),ldots, mathcal{A} (mathbf{e}_n)$ линейно независимая.

Таким образом, векторы $mathcal{A}(mathbf{e}_{d+1}),ldots, mathcal{A} (mathbf{e}_n)$ образуют базис подпространства $operatorname{im}mathcal{A}= operatorname{Lin} mathcal{A}(mathbf{e}_{d+1}),ldots, mathcal{A} (mathbf{e}_n)$ , а его размерность определяется количеством базисных векторов, т.е. dimoperatorname{im} mathcal{A}=n-d , что равносильно (9.3).

Следствие. Линейное отображение mathcal{A}colon Vto W биективно (значит, обратимо) тогда и только тогда, когда обратима его матрица (определенная относительно любых базисов).

Действительно, для обратимости преобразования mathcal{A}colon Vto W (см. свойство 6) его матрица (размеров mtimes n ) должна удовлетворять условиям (см. свойства 3,4,5):

operatorname{rg}A= operatorname{rg}mathcal{A}= dim operatorname{im}mathcal{A}= dim{W}=m,quad d=dim ker mathcal{A}=0.

Тогда по теореме 9.1 заключаем, что m=n-d=n , т.е. матрица — квадратная n-го порядка и невырожденная (operatorname{rg}A=n) , что и требовалось доказать.

Обратимые линейные отображения называются также невырожденными (имея в виду невырожденность их матрицы).

Математический форум (помощь с решением задач, обсуждение вопросов по математике).

Кнопка "Поделиться"

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

Источник

Матрица линейного оператора примеры

Построение матрицы по заданной формуле отображения.

Пусть отображение задано с помощью формулы:

то есть для координат произвольного исходного вектора определены координаты его образа. Тогда, рассматривая вместо произвольного вектора x вектор , найдём его образ, это будет вектор . Для этого в формуле, задающей образ вектора, полагаем , ,…, . Аналогично находим образы для ,…, . Из координат образа вектора составляем 1-й столбец матрицы линейного оператора, аналогично из координат последующих векторов – остальные столбцы. Рассмотрим на примере.

Пример 1. Пусть оператор задан с помощью формулы:

Прежде всего, докажем, что это отображение – действительно линейный оператор.

Отобразим сумму векторов:

Теперь каждую координату получившегося вектора можем преобразовать:

Аналогично для умножения на константу:

Для того чтобы найти матрицу этого линейного оператора, нужно, как было сказано выше, подставить значения x₁ = 1, x₂ = 0, а затем x₁ = 0, x₂ = 1. В этом примере образы базисных векторов – соответственно (3, 1) и (2, -1).

Поэтому матрица линейного оператора будет иметь вид:

Аналогичным способом решается задача и для 3 и большего количества переменных.

Пример 2. .

Построим матрицу оператора. Отображая вектор (1,0,0), получаем (1,4,-1), соответственно (0,1,0) переходит в (2,1,-2), а вектор (0,0,1) – в (-1,1,3).

Матрица линейного оператора:

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

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

Матрицу этого оператора можно найти двумя способами: с помощью обратной матрицы и с помощью системы уравнений.

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

Пример. Найти матрицу линейного оператора, отображающего базис

в систему векторов .

Здесь , , , и получаем:

Проверка осуществляется умножением получившейся матрицы на каждый вектор: .

Аналогично решаются подобные задачи и для трёхмерного пространства. В приложении (§5) есть несколько вариантов таких задач.

2.3. Прочие способы нахождения матрицы оператора.

Существуют также примеры, где линейный оператор задаётся другими способами, отличными от рассмотренных в п. 2.1 и 2.2.

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

Аналогично, ,

Координаты полученных векторов запишем в виде столбцов матрицы оператора.

Матрица оператора: .

Аналогично можно построить матрицу линейного оператора :

Пример. Линейный оператор дифференцирования в пространстве всех многочленов степени не более n. Это пространство размерности n + 1. Возьмём в качестве базиса элементы , , ,…, .

, , , аналогично получим ,…, .

Матрица этого линейного оператора:

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

Не нашли то, что искали? Воспользуйтесь поиском:

Лучшие изречения: Для студента самое главное не сдать экзамен, а вовремя вспомнить про него. 10219 – | 7588 – или читать все.

91.146.8.87 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.

Отключите adBlock!
и обновите страницу (F5)
очень нужно

Матрица линейного оператора

Определение 1. Если задан закон, который каждому вектору x?? ставит в соот ветствие вектор y . то говорят, что в линейном пространстве ? задан оператор A , при этом пишут:

Определение 2. Оператор A называется линейным, если для любых x 1 ?? и x 2 ?? и произвольного числа ? выполняются условия:

Рассмотрим теперь в евклидовом пространстве E n базис e 1 ,e 2 . e n и пусть в этом пространстве определён линейный оператор A : y = A x .

Разложим векторы x и y по базису e 1 ,e 2 . e n :

В силу линейности оператора A можно написать

Заметим, что каждый вектор , следовательно, его также можно разложить по базису e 1 ,e 2 . e n , т.е.

В силу единственности разложения по данному базису мы можем при равнять коэффициенты при базисных векторах в правых частях формул (1) и (2); тогда получим:

Получили, что линейному оператору A в данном базисе соответствует квадратная матрица

которая называется матрицей линейного оператора A , i -й столбец которой состоит из координат вектора Ae i (i = 1,2. n ) относительно данного базиса. Отметим, что матрица A оператора A зависит от выбора базиса e 1 ,e 2 . e n .

Итак, мы показали, что всякому линейному оператору A в евклидовом пространстве E n соответствует матрица A ; можно доказать и обратное утверждение: всякую квадратную матрицу A можно рассматривать как матрицу некоторого линейного оператора A в данном базисе e 1 ,e 2 . e n .

Представляют интерес невырожденные линейные операторы, т.е. такие операторы, матрицы которых имеют обратную A -1 , т.е. также являются невырожденными. В этом случае каждому вектору y (образу), определённому соотношением, отвечает единственный вектор x (прообраз) и при этом имеет место матричное равенство: X = A -1 ? Y .

Примеры линейных операторов

1. В пространстве 2-мерных векторов линейным оператором является правило

связывающее вектор-прообраз с вектором-образом

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

3. В пространстве многочленов P n (t) линейным оператором является операция умножения многочлена на независимую переменную t .

Пример: Известны образы базисных векторов E 3 под действием оператора A :

Найти матрицу этого оператора в исходном базисе.

Решение: По определению y = A x, значит в матричном виде можно записать, что A = X -1 Y . Для нашего примера получаем

Действия над операторами

Сложение линейных операторов. Пусть x?E n , A и B – два линейных оператора в этом пространстве.

Определение 1. Суммой линейных операторов A и B в E n называется оператор C, определяемый равенством Cx = A x + Bx , где x – любой вектор из E n .

Сумма линейных операторов является линейным оператором, причём его матрица C = A + B, где A и B – матрицы линейных операторов A и B .

Умножение линейного оператора на число. Пусть x?E n , линейный оператор A определён в E n , ? – некоторое число.

Определение 2. Произведением линейного оператора A на число ? называется оператор ?A , определяемый равенством .

?A является линейным оператором, а матрица этого линейного оператора получается из матрицы A умножением её на число ? , т.е. она равна ? ? A.

Умножение линейных операторов. Пусть x? E n , y ? E n , z ? E n и кроме того в E n определены линейные операторы A и B таким образом, что y = Bx, z = A y .

Определение 3. Произведением A ? B линейных операторов A и B называется оператор C, определяемый соотношением Cx = A (Bx) .

Таким образом, перемножение линейных операторов состоит в последовательном их применении по отношению к вектору x .

Рассмотрим матрицы – столбцы:

и обозначим через A, B и C – соответственно матрицы линейных операторов A, B и C. Тогда Z = A ? (B ? X) = (A ? B) ? X = C ? X , таким образом, C = A ? B, т.е. матрица произведения линей ных операторов также является линейным оператором.

a) (A ? B)(x + y) = A (B(x + y)) = A (Bx + By) = A (Bx) + A (By) = = (A ? B) ? x + (A ? B) ? y

б) (A ? B)(? x) = A (B(? x)) = A (?Bx) =?A (Bx) =? (A ? B)x

Свойства умножения линейных операторов вытекают из свойств умножения матриц.

Определение 4. Линейные операторы A и В называются равными, если . Равенство операторов обозначается как A = B .

Определение 5. Оператор E называется единичным (или тождественным) оператором, если каждому элементу x линейного пространства он ставит в соответствие тот же самый элемент, то есть

1. Понятие линейного оператора

Пусть R и S линейные пространства, которые имеют размерность n и m соответственно. Оператором A действующим из R в S называется отображение вида , сопоставляющее каждому элементу x пространства R некоторый элемент y пространства S. Для этого отображения будем использовать обозначение y= A(x) или y= Ax.

Определение 1. Оператор A действующий из R в S называется линейным, если для любых элементов x₁ и x₂ пространства R и любого λ из числового поля K выполняются соотношения

Если пространство S совпадает с пространством R, то линейный оператор, который действует из R в R называют линейным преобразованием пространства R.

Пусть заданы два векторных пространства n-мерный R и m-мерный S, и пусть в этих пространствах заданы базисы и соответственно. Пусть задано отображение

где A – m×n -матрица с коэффициентами из поля K. Тогда каждому элементу из R соответствует элемент y=Ax из S. Отображение (1) определяет оператор A. Покажем, что этот оператор обладает свойством линейности. Действительно, учитывая свойства умножения матриц, можно записать:

Покажем теперь обратное, т.е. что для любого линейного оператора A, отображающего пространство R в S и произвольных базисов и в R и S соответственно, существует такая матрица A с элементами из численного поля K, что определяемое этой матрицей линейное отображение (1) выражает координаты отображенного вектора y через координаты исходного вектора x.

Пусть x − произвольный элемент в R. Тогда

(3)

является разложением x в по базису .

Применим оператор A к базисным векторам :

(4)

где a_ij − координаты полученного вектора в базисе .

Тогда применяя оператор A к элементу x и учитывая (3) и (4), имеем

Сделаем следующее обозначение:

(6)

Тогда равенство (5) примет следующий вид:

(7)

Из равенства (7) следует, что любой элемент из пространства R при отображении оператором A, в пространстве S и в базисе имеет координаты y_i, i=1,2. m. В свою очередь, из (6) следует, что этим координатам соответствуют линейные комбинации координатов элемента x_j, j=1,2. n с коэффициентами a_ij i=1,2. m; j=1,2. n.

Построим матрицу A с элементами a_ij:

(8)

Тогда выражение (6) можно записать в матричном виде:

Матрица A называется матрицей линейного оператора в заданных базисах и .

2. Сложение линейных операторов

Пусть A и B два линейных оператора действующих из R в S и пусть A и B – mxn − матрицы соответствующие этим операторам.

Определение 2. Суммой линейных операторов A и B называется оператор C, определяемый равенством

где x∈R означает, что x принадлежит пространстве R.

Сумма линейных операторов обозначается так C=A+B. Легко убедится, что сумма линейных операторов также является линейным оператором.

Применим оператор C к базисному вектору e_j, тогда:

Ce_j= Ae_j+ Be_j=	n	(a_ij+b_ij) e_j
∑
j= 1

Следовательно оператору C отвечает матрица ,где i=1,2. m, j=1,2. n, т.е.

3. Умножение линейных операторов

Пусть заданы три линейных пространства R, S и T. Пусть линейный оператор B отображает R в S, а линейный оператор A отображает S в T.

Определение 3. Произведением операторов A и B называется оператор C, для которого выполняется следующее равенство при любом x из R:

Произведение линейных операторов обозначается C=AB. Легко убедится, что произведение линейных операторов также является линейным оператором.

Таким образом оператор C отображает пространство R в T. Выберем в пространствах R, S и T базисы и обозначим через A, B и C матрицы операторов A, B и C соответствующие этим базисам. Тогда отображения линейных операторов A, B, C

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

где x, y, z − векторы x, y, z − представленные в виде координатных столбцов. Тогда

Учитывая произвольность х, получим

Следовательно произведению операторов C=AB соответствует матричное произведение C=AB.

4. Умножение линейного оператора на число

Пусть задан линейный оператор A отображающий R в S и некоторое число λ из поля K.

Определение 4. Произведением оператора A на число λ называется оператор C, для которого выполняется следующее равенство при любом x из R:

Таким образом оператор C отображает пространство R в S. Выберем в пространствах R и S базисы и обозначим через A матрицу оператора A соответствующее этим базисам векторные равенства

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

где x, y, z − векторы x, y, z − представленные в виде координатных столбцов. Тогда

Учитывая произвольность х, получим

Следовательно произведению оператора C на число λ соответствует произведение матрицы A на число λ.

5. Нулевой оператор

Оператор, отображающий все элементы пространства R в нулевой элемент пространства S называется нулевым оператором и обозначается через O. Действие нулевого оператора можно записать так:

6. Противоположный оператор

Противоположным оператору A называется оператор −A удовлетворяющий равенству:

7. Ядро линейного оператора

Определение 5. Ядром линейного оператора A называется множество всех тех элементов x пространства R, для которых выполняется следующее равенство: Ax=0.

Ядро линейного оператора также называют дефектом оператора. Ядро линейного оператора обозначается символом ker A.

8. Образ линейного оператора

Определение 6. Образом линейного оператора A называется множество всех элементов y пространства R, для которых выполняется следующее равенство: y=Ax для всех x из R.

Образ линейного оператора обозначается символом im A.

9. Ранг линейного оператора

Определение 7. Рангом линейного оператора A обозначаемое символом rang A называется число равное размерности образа im A оператора A, т.е.: rang A=dim(im A).

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

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

Образом линейного отображения называется множество образов всех векторов из . Образ отображения обозначается или

Заметим, что символ следует отличать от — мнимой части комплексного числа.

Примеры ядер и образов линейных отображений

1. Ядром нулевого отображения является все пространство , а образом служит один нулевой вектор, т.е.

2. Рассмотрим отображение , которое ставит в соответствие каждому вектору n-мерного линейного пространства его координатный столбец относительно заданного базиса . Ядром этого отображения является нулевой вектор пространства , поскольку только этот вектор имеет нулевой координатный столбец . Образ преобразования совпадает со всем пространством , так как это преобразование сюръективно (любой столбец из является координатным столбцом некоторого вектора пространства ).

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

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

Свойства ядра и образа линейного отображения

1. Ядро любого линейного отображения является подпространством: .

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

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

Следовательно, множество является линейным подпространством пространства .

2. Образ любого линейного отображения является подпространством: .

В самом деле, докажем, например, замкнутость множества по отношению к операции умножения вектора на число. Если , то существует вектор такой, что . Тогда , то есть .

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

3. Ранг линейного отображения равен рангу его матрицы (определенной относительно любых базисов).

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

4. Линейное отображение инъективно тогда и только тогда, когда , другими словами, когда дефект отображения равен нулю: .

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

5. Линейное отображение сюръективно тогда и только тогда, когда , другими словами, когда ранг отображения равен размерности пространства образов: .

6. Линейное отображение биективно (значит, обратимо) тогда и только тогда, когда и одновременно.

Теорема (9.1) о размерностях ядра и образа. Сумма размерностей ядра и образа любого линейного отображения равна размерности пространства прообразов:

Действительно, пусть . Выберем в подпространстве базис и дополним его векторами до базиса всего пространства . Покажем, что векторы образуют базис подпространства .

Во-первых, , так как образ любого вектора линейно выражается через векторы

Во-вторых, образующие линейно независимы. Если их линейная комбинация равна нулевому вектору:

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

Таким образом, векторы образуют базис подпространства , а его размерность определяется количеством базисных векторов, т.е. , что равносильно (9.3).

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

Действительно, для обратимости преобразования (см. свойство 6) его матрица (размеров ) должна удовлетворять условиям (см. свойства 3,4,5):

Тогда по теореме 9.1 заключаем, что , т.е. матрица — квадратная n-го порядка и невырожденная , что и требовалось доказать.

Обратимые линейные отображения называются также невырожденными (имея в виду невырожденность их матрицы).

Линейные операторы

1. Понятие линейного оператора

Пусть x − произвольный элемент в R. Тогда

(3)

является разложением x в по базису .

Применим оператор A к базисным векторам :

(4)

где a_ij − координаты полученного вектора в базисе .

Тогда применяя оператор A к элементу x и учитывая (3) и (4), имеем

Сделаем следующее обозначение:

(6)

Тогда равенство (5) примет следующий вид:

(7)

Построим матрицу A с элементами a_ij:

(8)

Тогда выражение (6) можно записать в матричном виде:

Матрица A называется матрицей линейного оператора в заданных базисах и .

2. Сложение линейных операторов

Определение 2. Суммой линейных операторов A и B называется оператор C, определяемый равенством

где x∈R означает, что x принадлежит пространстве R.

Применим оператор C к базисному вектору e_j, тогда:

Ce_j= Ae_j+ Be_j=	n	(a_ij+b_ij) e_j
∑
j= 1

Следовательно оператору C отвечает матрица ,где i=1,2. m, j=1,2. n, т.е.

3. Умножение линейных операторов

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

где x, y, z − векторы x, y, z − представленные в виде координатных столбцов. Тогда

Учитывая произвольность х, получим

Следовательно произведению операторов C=AB соответствует матричное произведение C=AB.

4. Умножение линейного оператора на число

Пусть задан линейный оператор A отображающий R в S и некоторое число λ из поля K.

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

где x, y, z − векторы x, y, z − представленные в виде координатных столбцов. Тогда

Учитывая произвольность х, получим

Следовательно произведению оператора C на число λ соответствует произведение матрицы A на число λ.

5. Нулевой оператор

6. Противоположный оператор

Противоположным оператору A называется оператор −A удовлетворяющий равенству:

7. Ядро линейного оператора

8. Образ линейного оператора

Образ линейного оператора обозначается символом im A.

9. Ранг линейного оператора

[spoiler title=”источники:”]

http://mathhelpplanet.com/static.php?p=yadro-i-obraz-linyeinogo-otobrazheniya

http://matworld.ru/linear-algebra/linear-operator.php

[/spoiler]

Источник

Ядро линейного отображения — это такое линейное подпространство области определения отображения, каждый элемент которого отображается в нулевой вектор ^[1]^[2]. А именно: если задано линейное отображение ${displaystyle Lcolon Vto W}$ между двумя векторными пространствами V и W, то ядро отображения L — это векторное пространство всех элементов $mathbf{v}$ пространства V, таких что ${displaystyle L(mathbf {v} )=mathbf {0} }$ , где $mathbf {0}$ обозначает нулевой вектор из W^[3], или более формально:

${displaystyle ker(L)=left{mathbf {v} in Vmid L(mathbf {v} )=mathbf {0} right}.}$

Свойства[править | править код]

Ядро и образ отображения

Ядро отображения L — это линейное подпространство области определения V^[4].
В линейном отображении ${displaystyle Lcolon Vto W}$ два элемента V имеют один и тот же образ в W тогда и только тогда, когда их разность лежит в ядре отображения L:

${displaystyle L(mathbf {v} _{1})=L(mathbf {v} _{2})iff L(mathbf {v} _{1}-mathbf {v} _{2})=mathbf {0} .}$

Из этого следует, что образ L изоморфен факторпространству пространства V по ядру:

${displaystyle operatorname {im} (L)cong V/ker(L).}$

В случае, когда V конечномерно, из этого следует теорема о ранге и дефекте^[en]:

${displaystyle dim(ker L)+dim(operatorname {im} L)=dim(V),}$

где под рангом мы понимаем размерность образа отображения L, а под дефектом — размерность ядра отображения L^[5].

Если V является предгильбертовым пространством, факторпространство ${displaystyle V/ker(L)}$ можно отождествить с ортогональным дополнением к V пространства ${displaystyle ker(L)}$ . Это является обобщением линейных операторов пространства строк или кообраза матрицы.

Приложение к модулям[править | править код]

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

В функциональном анализе[править | править код]

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

Представление в виде матричного умножения[править | править код]

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

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

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

${displaystyle Amathbf {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$ — это то же самое, что и решение набора приведённых выше однородных уравнений.

Свойства подпространства[править | править код]

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

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

Пространство строк матрицы[править | править код]

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

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

Здесь ${displaystyle 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$ . Эти величины связаны теоремой о ранге и дефекте^[en]

${displaystyle operatorname {rank} (A)+operatorname {nullity} (A)=n.}$ ^[5]

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

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

Неоднородные системы линейных уравнений[править | править код]

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

${displaystyle Amathbf {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}$ являются решениями уравнения выше, тогда

${displaystyle A(mathbf {u} -mathbf {v} )=Amathbf {u} -Amathbf {v} =mathbf {b} -mathbf {b} =mathbf {0} .}$

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

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

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

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

Иллюстрация[править | править код]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

${displaystyle {begin{bmatrix}x\y\zend{bmatrix}}=c{begin{bmatrix}-1\-26\16end{bmatrix}}.}$

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

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

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

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

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

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

Примеры[править | править код]

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

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

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

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

Тогда ядро of L состоит из всех функций ${displaystyle fin C[0,1]}$ , для которых ${displaystyle f(0,3)=0}$ .

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

Тогда ядро of D состоит из всех функций в ${displaystyle C^{infty }(mathbb {R} )}$ , производная которых равна нулю, то есть из всех постоянных функций.

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

Тогда ядром оператора s будет одномерное подпространство, состоящее из всех векторов ${displaystyle (x_{1},0,0,dots )}$ .

Вычисления по методу Гаусса[править | править код]

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

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

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

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

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

${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&0end{array}},right].}$

Тогда

${displaystyle left[{begin{array}{c}A\hline Eend{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&1end{array}}right].}$

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

${displaystyle left[{begin{array}{c}B\hline Cend{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&1end{array}}right].}$

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

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

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

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

Численные вычисления[править | править код]

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

Точные коэффициенты[править | править код]

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

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

Вычисления с плавающей точкой[править | править код]

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

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

См. также[править | править код]

Ядро (алгебра)
Нуль функции
Пространство столбцов
Пространство функций^[en]
Альтернатива Фредгольма

Примечания[править | править код]

↑ The Definitive Glossary of Higher Mathematical Jargon — Null. Math Vault (1 августа 2019). Дата обращения: 9 декабря 2019.
↑ Weisstein, Eric W. Kernel. mathworld.wolfram.com. Дата обращения: 9 декабря 2019.
↑ Kernel (Nullspace) | Brilliant Math & Science Wiki. brilliant.org. Дата обращения: 9 декабря 2019.
↑ Линейная алгебра в том виде, как обсуждается в этой статье, является хорошо проработанной математической дисциплиной, для которой можно найти много книг. Почти весь материал статьи можно найти в лекциях Лея (Lay, 2005), Мейера (Meyer, 2001) и Стренга.
↑ ¹ ² Weisstein, Eric W. Rank-Nullity Theorem. mathworld.wolfram.com. Дата обращения: 9 декабря 2019.
↑ Archived copy. Дата обращения: 14 апреля 2015. Архивировано 29 августа 2017 года.

Литература[править | править код]

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

Ссылки[править | править код]

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

Источник

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

Примеры ядер и образов линейных отображений

Свойства ядра и образа линейного отображения

Матрица линейного оператора примеры

Построение матрицы по заданной формуле отображения.

Матрица линейного оператора

Примеры линейных операторов

Действия над операторами

1. Понятие линейного оператора

2. Сложение линейных операторов

3. Умножение линейных операторов

4. Умножение линейного оператора на число

5. Нулевой оператор

6. Противоположный оператор

7. Ядро линейного оператора

8. Образ линейного оператора

9. Ранг линейного оператора

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

Примеры ядер и образов линейных отображений

Свойства ядра и образа линейного отображения

Линейные операторы

1. Понятие линейного оператора

2. Сложение линейных операторов

3. Умножение линейных операторов

4. Умножение линейного оператора на число

5. Нулевой оператор

6. Противоположный оператор

7. Ядро линейного оператора

8. Образ линейного оператора

9. Ранг линейного оператора

Свойства[править | править код]

Приложение к модулям[править | править код]

В функциональном анализе[править | править код]

Представление в виде матричного умножения[править | править код]

Свойства подпространства[править | править код]

Пространство строк матрицы[править | править код]

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

Неоднородные системы линейных уравнений[править | править код]

Иллюстрация[править | править код]

Примеры[править | править код]

Вычисления по методу Гаусса[править | править код]

Численные вычисления[править | править код]

Точные коэффициенты[править | править код]

Вычисления с плавающей точкой[править | править код]

См. также[править | править код]

Примечания[править | править код]

Литература[править | править код]

Ссылки[править | править код]

Вам также может понравиться

Как найти пропавшую кошку на улице заговор

Как найти номер пассажира в яндекс такси

Как найти работу на дому для студентов

Добавить комментарий Отменить ответ