Conjugate transpose: Difference between revisions

Content added Content deleted
m (→‎{{header|REXX}}: added/changed comments and whitespace, changed indentations, simplified some functions.)
m (added whitespace before the TOC (table of contents), added a ;Task: and ;See also: (bold) headers, added bullet points for MathWorld entries (links).)
Line 1: Line 1:
{{task}} [[Category:Matrices]]
{{task}}
[[Category:Matrices]]

Suppose that a [[matrix]] <math>M</math> contains [[Arithmetic/Complex|complex numbers]]. Then the [[wp:conjugate transpose|conjugate transpose]] of <math>M</math> is a matrix <math>M^H</math> containing the [[complex conjugate]]s of the [[matrix transposition]] of <math>M</math>.
Suppose that a [[matrix]] <math>M</math> contains [[Arithmetic/Complex|complex numbers]]. Then the [[wp:conjugate transpose|conjugate transpose]] of <math>M</math> is a matrix <math>M^H</math> containing the [[complex conjugate]]s of the [[matrix transposition]] of <math>M</math>.


: <math>(M^H)_{ji} = \overline{M_{ij}}</math>
: <math> (M^H)_{ji} = \overline{M_{ij}} </math>


This means that row <math>j</math>, column <math>i</math> of the conjugate transpose equals the complex conjugate of row <math>i</math>, column <math>j</math> of the original matrix.
This means that row <math>j</math>, column <math>i</math> of the conjugate transpose equals the complex conjugate of row <math>i</math>, column <math>j</math> of the original matrix.
Line 10: Line 12:
* A [[wp:Hermitian matrix|Hermitian matrix]] equals its own conjugate transpose: <math>M^H = M</math>.
* A [[wp:Hermitian matrix|Hermitian matrix]] equals its own conjugate transpose: <math>M^H = M</math>.
* A [[wp:normal matrix|normal matrix]] is commutative in [[matrix multiplication|multiplication]] with its conjugate transpose: <math>M^HM = MM^H</math>.
* A [[wp:normal matrix|normal matrix]] is commutative in [[matrix multiplication|multiplication]] with its conjugate transpose: <math>M^HM = MM^H</math>.
* A [[wp:unitary matrix|unitary matrix]] has its [[inverse matrix|inverse]] equal to its conjugate transpose: <math>M^H = M^{-1}</math>. This is true [[wikt:iff|iff]] <math>M^HM = I_n</math> and iff <math>MM^H = I_n</math>, where <math>I_n</math> is the identity matrix.
* A [[wp:unitary matrix|unitary matrix]] has its [[inverse matrix|inverse]] equal to its conjugate transpose: <math>M^H = M^{-1}</math>. <br> This is true [[wikt:iff|iff]] <math>M^HM = I_n</math> and iff <math>MM^H = I_n</math>, where <math>I_n</math> is the identity matrix.


<br>
;Task:
Given some matrix of complex numbers, find its conjugate transpose.

Also determine if it is a Hermitian matrix, normal matrix, or a unitary matrix.


Given some matrix of complex numbers, find its conjugate transpose. Also determine if it is a Hermitian matrix, normal matrix, or a unitary matrix.


;See also:
* MathWorld: [http://mathworld.wolfram.com/ConjugateTranspose.html conjugate transpose], [http://mathworld.wolfram.com/HermitianMatrix.html Hermitian matrix], [http://mathworld.wolfram.com/NormalMatrix.html normal matrix], [http://mathworld.wolfram.com/UnitaryMatrix.html unitary matrix]
* &nbsp; MathWorld entry: &nbsp; [http://mathworld.wolfram.com/ConjugateTranspose.html conjugate transpose]
* &nbsp; MathWorld entry: &nbsp; [http://mathworld.wolfram.com/HermitianMatrix.html Hermitian matrix]
* &nbsp; MathWorld entry: &nbsp; [http://mathworld.wolfram.com/NormalMatrix.html normal matrix]
* &nbsp; MathWorld entry: &nbsp; [http://mathworld.wolfram.com/UnitaryMatrix.html unitary matrix]
<br><br>


=={{header|Ada}}==
=={{header|Ada}}==