行列で、
　$U_k U_k^{\top}$
と書くと、下付き添字がずれるのが少し気に入らない。仕方ないんだろうけど。