How does minimizing the norm ||b - Ax*|| relate to minimizing the sum of squared residuals?

The least-squares fit $A\vec{x}^*$ is identified with the orthogonal projection of $\vec{b}$ onto $C(A)$ because the goal of least squares is to find the vector in the subspace $C(A)$ that is closest to $\vec{b}$. A fundamental geometric property of subspaces states that the unique closest point in a subspace to an external vector is its orthogonal projection.

Conditions: $C(A)$ is a subspace of $\mathbb{R}^n$; $\vec{b} \in \mathbb{R}^n$; Distance is measured by the Euclidean norm

The solution to the normal equations is considered the least-squares solution because it satisfies the necessary and sufficient condition for minimizing the residual norm $\|\vec{b} - A\vec{x}\|$. The derivation shows that minimizing this norm is equivalent to requiring the residual $A\vec{x}^* - \vec{b}$ to be orthogonal to the column space $C(A)$.

Conditions: The original system $A\vec{x}=\vec{b}$ may be inconsistent; $A^T A \vec{x}^* = A^T \vec{b}$ has a solution

Every product $A\vec{x}$ is a member of the column space $C(A)$ because matrix-vector multiplication is defined as a linear combination of the columns of $A$. Specifically, if $A = [\vec{a}_1 \ \vec{a}_2 \ \cdots \ \vec{a}_k]$ and $\vec{x} = [x_1, \dots, x_k]^T$, then $A\vec{x} = x_1\vec{a}_1 + \dots + x_k\vec{a}_k$.

Conditions: $A$ is an $n \times k$ matrix; $\vec{x} \in \mathbb{R}^k$; $C(A)$ is the span of the columns of $A$

The equation $A\vec{x}=\vec{b}$ has no solution because solving it is equivalent to finding weights $x_1, \dots, x_k$ such that $x_1\vec{a}_1 + \dots + x_k\vec{a}_k = \vec{b}$. The column space $C(A)$ is defined as the set of all possible linear combinations of the columns of $A$.

Conditions: $A$ is an $n \times k$ matrix; $\vec{x} \in \mathbb{R}^k$ and $\vec{b} \in \mathbb{R}^n$; $C(A)$ denotes the column space of $A$

When $A\vec{x}=\vec{b}$ has no exact solution, the least-squares solution $\vec{x}^*$ is defined as the vector that minimizes the Euclidean norm of the residual, $\|\vec{b} - A\vec{x}^*\|$. Geometrically, this means choosing $\vec{x}^*$ such that $A\vec{x}^*$ is the closest possible vector to $\vec{b}$ within the column space $C(A)$.

Conditions: The system $A\vec{x}=\vec{b}$ is inconsistent (no exact solution exists); Distance is measured by the standard Euclidean norm