Mathematics — Linear Algebra · coordinatization-orthonormal-basis
Problem
In the discussion following Theorem OBNM we comment that the equation x^=U∗x is just Theorem COB in disguise. Formulate this observation more formally and prove the equivalence.