16.-Linear-Algebra-by-Kenneth-Hoffman · Problem 10.4.3

Bilinear Forms

Mathematics — Linear Algebra · orthogonal-transformation-sum-squares

Problem

Let yj=∑k=1nMjkxky_j = \sum_{k=1}^n M_{jk} x_k where MM is a member of O(n,C)O(n, C). Show that ∑jyj2=∑jxj2.\sum_j y_j^2 = \sum_j x_j^2.
Intuitive explanation

The key insight is that O(n,C)O(n, \mathbb{C}) consists of matrices that preserve the standard inner product—that's literally what orthogonality means. When you apply an orthogonal matrix to a vector, the norm (sum of squared components) stays unchanged. Think of it geometrically: orthogonal transformations are rotations and reflections, which don't stretch or shrink vectors. You just need to translate "orthogonal matrix" into the algebraic condition M∗M=IM^* M = I and apply it to the sum ∑jyj2\sum_j y_j^2.

Intuitive explanation

The key insight is that O(n,C)O(n, \mathbb{C}) consists of matrices that preserve the standard inner product—that's literally what orthogonality means. When you apply an orthogonal matrix to a vector, the norm (sum of squared components) stays unchanged. Think of it geometrically: orthogonal transformations are rotations and reflections, which don't stretch or shrink vectors. You just need to translate "orthogonal matrix" into the algebraic condition M∗M=IM^* M = I and apply it to the sum ∑jyj2\sum_j y_j^2.

Related theory

Browse the problem library