The nearest symmetric matrix is the symmetric part
Statement
Show that is a continuous linear projection of onto with kernel the skew-symmetric matrices, and that is the symmetric matrix nearest to in the Frobenius norm. Compute the distance.
Hint
Show that symmetric and skew-symmetric matrices are orthogonal for the Frobenius inner product.
Then use Pythagoras.
Show solutionHide solution
Solution
Idea. The decomposition is an orthogonal decomposition of for , so the symmetric part is an orthogonal projection, and orthogonal projections give the best approximation.
Step 1: the projection. Let . It is linear, and so it takes values in . If is symmetric then . Hence , and is onto . iff : the kernel is the space of skew matrices. It is continuous as a linear map between finite-dimensional spaces (explicitly ).
Step 2: orthogonality. For symmetric and skew,
(using and ), so . Thus and , an orthogonal direct sum.
Step 3: best approximation. Write with , . For any , the vector is symmetric, so is orthogonal to and
with equality iff . So is the unique nearest symmetric matrix and
Example. : , , distance .
Remark. The Frobenius norm is essential: for the operator norm the nearest symmetric matrix is in general *not* unique and not equal to (the operator-norm unit ball is not strictly convex).