勘違い

U=[u_1,\dots,u_n](\|u_i\|_2^2=1)がn次元実数空間の基底になっているとして, g=\sum_i \langle u_i, g \rangle u_iとしていた. 危ない危ない. \{u_i\}が直交基底でないと任意のgについて言えない.
慌てて論旨を確認した. 大丈夫だったので一安心.

あと, 線形代数に関する勘が鈍り過ぎている. 研究室の人に話してフィードバックを貰えるので有難い.