 Commuting matrices

In linear algebra, a set of matrices is said to commute if they commute pairwise, meaning A_{i}A_{j} = A_{j}A_{i} for every pair i, j (equivalently, the commutator vanishes: [A_{i},A_{j}]; more abstractly, if the algebra they generate is an abelian Lie algebra).
Properties
Commuting matrices over an algebraically closed field are simultaneously triangularizable; indeed, over the complex numbers they are unitarily simultaneously triangularizable. Further, if the matrices A_{i} have eigenvalues α_{i,m}, then a simultaneous eigenbasis can be chosen so that the eigenvalues of a polynomial in the commuting matrices is the polynomial in the eigenvalues. For example, for two commuting matrices A,B with eigenvalues α_{i},β_{j}, one can order the eigenvalues and choose the eigenbasis such that the eigenvalues of A + B are α_{i} + β_{i} and the eigenvalues for AB are α_{i}β_{i}. This was proven by Frobenius, with the twomatrix case proven in 1878, later generalized by him to any finite set of commuting matrices.
This is generalized by Lie's theorem, which shows that any representation of a solvable Lie algebra is simultaneously upper triangularizable, the case of commuting matrices being the abelian Lie algebra case, abelian being a fortiori solvable.
History
References given in (Drazin 1951).
The notion of commuting matrices was introduced by Cauchy in his Memoir on the theory of matrices, which also provided the first axiomatization of matrices. The first significant results proved on them was the above result of Frobenius in 1878.
References
 Drazin, M. (1951), "Some Generalizations of Matrix Commutativity", Proceedings of the London Mathematical Society, 3 1 (1): 222–231, doi:10.1112/plms/s31.1.222
Categories:
Wikimedia Foundation. 2010.
Look at other dictionaries:
Paire de matrices commutantes — En mathématiques, une paire de matrices commutantes est un couple (A,B) de matrices carrées à coefficients dans un corps commutatif qui commutent, c est à dire que AB = BA. L étude des paires de matrices commutantes a des aspects tout à fait… … Wikipédia en Français
Paires de matrices commutantes — Paire de matrices commutantes En mathématiques, une paire de matrices commutantes est un couple (A,B) de matrices carrées à coefficients dans un corps qui commutent, c est à dire que AB = BA. L étude des paires de matrices commutantes a des… … Wikipédia en Français
Hilbert's Nullstellensatz — (German: theorem of zeros, or more literally, zero locus theorem – see Satz) is a theorem which establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry, an important branch of… … Wikipedia
Matrix pencil — If are complex matrices for some nonnegative integer l, and (the zero matrix), then the matrix pencil of degree l is the matrix valued function defined on the complex numbers A particular case is a linear matrix pencil … Wikipedia
Eigenvalues and eigenvectors — For more specific information regarding the eigenvalues and eigenvectors of matrices, see Eigendecomposition of a matrix. In this shear mapping the red arrow changes direction but the blue arrow does not. Therefore the blue arrow is an… … Wikipedia
Matrix exponential — In mathematics, the matrix exponential is a matrix function on square matrices analogous to the ordinary exponential function. Abstractly, the matrix exponential gives the connection between a matrix Lie algebra and the corresponding Lie group.… … Wikipedia
Commutator — This article is about the mathematical concept. For the relation between canonical conjugate entities, see canonical commutation relation. For the type of electrical switch, see commutator (electric). In mathematics, the commutator gives an… … Wikipedia
Matrix mechanics — Quantum mechanics Uncertainty principle … Wikipedia
Bell's theorem — is a theorem that shows that the predictions of quantum mechanics (QM) are not intuitive, and touches upon fundamental philosophical issues that relate to modern physics. It is the most famous legacy of the late physicist John S. Bell. Bell s… … Wikipedia
Compact operator on Hilbert space — In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are precisely the closure of finite rank operators in the uniform operator topology. As such, results from matrix theory… … Wikipedia