Skip to main content
\(\newcommand{\Cs}{\mathbb{Cs}} \newcommand{\Cm}{\mathbb{C}^{m}} \newcommand{\Cmm}{\mathbb{C}^{m\times m}} \newcommand{\Cmn}{\mathbb{C}^{m\times n}} \newcommand{\R}{\mathbb{R}} \newcommand{\Rm}{\mathbb{R}^{m}} \newcommand{\Rn}{\mathbb{R}^{n}} \newcommand{\Rmm}{\mathbb{R}^{m\times m}} \DeclareMathOperator{\Range}{range} \DeclareMathOperator{\Rank}{rank} \DeclareMathOperator{\diag}{diag} \DeclareMathOperator{\Span}{span} \DeclareMathOperator{\range}{range} \DeclareMathOperator{\Null}{null} \newcommand{\definiteintegral}[4]{\int_{#1}^{#2}\,#3\,d#4} \newcommand{\indefiniteintegral}[2]{\int#1\,d#2} \graphicspath{ {images/} } \usepackage{amsmath} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Section23Low Rank Approximations (NM, 24 Oct)

First we proved the following result.

Then we moved on to the following, highly important theorem.

A similar result is true for the \(\| \cdot\|_F\) norm, the proof of which is left to an exercise.

All the above results emphasise the power the power of the SVD as an important theoretical and computational tool. We demonstrated this in class by using the SVD to compute “approximations” of certain images.

Computing the SVD is an important task, but not a trivial one. There are a few different approaches, but a key idea is the \(QR\)-factorisation.

Subsection23.1Exercises

Exercise23.4

Prove Theorem 23.3.

During this section of the course, we occasionally made use of arguments based on partitioning matrices. Use this idea to prove the following theorem.

Exercise23.5

Suppose that onc can partition the matrix \(A\) as

\begin{equation*} A = \begin{pmatrix} A_{11} \amp A_{12} \\ A_{21} \amp A_{22}, \end{pmatrix} \end{equation*}

where \(A\) and \(A_{11}\) are nonsingular. Let \(S=A_{22} - A_{21}A_{11}^{-1}A_{12}\text{.}\) Show that

\begin{equation*} A^{-1} = \begin{pmatrix} A_11^{-1} + A_{11}^{-1}A_{12}S^{-1}A_{21}A_{11}^-1 \amp -A_{11}^{-1}A_{12}S^{-1}\\ -S^{-1}A_{21}A_{11}^{-1} \amp S^{-1}. \end{pmatrix} \end{equation*}
Exercise23.6

Recall the definition of a lower triangular and unit lower triangular matrices in Exercise 2.6. Also, an upper triangular matrix is one whose transpose is lower triangular. Let \(L_1\) and \(L_2\) be unit lower triangular matrices. Let \(U_1\) and \(U_2\) be nonsingular upper triangular matrices. Suppose that \(L_1U_1=L_2U_2\text{.}\) Show that \(L_1=L_2\) and \(U_1=U_2\text{.}\)