위 그림에서 정리7.1(3)을 증명하기 위해서 빨간색 형광펜 상자 안의 내용이면 충분한거 아님??

K람다가 (T-뮤i)-불변이고, (T-뮤i)를 K람다에 제한했을 때, 단사 함수이면,

불변이므로 (T-뮤i):K람다->K람다  선형 연산자로 볼수 있고, 그러면 정의역과 공역의 차원이 같으므로 단사함수이면 차원정리에 의해 전사함수인거 아님?


왜 굳이 저런 식의 추가적인 증명이 필요하지?

내가 뭔갈 놓치고 있나 싶어서 물어봄


0b98867eb0f06c8523eb8090329c70194ebeb2ed3a0c450c6393a867c650cbea6588d50ef111b33b1bbbccdd9786c5f0df6f4acd92

7ae88176b4f11ef4239df2e2449c70698043ce52f1d099611e4a2d81c00840b837aefe39cb3bd5894cf3adf09215fbddd2fb5567cc