Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Алгебра / Лекции_Семестр_1.doc
Скачиваний:
204
Добавлен:
23.02.2015
Размер:
2.49 Mб
Скачать

§21.Матрицы и действия над ними. Линейное пространство матриц

Матрицей nm называется прямоугольная таблица , где аij – принадлежат некоторому числовому полю K и называются элементами матрицы A или матричными элементами А. Иногда пишут Аnm. Здесь индексы определяют размеры матрицы А (1й – количество строк, 2й – количество столбцов). Матрицы А и В называются равными (А = В), если их размеры совпадают и аij = bij.

На множестве матриц одинаковых размеров можно определить операцию сложения: C = A + B так, что cij = аij + bij, и операцию умножения на скаляр из внешнего поля К: D = Adij = аij.

1. Множество матриц Аnm с так определенными операциями поэлементного сложения и умножения на скаляр образуют линейное пространство Кnm. Доказать самостоятельно.

При этом dimKnm = nm, а базис образуют матрицы Eij , у каждой из которых элемент, стоящий на пересечении i-ой строчки и j-ого столбца равен 1, а остальные элементы равны 0. Нейтральным элементом является матрица  у которой все элементы равны 0.

Если у матрицы Аnm n = m ,то матрица А называется квадратной, а число n называют порядком этой матрицы. При этом если для еe элементов аij = аji – матрица называется симметрической (или симметричной), а если аij = –аji, то матрица называется кососимметрической (или кососимметричной).

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

◀ Пусть матрица Аnm задана своими элементами: Anm = (аij), i = 1, 2, …, n, j = 1, 2, …, m. Построим матрицы Snm и элементы, которых связаны саij следующими соотношениями . При этомsij = sji и . Т.е. матрицыSnm и соответственно симметричная и кососимметричная. Кроме того

, т.е. А = S +.▶

3. Множество симметричных (кососимметричных) матриц порядка n образуют линейное пространство. Самостоятельно установите базис и размерность этих пространств.

§22. ЕщЕ действия над матрицами

а) Произведение матриц Сnk = AnmBmk определим по правилу: cij =(это правило в обиходе называется: умножение строка на столбец).

Пример: , но. Из определения произведения матриц ясно, что матрицы можно умножать не всегда, а только если количество элементов в строке 1ой матрицы и количество элементов в столбце 2ой матрицы совпадают. Кроме того, видно, что операция умножения матриц, вообще говоря, не коммутативна.

Можно отметить следующие свойства операции умножения матриц:

а1) А(ВС) = (АВ)С – ассоциативный закон;

а2) А(В + С) = АВ + АС – левый и

а3) (А + В)С = АС + ВС правый дистрибутивные законы.

Def: Если в линейном пространстве V над полем К, корректным образом, введена еще одна внутренняя операция, удовлетворяющая свойствам:

⊙(ху) = (⊙х)⊗у = х⊗(⊙у);

х⊗(уz) = (ху)⊗z; 3) (х у)⊗z = хz уz,

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

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

б) Транспонирование матриц АТ=аji.

Пример: .

Свойства операции транспонирования:

б1) (А)Т = АТ;

б2) (А + В)Т = АТ + ВТ;

б3) (АВ)Т = АТВТ.

в) Для матриц с комплексными элементами – операция комплексного сопряжения. .

г) Для матриц с комплексными элементами – операция эрмитового сопряжения. (для операции эрмитового сопряжения, математики чаще употребляют значокА*, а физики А+).

Свойства операции эрмитового сопряжения:

г1) ; г2); г3);

г4) ; г5).

Примеры: ;;;.

Элементы а11, а22, …, ann – называются диагональными (главными диагональными) элементами матрицы.

Если i > j aij = 0 матрица называется матрицей нижнего треугольного вида, если i < j aij = 0 – матрицей верхнего треугольного вида:

; .

нижний верхний

треугольный треугольный

вид вид

Примечание: Если А* = А, то матрица называется эрмитовой (самосопряженной).

В вещественном пространстве матрица А, удовлетворяющая условию: ААТ = АТА = Е называется ортогональной, а комплексном пространстве – унитарной.

Соседние файлы в папке Алгебра