Normal matrix

From Wikipedia, the free encyclopedia

Template:Short description In mathematics, a complex square matrix A is normal if it commutes with its conjugate transpose A*Script error: No such module "Check for unknown parameters".:

A normalAA=AA.

The concept of normal matrices can be extended to normal operators on infinite-dimensional normed spaces and to normal elements in C*-algebras. As in the matrix case, normality means commutativity is preserved, to the extent possible, in the noncommutative setting. This makes normal operators, and normal elements of C*-algebras, more amenable to analysis.

The spectral theorem states that a matrix is normal if and only if it is unitarily similar to a diagonal matrix; that is, any matrix A satisfying the equation A*A = AA*Script error: No such module "Check for unknown parameters". is diagonalizable. (The converse does not hold because diagonalizable matrices may have non-orthogonal eigenspaces.) Thus A=UDU and A=UDUwhere D is a diagonal matrix whose diagonal values are in general complex and U is a unitary matrix.

The left and right singular vectors in the singular value decomposition of a normal matrix A=UDV differ only in complex phase from each other and from the corresponding eigenvectors, since the phase must be factored out of the eigenvalues to form singular values.

Special cases

Among complex matrices, all unitary, Hermitian, and skew-Hermitian matrices are normal, with all eigenvalues being unit modulus, real, and imaginary, respectively. Likewise, among real matrices, all orthogonal, symmetric, and skew-symmetric matrices are normal, with all eigenvalues being complex conjugate pairs on the unit circle, real, and imaginary, respectively. However, it is not the case that all normal matrices are either unitary or (skew-)Hermitian, as their eigenvalues can be any complex number, in general. For example, A=[110011101] is neither unitary, Hermitian, nor skew-Hermitian, because its eigenvalues are 2,(1±i3)/2; yet it is normal because AA=[211121112]=AA.

Consequences

Page Template:Math theorem/styles.css has no content.

PropositionA normal triangular matrix is diagonal.

Page Template:Math proof/styles.css has no content.

Proof

Let A be any normal upper triangular matrix. Since (AA)ii=(AA)ii, using subscript notation, one can write the equivalent expression using instead the ith unit vector (𝐞̂i) to select the ith row and ith column: 𝐞̂i(AA)𝐞̂i=𝐞̂i(AA)𝐞̂i. The expression (A𝐞̂i)(A𝐞̂i)=(A𝐞̂i)(A𝐞̂i) is equivalent, and so is A𝐞̂i2=A𝐞̂i2, which shows that the ith row must have the same norm as the ith column.Template:Pb Consider i = 1Script error: No such module "Check for unknown parameters".. The first entry of row 1 and column 1 are the same, and the rest of column 1 is zero (because of triangularity). This implies the first row must be zero for entries 2 through n. Continuing this argument for row–column pairs 2 through n shows A is diagonal. Q.E.D.

The concept of normality is important because normal matrices are precisely those to which the spectral theorem applies:

Page Template:Math theorem/styles.css has no content.

PropositionA matrix A is normal if and only if there exist a diagonal matrix ΛScript error: No such module "Check for unknown parameters". and a unitary matrix U such that A = UΛU*Script error: No such module "Check for unknown parameters"..

The diagonal entries of ΛScript error: No such module "Check for unknown parameters". are the eigenvalues of A, and the columns of U are the eigenvectors of A. The matching eigenvalues in ΛScript error: No such module "Check for unknown parameters". come in the same order as the eigenvectors are ordered as columns of U.

Another way of stating the spectral theorem is to say that normal matrices are precisely those matrices that can be represented by a diagonal matrix with respect to a properly chosen orthonormal basis of CnScript error: No such module "Check for unknown parameters".. Phrased differently: a matrix is normal if and only if its eigenspaces span CnScript error: No such module "Check for unknown parameters". and are pairwise orthogonal with respect to the standard inner product of CnScript error: No such module "Check for unknown parameters"..

The spectral theorem for normal matrices is a special case of the more general Schur decomposition which holds for all square matrices. Let A be a square matrix. Then by Schur decomposition it is unitary similar to an upper-triangular matrix, say, B. If A is normal, so is B. But then B must be diagonal, for, as noted above, a normal upper-triangular matrix is diagonal.

The spectral theorem permits the classification of normal matrices in terms of their spectra, for example:

Page Template:Math theorem/styles.css has no content.

PropositionA normal matrix is unitary if and only if all of its eigenvalues (its spectrum) lie on the unit circle of the complex plane.

Page Template:Math theorem/styles.css has no content.

PropositionA normal matrix is self-adjoint if and only if its spectrum is contained in . In other words: A normal matrix is Hermitian if and only if all its eigenvalues are real.

In general, the sum or product of two normal matrices need not be normal. However, the following holds:

Page Template:Math theorem/styles.css has no content.

PropositionIf A and B are normal with AB = BAScript error: No such module "Check for unknown parameters"., then both ABScript error: No such module "Check for unknown parameters". and A + BScript error: No such module "Check for unknown parameters". are also normal. Furthermore there exists a unitary matrix U such that UAU*Script error: No such module "Check for unknown parameters". and UBU*Script error: No such module "Check for unknown parameters". are diagonal matrices. In other words A and B are simultaneously diagonalizable.

In this special case, the columns of U*Script error: No such module "Check for unknown parameters". are eigenvectors of both A and B and form an orthonormal basis in CnScript error: No such module "Check for unknown parameters".. This follows by combining the theorems that, over an algebraically closed field, commuting matrices are simultaneously triangularizable and a normal matrix is diagonalizable – the added result is that these can both be done simultaneously.

Equivalent definitions

It is possible to give a fairly long list of equivalent definitions of a normal matrix. Let A be a n × nScript error: No such module "Check for unknown parameters". complex matrix. Then the following are equivalent:

  1. A is normal.
  2. A is diagonalizable by a unitary matrix.
  3. There exists a set of eigenvectors of A which forms an orthonormal basis for CnScript error: No such module "Check for unknown parameters"..
  4. A𝐱=A𝐱 for every xScript error: No such module "Check for unknown parameters"..
  5. The Frobenius norm of A can be computed by the eigenvalues of A: tr(AA)=j|λj|2.
  6. The Hermitian part Script error: No such module "Unsubst".(A + A*)Script error: No such module "Check for unknown parameters". and skew-Hermitian part Script error: No such module "Unsubst".(AA*)Script error: No such module "Check for unknown parameters". of A commute.
  7. A*Script error: No such module "Check for unknown parameters". is a polynomial (of degree n − 1Script error: No such module "Check for unknown parameters".) in A.[a]
  8. A* = AUScript error: No such module "Check for unknown parameters". for some unitary matrix U.[1]
  9. U and P commute, where we have the polar decomposition A = UPScript error: No such module "Check for unknown parameters". with a unitary matrix U and some positive semidefinite matrix P.
  10. A commutes with some normal matrix N with distinctScript error: No such module "Unsubst". eigenvalues.
  11. σi = Template:AbsScript error: No such module "Check for unknown parameters". for all 1 ≤ inScript error: No such module "Check for unknown parameters". where A has singular values σ1 ≥ ⋯ ≥ σnScript error: No such module "Check for unknown parameters". and has eigenvalues that are indexed with ordering Template:Abs ≥ ⋯ ≥ Template:AbsScript error: No such module "Check for unknown parameters"..[2]

Some but not all of the above generalize to normal operators on infinite-dimensional Hilbert spaces. For example, a bounded operator satisfying (9) is only quasinormal.

Normal matrix analogy

Script error: No such module "Unsubst". It is occasionally useful (but sometimes misleading) to think of the relationships of special kinds of normal matrices as analogous to the relationships of the corresponding type of complex numbers of which their eigenvalues are composed. This is because any function (that can be expressed as a power series) of a non-defective matrix acts directly on each of its eigenvalues, and the conjugate transpose of its spectral decomposition VDV is VDV, where D is the diagonal matrix of eigenvalues. Likewise, if two normal matrices commute and are therefore simultaneously diagonalizable, any operation between these matrices also acts on each corresponding pair of eigenvalues.

As a special case, the complex numbers may be embedded in the normal 2×2 real matrices by the mapping a+bi[abba]=a[1001]+b[0110]. which preserves addition and multiplication. It is easy to check that this embedding respects all of the above analogies.

See also

Notes

  1. Proof: When A is normal, use Lagrange's interpolation formula to construct a polynomial P such that λj=P(λj), where λj are the eigenvalues of A.

Citations

Sources

  • Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found..
  • Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.

Template:Matrix classes

ja:正規作用素