Orthogonality

Orthogonality is an important property for relating two vectors, or two subspaces, or a vector and a plane. The math notation is ⊥, as in x ⊥ y.

Orthonormality is an expanded concept, requiring that the components be unit vectors.


Vectors

The concept of orthogonality is a generalization of perpendicularity in 2-dimensional space.

Two vectors are proven to be orthogonal if they obey the Pythagorean theorem. In the case of two vectors, this test simplifies to xTy = 0.

xTx + yTy = (x+y)T(x+y) expands to xTx + yTy = xTx + yTy + xTy + yTx, simplifies to 0 = xTy + yTx, is trivially proven to be equivalent to 0 = 2xTy, and finally simplifies to 0 = xTy.


Subspaces

For a subspace S to be orthogonal to a subspace T, every vector in S must be orthogonal to every vector in T.


Vectors and Planes

The null space of a matrix A contains the vectors that are not in the row space. These vectors cancel out; they are not a linear combination of the rows; if the row space is a plane, then these vectors are not on that plane.

The null space of A (a.k.a. N(A)) is orthogonal to the row space of A (a.k.a. R(A)). The null space of AT (a.k.a. N(AT)) is orthogonal to the column space of A (a.k.a. C(A)). Commonly this means that the row and column spaces are planes while the null spaces of A and AT are vectors, but that isn't always true.


Matrices

If a matrix is composed of orthonormal columns, then it is a matrix with orthonormal columns. These are usually denoted as Q. This has an important property: QTQ = I.

The projection of A if A is a matrix with orthonormal columns simplifies from P = A(ATA-1)AT into P = QQT. Correspondingly, the system of normal equations simplifies from ATAx̂ = ATb into x̂ = QTb.

If a matrix with orthonormal columns is also square, only then can it be called an orthogonal matrix. This has an additional important property: QT = Q-1.

For example, if Q is square, then the projection matrix further simplifies to P = I.


CategoryRicottone

LinearAlgebra/Orthogonality (last edited 2024-01-27 22:52:28 by DominicRicottone)