User:IssaRice/Linear algebra/Classification of operators: Difference between revisions

From Machinelearning
No edit summary
No edit summary
Line 11: Line 11:
| <math>T</math> self-adjoint (aka Hermitian) || There exists an orthonormal basis of <math>V</math> consisting of eigenvectors of <math>T</math> with real eigenvalues || <math>T</math> is diagonalizable using an orthonormal basis and the diagonal entries are all real || || <math>T = T^*</math> ||
| <math>T</math> self-adjoint (aka Hermitian) || There exists an orthonormal basis of <math>V</math> consisting of eigenvectors of <math>T</math> with real eigenvalues || <math>T</math> is diagonalizable using an orthonormal basis and the diagonal entries are all real || || <math>T = T^*</math> ||
|-
|-
| <math>T</math> is anti-self-adjoint (aka skew-Hermitian or anti-Hermitian ) || There exists an orthonormal basis of <math>V</math> consisting of eigenvectors of <math>T</math> with pure imaginary eigenvalues || <math>T</math> is diagonalizable using an orthonormal basis and the diagonal entries are all pure imaginary || || <math>T^* = -T</math> ||
| <math>T</math> is anti-self-adjoint (aka skew-Hermitian or anti-Hermitian) || There exists an orthonormal basis of <math>V</math> consisting of eigenvectors of <math>T</math> with pure imaginary eigenvalues || <math>T</math> is diagonalizable using an orthonormal basis and the diagonal entries are all pure imaginary || || <math>T^* = -T</math> ||
|-
|-
| <math>T</math> is an isometry (aka unitary in a complex vector space, or orthogonal in a real vector space) || There exists an orthonormal basis of <math>V</math> consisting of eigenvectors of <math>T</math> whose eigenvalues all have absolute value 1 || <math>T</math> is diagonalizable using an orthonormal basis and the diagonal entries all have absolute values 1 || || <math>TT^* = T^*T = TT^{-1} = I</math> || This only works when the field of scalars is the complex numbers
| <math>T</math> is an isometry (aka unitary in a complex vector space, or orthogonal in a real vector space) || There exists an orthonormal basis of <math>V</math> consisting of eigenvectors of <math>T</math> whose eigenvalues all have absolute value 1 || <math>T</math> is diagonalizable using an orthonormal basis and the diagonal entries all have absolute values 1 || || <math>TT^* = T^*T = TT^{-1} = I</math> || This only works when the field of scalars is the complex numbers

Revision as of 13:35, 28 December 2021

Let be a finite-dimensional inner product space, and let be a linear transformation. Then in the table below, the statements within the same row are equivalent. Below, we consider only complex operators, or the complexification of a real operator.

Operator kind Description in terms of eigenvectors Description in terms of diagonalizability Geometric interpretation Algebraic property Notes Examples
is diagonalizable There exists a basis of consisting of eigenvectors of is diagonalizable (there exists a basis of with respect to which is a diagonal matrix) This basis is not unique because we can reorder the vectors and also scale eigenvectors by a non-zero number to obtain an eigenvector. But there are at most distinct eigenvalues so the diagonal matrix should be unique up to order? This result holds even if is merely a vector space with any field of scalars. If is the identity map, then every non-zero vector is an eigenvector of with eigenvalue because . Thus every basis diagonalizes . The matrix of with respect to is the identity matrix.
is normal There exists an orthonormal basis of consisting of eigenvectors of is diagonalizable using an orthonormal basis
self-adjoint (aka Hermitian) There exists an orthonormal basis of consisting of eigenvectors of with real eigenvalues is diagonalizable using an orthonormal basis and the diagonal entries are all real
is anti-self-adjoint (aka skew-Hermitian or anti-Hermitian) There exists an orthonormal basis of consisting of eigenvectors of with pure imaginary eigenvalues is diagonalizable using an orthonormal basis and the diagonal entries are all pure imaginary
is an isometry (aka unitary in a complex vector space, or orthogonal in a real vector space) There exists an orthonormal basis of consisting of eigenvectors of whose eigenvalues all have absolute value 1 is diagonalizable using an orthonormal basis and the diagonal entries all have absolute values 1 This only works when the field of scalars is the complex numbers
is positive (positive semidefinite) There exists an orthonormal basis of consisting of eigenvectors of with nonnegative real eigenvalues is diagonalizable using an orthonormal basis and the diagonal entries are all nonnegative real numbers Polar decomposition says an arbitrary linear operator can be written as a positive operator followed by a rotation (isometry). In polar decomposition, the positive operator step chooses orthogonal directions in which to stretch or shrink, so that we have a tilted ellipse, and the isometry rotates that ellipse. So a positive operator is simply one that does not require the second step. In other words, for a positive operator you can find some orthogonal "coordinate axes" along which to scale.

Acknowledgments: Thanks to Philip B. for feedback on this page.