User:IssaRice/Linear algebra/Classification of operators: Difference between revisions
No edit summary |
No edit summary |
||
| Line 13: | Line 13: | ||
| <math>T</math> is an isometry || 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 || This only works when the field of scalars is the complex numbers | | <math>T</math> is an isometry || 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 || This only works when the field of scalars is the complex numbers | ||
|- | |- | ||
| <math>T</math> is positive || There exists an orthonormal basis of <math>V</math> consisting of eigenvectors of <math>T</math> with | | <math>T</math> is positive (positive semidefinite) || There exists an orthonormal basis of <math>V</math> consisting of eigenvectors of <math>T</math> with nonnegative real eigenvalues || <math>T</math> is diagonalizable using an orthonormal basis and the diagonal entries are all nonnegative real numbers | ||
|} | |} | ||
Revision as of 05:22, 17 January 2020
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.
| Operator kind | Description in terms of eigenvectors | Description in terms of diagonalizability | 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? | 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 ( is 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 an isometry | 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 |