[일반] 선대군 질문

[익명(110.70)]

3.5.5 보다가 생각난건데 2.3.12는 3.2.8 없이는 못푸는거 아닌가?? 2.3.12에서 상수항들로 구성된 F^(n+1)벡터라고 두고 증명했는데 내가 잘못 푼건가 싶어서

[핑크베리(117.111)]

3.2.8은 무한차원이고 2.3.12는 유한차원이니깐...

[익명(110.70)]

아하..ㄱㅅㄱㅅ

[01(1.240)]

isomorphism을 잡는데 꼭 basis 얘기가 나올 필요는 없지