Ремонт принтеров, сканнеров, факсов и остальной офисной техники


назад Оглавление вперед




[221]

Множитель ( - 1)г+3 det(A[jjj) называется алгебраическим дополнением (cofactor) элемента а.

Следующие две теоремы (доказательства мы опускаем) указывают основные свойства определителя.

Теорема 31.4 (Свойства определителя)

Определитель квадратной матрицы А обладает следующими свойствами:

•Если в какой-либо строке или каком-либо столбце матрицы стоят одни нули, то её определитель равен 0.

•Если умножить все элементы какой-либо строки матрицы на некоторое число А, то её определитель умножится на А.

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

•Определители матриц А и АТ равны.

•При перестановке двух строк или столбцов матрицы её определитель меняет знак.

Если А и В - квадратные матрицы одинакового размера, то det(AB) = det(A) det(B). Теорема 31.5

Квадратная матрица А вырождена тогда и только тогда, когда det(A) = 0.

Положительно определённые матрицы

Матрица А размера га X га называется положительно определённой (positive-definite), если х1Ах > 0 для любого ненулевого вектора х размера га. Например, единичная матрица положительно определена, поскольку для вектора х = (ж1, ж2,... , хп)Т ф 0 мы имеем

ЖГ- Т у. - у.у. J. yi, * - *х * ъ

П 8 = 1

> 0.

Часто положительно определённые матрицы возникают так: Теорема 31.6

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

Покажем, что хт(АтА)х > 0 для произвольного ненулевого век-


тора ж. В самом деле,

хТ(АТА)х = (Ах)1 (Ах)(Упражнение 31.1-3)

= \\Ах\\2(31.8)

> О

Выражение Аж2 представляет собой сумму квадратов элементов вектора Ах. Если Аж2 = 0, то все элементы вектора Ах равны О, то есть Ах = 0. Но А - матрица полного столбцового ранга, поэтому по теореме 31.2 отсюда следует, что ж = 0.

Другие свойства положительно определённых матриц указаны разделе 31.6.

Упражнения

31.1-1

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

31.1-2

Пусть Р и А - (га X га) матрицы, причём Р - матрица перестановки. Докажите, что матрица РА получается из А перестановкой строк, а АР - перестановкой столбцов. Докажите, что произведение двух матриц перестановки снова будет матрицей перестановки. Докажите, что если Р - матрица перестановки, то Р обратима, Р~г = Рт, и Рт также является матрицей перестановки.

31.1-3

Докажите, что (АВ)Т = ВтАт. Докажите, что матрица АтА является симметрической для любой матрицы А. 31.1-4

Докажите, что обратная матрица единственна: если матрицы В и С являются обратными к матрице А, то В = С. 31.1-5

Пусть даны (га X га)-матрицы А и В, для которых AB = I. Пусть А получается из А прибавлением j-й строки к г-й. Докажите, что матрица В, обратная к А, может быть получена вычитанием г-го столбца из j-ro в матрице В.

31.1-6

Пусть А - комплексная (га X га)-матрица. Докажите, что все элементы А-1 будут вещественными в том и только том случае, если вещественны все элементы А.

31.1-7

Покажите, что если невырожденная матрица А является симметрической, то матрица А-1 тоже будет симметрической. Покажите, что для всякой матрицы В надлежащего размера матрица


ВАВТ будет симметрической. 31.1-8

Покажите, что для матриц полного столбцового ранга, и только для них, из равенства Ах = 0 следует равенство х = 0. (Указание. Запишите условие линейной зависимости столбцов как матричное уравнение.)

31.1-9

Докажите, что для любых матриц Ап В согласованных размеров

rank(AB) mm(rank(A), гапк(В)),

причём это неравенство обращается в равенство, если одна из матриц квадратная и невырожденная, (Указание. Воспользуйтесь вторым определением ранга.) 31.1-10

Матрицей Вандермонда (Vandermonde matrix) называется матрица

V(x0,

-п-1 J

Л

1

Vi

Xq х\

r-n-l

-п-1

.Г1

„п-1

Докажите, что

det(V(x0, xi,

-п-1

))

П <

O.j.k.n-1

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

31.2. Алгоритм Штрассена умножения матриц

В этом разделе излагается открытый Штрассеном рекурсивный алгоритм, умножающий две га X га матрицы за время 0(ralg7) = О (га2,81). При достаточно больших га он работает быстрее простейшего алгоритма Matrix-Multiply из раздела 26.1.

Общая схема алгоритма.

Алгоритм Штрассена действует по принципу «разделяй и властвуй». Пусть нужно вычислить произведение двух (га X га)-матриц С = АВ. Предположив, что га является точной степенью 2, разделим каждую из матриц А,В и С на 4 блока размера (га/2 X га/2). Перепишем равенство С = АВ следующим образом:

:) -1) 0") • (3l9)



[стр.Начало] [стр.1] [стр.2] [стр.3] [стр.4] [стр.5] [стр.6] [стр.7] [стр.8] [стр.9] [стр.10] [стр.11] [стр.12] [стр.13] [стр.14] [стр.15] [стр.16] [стр.17] [стр.18] [стр.19] [стр.20] [стр.21] [стр.22] [стр.23] [стр.24] [стр.25] [стр.26] [стр.27] [стр.28] [стр.29] [стр.30] [стр.31] [стр.32] [стр.33] [стр.34] [стр.35] [стр.36] [стр.37] [стр.38] [стр.39] [стр.40] [стр.41] [стр.42] [стр.43] [стр.44] [стр.45] [стр.46] [стр.47] [стр.48] [стр.49] [стр.50] [стр.51] [стр.52] [стр.53] [стр.54] [стр.55] [стр.56] [стр.57] [стр.58] [стр.59] [стр.60] [стр.61] [стр.62] [стр.63] [стр.64] [стр.65] [стр.66] [стр.67] [стр.68] [стр.69] [стр.70] [стр.71] [стр.72] [стр.73] [стр.74] [стр.75] [стр.76] [стр.77] [стр.78] [стр.79] [стр.80] [стр.81] [стр.82] [стр.83] [стр.84] [стр.85] [стр.86] [стр.87] [стр.88] [стр.89] [стр.90] [стр.91] [стр.92] [стр.93] [стр.94] [стр.95] [стр.96] [стр.97] [стр.98] [стр.99] [стр.100] [стр.101] [стр.102] [стр.103] [стр.104] [стр.105] [стр.106] [стр.107] [стр.108] [стр.109] [стр.110] [стр.111] [стр.112] [стр.113] [стр.114] [стр.115] [стр.116] [стр.117] [стр.118] [стр.119] [стр.120] [стр.121] [стр.122] [стр.123] [стр.124] [стр.125] [стр.126] [стр.127] [стр.128] [стр.129] [стр.130] [стр.131] [стр.132] [стр.133] [стр.134] [стр.135] [стр.136] [стр.137] [стр.138] [стр.139] [стр.140] [стр.141] [стр.142] [стр.143] [стр.144] [стр.145] [стр.146] [стр.147] [стр.148] [стр.149] [стр.150] [стр.151] [стр.152] [стр.153] [стр.154] [стр.155] [стр.156] [стр.157] [стр.158] [стр.159] [стр.160] [стр.161] [стр.162] [стр.163] [стр.164] [стр.165] [стр.166] [стр.167] [стр.168] [стр.169] [стр.170] [стр.171] [стр.172] [стр.173] [стр.174] [стр.175] [стр.176] [стр.177] [стр.178] [стр.179] [стр.180] [стр.181] [стр.182] [стр.183] [стр.184] [стр.185] [стр.186] [стр.187] [стр.188] [стр.189] [стр.190] [стр.191] [стр.192] [стр.193] [стр.194] [стр.195] [стр.196] [стр.197] [стр.198] [стр.199] [стр.200] [стр.201] [стр.202] [стр.203] [стр.204] [стр.205] [стр.206] [стр.207] [стр.208] [стр.209] [стр.210] [стр.211] [стр.212] [стр.213] [стр.214] [стр.215] [стр.216] [стр.217] [стр.218] [стр.219] [стр.220] [стр.221] [стр.222] [стр.223] [стр.224] [стр.225] [стр.226] [стр.227] [стр.228] [стр.229] [стр.230] [стр.231] [стр.232] [стр.233] [стр.234] [стр.235] [стр.236] [стр.237] [стр.238] [стр.239] [стр.240] [стр.241] [стр.242] [стр.243] [стр.244] [стр.245] [стр.246] [стр.247] [стр.248] [стр.249] [стр.250] [стр.251] [стр.252] [стр.253] [стр.254] [стр.255] [стр.256] [стр.257] [стр.258] [стр.259] [стр.260] [стр.261] [стр.262] [стр.263] [стр.264] [стр.265] [стр.266] [стр.267] [стр.268] [стр.269] [стр.270] [стр.271] [стр.272] [стр.273] [стр.274] [стр.275] [стр.276] [стр.277] [стр.278] [стр.279] [стр.280] [стр.281] [стр.282] [стр.283] [стр.284] [стр.285] [стр.286] [стр.287] [стр.288] [стр.289] [стр.290] [стр.291] [стр.292] [стр.293] [стр.294]