WikiDer > Доказательства обратного преобразования Мура – ​​Пенроуза.

В линейная алгебра, то Обратное преобразование Мура – ​​Пенроуза это матрица который удовлетворяет некоторым, но не обязательно всем свойствам обратная матрица. В этой статье собраны различные доказательства с участием инверсии Мура-Пенроуза.

Определение

Позволять ${ displaystyle A}$ быть м-к-п матрица над полем ${ Displaystyle mathbb {K}}$, куда ${ Displaystyle mathbb {K}}$, это либо поле ${ Displaystyle mathbb {R}}$, из действительные числа или поле ${ Displaystyle mathbb {C}}$, из сложные числа. Есть уникальный п-к-м матрица ${ displaystyle A ^ {+}}$ над ${ Displaystyle mathbb {K}}$, который удовлетворяет всем следующим четырем критериям, известным как условия Мура-Пенроуза:

1. ${ displaystyle AA ^ {+} A = A}$,
2. ${ displaystyle A ^ {+} AA ^ {+} = A ^ {+}}$,
3. ${ displaystyle left (AA ^ {+} right) ^ {*} = AA ^ {+}}$,
4. ${ displaystyle left (A ^ {+} A right) ^ {*} = A ^ {+} A}$.

${ displaystyle A ^ {+}}$ называется инверсией Мура-Пенроуза ${ displaystyle A}$.^[1][2][3][4] Заметь ${ displaystyle A}$ также является инверсией Мура-Пенроуза ${ displaystyle A ^ {+}}$. То есть, ${ Displaystyle влево (А ^ {+} вправо) ^ {+} = А}$.

Полезные леммы

Эти результаты используются в доказательствах ниже. В следующих леммах А матрица со сложными элементами и п колонны B матрица со сложными элементами и п ряды.

Лемма 1. А^*А = 0 ⇒ А = 0

Предположение гласит, что все элементы А * А равны нулю. Следовательно,

${ displaystyle 0 = operatorname {Tr} left (A ^ {*} A right) = sum _ {j = 1} ^ {n} left (A ^ {*} A right) _ {jj } = sum _ {j = 1} ^ {n} sum _ {i = 1} ^ {m} left (A ^ {*} right) _ {ji} A_ {ij} = sum _ { i = 1} ^ {m} sum _ {j = 1} ^ {n} left | A_ {ij} right | ^ {2}}$.

Поэтому все ${ displaystyle A_ {ij}}$ равно 0, т.е. ${ displaystyle A = 0}$.

Лемма 2. А^*AB = 0 ⇒ AB = 0

${ displaystyle { begin {align} 0 & = A ^ {*} AB & Rightarrow 0 & = B ^ {*} A ^ {*} AB & Rightarrow 0 & = (AB) ^ {*} (AB) & Rightarrow 0 & = AB & ({ text {по лемме 1}}) end {align}}}$

Лемма 3. ABB^* = 0 ⇒ AB = 0

Это доказывается аналогично рассуждениям леммы 2 (или просто взяв Эрмитово сопряжение).

Существование и уникальность

Доказательство уникальности

Позволять ${ displaystyle A}$ быть матрицей над ${ Displaystyle mathbb {R}}$ или же ${ Displaystyle mathbb {C}}$. Предположим, что ${ displaystyle {A_ {1} ^ {+}}}$ и ${ displaystyle {A_ {2} ^ {+}}}$ являются инверсиями Мура-Пенроуза ${ displaystyle A}$. Заметьте, что

${ displaystyle A {A_ {1} ^ {+}} { overset {(1)} {=}} (A {A_ {2} ^ {+}} A) {A_ {1} ^ {+}} = (A {A_ {2} ^ {+}}) (A {A_ {1} ^ {+}}) { overset {(3)} {=}} (A {A_ {2} ^ {+} }) ^ {*} (A {A_ {1} ^ {+}}) ^ {*} = {A_ {2} ^ {+}} ^ {*} (A {A_ {1} ^ {+}} A) ^ {*} { overset {(1)} {=}} {A_ {2} ^ {+}} ^ {*} A ^ {*} = (A {A_ {2} ^ {+}} ) ^ {*} { overset {(3)} {=}} A {A_ {2} ^ {+}}.}$

Аналогично заключаем, что ${ displaystyle {A_ {1} ^ {+}} A = {A_ {2} ^ {+}} A}$. Доказательство завершается замечанием, что тогда

${ displaystyle {A_ {1} ^ {+}} { overset {(2)} {=}} {A_ {1} ^ {+}} A {A_ {1} ^ {+}} = {A_ { 1} ^ {+}} A {A_ {2} ^ {+}} = A_ {2} ^ {+} A {A_ {2} ^ {+}} { overset {(2)} {=}} {A_ {2} ^ {+}}.}$

Доказательство существования

Доказательство проводится поэтапно.

Матрицы 1 на 1

Для любого ${ Displaystyle х in mathbb {K}}$, определим:

${ displaystyle x ^ {+}: = { begin {case} x ^ {- 1}, & { mbox {if}} x neq 0 0, & { mbox {if}} x = 0 end {case}}}$

Легко заметить, что ${ displaystyle x ^ {+}}$ является псевдообратным ${ displaystyle x}$ (интерпретируется как матрица 1 на 1).

Квадратные диагональные матрицы

Позволять ${ displaystyle D}$ быть п-к-п матрица над ${ Displaystyle mathbb {K}}$ с нулями диагональ. Мы определяем ${ Displaystyle D ^ {+}}$ как п-к-п матрица над ${ Displaystyle mathbb {K}}$ с ${ displaystyle left (D ^ {+} right) _ {ij}: = left (D_ {ij} right) ^ {+}}$ как определено выше. Пишем просто ${ displaystyle D_ {ij} ^ {+}}$ за ${ displaystyle left (D ^ {+} right) _ {ij} = left (D_ {ij} right) ^ {+}}$.

Заметь ${ Displaystyle D ^ {+}}$ также является матрицей с нулями по диагонали.

Теперь покажем, что ${ Displaystyle D ^ {+}}$ является псевдообратным ${ displaystyle D}$:

1. ${ displaystyle left (DD ^ {+} D right) _ {ij} = D_ {ij} D_ {ij} ^ {+} D_ {ij} = D_ {ij} Rightarrow DD ^ {+} D = D}$
2. ${ displaystyle left (D ^ {+} DD ^ {+} right) _ {ij} = D_ {ij} ^ {+} D_ {ij} D_ {ij} ^ {+} = D_ {ij} ^ {+} Rightarrow D ^ {+} DD ^ {+} = D ^ {+}}$
3. ${ displaystyle left (DD ^ {+} right) _ {ij} ^ {*} = { overline { left (DD ^ {+} right) _ {ji}}} = { overline {D_ {ji} D_ {ji} ^ {+}}} = left (D_ {ji} D_ {ji} ^ {+} right) ^ {*} = D_ {ji} D_ {ji} ^ {+} = D_ {ij} D_ {ij} ^ {+} Rightarrow left (DD ^ {+} right) ^ {*} = DD ^ {+}}$
4. ${ displaystyle left (D ^ {+} D right) _ {ij} ^ {*} = { overline { left (D ^ {+} D right) _ {ji}}} = { overline {D_ {ji} ^ {+} D_ {ji}}} = left (D_ {ji} ^ {+} D_ {ji} right) ^ {*} = D_ {ji} ^ {+} D_ {ji } = D_ {ij} ^ {+} D_ {ij} Rightarrow left (D ^ {+} D right) ^ {*} = D ^ {+} D}$

Общие неквадратные диагональные матрицы

Позволять ${ displaystyle D}$ быть м-к-п матрица над ${ Displaystyle mathbb {K}}$ с нулями главная диагональ, куда м и п неравны. То есть, ${ displaystyle D_ {ij} = d_ {i}}$ для некоторых ${ displaystyle d_ {i} in mathbb {K}}$ когда ${ displaystyle i = j}$ и ${ displaystyle D_ {ij} = 0}$ иначе.

Рассмотрим случай, когда ${ displaystyle n> m}$. Тогда мы можем переписать ${ displaystyle D = left [D_ {0} , , mathbf {0} _ {m times (n-m)} right]}$ складывая где ${ displaystyle D_ {0}}$ квадратная диагональ м-к-м матрица и ${ Displaystyle mathbf {0} _ {м раз (п-м)}}$ это м-по- (п-м) нулевая матрица. Мы определяем ${ Displaystyle D ^ {+} Equiv { begin {bmatrix} D_ {0} ^ {+} mathbf {0} _ {(n-m) times m} end {bmatrix}}}$ как п-к-м матрица над ${ Displaystyle mathbb {K}}$, с ${ displaystyle D_ {0} ^ {+}}$ псевдообратное ${ displaystyle D_ {0}}$ определено выше, и ${ Displaystyle mathbf {0} _ {(п-м) раз м}}$ в (н-м)-к-м нулевая матрица. Теперь покажем, что ${ Displaystyle D ^ {+}}$ является псевдообратным ${ displaystyle D}$:

1. Умножая блочные матрицы, ${ Displaystyle DD ^ {+} = D_ {0} D_ {0} ^ {+} + mathbf {0} _ {m times (нм)} mathbf {0} _ {(нм) times m} = D_ {0} D_ {0} ^ {+},}$ поэтому по свойству 1 для квадратных диагональных матриц ${ displaystyle D_ {0}}$ доказано в предыдущем разделе,${ displaystyle DD ^ {+} D = D_ {0} D_ {0} ^ {+} left [D_ {0} , , mathbf {0} _ {m times (nm)} right] = left [D_ {0} D_ {0} ^ {+} D_ {0} , , mathbf {0} _ {m times (nm)} right] = left [D_ {0} , , mathbf {0} _ {m times (nm)} right] = D}$.
2. По аналогии, ${ displaystyle D ^ {+} D = { begin {bmatrix} D_ {0} ^ {+} D_ {0} & mathbf {0} _ {m times (nm)} mathbf {0} _ {(нм) раз m} & mathbf {0} _ {(нм) раз (нм)} end {bmatrix}}}$, так ${ displaystyle D ^ {+} DD ^ {+} = { begin {bmatrix} D_ {0} ^ {+} D_ {0} & mathbf {0} _ {m times (nm)} mathbf {0} _ {(нм) times m} & mathbf {0} _ {(nm) times (nm)} end {bmatrix}} { begin {bmatrix} D_ {0} ^ {+} mathbf {0} _ {(нм) times m} end {bmatrix}} = { begin {bmatrix} D_ {0} ^ {+} D_ {0} D_ {0} ^ {+} mathbf {0} _ {(nm) times m} end {bmatrix}} = D ^ {+}.}$
3. По 1 и свойству 3 для квадратных диагональных матриц ${ displaystyle left (DD ^ {+} right) ^ {*} = left (D_ {0} D_ {0} ^ {+} right) ^ {*} = D_ {0} D_ {0} ^ {+} = ДД ^ {+}}$.
4. По 2 и свойству 4 для квадратных диагональных матриц ${ displaystyle left (D ^ {+} D right) ^ {*} = { begin {bmatrix} left (D_ {0} ^ {+} D_ {0} right) ^ {*} & mathbf {0} _ {m times (nm)} mathbf {0} _ {(nm) times m} & mathbf {0} _ {(nm) times (nm)} end {bmatrix }} = { begin {bmatrix} D_ {0} ^ {+} D_ {0} & mathbf {0} _ {m times (nm)} mathbf {0} _ {(nm) times m} & mathbf {0} _ {(nm) times (nm)} end {bmatrix}} = D ^ {+} D.}$

Существование для ${ displaystyle D}$ такой, что ${ displaystyle m> n}$ следует путем обмена ролями ${ displaystyle D}$ и ${ Displaystyle D ^ {+}}$ в ${ displaystyle n> m}$ случае и используя тот факт, что ${ Displaystyle влево (D ^ {+} вправо) ^ {+} = D}$.

Произвольные матрицы

В разложение по сингулярным числам Теорема утверждает, что существует факторизация вида

${ Displaystyle A = U Sigma V ^ {*}}$

куда:

${ displaystyle U}$ является м-к-м унитарная матрица над ${ Displaystyle mathbb {K}}$.

${ displaystyle Sigma}$ является м-к-п матрица над ${ Displaystyle mathbb {K}}$ с неотрицательными действительными числами на диагональ и нули по диагонали.

${ displaystyle V}$ является п-к-п унитарная матрица над ${ Displaystyle mathbb {K}}$.^[5]

Определять ${ displaystyle A ^ {+}}$ в качестве ${ Displaystyle V Sigma ^ {+} U ^ {*}}$.

Теперь покажем, что ${ displaystyle A ^ {+}}$ является псевдообратным ${ displaystyle A}$:

1. ${ Displaystyle AA ^ {+} A = U Sigma V ^ {*} V Sigma ^ {+} U ^ {*} U Sigma V ^ {*} = U Sigma Sigma ^ {+} Sigma V ^ {*} = U Sigma V ^ {*} = A}$
2. ${ Displaystyle A ^ {+} AA ^ {+} = V Sigma ^ {+} U ^ {*} U Sigma V ^ {*} V Sigma ^ {+} U ^ {*} = V Sigma ^ {+} Sigma Sigma ^ {+} U ^ {*} = V Sigma ^ {+} U ^ {*} = A ^ {+}}$
3. ${ Displaystyle left (AA ^ {+} right) ^ {*} = left (U Sigma V ^ {*} V Sigma ^ {+} U ^ {*} right) ^ {*} = left (U Sigma Sigma ^ {+} U ^ {*} right) ^ {*} = U left ( Sigma Sigma ^ {+} right) ^ {*} U ^ {*} = U left ( Sigma Sigma ^ {+} right) U ^ {*} = U Sigma V ^ {*} V Sigma ^ {+} U ^ {*} = AA ^ {+}}$
4. ${ displaystyle left (A ^ {+} A right) ^ {*} = left (V Sigma ^ {+} U ^ {*} U Sigma V ^ {*} right) ^ {*} = left (V Sigma ^ {+} Sigma V ^ {*} right) ^ {*} = V left ( Sigma ^ {+} Sigma right) ^ {*} V ^ {*} = V left ( Sigma ^ {+} Sigma right) V ^ {*} = V Sigma ^ {+} U ^ {*} U Sigma V ^ {*} = A ^ {+} A}$

Основные свойства

${ displaystyle {A ^ {*}} ^ {+} = {A ^ {+}} ^ {*}}$

Доказательство работает, показывая, что ${ displaystyle {A ^ {+}} ^ {*}}$ удовлетворяет четырем критериям псевдообратности ${ displaystyle A ^ {*}}$. Поскольку это просто замена, здесь это не показано.

Доказательство этой связи дано в упражнении 1.18c в.^[6]

Идентичности

А⁺ = А⁺ А^+* А^*

${ displaystyle A ^ {+} = A ^ {+} AA ^ {+}}$ и ${ Displaystyle AA ^ {+} = влево (AA ^ {+} right) ^ {*}}$ подразумевают, что ${ displaystyle A ^ {+} = A ^ {+} left (AA ^ {+} right) ^ {*} = A ^ {+} A ^ {+ ^ {*}} A ^ {*}}$.

А⁺ = А^* А^+* А⁺

${ displaystyle A ^ {+} = A ^ {+} AA ^ {+}}$ и ${ displaystyle A ^ {+} A = left (A ^ {+} A right) ^ {*}}$ подразумевают, что ${ displaystyle A ^ {+} = left (A ^ {+} A right) ^ {*} A ^ {+} = A ^ {*} A ^ {+ *} A ^ {+}}$.

А = А^+* А^* А

${ displaystyle A = AA ^ {+} A}$ и ${ displaystyle AA ^ {+} = left (AA ^ {+} right) ^ {*}}$ подразумевают, что ${ displaystyle A = left (AA ^ {+} right) ^ {*} A = A ^ {+ ^ {*}} A ^ {*} A}$.

А = А А^* А^+*

${ displaystyle A = AA ^ {+} A}$ и ${ displaystyle A ^ {+} A = left (A ^ {+} A right) ^ {*}}$ подразумевают, что ${ Displaystyle A = A влево (A ^ {+} A right) ^ {*} = AA ^ {*} A ^ {+ ^ {*}}}$.

А^* = А^* А А⁺

Это сопряженное транспонирование ${ Displaystyle А = А ^ {+ ^ {*}} А ^ {*} А}$ над.

А^* = А⁺ А А^*

Это сопряженное транспонирование ${ displaystyle A = AA ^ {*} A ^ {+ ^ {*}}}$ над.

Сведение к эрмитовскому случаю

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

А⁺ = А^* (А А^*)⁺

Это соотношение дано в упражнении 18 (d) в,^[6] читателю, чтобы доказать, "для каждой матрицы А". Написать ${ displaystyle D = A ^ {*} left (AA ^ {*} right) ^ {+}}$. Заметьте, что

${ displaystyle { begin {align} && AA ^ {*} & = AA ^ {*} left (AA ^ {*} right) ^ {+} AA ^ {*} & & Leftrightarrow & AA ^ { *} & = ADAA ^ {*} & & Leftrightarrow & 0 & = (AD-I) AA ^ {*} & & Leftrightarrow & 0 & = ADA-A & ({ text {по лемме 3}}) & Leftrightarrow & A & = ADA & end {align}}}$

По аналогии, ${ displaystyle left (AA ^ {*} right) ^ {+} AA ^ {*} left (AA ^ {*} right) ^ {+} = left (AA ^ {*} right) ^ {+}}$ подразумевает, что ${ displaystyle A ^ {*} left (AA ^ {*} right) ^ {+} AA ^ {*} left (AA ^ {*} right) ^ {+} = A ^ {*} влево (AA ^ {*} right) ^ {+}}$ т.е. ${ displaystyle DAD = D}$.

Кроме того, ${ displaystyle AD = AA ^ {*} left (AA ^ {*} right) ^ {+}}$ так ${ Displaystyle AD = (AD) ^ {*}}$.

Ну наконец то, ${ displaystyle DA = A ^ {*} left (AA ^ {*} right) ^ {+} A}$ подразумевает, что ${ Displaystyle (DA) ^ {*} = A ^ {*} left ( left (AA ^ {*} right) ^ {+} right) ^ {*} A = A ^ {*} left ( left (AA ^ {*} right) ^ {+} right) A = DA}$.

Следовательно, ${ Displaystyle D = А ^ {+}}$.

А⁺ = (А^* А)⁺А^*

Это доказывается аналогично предыдущему случаю, используя Лемма 2 вместо леммы 3.

Товары

Для первых трех доказательств рассмотрим произведения C = AB.

А имеет ортонормированные столбцы

Если ${ displaystyle A}$ имеет ортонормированные столбцы, т.е. ${ displaystyle A ^ {*} A = I}$ тогда ${ Displaystyle А ^ {+} = А ^ {*}}$.Написать ${ Displaystyle D = B ^ {+} A ^ {+} = B ^ {+} A ^ {*}}$. Мы показываем, что ${ displaystyle D}$ удовлетворяет критериям Мура-Пенроуза.

${ displaystyle { begin {align} CDC & = ABB ^ {+} A ^ {*} AB = ABB ^ {+} B = AB = C, [4pt] DCD & = B ^ {+} A ^ {* } ABB ^ {+} A ^ {*} = B ^ {+} BB ^ {+} A ^ {*} = B ^ {+} A ^ {*} = D, [4pt] (CD) ^ {*} & = D ^ {*} B ^ {*} A ^ {*} = A left (B ^ {+} right) ^ {*} B ^ {*} A ^ {*} = A слева (BB ^ {+} right) ^ {*} A ^ {*} = ABB ^ {+} A ^ {*} = CD, [4pt] (DC) ^ {*} & = B ^ { *} A ^ {*} D ^ {*} = B ^ {*} A ^ {*} A left (B ^ {+} right) ^ {*} = left (B ^ {+} B справа) ^ {*} = B ^ {+} B = B ^ {+} A ^ {*} AB = DC end {выровнено}}}$.

Следовательно, ${ displaystyle D = C ^ {+}}$.

B имеет ортонормированные строки

Если B имеет ортонормированные строки, т.е. ${ displaystyle BB ^ {*} = I}$ тогда ${ Displaystyle В ^ {+} = В ^ {*}}$. Написать ${ Displaystyle D = B ^ {+} A ^ {+} = B ^ {*} A ^ {+}}$. Мы показываем, что ${ displaystyle D}$ удовлетворяет критериям Мура-Пенроуза.

${ displaystyle { begin {align} CDC & = ABB ^ {*} A ^ {+} AB = AA ^ {+} AB = AB = C, [4pt] DCD & = B ^ {*} A ^ {+ } ABB ^ {*} A ^ {+} = B ^ {*} A ^ {+} AA ^ {+} = B ^ {*} A ^ {+} = D, [4pt] (CD) ^ {*} & = D ^ {*} B ^ {*} A ^ {*} = left (A ^ {+} right) ^ {*} BB ^ {*} A ^ {*} = left ( A ^ {+} right) ^ {*} A ^ {*} = left (AA ^ {+} right) ^ {*} = AA ^ {+} = ABB ^ {*} A ^ {+} = CD, [4pt] (DC) ^ {*} & = B ^ {*} A ^ {*} D ^ {*} = B ^ {*} A ^ {*} left (A ^ {+ } right) ^ {*} B = B ^ {*} left (A ^ {+} A right) ^ {*} B = B ^ {*} A ^ {+} AB = DC end {выровнено }}}$.

Следовательно, ${ displaystyle D = C ^ {+}.}$

А имеет полный ранг столбца и B имеет полный ранг строки

С ${ displaystyle A}$ имеет полный ранг столбца, ${ displaystyle A ^ {*} A}$ обратим, поэтому ${ displaystyle left (A ^ {*} A right) ^ {+} = left (A ^ {*} A right) ^ {- 1}}$. Аналогично, поскольку ${ displaystyle B}$ имеет полный ранг строки, ${ displaystyle BB ^ {*}}$ обратим, поэтому ${ displaystyle left (BB ^ {*} right) ^ {+} = left (BB ^ {*} right) ^ {- 1}}$.

Написать ${ Displaystyle D = B ^ {+} A ^ {+} = B ^ {*} left (BB ^ {*} right) ^ {- 1} left (A ^ {*} A right) ^ {-1} A ^ {*}}$(используя редукцию к эрмитову случаю). Мы показываем, что ${ displaystyle D}$ удовлетворяет критериям Мура-Пенроуза.

${ displaystyle { begin {align} CDC & = ABB ^ {*} left (BB ^ {*} right) ^ {- 1} left (A ^ {*} A right) ^ {- 1} A ^ {*} AB = AB = C, [4pt] DCD & = B ^ {*} left (BB ^ {*} right) ^ {- 1} left (A ^ {*} A right) ^ {- 1} A ^ {*} ABB ^ {*} left (BB ^ {*} right) ^ {- 1} left (A ^ {*} A right) ^ {- 1} A ^ {*} = B ^ {*} left (BB ^ {*} right) ^ {- 1} left (A ^ {*} A right) ^ {- 1} A ^ {*} = D, [4pt] CD & = ABB ^ {*} left (BB ^ {*} right) ^ {- 1} left (A ^ {*} A right) ^ {- 1} A ^ {*} = A left (A ^ {*} A right) ^ {- 1} A ^ {*} = left (A left (A ^ {*} A right) ^ {- 1} A ^ {* } right) ^ {*}, Rightarrow (CD) ^ {*} & = CD, [4pt] DC & = B ^ {*} left (BB ^ {*} right) ^ {- 1} left (A ^ {*} A right) ^ {- 1} A ^ {*} AB = B ^ {*} left (BB ^ {*} right) ^ {- 1} B = left (B ^ {*} left (BB ^ {*} right) ^ {- 1} B right) ^ {*}, Rightarrow (DC) ^ {*} & = DC. end { выровнено}}}$

Следовательно, ${ displaystyle D = C ^ {+}}$.

Конъюгат транспонировать

Здесь, ${ displaystyle B = A ^ {*}}$, и поэтому ${ displaystyle C = AA ^ {*}}$ и ${ Displaystyle D = A ^ {+ *} A ^ {+}}$. Мы показываем, что действительно ${ displaystyle D}$ удовлетворяет четырем критериям Мура-Пенроуза.

${ displaystyle { begin {align} CDC & = AA ^ {*} A ^ {+ *} A ^ {+} AA ^ {*} = A left (A ^ {+} A right) ^ {*} A ^ {+} AA ^ {*} = AA ^ {+} AA ^ {+} AA ^ {*} = AA ^ {+} AA ^ {*} = AA ^ {*} = C [4pt] DCD & = A ^ {+ *} A ^ {+} AA ^ {*} A ^ {+ *} A ^ {+} = A ^ {+ *} A ^ {+} A left (A ^ {+} A right) ^ {*} A ^ {+} = A ^ {+ *} A ^ {+} AA ^ {+} AA ^ {+} = A ^ {+ *} A ^ {+} AA ^ { +} = A ^ {+ *} A ^ {+} = D [4pt] (CD) ^ {*} & = left (AA ^ {*} A ^ {+ *} A ^ {+} справа) ^ {*} = A ^ {+ *} A ^ {+} AA ^ {*} = A ^ {+ *} left (A ^ {+} A right) ^ {*} A ^ {* } = A ^ {+ *} A ^ {*} A ^ {+ *} A ^ {*} & = left (AA ^ {+} right) ^ {*} left (AA ^ {+ } right) ^ {*} = AA ^ {+} AA ^ {+} = A left (A ^ {+} A right) ^ {*} A ^ {+} = AA ^ {*} A ^ {+ *} A ^ {+} = CD [4pt] (DC) ^ {*} & = left (A ^ {+ *} A ^ {+} AA ^ {*} right) ^ {* } = AA ^ {*} A ^ {+ *} A ^ {+} = A left (A ^ {+} A right) ^ {*} A ^ {+} = AA ^ {+} AA ^ { +} & = left (AA ^ {+} right) ^ {*} left (AA ^ {+} right) ^ {*} = A ^ {+ *} A ^ {*} A ^ {+ *} A ^ {*} = A ^ {+ *} left (A ^ {+} A right) ^ {*} A ^ {*} = A ^ {+ *} A ^ {+} AA ^ {*} = DC end {выровнено}}}$

Следовательно, ${ displaystyle D = C ^ {+}}$. Другими словами:

${ displaystyle left (AA ^ {*} right) ^ {+} = A ^ {+ *} A ^ {+}}$

и с тех пор ${ Displaystyle влево (А ^ {*} вправо) ^ {*} = А}$

${ displaystyle left (A ^ {*} A right) ^ {+} = A ^ {+} A ^ {+ *}}$

Проекторы и подпространства

Определять ${ Displaystyle P = AA ^ {+}}$ и ${ Displaystyle Q = A ^ {+} A}$. Заметьте, что ${ Displaystyle P ^ {2} = AA ^ {+} AA ^ {+} = AA ^ {+} = P}$. по аналогии ${ displaystyle Q ^ {2} = Q}$, и наконец, ${ Displaystyle P = P ^ {*}}$ и ${ displaystyle Q = Q ^ {*}}$. Таким образом ${ displaystyle P}$ и ${ displaystyle Q}$ находятся операторы ортогонального проектирования. Ортогональность следует из соотношений ${ Displaystyle P = P ^ {*}}$ и ${ displaystyle Q = Q ^ {*}}$. Действительно, рассмотрим оператор ${ displaystyle P}$: любой вектор распадается как

${ displaystyle x = Px + (I-P) x}$

и для всех векторов ${ displaystyle x}$ и ${ displaystyle y}$ удовлетворение ${ displaystyle Px = x}$ и ${ displaystyle (I-P) y = y}$, у нас есть

${ displaystyle x ^ {*} y = (Px) ^ {*} (I-P) y = x ^ {*} P ^ {*} (I-P) y = x ^ {*} P (I-P) y = 0}$.

Следует, что ${ displaystyle PA = AA ^ {+} A = A}$ и ${ Displaystyle A ^ {+} P = A ^ {+} AA ^ {+} = A ^ {+}}$. По аналогии, ${ displaystyle QA ^ {+} = A ^ {+}}$ и ${ displaystyle AQ = A}$. Ортогональные компоненты теперь легко идентифицируются.

Если ${ displaystyle y}$ принадлежит к ряду ${ displaystyle A}$ тогда для некоторых ${ displaystyle x}$, ${ displaystyle y = Ax}$ и ${ displaystyle Py = PAx = Ax = y}$. Наоборот, если ${ displaystyle Py = y}$ тогда ${ displaystyle y = AA ^ {+} y}$ так что ${ displaystyle y}$ принадлежит к ряду ${ displaystyle A}$. Следует, что ${ displaystyle P}$ ортогональный проектор на диапазон ${ displaystyle A}$. ${ Displaystyle I-P}$ ортогональный проектор на ортогональное дополнение из диапазона ${ displaystyle A}$, что равно ядро из ${ displaystyle A ^ {*}}$.

Аналогичное рассуждение с использованием соотношения ${ displaystyle QA ^ {*} = A ^ {*}}$ устанавливает, что ${ displaystyle Q}$ ортогональный проектор на диапазон ${ displaystyle A ^ {*}}$ и ${ Displaystyle (I-Q)}$ ортогональный проектор на ядро ${ displaystyle A}$.

Используя отношения ${ Displaystyle P left (A ^ {+} right) ^ {*} = P ^ {*} left (A ^ {+} right) ^ {*} = left (A ^ {+} P right) ^ {*} = left (A ^ {+} right) ^ {*}}$ и ${ Displaystyle P = P ^ {*} = left (A ^ {+} right) ^ {*} A ^ {*}}$ следует, что диапазон п равняется диапазону ${ Displaystyle влево (A ^ {+} вправо) ^ {*}}$, что, в свою очередь, означает, что диапазон ${ Displaystyle I-P}$ равно ядру ${ displaystyle A ^ {+}}$. по аналогии ${ displaystyle QA ^ {+} = A ^ {+}}$ означает, что диапазон ${ displaystyle Q}$ равняется диапазону ${ displaystyle A ^ {+}}$. Следовательно, находим,

${ displaystyle { begin {align} operatorname {Ker} left (A ^ {+} right) & = operatorname {Ker} left (A ^ {*} right). operatorname {Im } left (A ^ {+} right) & = operatorname {Im} left (A ^ {*} right). конец {выровнено}}}$

Дополнительные свойства

Минимизация методом наименьших квадратов

В общем случае он показан здесь для любых ${ Displaystyle м раз п}$ матрица ${ displaystyle A}$ который${ displaystyle | Ax-b | _ {2} geq | Az-b | _ {2}}$ куда ${ displaystyle z = A ^ {+} b}$. Эта нижняя граница не обязательно равна нулю, поскольку система ${ displaystyle Ax = b}$ может не иметь решения (например, когда матрица A не имеет полного ранга или система переопределена).

Чтобы доказать это, сначала отметим, что (формулируя сложный случай), используя тот факт, что${ Displaystyle P = AA ^ {+}}$ удовлетворяет ${ displaystyle PA = A}$ и ${ Displaystyle P = P ^ {*}}$, у нас есть

${ displaystyle { begin {alignat} {2} A ^ {*} (Az-b) & = A ^ {*} (AA ^ {+} bb) & = A ^ {*} (Pb-b ) & = A ^ {*} P ^ {*} bA ^ {*} b & = (PA) ^ {*} bA ^ {*} b & = 0 end {alignat}}}$

так что (${ displaystyle { text {c.c.}}}$ стоит за комплексно сопряженный предыдущего срока в следующем)

${ displaystyle { begin {alignat} {2} | Ax-b | _ {2} ^ {2} & = | Az-b | _ {2} ^ {2} + (A (xz) ) ^ {*} (Az-b) + { text {cc}} + | A (xz) | _ {2} ^ {2} & = | Az-b | _ {2} ^ {2} + (xz) ^ {*} A ^ {*} (Az-b) + { text {cc}} + | A (xz) | _ {2} ^ {2} & = | Az-b | _ {2} ^ {2} + | A (xz) | _ {2} ^ {2} & geq | Az-b | _ {2} ^ {2} end {alignat}}}$

как заявлено.

Если ${ displaystyle A}$ является инъективным, т.е. один к одному (что подразумевает ${ Displaystyle м geq п}$), то оценка достигается однозначно при ${ displaystyle z}$.

Решение минимальной нормы линейной системы

Приведенное выше доказательство также показывает, что если система ${ displaystyle Ax = b}$ выполнимо, т.е. имеет решение, то обязательно ${ displaystyle z = A ^ {+} b}$ является решением (не обязательно уникальным). Мы показываем здесь, что ${ displaystyle z}$ - наименьшее такое решение (его Евклидова норма однозначно минимально).

Чтобы увидеть это, сначала обратите внимание на ${ Displaystyle Q = A ^ {+} A}$, который ${ displaystyle Qz = A ^ {+} AA ^ {+} b = A ^ {+} b = z}$ и это ${ displaystyle Q ^ {*} = Q}$. Следовательно, предполагая, что ${ displaystyle Ax = b}$, у нас есть

${ Displaystyle { begin {align} z ^ {*} (xz) & = (Qz) ^ {*} (xz) & = z ^ {*} Q (xz) & = z ^ {* } left (A ^ {+} Ax-z right) & = z ^ {*} left (A ^ {+} bz right) & = 0. end {align}}}$

Таким образом

${ displaystyle { begin {alignat} {2} | x | _ {2} ^ {2} & = | z | _ {2} ^ {2} + 2z ^ {*} (xz) + | xz | _ {2} ^ {2} & = | z | _ {2} ^ {2} + | xz | _ {2} ^ {2} & geq | z | _ {2} ^ {2} end {alignat}}}$

с равенством тогда и только тогда, когда ${ displaystyle x = z}$, как должно было быть показано.

Примечания

Рекомендации

• Бен-Исраэль, Ади; Гревиль, Томас Н. (2003). Обобщенные обратные: теория и приложения (2-е изд.). Нью-Йорк, штат Нью-Йорк: Спрингер. Дои:10.1007 / b97366. ISBN 978-0-387-00293-4.
• Кэмпбелл, S. L .; Мейер-младший, К. Д. (1991). Обобщенные обращения линейных преобразований.. Дувр. ISBN 978-0-486-66693-8.
• Накамура, Йошихико (1991). Продвинутая робототехника: резервирование и оптимизация. Эддисон-Уэсли. ISBN 978-0201151985.
• Рао, Ч. Радхакришна; Митра, Суджит Кумар (1971). Обобщенная обратная матрица и ее приложения. Нью-Йорк: Джон Вили и сыновья. стр.240. ISBN 978-0-471-70821-6.