공역이 치역보다 클 경우
대응하지 않는 공역의 임의의 점에 대해선 어떻게 정의함?
f(공집합)=y 이런식으로 정의하나?
아니면 정의할 수 없다고 하나?
이거 증명하는 과정에서 임의의 B를 잡을 때 전사 함수가 아닌 경우에는 B의 점들 중에 함수 f에 대응되지 않는 점이 존재하잖아
공역이 치역보다 클 경우
대응하지 않는 공역의 임의의 점에 대해선 어떻게 정의함?
f(공집합)=y 이런식으로 정의하나?
아니면 정의할 수 없다고 하나?
이거 증명하는 과정에서 임의의 B를 잡을 때 전사 함수가 아닌 경우에는 B의 점들 중에 함수 f에 대응되지 않는 점이 존재하잖아
그냥 역상의 정의를 다시 확인해보는게 좋을것 같은데