
книги / Основы теории оценивания с приложениями к задачам обработки навигационной информации. Ч. 1 Введение в теорию оценивания
.pdfИз приведенного определения следует, что операция умножения кор ректна только в случае, когда число столбцов матрицы, стоящей в произ ведении на первом месте, равно числу строк матрицы, стоящей на втором месте, т.е. когда
|
|
|
С = АВ, |
|
(П1.1.16) |
и имеет следующую структуру: |
А |
|
|
||
г |
С |
|
|
В |
|
-с\\ |
с \т |
- а\\ |
а\\- |
|
|
|
|
|
|
b n |
Ь\т |
|
|
|
|
|
|
т |
= |
11 * |
и |
|
|
|_с н1 |
с |
_ап\ |
ап1_ |
. b n |
b,m. |
и/Ш1 J |
|
|
V___
Будем говорить, что в этом случае размерности матриц согласова ны. В результате умножения 1 х п строки ат на /г х 1 столбец b получа
ем скаляр, в то время как умножение столбца b на строку |
а дает квад |
|
ратную матрицу, т.е. |
|
|
~ V i |
ь\ ап |
|
Ьат= |
|
(П1.1.17) |
Ьпах |
Ь„а„ |
|
Величину |
|
|
aTa =^ a f |
=||а|| |
(П1.1.18) |
/=1 |
|
|
будем называть нормой вектора а , a ^jjô| |
его модулем. С другими оп |
ределениями нормы вектора, а также нормы матрицы можно ознакомить ся в работе [8].
В общем случае операция умножения матриц некоммутативна, т.е.
А В ф ВА.
Если операция перестановки справедлива, то матрицы называют коммутативными.
Из сказанного с очевидностью следует, что ата = Sp(aaT) .
При выполнении операций умножения блочных матриц можно ис пользовать правила для обычных матриц, т.е.
с\\ С,21 |
\Аи |
а12\Г " |
5,2 |
А] | Z?i | + А \ 2 ^ 2 \ |
-^11^12 *^12^22 1 |
|||
^21 |
С22 |
J |
" U , |
1U . |
522. |
.^ 2 1 ^ 1 1 + ^ 2 2 ^ 2 1 |
^ 2 1 ^ 1 2 + ^ 2 2 ^ 2 2 J |
|
|
-г Г- |
|
||||||
|
|
|
|
1 |
1 |
|
|
|
Здесь важно иметь в виду, что при выполнении этих операций раз
мерности перемножаемых блоков должны быть согласованы. |
|
||
Определитель или детерминант квадратной матрицы |
А - М |
раз |
|
мерности |
п вводится через определители матриц размерности |
п -1 |
|
с помощью следующего выражения: |
|
|
|
|
det04)= £ aXjAX, |
(П1.1.19) |
|
|
7=1 |
|
|
в котором |
A \j - алгебраические дополнения, т.е. определители поряд |
ка п - 1, получаемые вычеркиванием 1 -й строки и j -го столбца и умно
жением на ( - 1)!+7
Аналогичное представление может быть получено для произвольной /-й строки
detO O = Z |
ауAy, |
7=1 |
|
в котором Ау - определители порядка |
п - 1 , получаемые вычеркивани |
ем i -й строки и j -го столбца и умножением на (—l)1^
К примеру, для двухмерной матрицы легко получить
det |
aU |
а12Л |
Va 21 |
=а\\а22 —a2ia\2 ■ |
|
|
а22; |
|
Для определителя также используется обозначение |
||
|
|
det(^) = |Д |. |
Квадратная матрица называется невырожденной или несингуляр ной, если ее определитель отличен от нуля, т.е.
det(y4) = |д| * 0.
В противном случае матрица называется вырожденной или сингу лярной.
Введем сокращенное обозначение для определителей, составленных из элементов прямоугольной п х m матрицы
|
|
/ . |
|
|
V ï |
ai\k2 |
й‘\кр |
|
|
|
|
ai2k\ |
а'2к2 |
% кР |
|
|
|
h i2 ...ip |
|||||
|
|
А = klk2...kp) |
|
|
|
||
|
|
|
|
|
°>рк1 |
V 2 |
aipkp |
Такой |
определитель |
называется минором |
р -го порядка, если |
||||
1 < /] < /*2 |
<... < ip ^ п |
и |
1 <кх<к2 <... < кр < т |
Миноры, у которых |
|||
/] = кх, /2 = к2 |
= к |
, называются главными. |
|
Наибольший из порядков, отличных от нуля миноров, порождаемых матрицей, называется рангом матрицы. Если г - ранг прямоугольной
п х т матрицы, то очевидно, что г < п, т |
|
п х п матри |
||||||
Обратная матрица. Пусть задана невырожденная |
||||||||
ца i4 = {flÿj. Обратной |
матрицей |
А~1 называется такая, |
для |
которой |
||||
справедливо следующее соотношение: |
|
|
|
|||||
|
|
|
|
АА~1=Е |
|
|
(П1.1.20) |
|
Обозначим обратную матрицу как А~1= В = |б,у}. |
|
|
||||||
Для элементов |
обратной |
матрицы |
справедливо |
соотношение |
||||
[8, с.345] |
|
А,- |
|
|
|
|
|
|
Ь!; - |
, det(А) - û| i/4| 1 +.. + а]пА1п, |
(П1.1.21) |
||||||
. \ . |
||||||||
ч |
|
det(А) |
|
|
|
|
|
|
в котором Aji - алгебраические дополнения. |
|
|
|
|||||
К примеру, для двухмерной матрицы легко получить |
|
|
||||||
Ч . |
а]2л |
|
1 |
г |
|
|
||
ка2\ |
а22 j |
аПа22 ~ а2\а\2 |
|
|
Заметим, что для обратной матрицы
А 1А =Е , т.е. прямая и обратная матрицы коммутативны. Ортогональная матрица. Квадратная матрица А называется орто
гональной при условии, что
ААТ =Е |
(П1.1.22) |
Характеристическим многочленом квадратной матрицы А называ
ется многочлен |
|
р{\) =det(А -ХЕ). |
(П1.1.23) |
К примеру, для двухмерной матрицы этот многочлен имеет вид
р(Х) = det(A - XE) = aи - * |
a \2 |
= x2 — ( t f 11 + ^ 2 2 ) ^ ^ 1 1 ^ 2 2 ~ ^ 12^21 * |
a 2\ |
fl 22 |
|
Характеристическое уравнение определяется как р(Х) = det(/J - XE) = 0 .
Собственные значения матрицы. Собственными значениями квад ратной матрицы А размерности п называются п корней ее характери
стического уравнения |
|
р(к) = det(>4 - ХЕ) - 0 . |
(П1.1.24) |
Совокупность всех п собственных чисел называется спектром мат
рицы.
Собственным вектором квадратной матрицы А называется такой
вектор .V, для которого выполняется следующее равенство: |
|
Ах = Хх, |
(П 1.1.25) |
т.е. (А - ХЕ)х = О , где X - собственное число. |
|
Это равенство означает, что умножение матрицы на такой вектор не меняет его направления. Поскольку характеристическое уравнение мат рицы размерности п имеет п корней, соответственно для каждого корня (собственного числа) будет свой собственный вектор. Таким образом, матрица имеет п собственных чисел и собственных векторов. Сущест венно, что некоторые из собственных чисел могут между собой совпа дать, а одному и тому же собственному значению может соответствовать несколько различных собственных векторов. Задача их нахождения из вестна как проблема собственных чисел.
Преобразование подобия. Пусть заданы две квадратные п х п мат
рицы А и С , причем матрица С не вырождена. Определим квадратную
матрицу В как |
|
B = CÂC~l |
(П 1.1.26) |
Матрицы В и А называются подобными матрицами, а матрица С преобразованием подобия. Нетрудно убедиться в том, что подобные матрицы имеют одинаковые характеристические многочлены. Действи тельно,
det(5 - ХЕ) = det(G4C-1 - ХСС~х) = det(^ - ХЕ) det(C) det(C“‘) = = det(i4 - ХЕ) det(CC-1 ) = det(y« - ХЕ).
Отсюда вытекает, что подобные матрицы имеют одинаковые собст венные числа. Можно показать, что собственные векторы таких матриц будут также совпадать между собой.
Легко убедиться в том, что определитель и след квадратной матрицы
А могут быть представлены с использованием собственных чисел, т.е.
7>Л = 5 > , |
(П 1.1.27) |
1=1 |
|
П |
|
det(^) =]7Х>-/ |
(П1.1.28) |
/=1
Отсюда следует, что определители и следы подобных матриц одинаковы. Диагонализацпя симметричных матриц. Симметричная матрица А всегда с помощью ортогонального преобразования подобия может быть приведена к диагональному виду, т.е. всегда можно найти такую ортого
нальную матрицу
ТтТ =Е, Тт=[f, |
tj |
f„], |
(П1.1.29) |
для которой |
|
|
|
ТАГ |
j= U i, |
|
(П1.1.30) |
где hj jj y j = 1 .п - собственные числа и собственные векторы матрицы
А, т.е. |
|
|
II |
>— |
(П1.1.31) |
|
||
причем |
|
|
Здесь величина ôÿ представляет собой символ Кронекера |
|
|
8.у = j 1’ l ~ j ’ |
|
(П1.1.32) |
Последнее условие означает дополнительное требование, наклады ваемое на значение модулей собственных векторов, т.е. их модули долж ны быть равны единице.
Важно заметить, что возможность преобразовать матрицу к диаго нальному виду в общем случае, когда матрица не является симметрич ной, существует не всегда. Однако произвольную квадратную матрицу можно преобразовать к другим матрицам специального (говорят еще нормального или канонического) вида, таким, например, как матрица Жордана, матрица Фробениуса и т.д. [3,8].
Квадратичная форма. Пусть заданы квадратная матрица А и вектор х размерности п . Квадратичной формой называется выражение
у =хтА х. |
(П1.1.33) |
Квадратичная форма называется положительно определенной в случае, если при любых отличных от нуля значениях вектора х величина квадратичной формы положительна, т.е.
у = хтАх > О, при х * 0. |
(П1.1.34) |
Матрицу А в этом случае называют положительно определенной. Если знак строгого неравенства заменить на > , то тогда квадратичная
форма и соответствующая ей матрица будут называться неотрицательно определенными.
Если знак в неравенстве заменить на противоположный, то получим отрицательно определенную квадратичную форму и матрицу.
Матричные неравенства. Говорят, что квадратная матрица А боль ше другой квадратной матрицы В при условии, если неравенства
хтАх > хтВх > О |
(П1.1.35) |
или хт {А - В)х > 0 справедливы при отличных от нуля значениях вектора а* Аналогично можно ввести и другие типы неравенств.
Можно показать, что в случае, когда выполняется какое-то неравенст во для матриц, то такое же неравенство будет справедливо и для их соб ственных чисел. Так, если все собственные числа квадратной матрицы А положительны или неотрицательны (отрицательны или не положитель
ны), т.е. Ху >0 или Ху >0 (Ху <0 или Ху <0), j =l./z, то соответ
ствующие неравенства будут справедливы и для самой матрицы, т.е. А > 0 или А > 0 ( А <0 или А < 0 ).
Функции от матриц. Некоторые функции от квадратных матриц мо
гут быть введены с помощью степенных рядов. Матрица Ат степени т определяется как
Ат =А-А... А. |
(П1.1.36) |
4-----V 1"1
т
Используя это определение, можно ввести, например, матричную
экспоненту, задаваемую в виде |
|
|
^ = е х р (Л ) = Х |
4 |
(П1.1.37) |
1=0 |
11 |
|
Функции f(A) от симметричных матриц могут быть введены и ина
че. Для этого сначала матрицу А с помощью ортогонального преобразо вания сводят к диагональному виду, т.е. получают представление
T A T T =K = \^J \ j = U ,
из которого следует, что А = ТТАТ Далее f(A) определяют как
где /(Л ) = {дА.у)} у' = 1 .//
Можно показать, что введенное таким образом определение будет совпадать с определением с помощью разложения в ряд [8 , 2 0 ].
Производная и интеграл матрицы, элементы которой зависят, на пример, от времени, т.е. A(t) = {я,у(/)},/ = 1 ji,j =1./;?, представляют собой
|
À(t) = \cijj(/“)},i =1 y -1 .ni либо J"t |
f |
Л |
матрицу |
A(x)dx =•j"t |
ay(x)dx>, |
|
|
0 |
1.0 |
|
i = 1 ./7 ,7 |
= I./// с элементами в виде производной или интеграла от эле |
ментов исходной матрицы.
Можно также ввести производную скалярной функции s(x) но векторному аргументу
|
ds(x) _ |
ds(x) |
ds(x) |
|
(П 1.1.39) |
|
|
dxr |
_ |
дхх |
дхп |
|
|
|
|
|
||||
_ |
ds(x) |
|
|
|
|
|
Запись-------будет означать |
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
&(*) |
|
|
|
|
ds{x) |
|
дх\ |
|
|
|
|
|
|
|
|
(П1.1.40) |
|
|
dx |
|
|
|
|
|
|
|
ds(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
дх„ |
|
|
|
таким образом, |
|
|
|
|
|
|
|
ds(x) _ |
ds(x) |
|
|
(П1.1.41) |
|
|
dx |
L dxT |
|
|
||
|
|
|
|
|||
Отсюда следует, что |
|
|
|
|
|
|
|
d2s{x) |
d2s(x) |
|
|
|
|
|
дх\дх\ |
dx[dxn |
d2s{x) |
d 2s(x) |
" I T |
|
d2s(x) _ d ds(x) |
|
|
(П1.1.42) |
|||
dxdxT |
~dx[ dxT |
|
|
dxdxT |
dxTdx |
|
d2s(x) |
|
|||||
|
d2s(x) |
|
|
|
||
|
ôxndxx |
dx„dxn |
|
|
|
где Р А Ру , Рху - п х п , т х т и п х т матрицы, причем для Рх
рУ существуют обратные матрицы. В этом случае обратная матрица Р -1 определяется как
А |
В |
(П1.1.47) |
р - \ |
С |
|
ВТ |
|
где
р х _ р х у ^ р у j 1р у х
В = - р х - р*У[ру )~’ РухJ ' р ху(ру )-1
С= \рУ —Рух{р х)-1 Рху1 1
Справедливы также следующие соотношения:
л = (р *)- 1 + (р х) '1р ^ с р - >а(рЛ')“ 1
В= -АР" (р- )■' = ~(рх)'' РхуС ,
С= [ру )“l + (p-v)_1 Р ухАРху (Ру )_1
Втабл. П1.1.1 представлены некоторые полезные матричные соотно шения. В частности, так называемая лемма об обращении матриц [50, с. 216]
[р-1 + # ТР -1# ] -1 = Р -Р Н Г{НРНТ + яУ ЯР, |
(П1.1.48) |
||
где P, R - квадратные невырожденные матрицы размерности |
п и m ; |
||
Н - тхп матрица. |
|
|
|
Из этой леммы следует, что |
|
|
|
[р-1 + Р -1]"1= Р - Р ( Р + Р)-1Р , |
(П1.1.49) |
||
а также |
|
|
|
\r*E +q* i \ ' = \ Е - |
2 |
Л |
(П1.1.50) |
? — |
I |
||
щ |
+ Г |
; |
|
Последнее соотношение легко получается, если принять Р _| =г2Е, Я = [1,1...1], R~l =q2