Link to originalOrthogonal Matrix
Let be a real square matrix then
is orthogonal if
which holds if and only if
Link to originalOrthogonality of Product of Orthogonal Matrices
Let be orthogonal matrices then
Proof
As are orthogonal then
Then
Link to originalScalar Inner Product
Let
in then
Link to originalOrthogonality of Vectors
Let then
are orthogonal if
Link to originalOrthogonal Set
Let be a set of vectors where for all then
is a orthogonal set if
Link to originalColumns of an Orthogonal Matrix form an Orthogonal Set lemma
Let be an orthogonal matrix with columns then
is an orthogonal set and an orthonormal basis for
Proof
Suppose
so is the -th column of then
Comparing -th entry then
Hence is an orthonormal set
As then it is also an orthonormal set
Let thenHence
Link to originalOrthogonal Matrices don't affect Scalar Product
Let be a orthogonal matrix
LetLet then
Proof
Link to originalOuter Product
Let then
Outer Product of and is
Link to originalHouseholder Matrix
For where then
Household reflector is
Link to originalProperty of Householder Reflectors
For where then
is symmetric orthogonal
Proof
Symmetric
Orthogonality
Link to originalHouseholder Transformation
Let then
Exists such that
where
Proof
As is orthogonal then so hence choice of
Let where then
Hence
Link to originalQR Decomposition
Let be a matrix then
Exists orthogonal matrix and upper triangular matrix such that
If then
Thin QR is
where
has orthonormal columns and same size as
and has the bottom rows beingFull QR is
where is square orthogonal
Proof for Square Matrix
Let be the first column of then
Exists such that
where
Hence
where is a general entry
Similarly for there exists such that
Hence
with in Block Form
Repeating this for the steps then
where is upper triangular
As product of orthogonal matrices are orthogonal then is orthogonal
Hence