Subsection UM Unitary Matrices

Recall that the adjoint of a matrix is $\adjoint{A}=\transpose{\left(\conjugate{A}\right)}$ (Definition A).

Definition UM Unitary Matrices

Suppose that $U$ is a square matrix of size $n$ such that $\adjoint{U}U=I_n$. Then we say $U$ is unitary.

This condition may seem rather far-fetched at first glance. Would there be any matrix that behaved this way? Well, yes, here is one.

Example UM3 Unitary matrix of size 3

Unitary matrices do not have to look quite so gruesome. Here is a larger one that is a bit more pleasing.

Example UPM Unitary permutation matrix

If a matrix $A$ has only real number entries (we say it is a real matrix) then the defining property of being unitary simplifies to $\transpose{A}A=I_n$. In this case we, and everybody else, call the matrix orthogonal, so you may often encounter this term in your other reading when the complex numbers are not under consideration.

Unitary matrices have easily computed inverses. They also have columns that form orthonormal sets. Here are the theorems that show us that unitary matrices are not as strange as they might initially appear.

Theorem UMI Unitary Matrices are Invertible

Suppose that $U$ is a unitary matrix of size $n$. Then $U$ is nonsingular, and $\inverse{U}=\adjoint{U}$.

Theorem CUMOS Columns of Unitary Matrices are Orthonormal Sets

Suppose that $S=\set{\vectorlist{A}{n}}$ is the set of columns of a square matrix $A$ of size $n$. Then $A$ is a unitary matrix if and only if $S$ is an orthonormal set.

Example OSMC Orthonormal set from matrix columns

When using vectors and matrices that only have real number entries, orthogonal matrices are those matrices with inverses that equal their transpose. Similarly, the inner product is the familiar dot product. Keep this special case in mind as you read the next theorem.

Theorem UMPIP Unitary Matrices Preserve Inner Products

Suppose that $U$ is a unitary matrix of size $n$ and $\vect{u}$ and $\vect{v}$ are two vectors from $\complex{n}$. Then \begin{align*} \innerproduct{U\vect{u}}{U\vect{v}}&=\innerproduct{\vect{u}}{\vect{v}} & &\text{and} & \norm{U\vect{v}}&=\norm{\vect{v}} \end{align*}

Aside from the inherent interest in this theorem, it makes a bigger statement about unitary matrices. When we view vectors geometrically as directions or forces, then the norm equates to a notion of length. If we transform a vector by multiplication with a unitary matrix, then the length (norm) of that vector stays the same. If we consider column vectors with two or three slots containing only real numbers, then the inner product of two such vectors is just the dot product, and this quantity can be used to compute the angle between two vectors. When two vectors are multiplied (transformed) by the same unitary matrix, their dot product is unchanged and their individual lengths are unchanged. This results in the angle between the two vectors remaining unchanged.

A “unitary transformation” (matrix-vector products with unitary matrices) thus preserve geometrical relationships among vectors representing directions, forces, or other physical quantities. In the case of a two-slot vector with real entries, this is simply a rotation. These sorts of computations are exceedingly important in computer graphics such as games and real-time simulations, especially when increased realism is achieved by performing many such computations quickly. We will see unitary matrices again in subsequent sections (especially Theorem OD) and in each instance, consider the interpretation of the unitary matrix as a sort of geometry-preserving transformation. Some authors use the term isometry to highlight this behavior. We will speak loosely of a unitary matrix as being a sort of generalized rotation.

Sage UM Unitary Matrices

A final reminder: the terms “dot product,” “symmetric matrix” and “orthogonal matrix” used in reference to vectors or matrices with real number entries are special cases of the terms “inner product,” “Hermitian matrix” and “unitary matrix” that we use for vectors or matrices with complex number entries, so keep that in mind as you read elsewhere.

(in context)