Hermitovská transpozice

Matice hemitovsky sdružená [1] ke komplexní matici A {\displaystyle {\boldsymbol {A}}} typu m × n {\displaystyle m\times n} je matice typu n × m {\displaystyle n\times m} získaná transpozicí A {\displaystyle {\boldsymbol {A}}} a záměnou každého z čísel za komplexně sdružené číslo. Značí se A H {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }} [1], A {\displaystyle {\boldsymbol {A}}^{*}} [2] nebo A {\displaystyle {\boldsymbol {A}}'} , a ve fyzice často A {\displaystyle {\boldsymbol {A}}^{\dagger }} . Nazývá se také hemitovská transpozice nebo komplexně sdružená transpozice.

Hermitovská transpozice reálných matice se shoduje s běžnou transpozicí A H = A T {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }={\boldsymbol {A}}^{\mathsf {T}}} .

Definice

Hermitovská transpozice matice A {\displaystyle {\boldsymbol {A}}} typu m × n {\displaystyle m\times n} je formálně definována ( A H ) i j = a j i ¯ {\displaystyle {\bigl (}{\boldsymbol {A}}^{\mathrm {H} }{\bigr )}_{ij}={\overline {a_{ji}}}} pro 1 i n {\displaystyle 1\leq i\leq n} a 1 j m {\displaystyle 1\leq j\leq m} , kde pruh značí komplexně sdružené číslo.

Tuto definici lze také napsat jako A H = A ¯ T = A T ¯ {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }={\overline {\boldsymbol {A}}}^{\mathsf {T}}={\overline {{\boldsymbol {A}}^{\mathsf {T}}}}} , kde A T {\displaystyle {\boldsymbol {A}}^{\mathsf {T}}} označuje transpozici a A ¯ {\displaystyle {\overline {\boldsymbol {A}}}} označuje matici s komplexně sdruženými prvky.

Hermitovská transpozice matice A {\displaystyle {\boldsymbol {A}}} může být značena některým z těchto symbolů:

  • A H {\displaystyle {\boldsymbol {A}}^{\mathsf {H}}} , běžně používaný v lineární algebře
  • A {\displaystyle {\boldsymbol {A}}^{*}} , běžně používaný v lineární algebře
  • A {\displaystyle {\boldsymbol {A}}^{\dagger }} , běžně používané v kvantové mechanice
  • A + {\displaystyle {\boldsymbol {A}}^{+}} , ačkoli tento symbol se běžněji používá pro Mooreovu–Penroseovu pseudoinverzi

Někdy A {\displaystyle {\boldsymbol {A}}^{*}} označuje matici pouze s komplexními sdruženými prvky a bez transpozice.

Ukázka

Hermitovskou transpozice následující matice A {\displaystyle {\boldsymbol {A}}} lze získat ve dvou krocích.

A = ( 1 2 i 5 1 + i i 4 2 i ) {\displaystyle {\boldsymbol {A}}={\begin{pmatrix}1&-2-i&5\\1+i&i&4-2i\end{pmatrix}}}

Nejprve je matice transponována:

A T = ( 1 1 + i 2 i i 5 4 2 i ) {\displaystyle {\boldsymbol {A}}^{\mathsf {T}}={\begin{pmatrix}1&1+i\\-2-i&i\\5&4-2i\end{pmatrix}}} ,

a potom je každý její prvek zaměněn za své komplexně sdružené číslo:

A H = ( 1 1 i 2 + i i 5 4 + 2 i ) {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }={\begin{pmatrix}1&1-i\\-2+i&-i\\5&4+2i\end{pmatrix}}} .

Poznámky

Čtvercová matice A {\displaystyle {\boldsymbol {A}}} se nazývá

  • Hermitovská nebo samosdružená pokud A = A H {\displaystyle {\boldsymbol {A}}={\boldsymbol {A}}^{\mathrm {H} }} .
  • Normální, pokud A H A = A A H {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }{\boldsymbol {A}}={\boldsymbol {A}}{\boldsymbol {A}}^{\mathrm {H} }} .
  • Unitární pokud A H = A 1 {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }={\boldsymbol {A}}^{-1}} , ekvivalentně A A H = A H A = I {\displaystyle {\boldsymbol {A}}{\boldsymbol {A}}^{\mathrm {H} }={\boldsymbol {A}}^{\mathrm {H} }{\boldsymbol {A}}=\mathbf {I} } .

I když A {\displaystyle {\boldsymbol {A}}} není čtvercová, obě matice A H A {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }{\boldsymbol {A}}} a A A H {\displaystyle {\boldsymbol {A}}{\boldsymbol {A}}^{\mathrm {H} }} jsou jak hermitovské, tak ve skutečnosti pozitivně semi-definitní.

Hermitovsky "sdružená" transpozice A H {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }} se v komplexní analýze někdy nazývá adjungovaná matice, ale ta by neměla být zaměňována s adjungovanou maticí adj ( A ) {\displaystyle \operatorname {adj} ({\boldsymbol {A}})} z lineární algebry.

Hermitovská transpozice matice A {\displaystyle {\boldsymbol {A}}} se reálnými prvky redukuje na transpozici A {\displaystyle {\boldsymbol {A}}} , protože komplexně sdruženým číslem k reálnému číslu je číslo samotné.

Motivace

Zavedení hermitovské transpozice může být motivováno tím, že komplexní čísla mohou být reprezentována reálnými maticemi typu 2 × 2 {\displaystyle 2\times 2} , s obvyklým sčítáním a násobením matic:

a + i b ( a b b a ) . {\displaystyle a+\mathrm {i} b\equiv {\begin{pmatrix}a&-b\\b&a\end{pmatrix}}.}

Uvedené nahrazení libovolného komplexního čísla z {\displaystyle z} reálnou maticí řádu 2 je lineární transformace na Argandově diagramu (nahlíženo jako na reálný vektorový prostor R 2 {\displaystyle \mathbb {R} ^{2}} ), ovlivněné komplexním z {\displaystyle z} - násobením na C {\displaystyle \mathbb {C} } .

Každou komplexní matici typu m × n {\displaystyle m\times n} pak lze reprezentovat reálnou maticí 2 m × 2 n {\displaystyle 2m\times 2n} . Obyčejná transpozice této větší reálné matice odpovídá hermitovské transpozici původní komplexní matice.

Vlastnosti hermitovské transpozice

Rovnosti uvedené v následujících odstavcích platí, pokud mají výsledky operací smysl.

  • ( A + B ) H = A H + B H {\displaystyle ({\boldsymbol {A}}+{\boldsymbol {B}})^{\mathrm {H} }={\boldsymbol {A}}^{\mathrm {H} }+{\boldsymbol {B}}^{\mathrm {H} }} .
  • ( z A ) H = z ¯ A H {\displaystyle (z{\boldsymbol {A}})^{\mathrm {H} }={\overline {z}}{\boldsymbol {A}}^{\mathrm {H} }} pro libovolné komplexní číslo z {\displaystyle z} .
  • ( A B ) H = B H A H {\displaystyle ({\boldsymbol {A}}{\boldsymbol {B}})^{\mathrm {H} }={\boldsymbol {B}}^{\mathrm {H} }{\boldsymbol {A}}^{\mathrm {H} }} .
  • ( A H ) H = A {\displaystyle {\bigl (}{\boldsymbol {A}}^{\mathrm {H} }{\bigr )}^{\mathrm {H} }={\boldsymbol {A}}} , tj. Hermitovská transpozice je involucí.
  • Je-li A {\displaystyle {\boldsymbol {A}}} čtvercová matice, pak det ( A H ) = det A ¯ {\displaystyle \det {\bigl (}{\boldsymbol {A}}^{\mathrm {H} }{\bigr )}={\overline {\det {\boldsymbol {A}}}}} , kde det A {\displaystyle \operatorname {det} {\boldsymbol {A}}} označuje determinant matice A {\displaystyle {\boldsymbol {A}}} .
  • Je-li A {\displaystyle {\boldsymbol {A}}} čtvercová matice, pak tr ( A H ) = tr A ¯ {\displaystyle \operatorname {tr} {\bigl (}{\boldsymbol {A}}^{\mathrm {H} }{\bigr )}={\overline {\operatorname {tr} {\boldsymbol {A}}}}} , kde tr A {\displaystyle \operatorname {tr} {\boldsymbol {A}}} označuje stopu matice A {\displaystyle {\boldsymbol {A}}} .
  • A {\displaystyle {\boldsymbol {A}}} je regulární právě když A H {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }} je regulární a v tom případě ( A H ) 1 = ( A 1 ) H {\displaystyle {\bigl (}{\boldsymbol {A}}^{\mathrm {H} }{\bigr )}^{-1}={\bigl (}{\boldsymbol {A}}^{-1}{\bigr )}^{\mathrm {H} }} .
  • Vlastní čísla A H {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }} jsou komplexně sdružená k vlastním číslům A {\displaystyle {\boldsymbol {A}}} .
  • A x , y m = x , A H y n {\displaystyle \left\langle {\boldsymbol {A}}x,y\right\rangle _{m}=\left\langle x,{\boldsymbol {A}}^{\mathrm {H} }y\right\rangle _{n}} pro jakoukoli matici A {\displaystyle {\boldsymbol {A}}} typu m × n {\displaystyle m\times n} , libovolný vektor x C n {\displaystyle x\in \mathbb {C} ^{n}} a libovolný vektor y C m {\displaystyle y\in \mathbb {C} ^{m}} . Zde, , m {\displaystyle \langle \cdot ,\cdot \rangle _{m}} označuje standardní skalární součin na C m {\displaystyle \mathbb {C} ^{m}} , a podobně pro , n {\displaystyle \langle \cdot ,\cdot \rangle _{n}} .

Zobecnění

Poslední vlastnost uvedená výše ukazuje, že pokud pohlížíme na A {\displaystyle {\boldsymbol {A}}} jako na lineární transformaci z Hilbertova prostoru C n {\displaystyle \mathbb {C} ^{n}} na C m , {\displaystyle \mathbb {C} ^{m},} pak matice A H {\displaystyle {\boldsymbol {A}}^{\mathrm {H} }} odpovídá sdruženému operátoru k A {\displaystyle {\boldsymbol {A}}} . Koncept sdružených operátorů mezi Hilbertovými prostory tak může být chápán jako zobecnění hermitovské transpozice matic vzhledem k ortonormální bázi.

Existuje další zobecnění: předpokládejme, že A {\displaystyle A} je lineární zobrazení z komplexního vektorového prostoru V {\displaystyle V} do W {\displaystyle W} , pak lze definovat komplexně sdružené lineární zobrazení i transponované lineární zobrazení a můžeme tedy mít hermitovskou transpozici A {\displaystyle A} jako komplexní sdružení transpozice A {\displaystyle A} . Toto zobrazuje sdružený duál W {\displaystyle W} na sdružený duál V {\displaystyle V} .

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Conjugate transpose na anglické Wikipedii.

  1. a b ČSN EN ISO 80000-2 (011300). Veličiny a jednotky - Část 2: Matematika. Česká agentura pro standardizaci, 2020-11-01. detail.
  2. WEISSTEIN, Eric W. MathWorld--A Wolfram Web Resource [online]. [cit. 2023-02-28]. Kapitola "Conjugate Transpose.". Dostupné online. (anglicky) 

Literatura

  • BÄRTSCH, Hans-Jochen. Matematické vzorce. Praha: Academia, 2006. 832 s. ISBN 80-200-1448-9. Kapitola Matice, s. 180–198. 
  • BEČVÁŘ, Jindřich. Lineární algebra. 1.. vyd. Praha: Matfyzpress, 2019. 436 s. ISBN 978-80-7378-392-1. 
  • HLADÍK, Milan. Lineární algebra (nejen) pro informatiky. 1.. vyd. Praha: Matfyzpress, 2019. 328 s. ISBN 978-80-7378-378-5. S. 39. 
  • OLŠÁK, Petr. Lineární algebra [online]. Praha: 2007 [cit. 2023-02-20]. Dostupné online. 
  • MOTL, Luboš; ZAHRADNÍK, Miloš. Pěstujeme lineární algebru [online]. [cit. 2023-02-20]. Dostupné online. 

Související články