Академический Документы
Профессиональный Документы
Культура Документы
Пример:
Теорема. (Свойства сложения матриц.) Обозначим через множество всех столбцов высоты
Множество относительно сложения является n с элементами из поля K.
абелевой группой.
Следствие. Множество является векторным
Другими словами, сложение матриц подчиняется пространством над полем K.
следующим законам:
1) ассоциативность: справедливо Определение. Векторное пространство называется
равенство ; арифметическим векторным пространством столбцов
2) существование нулевой матрицы: высоты n.
– нулевая матрица, такая, что
верны равенства ;
3) существование противоположной матрицы:
, : п.4. Умножение матриц.
; Определение. Произведением строки длины n на столбец
4) коммутативность: высоты n называется скаляр, вычисляемый по правилу:
.
Обозначение: . Пример.
Пример:
Определение. Произведением матрицы
,
размера на матрицу размера
называют матрицу размера , где
.
элемент является результатом произведения – й
строки матрицы А на – й столбец матрицы В для всех
Замечание. Легко видеть, что умножив матрицу на (–1) значений индексов , ,
мы получаем противоположную матрицу: т.е.
.
Определение. Квадратную матрицу – го порядка Замечание. Для квадратных матриц одного порядка
называют единичной матрицей n-го порядка и выполняются все 12 свойств. Это говорит о том, что
обозначают буквой Е, если для любой квадратной множество всех квадратных матриц одного и того же
матрицы А – го порядка справедливо равенство: порядка образует алгебру матриц над полем К.
.
Замечание. Умножение матриц не обладает свойством
коммутативности. Для доказательства достаточно
Множество всех квадратных матриц n-го порядка будем
привести один контрпример.
обозначать через .
Теорема. Множество содержит единичную матрицу Пусть , . Тогда ,
n-го порядка, которой является матрица .
Аналогичный пример можно привести для квадратных
матриц любого порядка.
. Последнее равенство говорит о том, что квадратные
матрицы имеют делители нуля.
Следствие. Множество всех квадратных матриц n-го
порядка над полем K является некоммутативным кольцом
Доказательство этой теоремы предоставляется с единицей и с делителями нуля.
читателю. Доказательство. На множестве всех квадратных
матриц n-го порядка над полем K определены две
Теорема. Единичная матрица Е является единственной в
операции: сложение матриц и их умножение, которые
множестве . подчиняются законам 1) – 4) и 9) – 11), откуда и следует,
Доказательство. Пусть еще одна единичная по определению, что является кольцом с единицей
матрица. Тогда, по определению, (см. лекцию 1, п.14 и п.15). Пример, приведенный перед
. Положим , тогда формулировкой данного следствия, показывает, что
кольцо имеет делители нуля.
. Далее, по определению,
Следствие доказано.
. Положим здесь .
Определение. Натуральной степенью квадратной Доказательство. 1) Пусть А и В – обратимые матрицы и
, – обратные к ним. Покажем, что
матрицы А называется матрица . произведение является матрицей обратной к
произведению :
Нулевую степень квадратной матрицы А – го
порядка по определению полагают равной единичной
матрице того же порядка: . .
Аналогично получаем .
п.5. Обратная матрица. Следовательно, матрица АВ имеет обратную и
Определение. Матрица В называется обратной по . Отсюда следует, что матрица АВ
отношению к матрице А, если
. является обратимой, т.е. , ч.т.д.
2) Так как , то по определению, , т.е.
Из определения следует, что если матрица А имеет единичная матрица имеет обратную и, следовательно,
обратную, то обе они должны быть квадратными единичная матрица является обратимой и .
матрицами одного порядка.
3) Действительно, из определения следует, что матрица А
Из определения следует, что если матрица В является
обратной по отношению к матрице А, то и матрица А является обратной по отношению к матрице ,
является обратной по отношению к матрице А. следовательно, матрица обратимая и .
Более того, в силу единственности обратной матрицы
Определение. Матрица имеющая обратную матрицу следует, что
называется обратимой.
.
Теорема. Если квадратная матрица А имеет обратную, то Теорема доказана.
она единственная.
Доказательство. Пусть В и С – две матрицы обратные к Следствие. Множество является некоммутативной
матрице А. Тогда и . группой относительно умножения.
Имеем, Доказательство. На множестве умножение
, ч.т.д. матриц является внутренней бинарной алгебраической
Теорема доказана. операцией, поэтому осталось лишь проверить аксиомы
группы.
Заметим, что точно также доказывается единственность 1) Ассоциативность умножения в множестве
симметричного элемента в любой полугруппе при
выполняется потому что умножение квадратных матриц
условии его существования.
ассоциативно (см теорему о свойствах умножения
матриц).
Обозначение: если матрица А обратимая, то обратная к
Далее, в предыдущей теореме доказано, что:
ней обозначается (мы можем это сделать в силу ее
2) единичная матрица ;
единственности) через .
3) существует обратная ей .
Заметим, что если матрица А обратимая, то обратная к Следствие доказано.
ней матрица также является обратимой.
Определение. Обратимая квадратная матрица называется
Обозначение. Множество всех обратимых матриц n-го также неособой или невырожденной. Если квадратная
порядка над полем K обозначается через матрица не имеет обратной, то она называется особой
. или вырожденной.