프리드버그 6.7절임

증명에서 셋째줄 hence부터 5째줄까지 이해가 안된다.
T*T가 positive semidefinite 한거랑 rankT*T = rankT인거랑 hence 이후부터 무슨 상관이냐..



그나마 T*T가 self-adjoint니까 정리 6.17 쓰는건가 생각했는데 가정에 실벡터공간이나 복소벡터공간이라는 말이 없어서 이건 아닌것같은데... 아래는 thm 6.17