У этого термина существуют и другие значения, см.
Ядро.
Ядро в алгебре — характеристика отображения , обозначаемая , отражающая отличие от инъективного отображения, обычно — множество прообразов некоторого фиксированного (нулевого, единичного, нейтрального) элемента . Конкретное определение может различаться, однако для инъективного отображения множество всегда должно быть тривиально, то есть состоять из одного элемента (как правило, нейтрального элемента из ).
Если множества и обладают некоторой структурой (например, являются группами или векторными пространствами), то также должно обладать этой структурой, при этом различные формулировки
основной теоремы о гомоморфизме связывают
образ и
фактормножество .
Ядро линейного отображения
Ядром линейного отображения называется прообраз нулевого элемента пространства :
- .
является подпространством в . Оно всегда содержит нулевой элемент пространства . Согласно
основной теореме о гомоморфизме
, образ
изоморфен факторпространству по ядру
:
- .
Соответственно,
размерность
образа пространства равна разности размерностей пространства и ядра отображения, если размерность
конечна:
- ,
а прообраз любого вектора определён с точностью до прибавления вектора из ядра:
- , ().
Всякий базис ядра называется фундаментальной системой решений.
Теория матриц
Любую прямоугольную матрицу размера , содержащую элементы поля (в частности,
вещественные числа
), можно рассматривать как линейный оператор
умножения векторов слева на матрицу:
- ().
Таким образом, результаты теории конечномерных линейных пространств целиком переносятся на работу с матрицами. В частности, систему линейных уравнений с неизвестными:
можно рассматривать как задачу поиска прообраза вектора , а задача о решении однородной системы уравнений () сводится к поиску ядра отображения .
Пример
Пусть будет линейным отображением и:
- .
Тогда его ядро является векторным подпространством:
- .
Гомоморфизм групп
Если — гомоморфизм между группами, то образует нормальную подгруппу .
Гомоморфизм колец
Если — гомоморфизм между кольцами, то образует идеал кольца .
См. также
Литература
- Винберг Э. Б. Курс алгебры. — 3-е изд. — Москва: Факториал Пресс, 2002. — 544 с. — 3000 экз. — ISBN 5-88688-060-7.