Jump to content

Quaternionic matrix: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
References: reflist
Citation bot (talk | contribs)
Add: bibcode. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | Category:Linear algebra | #UCB_Category 274/287
 
(27 intermediate revisions by 18 users not shown)
Line 1: Line 1:
{{Short description|Concept in linear algebra}}
<!-- Please do not remove or change this AfD message until the issue is settled -->
<!-- The nomination page for this article already existed when this tag was added. If this was because the article had been nominated for deletion before, and you wish to renominate it, please replace "page=Quaternionic matrix" with "page=Quaternionic matrix (2nd nomination)" below before proceeding with the nomination.
-->{{AfDM|page=Quaternionic matrix|year=2010|month=August|day=31|substed=yes}}
<!-- For administrator use only: {{Old AfD multi|page=Quaternionic matrix|date=31 August 2010|result='''keep'''}} -->
<!-- End of AfD message, feel free to edit beyond this point -->
A '''quaternionic matrix''' is a [[matrix (mathematics)|matrix]] whose elements are [[quaternion]]s.
A '''quaternionic matrix''' is a [[matrix (mathematics)|matrix]] whose elements are [[quaternion]]s.


==Matrix operations==
== Product of quaternionic matrices ==
The quaternions form a [[noncommutative]] [[ring (algebra)|ring]], and therefore [[Matrix addition|addition]] and [[Matrix multiplication|multiplication]] can be defined for quaternionic matrices as for matrices over any ring.


'''Addition'''. The sum of two quaternionic matrices ''A'' and ''B'' is defined in the usual way by element-wise addition:
The product of two quaternionic matrices follows the usual definition for [[matrix multiplication]]. That is, the entry in the ''i''th row and ''j''th column of the product is the [[dot product]] of the ''i''th row of the first matrix with the ''j''th column of the second matrix. Specifically:
:<math>(A+B)_{ij}=A_{ij}+B_{ij}.\,</math>

'''Multiplication'''. The product of two quaternionic matrices ''A'' and ''B'' also follows the usual definition for matrix multiplication. For it to be defined, the number of columns of ''A'' must equal the number of rows of ''B''. Then the entry in the ''i''th row and ''j''th column of the product is the [[dot product]] of the ''i''th row of the first matrix with the ''j''th column of the second matrix. Specifically:
:<math>(AB)_{ij}=\sum_s A_{is}B_{sj}.\,</math>
:<math>(AB)_{ij}=\sum_s A_{is}B_{sj}.\,</math>
For example, for
For example, for
Line 32: Line 32:
\end{pmatrix}.
\end{pmatrix}.
</math>
</math>
Since quaternionic multiplication is noncommutative, care must be taken to preserve the order of the factors when computing the product of matrices.<ref>Tapp pp. 11 ff. for the section.</ref>
Since quaternionic multiplication is noncommutative, care must be taken to preserve the order of the factors when computing the product of matrices.

The [[Identity element|identity]] for this multiplication is, as expected, the diagonal matrix I&nbsp;=&nbsp;diag(1, 1, ... , 1). Multiplication follows the usual laws of [[associativity]] and [[distributivity]]. The trace of a matrix is defined as the sum of the diagonal elements, but in general
:<math>\operatorname{trace}(AB)\ne\operatorname{trace}(BA).</math>

Left scalar multiplication, and right scalar multiplication are defined by
:<math>(cA)_{ij}=cA_{ij}, \qquad (Ac)_{ij}=A_{ij}c.\,</math>
Again, since multiplication is not commutative some care must be taken in the order of the factors.<ref>{{cite book |title=Matrix groups for undergraduates|first=Kristopher|last=Tapp
|publisher=AMS Bookstore|year=2005|isbn=0-8218-3785-0 |pages=11 ''ff''
|url=https://books.google.com/books?id=Un_15Im3NhUC&pg=PA11}}</ref>

==Determinants==
There is no natural way to define a [[determinant]] for (square) quaternionic matrices so that the values of the determinant are quaternions.<ref>{{cite journal |author=Helmer Aslaksen |title=Quaternionic determinants |year=1996 |journal=[[The Mathematical Intelligencer]] |volume=18 |number=3 |pages=57–65 |doi=10.1007/BF03024312|s2cid=13958298 }}</ref> Complex valued determinants can be defined however.<ref>{{cite journal |author=E. Study |title=Zur Theorie der linearen Gleichungen |year=1920 |journal=[[Acta Mathematica]] |volume=42 |number=1 |pages=1–61 |language=German |doi=10.1007/BF02404401|doi-access=free }}</ref> The quaternion ''a'' + ''bi'' + ''cj'' + ''dk'' can be represented as the 2&times;2 complex matrix
: <math>\begin{bmatrix}~~a+bi & c+di \\ -c+di & a-bi \end{bmatrix}.</math>
This defines a map Ψ<sub>''mn''</sub> from the ''m'' by ''n'' quaternionic matrices to the 2''m'' by 2''n'' complex matrices by replacing each entry in the quaternionic matrix by its 2 by 2 complex representation. The complex valued determinant of a square quaternionic matrix ''A'' is then defined as det(Ψ(''A'')). Many of the usual laws for determinants hold; in particular, an [[square matrix|''n'' by ''n'' matrix]] is invertible if and only if its determinant is nonzero.

==Applications==
Quaternionic matrices are used in [[quantum mechanics]]<ref>{{cite journal |author= N. Rösch |title=Time-reversal symmetry, Kramers' degeneracy and the algebraic eigenvalue problem |year=1983 |journal=[[Chemical Physics]] |volume=80 |issue=1–2 |pages=1–5 |doi=10.1016/0301-0104(83)85163-5|bibcode=1983CP.....80....1R }}</ref> and in the treatment of [[multibody problem]]s.<ref>{{cite book |title=Quaternionic and Clifford calculus for physicists and engineers |url=https://archive.org/details/quaternionicclif00kgue |url-access=limited |author=Klaus Gürlebeck |author2=Wolfgang Sprössig |chapter=Quaternionic matrices |pages=[https://archive.org/details/quaternionicclif00kgue/page/n43 32]–34 |publisher=Wiley |year=1997 |isbn=978-0-471-96200-7}}</ref>


==References==
==References==
{{reflist}}
{{reflist}}

*{{cite book |title=Matrix groups for undergraduates|first=Kristopher|last=Tapp
{{Matrix classes}}
|publisher=AMS Bookstore|year=2005|isbn=0821837850
|url=http://books.google.com/books?id=Un_15Im3NhUC&pg=PA11#v=onepage&q&f=false}}


[[Category:Matrices]]
[[Category:Matrices]]

Latest revision as of 07:18, 17 December 2023

A quaternionic matrix is a matrix whose elements are quaternions.

Matrix operations

[edit]

The quaternions form a noncommutative ring, and therefore addition and multiplication can be defined for quaternionic matrices as for matrices over any ring.

Addition. The sum of two quaternionic matrices A and B is defined in the usual way by element-wise addition:

Multiplication. The product of two quaternionic matrices A and B also follows the usual definition for matrix multiplication. For it to be defined, the number of columns of A must equal the number of rows of B. Then the entry in the ith row and jth column of the product is the dot product of the ith row of the first matrix with the jth column of the second matrix. Specifically:

For example, for

the product is

Since quaternionic multiplication is noncommutative, care must be taken to preserve the order of the factors when computing the product of matrices.

The identity for this multiplication is, as expected, the diagonal matrix I = diag(1, 1, ... , 1). Multiplication follows the usual laws of associativity and distributivity. The trace of a matrix is defined as the sum of the diagonal elements, but in general

Left scalar multiplication, and right scalar multiplication are defined by

Again, since multiplication is not commutative some care must be taken in the order of the factors.[1]

Determinants

[edit]

There is no natural way to define a determinant for (square) quaternionic matrices so that the values of the determinant are quaternions.[2] Complex valued determinants can be defined however.[3] The quaternion a + bi + cj + dk can be represented as the 2×2 complex matrix

This defines a map Ψmn from the m by n quaternionic matrices to the 2m by 2n complex matrices by replacing each entry in the quaternionic matrix by its 2 by 2 complex representation. The complex valued determinant of a square quaternionic matrix A is then defined as det(Ψ(A)). Many of the usual laws for determinants hold; in particular, an n by n matrix is invertible if and only if its determinant is nonzero.

Applications

[edit]

Quaternionic matrices are used in quantum mechanics[4] and in the treatment of multibody problems.[5]

References

[edit]
  1. ^ Tapp, Kristopher (2005). Matrix groups for undergraduates. AMS Bookstore. pp. 11 ff. ISBN 0-8218-3785-0.
  2. ^ Helmer Aslaksen (1996). "Quaternionic determinants". The Mathematical Intelligencer. 18 (3): 57–65. doi:10.1007/BF03024312. S2CID 13958298.
  3. ^ E. Study (1920). "Zur Theorie der linearen Gleichungen". Acta Mathematica (in German). 42 (1): 1–61. doi:10.1007/BF02404401.
  4. ^ N. Rösch (1983). "Time-reversal symmetry, Kramers' degeneracy and the algebraic eigenvalue problem". Chemical Physics. 80 (1–2): 1–5. Bibcode:1983CP.....80....1R. doi:10.1016/0301-0104(83)85163-5.
  5. ^ Klaus Gürlebeck; Wolfgang Sprössig (1997). "Quaternionic matrices". Quaternionic and Clifford calculus for physicists and engineers. Wiley. pp. 32–34. ISBN 978-0-471-96200-7.