Orthogonality is the geometric idea of “perpendicularity” extended to any dimension. Two vectors are orthogonal when their dot product is zero,they point in completely independent directions. This concept unlocks powerful tools: projections decompose vectors into components, orthogonal bases simplify computations, and the Gram-Schmidt process converts any basis into an orthonormal one. Orthogonality turns complicated geometric problems into simple, coordinate-wise calculations.
The Dot Product
(Definition)
For vectors u,v∈Rn:
u⋅v=u1v1+u2v2+⋯+unvn=i=1∑nuivi
Matrix notation:u⋅v=uTv (row times column).
Geometric interpretation: The dot product measures how much two vectors “align”:
Large positive value: vectors point in similar directions
Zero: vectors are perpendicular (orthogonal)
Large negative value: vectors point in opposite directions
(Properties)
The dot product is:
Commutative:u⋅v=v⋅u
Distributive:u⋅(v+w)=u⋅v+u⋅w
Homogeneous:(cu)⋅v=c(u⋅v)
Positive definite:v⋅v≥0, with equality iff v=0
(Length and Angle)
The length (or norm) of a vector:
∥v∥=v⋅v=v12+v22+⋯+vn2
The angle between nonzero vectors u and v:
cosθ=∥u∥∥v∥u⋅v
Key insight: The dot product is ∥u∥∥v∥cosθ,it captures both magnitude and directional alignment.
At each step, we take vk and remove its components along all previous orthogonal directions. What remains (uk) is guaranteed to be orthogonal to u1,…,uk−1.
Key insight: The span of {u1,…,uk} equals the span of {v1,…,vk} at each stage,we’re just changing the basis vectors, not the subspace.
(Can scale by 3: u3=−222 or by −3/2: u3=1−1−1)
Verify orthogonality: Check all pairs have dot product zero.
Normalize for orthonormal basis:
q1=21110,q2=611−12,q3=311−1−1
QR Factorization
(The Connection)
The Gram-Schmidt process gives the QR factorization of a matrix.
If A=[v1∣⋯∣vn] has linearly independent columns, then:
A=QR
where:
Q=[q1∣⋯∣qn] has orthonormal columns (from Gram-Schmidt)
R is upper triangular (encodes the projection coefficients)
Why this matters: QR factorization is numerically stable and used for solving least squares problems, computing eigenvalues (QR algorithm), and more.
Applications
(Least Squares)
To solve the inconsistent system Ax=b (more equations than unknowns), find the x that minimizes ∥Ax−b∥.
The solution is the projection of b onto col(A):
x^=(ATA)−1ATb
If A=QR (orthonormal columns), this simplifies dramatically:
x^=R−1QTb
Why?(QR)T(QR)=RTQTQR=RTR (since QTQ=I), and RTR is easy to work with.
(Orthogonal Decomposition)
Any vector space splits naturally into orthogonal complements. For example:
Rn=row(A)⊕null(A)Rm=col(A)⊕null(AT)
These are the four fundamental subspaces, paired as orthogonal complements.
(Signal Processing)
In Fourier analysis, sine and cosine waves form an orthogonal basis for periodic functions. The Fourier coefficients are just inner products,projections onto each frequency component.
Summary: Why Orthogonality Simplifies Everything
Orthogonality turns geometry into algebra:
Dot products compute angles and lengths without trigonometry
Orthogonal vectors are automatically independent (no redundancy)
Orthonormal bases make coordinates trivial (just dot products)
Projections decompose vectors into parallel and perpendicular parts
Gram-Schmidt converts any basis into an orthonormal one
When vectors are orthogonal, you can work component-wise,no cross-terms, no interactions, just clean decomposition. This is why orthonormal bases are the gold standard: they make every calculation as simple as possible while preserving all the geometry.
1 Orthogonality is the geometric idea of "perpendicularity" extended to any dimension. Two vectors are orthogonal when their dot product is zero,they point in completely independent directions. This concept unlocks powerful tools: projections decompose vectors into components, orthogonal bases simplify computations, and the Gram-Schmidt process converts any basis into an orthonormal one. Orthogonality turns complicated geometric problems into simple, coordinate-wise calculations.
105 All terms vanish except $c_i\|\mathbf{v}_i\|^2 = 0$. Since $\mathbf{v}_i \neq \mathbf{0}$, we have $c_i = 0$. This holds for all $i$, so the set is independent. ✓
290 Given a basis $\{\mathbf{v}_1, \ldots, \mathbf{v}_k\}$ for a subspace, we want to construct an **orthogonal** (or orthonormal) basis $\{\mathbf{u}_1, \ldots, \mathbf{u}_k\}$ for the same subspace.
330 At each step, we take $\mathbf{v}_k$ and remove its components along all previous orthogonal directions. What remains ($\mathbf{u}_k$) is guaranteed to be orthogonal to $\mathbf{u}_1, \ldots, \mathbf{u}_{k-1}$.
332 **Key insight:** The span of $\{\mathbf{u}_1, \ldots, \mathbf{u}_k\}$ equals the span of $\{\mathbf{v}_1, \ldots, \mathbf{v}_k\}$ at each stage,we're just changing the basis vectors, not the subspace.
404 **Why this matters:** QR factorization is numerically stable and used for solving least squares problems, computing eigenvalues (QR algorithm), and more.
412 To solve the inconsistent system $A\mathbf{x} = \mathbf{b}$ (more equations than unknowns), find the $\mathbf{x}$ that minimizes $\|A\mathbf{x} - \mathbf{b}\|$.
448 In Fourier analysis, sine and cosine waves form an orthogonal basis for periodic functions. The Fourier coefficients are just inner products,projections onto each frequency component.
463 When vectors are orthogonal, you can work component-wise,no cross-terms, no interactions, just clean decomposition. This is why orthonormal bases are the gold standard: they make every calculation as simple as possible while preserving all the geometry.