Exercise 1399Topology › Topology of Mn(ℝ) › Norms and metric structureL3Added 7 Nov 2026
The operator norm is invariant under transposition
#transpose#operator norm#duality
Statement
Show that for every .
Hint
Show that .
Then transpose the scalar .
Show solutionHide solution
Solution
Idea. Express the norm as a supremum of a *bilinear* expression in which and play symmetric roles, then notice that transposing simply exchanges them.
Step 1: the bilinear formula. For a vector , : indeed by Cauchy-Schwarz, and equality holds for (any if ). Applying this to ,
Step 2: transposing. The number is a scalar, so it equals its own transpose: . Hence
where in the last step we applied the formula of Step 1 to (with the roles of and exchanged).
Remark. An alternative proof: and , have the same non-zero eigenvalues (equal to ), so . The same equality *fails* for the induced norms : there , which differs in general from .