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
![]()