4.8. Matrices III#

4.8.1. Orthogonal Matrices#

Definition 4.109

A real square matrix \(\bU\) is called orthogonal if the columns of \(\bU\) form an orthonormal set. In other words, let

\[ \bU = \begin{bmatrix} \bu_1 & \bu_2 & \dots & \bu_n \end{bmatrix} \]

with \(\bu_i \in \RR^n\). Then we have

\[ \bu_i \cdot \bu_j = \delta_{i , j}. \]

Lemma 4.44

An orthogonal matrix \(\bU\) is invertible with \(\bU^T = \bU^{-1}\).

Proof. Let

\[ \bU = \begin{bmatrix} \bu_1 & \bu_2 & \dots & \bu_n \end{bmatrix} \]

be orthogonal with

\[\begin{split} \bU^T = \begin{bmatrix} \bu_1^T \\ \bu_2^T \\ \vdots \\ \bu_n^T \end{bmatrix}. \end{split}\]

Then

\[\begin{split} \bU^T \bU = \begin{bmatrix} \bu_1^T \\ \bu_2^T \\ \vdots \\ \bu_n^T \end{bmatrix} \begin{bmatrix} \bu_1 & \bu_2 & \dots & \bu_n \end{bmatrix} = \begin{bmatrix} \bu_i \cdot \bu_j \end{bmatrix} = \bI. \end{split}\]

Since columns of \(\bU\) are linearly independent and span \(\RR^n\), hence \(\bU\) is invertible. Thus

\[ \bU^T = \bU^{-1}. \]

Lemma 4.45 (Determinant of an orthogonal matrix)

Determinant of an orthogonal matrix is \(\pm 1\).

Proof. Let \(\bU\) be an orthogonal matrix. Then

\[ \det (\bU^T \bU) = \det (\bI) \implies \left ( \det (\bU) \right )^2 = 1. \]

Thus we have

\[ \det(\bU) = \pm 1. \]

4.8.2. Unitary Matrices#

Definition 4.110 (Unitary matrix)

A complex square matrix \(\bU\) is called unitary if the columns of \(\bU\) form an orthonormal set. In other words, let

\[ \bU = \begin{bmatrix} \bu_1 & \bu_2 & \dots & \bu_n \end{bmatrix} \]

with \(u_i \in \CC^n\). Then we have

\[ \bu_i \cdot \bu_j = \langle \bu_i , \bu_j \rangle = \bu_j^H \bu_i = \delta_{i , j}. \]

Lemma 4.46

A unitary matrix \(\bU\) is invertible with \(\bU^H = \bU^{-1}\).

Proof. Let

\[ \bU = \begin{bmatrix} \bu_1 & \bu_2 & \dots & \bu_n \end{bmatrix} \]

be unitary with

\[\begin{split} \bU^H = \begin{bmatrix} \bu_1^H \\ \bu_2^H \\ \vdots \\ \bu_n^H \end{bmatrix}. \end{split}\]

Then

\[\begin{split} \bU^H \bU = \begin{bmatrix} \bu_1^H \\ \bu_2^H \\ \vdots \\ \bu_n^H \end{bmatrix} \begin{bmatrix} \bu_1 & \bu_2 & \dots & \bu_n \end{bmatrix} = \begin{bmatrix} \bu_i^H \bu_j \end{bmatrix} = \bI. \end{split}\]

Since columns of \(\bU\) are linearly independent and span \(\CC^n\), hence \(\bU\) is invertible. Thus

\[ \bU^H = \bU^{-1}. \]

Lemma 4.47 (Determinant of unitary matrices)

The magnitude of determinant of a unitary matrix is \(1\).

Proof. Let \(\bU\) be a unitary matrix. Then

\[ \det (\bU^H \bU) = \det (\bI) \implies \det(\bU^H) \det(\bU) = 1 \implies \overline{\det(\bU)}{\det(\bU)} = 1. \]

Thus we have

\[ |\det(\bU) |^2 = 1 \implies |\det(\bU) | = 1. \]

4.8.3. F Unitary Matrices#

We provide a common definition for unitary matrices over any field \(\FF\). This definition applies to both real and complex matrices.

Definition 4.111

A square matrix \(\bU \in \FF^{n \times n}\) is called \(\FF\) unitary if the columns of \(\bU\) form an orthonormal set. In other words, let

\[ \bU = \begin{bmatrix} \bu_1 & \bu_2 & \dots & \bu_n \end{bmatrix} \]

with \(\bu_i \in \FF^n\). Then we have

\[ \langle \bu_i , \bu_j \rangle = \bu_j^H \bu_i = \delta_{i , j}. \]

We note that a suitable definition of inner product transports the definition appropriately into orthogonal matrices over \(\RR\) and unitary matrices over \(\CC\).

When we are talking about \(\FF\) unitary matrices, then we will use the symbol \(\bU^H\) to mean its inverse. In the complex case, it will map to its conjugate transpose, while in real case it will map to simple transpose.

This definition helps us simplify some of the discussions in the sequel (like singular value decomposition).

Following results apply equally to orthogonal matrices for real case and unitary matrices for complex case.

Lemma 4.48 (Norm preservation)

\(\FF\)-unitary matrices preserve norm. i.e.

\[ \| \bU \bx \|_2 = \| \bx \|_2. \]

Proof. We have

\[ \| \bU \bx \|_2^2 = (\bU \bx)^H (\bU \bx) = \bx^H \bU^H \bU \bx = \bx^H \bI \bx = \| \bx \|_2^2. \]

Remark 4.11

For the real case we have

\[ \| \bU \bx \|_2^2 = (\bU \bx)^T (\bU \bx) = \bx^T \bU^T \bU \bx = \bx^T \bI \bx = \| \bx\|_2^2. \]

Lemma 4.49 (Preservation of inner products)

\(\FF\)-unitary matrices preserve inner product. i.e.

\[ \langle \bU \bx, \bU \by \rangle = \langle \bx, \by \rangle. \]

Proof. We have

\[ \langle \bU \bx, \bU \by \rangle = (\bU \by)^H \bU \bx = \by^H \bU^H \bU \bx = \by^H \bx. \]

Remark 4.12

For the real case we have

\[ \langle \bU \bx, \bU \by \rangle = (\bU \by)^T \bU \bx = \by^T \bU^T \bU \bx = \by^T \bx. \]