Сопряжение транспонирования

редактировать

Комплексная матрица A *, полученная из матрицы A путем транспонирования и сопряжения каждой записи

В математике, сопряженное транспонирование (или эрмитово транспонирование ) матрицы m × n $A {\ displaystyle {\ boldsymbol {A }}}$ ${\ bo ldsymbol {A}}$ с сложными элементами, это матрица размером n на m, полученная из $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ взяв транспонировать, а затем взяв комплексное сопряжение каждой записи (комплексное сопряжение $a + ib {\ displaystyle a + ib}$ $a + ib$ является $a - ib {\ displaystyle a-ib}$ ${\ displaystyle a-ib}$ , для действительных чисел $a {\ displaystyle a}$ $a$ и $b {\ displaystyle b}$ $b$ ). Его часто обозначают как $AH {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ или $A ∗ {\ displaystyle {\ boldsymbol {A}}. ^ {*}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {*}}$ .

Для реальных матриц сопряженное транспонирование - это просто транспонирование, $AH = AT {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} = {\ boldsymbol {A }} ^ {\ mathsf {T}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} = {\ boldsymbol {A} } ^ {\ mathsf {T}}}$ .

Содержание

1 Определение
2 Пример
3 Основные замечания
4 Мотивация
5 Свойства сопряженного транспонирования
6 Обобщения
7 См. Также
8 Ссылки
9 Внешние ссылки

Определение

Сопряженное транспонирование $m × n {\ displaystyle m \ times n}$ $m \ times n$ матрица $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ формально определяется как

(AH) ij = A ji ¯ {\ displaystyle \ left ({\ boldsymbol {A }} ^ {\ mathrm {H}} \ right) _ {ij} = {\ overline {{\ boldsymbol {A}} _ {ji}}}}

{\ displaystyle \ left ({\ boldsymbol {A}} ^ {\ mathrm {H}} \ right) _ {ij} = {\ overline {{\ boldsymbol {A}} _ {ji}}}}

(Eq.1)

где нижние индексы обозначает $(i, j) {\ displaystyle (i, j)}$ $(i, j)$ -ю запись для $1 ≤ i ≤ n {\ displaystyle 1 \ leq i \ leq n}$ $1 \ leq я \ Leq N$ и $1 ≤ j ≤ m {\ displaystyle 1 \ leq j \ leq m}$ ${\ displaystyle 1 \ leq j \ leq m}$ , а черта сверху обозначает скалярное комплексное сопряжение.

Это определение также можно записать как

AH = (A ¯) T = AT ¯ {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} = \ left ({\ overline {\ boldsymbol {A}}} \ right) ^ {\ mathsf {T}} = {\ overline {{\ boldsymbol {A}} ^ {\ mathsf {T}}}}}

{\ displaystyle { \ boldsymbol {A}} ^ {\ mathrm {H}} = \ left ({\ overline {\ boldsymbol {A}}} \ right) ^ {\ mathsf {T}} = {\ overline {{\ boldsymbol {A }} ^ {\ mathsf {T}}}}}

где $AT {\ displaystyle {\ boldsymbol {A}} ^ {\ mathsf {T}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathsf {T}}}$ обозначает транспонирование, а $A ¯ {\ displaystyle {\ overline {\ boldsymbol {A}}}}$ ${\ displaystyle {\ overline {\ boldsymbol {A}}}}$ обозначает матрицу с комплексно сопряженными элементами.

Другие названия сопряженного транспонирования матрицы: эрмитово сопряженная, неоднородная матрица, сопряженная матрица или трансъюгированная . Сопряженное транспонирование матрицы $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ может быть обозначено любым из следующих символов:

$A ∗ {\ displaystyle {\ boldsymbol {A} } ^ {*}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {*}}$ , обычно используется в линейной алгебре
$AH {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ , обычно используется в линейной алгебре
$A † {\ displaystyle {\ boldsymbol {A}} ^ {\ dagger}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ dagger}}$ (иногда произносится как A dagger ), обычно используется в квантовая механика
$A + {\ displaystyle {\ boldsymbol {A}} ^ {+}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {+}}$ , хотя этот символ чаще используется для псевдообратной матрицы Мура – Пенроуза

В некоторых контекстах $A ∗ {\ displaystyle {\ boldsymbol {A}} ^ {*}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {*}}$ обозначает матрицу только с комплексно сопряженными элементами и без транспонирования.

Пример

Предположим, мы хотим вычислить сопряженное транспонирование следующей матрицы $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ .

A = [1-2 - я 5 1 + ii 4-2 i] {\ displaystyle {\ boldsymbol {A}} = {\ begin {bmatrix} 1 -2-i 5 \\ 1 + i i 4-2i \ end {bmatrix}}}

{\ displaystyle {\ boldsymbol {A}} = {\ begin {bmatrix } 1 -2-i 5 \\ 1 + i i 4-2i \ end {bmatrix}}}

Мы сначала транспонируйте матрицу:

AT = [1 1 + i - 2 - ii 5 4 - 2 i] {\ displaystyle {\ boldsymbol {A}} ^ {\ mathsf {T}} = {\ begin {bmatrix} 1 1 + i \\ - 2-i i \\ 5 4-2i \ end {bmatrix}}}

{\ displaystyle {\ boldsymbol {A}} ^ {\ mathsf {T}} = {\ begin {bmatrix} 1 1 + i \\ - 2-i i \\ 5 4-2i \ end {bmatrix}}}

Затем мы сопрягаем каждый элемент матрицы:

AH = [1 1 - i - 2 + i - i 5 4 + 2 я] {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} = {\ begin {bmatrix} 1 1-i \\ - 2 + i -i \\ 5 4 + 2i \ end {bmatrix }}}

{\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} = {\ begin {bmatrix} 1 1-i \\ - 2 + i -i \\ 5 4 + 2i \ end {bmatrix}}}

Основные примечания

Квадратная матрица $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ с элементами $aij {\ displaystyle a_ {ij }}$ $a_ {ij }$ называется

эрмитовым или самосопряженным, если $A = AH {\ displaystyle {\ boldsymbol {A}} = {\ boldsymbol {A }} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} = {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ; т. е. $aij = aji ¯ {\ displaystyle a_ {ij} = {\ overline {a_ {ji}}}}$ $a_ {ij} = \ overline {a_ {ji}}$ .
Skew Hermitian или antihermitian, если $A = - AH {\ displaystyle { \ boldsymbol {A}} = - {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} = - {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ; т.е. $aij = - aji ¯ {\ displaystyle a_ {ij} = - {\ overline {a_ {ji}}}}$ ${\ displaystyle a_ {ij} = - {\ overline {a_ {ji}}}}$ .
Нормальный, если $AHA = AAH {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} {\ boldsymbol {A}} = {\ boldsymbol {A}} {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H} } {\ boldsymbol {A}} = {\ boldsymbol {A}} {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ .
Унитарный если $AH = A - 1 {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} = {\ boldsymbol {A}} ^ {- 1}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} = {\ boldsymbol {A}} ^ {- 1}}$ , эквивалентно $AAH = I {\ displaystyle {\ boldsymbol {A}} {\ boldsymbol {A}} ^ {\ mathrm {H}} = {\ boldsymbol {I}}}$ ${\ displaystyle {\ boldsymbol {A}} {\ boldsymbol {A}} ^ {\ mathrm {H}} = {\ boldsymbol {I}} }$ , что эквивалентно $AHA = I {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} {\ boldsymbol {A}} = {\ boldsymbol {I}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} {\ boldsymbol {A}} = {\ boldsymbol {I}}}$ .

Даже если $A {\ displaystyle { \ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ не квадрат, две матрицы $AHA {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} {\ boldsymbol {A}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}} {\ boldsymbol {A}}}$ и $AAH {\ displaystyle {\ boldsymbol {A}} {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ оба являются эрмитскими и фактически положительные полуопределенные матрицы.

Сопряженная транспонированная «сопряженная» матрица $AH {\ displaystyle {\ bol dsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ не следует путать с адъюгатом, $adj ⁡ (A) {\ displaystyle \ operatorname {прилаг} ({\ boldsymbol {A}})}$ ${\ displaystyle \ operatorname {adj} ({\ boldsymbol {A}})}$ , которое также иногда называют присоединенным.

Сопряженное транспонирование матрицы $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ с вещественными элементами сводится к транспонированию из $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ , поскольку сопряжение действительного числа - это само число.

Мотивация

Сопряженное транспонирование может быть мотивировано тем, что комплексные числа могут быть с успехом представлены вещественными матрицами 2 × 2, подчиняясь сложению и умножению матриц:

a + ib ≡ (a - бба). {\ displaystyle a + ib \ Equiv {\ begin {pmatrix} a -b \\ b a \ end {pmatrix}}.}

{\ displaystyle a + ib \ Equiv {\ begin { pmatrix} a -b \\ b a \ end {pmatrix}}.}

То есть, обозначая каждое комплексное число z действительной матрицей 2 × 2 линейного преобразования на диаграмме Аргана (рассматриваемой как реальное векторное пространство $R 2 {\ displaystyle \ mathbb {R} ^ {2}}$ $\ m athbb {R} ^ {2}$ ), на которую влияет комплексное умножение по оси Z на $C {\ displaystyle \ mathbb {C}}$ $\ mathbb {C}$ .

Таким образом, матрица комплексных чисел m × n может быть хорошо представлена матрицей действительных чисел 2m × 2n. Таким образом, сопряженное транспонирование возникает очень естественно в результате простого транспонирования такой матрицы - если снова рассматривать его как матрицу n на m, составленную из комплексных чисел.

Свойства сопряженного транспонирования

$(A + B) H = AH + BH {\ displaystyle ({\ boldsymbol {A}} + {\ boldsymbol {B}}) ^ {\ mathrm {H }} = {\ boldsymbol {A}} ^ {\ mathrm {H}} + {\ boldsymbol {B}} ^ {\ mathrm {H}}}$ ${\ displaystyle ({\ boldsymbol {A}} + {\ boldsymbol {B}}) ^ {\ mathrm {H}} = {\ boldsymbol {A}} ^ {\ mathrm {H}} + {\ boldsymbol {B }} ^ {\ mathrm {H}}}$ для любых двух матриц $A { \ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ и $B {\ displaystyle {\ boldsymbol {B}}}$ ${\ boldsymbol {B}}$ одинаковых размеров.
$(z A) H = Z ¯ AH {\ displaystyle (z {\ boldsymbol {A}}) ^ {\ mathrm {H}} = {\ overline {z}} {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle (z {\ boldsymbol {A}}) ^ {\ mathrm {H}} = {\ overline {z}} {\ boldsymbol {A }} ^ {\ mathrm {H}}}$ для любого комплексного числа $z {\ displaystyle z}$ $z$ и любой матрицы размером m на n $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ .
$(AB) H = BHAH {\ displaystyle ({\ boldsymbol {A}} {\ boldsymbol {B}}) ^ {\ mathrm {H}} = {\ boldsymbol {B}} ^ {\ mathrm {H}} {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle ({\ boldsymbol {A}} {\ boldsymbol {B}}) ^ {\ mathrm {H}} = {\ boldsymbol {B}} ^ {\ mathrm {H}} {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ для любой матрицы размера m на n $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ и любой размерной матрицы $B {\ displaystyle {\ boldsymbol {B}}}$ ${\ boldsymbol {B}}$ . Обратите внимание, что порядок факторов обратный.
$(AH) H = A {\ displaystyle ({\ boldsymbol {A}} ^ {\ mathrm {H}}) ^ {\ mathrm {H}} = {\ boldsymbol {A}}}$ ${\ displaystyle ({\ boldsymbol {A}} ^ {\ mathrm {H}}) ^ {\ mathrm {H} } = {\ boldsymbol {A}}}$ для любой матрицы размером m на n $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ , т.е. эрмитовское транспонирование - это инволюция.
Если $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ квадратная матрица, то $det ⁡ (AH) = det ⁡ (A) ¯ {\ displaystyle \ operatorname {det} ({\ boldsymbol {A}} ^ {\ mathrm {H}}) = {\ overline {\ operatorname {det} ({\ boldsymbol {A}})}}}$ ${\ displaystyle \ operatorname {det} ({\ boldsymbol { A}} ^ {\ mathrm {H}}) = {\ overline {\ operatorname {det} ({\ boldsymbol {A}})}}}$ где $det ⁡ (A) {\ displaystyle \ operatorname {det} (A)}$ ${\ displaystyle \ operatorname {det} (A)}$ обозначает определитель из $A {\ displaystyle {\ boldsymbol {A} }}$ ${\ bo ldsymbol {A}}$ .
Если $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ - квадратная матрица, то $tr ⁡ (AH) = tr ⁡ (A) ¯ {\ displaystyle \ operatorname {tr} ({\ boldsymbol {A}} ^ {\ mathrm {H}}) = {\ overline {\ operatorname {tr} ({\ boldsymbol {A}})}}}$ ${\ displaystyle \ operatorname {tr} ({\ boldsymbol {A}} ^ {\ mathrm {H}}) = {\ overline {\ operatorname {tr} ({\ boldsymbol {A}})}}}$ где $тр ⁡ (A) {\ displaystyle \ operatorname {tr} (A)}$ ${\ displaystyle \ operatorname {tr} (A)}$ обозначает след $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ .
$A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ является обратимым тогда и только тогда, когда $AH {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ обратимо, и в этом случае $(AH) - 1 = (A - 1) H {\ displaystyle ({\ boldsymbol {A}} ^ {\ mathrm {H}}) ^ {- 1} = ({\ boldsymbol {A}} ^ {- 1}) ^ {\ mathrm {H}}}$ ${\ displaystyle ({\ boldsymbol {A}} ^ {\ mathrm {H}}) ^ {- 1} = ({\ boldsymbol {A}} ^ {- 1}) ^ {\ mathrm {H}}}$ .
собственные значения из $AH {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm { H}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ - комплексные сопряжения собственных значений из $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ .
$⟨A x, y⟩ m = ⟨Икс, AH Y⟩ N {\ Displaystyle \ langle {\ boldsymbol {A}} x, y \ rangle _ {m} = \ langle x, {\ boldsymbol {A}} ^ {\ mathrm {H}} y \ rangle _ {n}}$ ${\ displaystyle \ langle {\ boldsymbol {A}} x, y \ rangle _ {m} = \ langle x, {\ boldsymbol {A}} ^ {\ mathrm {H}} y \ rangle _ {n}}$ для любой матрицы m × n $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ , любого вектора в $x ∈ C n {\ displaystyle x \ in \ mathbb {C} ^ {n}}$ ${\ displaystyle x \ in \ mathbb {C} ^ {n}}$ и любой вектор $y ∈ C m {\ displaystyle y \ in \ mathbb {C} ^ {m}}$ ${\ displaystyle y \ in \ mathbb {C} ^ {m}}$ . Здесь $⟨⋅, ⋅⟩ m {\ displaystyle \ langle \ cdot, \ cdot \ rangle _ {m}}$ ${\ displaystyle \ langle \ cdot, \ cdot \ rangle _ {m}}$ обозначает стандартный комплексный внутренний продукт на $C m {\ displaystyle \ mathbb {C} ^ {m}}$ $\ mathbb {C} ^ m$ , и аналогично для $⟨⋅, ⋅⟩ n {\ displaystyle \ langle \ cdot, \ cdot \ rangle _ {n} }$ ${\ displaystyle \ langle \ cdot, \ cdot \ rangle _ {n}}$ .

Обобщения

Последнее свойство, указанное выше, показывает, что если рассматривать $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ bo ldsymbol {A}}$ как линейное преобразование от гильбертова пространства $C n {\ displaystyle \ mathbb {C} ^ {n}}$ $\ mathbb {C} ^ n$ до $C m, {\ displaystyle \ mathbb {C} ^ {m},}$ ${\ displaystyle \ mathbb {C} ^ {m},}$ тогда матрица $AH {\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ ${\ displaystyle {\ boldsymbol {A}} ^ {\ mathrm {H}}}$ соответствует сопряженный оператор из $A {\ displaystyle {\ boldsymbol {A}}}$ ${\ displaystyle {\ boldsymbol {A}}}$ . Таким образом, понятие сопряженных операторов между гильбертовыми пространствами можно рассматривать как обобщение сопряженного транспонирования матриц по отношению к ортонормированному базису.

Доступно другое обобщение: предположим, $A {\ displaystyle A}$ $A$ - это линейная карта из сложного векторного пространства $V {\ displaystyle V }$ $V$ к другому, $W {\ displaystyle W}$ $W$ , затем к комплексно-сопряженной линейной карте, а также к транспонированной линейной карте определены, и поэтому мы можем принять сопряженное транспонирование $A {\ displaystyle A}$ $A$ как комплексное сопряжение транспонирования $A {\ displaystyle A}$ $A$ . Он отображает сопряженное двойное двойное из $W {\ displaystyle W}$ $W$ в сопряженное двойственное $V {\ displaystyle V}$ $V$ .

См. Также

Ссылки

^ «Полный список символов алгебры». Математическое хранилище. 2020-03-25. Проверено 8 сентября 2020 г.
^ Вайсштейн, Эрик У. "Conjugate Transpose". mathworld.wolfram.com. Проверено 8 сентября 2020 г.
^ "сопряженное транспонирование". planetmath.org. Проверено 8 сентября 2020 г.

Внешние ссылки

, Энциклопедия математики, EMS Press, 2001 [1994]