N(T)ㅗ 가 나오는데
이게 꼭 직교여공간이여야만 하는거임?
그냥 N(T)랑 정의역의 직합을 이루는 임의의 부분공간 하나 가져오면 잘 정의되는거 아닌과??
기하학적으로 직관적인 T-T(x)가 N(T)ㅗ 에 대한 x의 사영 이런건 안되겠지만…