Set of solutions to the least-squares problem via QR decomposition
The set
where
where Precisely we have
|
Proof: Since and
are orthogonal, we have, with
:
Exploiting the fact that leaves Euclidean norms invariant, we express the original least-squares problem in the equivalent form:
Once the above is solved, and is found, we recover the original variable
with
.
Now let us decompose and
in a manner consistent with the block structure of
with two
-vectors. Then
which leads to the following expression for the objective function:
The optimal choice for the variables is to make the first term zero, which is achievable with
where is free and describes the ambiguity in the solution. The optimal residual is
.
We are essentially done with , we can write
that is: , with