프리드버그 6.7절임 증명에서 셋째줄 hence부터 5째줄까지 이해가 안된다. T*T가 positive semidefinite 한거랑 rankT*T = rankT인거랑 hence 이후부터 무슨 상관이냐.. 그나마 T*T가 self-adjoint니까 정리 6.17 쓰는건가 생각했는데 가정에 실벡터공간이나 복소벡터공간이라는 말이 없어서 이건 아닌것같은데... 아래는 thm 6.17
아 맞다 positive semidefinite 이면 eigenvalue가 0 이상인건 알고있음
증명 5번째줄에 람다 r>0, 람다i가 i>r에서 0인 이유라도 좀..
6.7초반에 실이나 복소벡터공간만 고려한단말잇을걸? thm6.17쓴거맞음. 그리고 T의 rank가 r이니깐 0보다큰 eigenvalue가 r개여여하는데(대각행렬로 행렬표현햇을때 nonzero term의개수가 rank니까) 크기순으로나열햇으니깐 람다r까진 0보다크고 그담부턴 0이어야지
ㄱㅅㄱㅅ 내일 다시봐야지
오늘 싸강 다듣고 할짓없으면 봐드림 (안한다는뜻)
ㅋㅋㅋㅋㅋㅋㅋ 하긴 갤에 놀러오지 문제풀러옴? ㅋㅋ