[일반] 전사 증명문제

[익명(59.17)]

f:X->Y 가 전사

g:2^X -> 2^Y 가 전사

이거 두개가 서로 동치라는데

어케증명해야됨?

[익명(223.33)]

전사면 이미지가 교집합의 이미지도 잘 나눠져서 한쪽은 증명할 수 있지않나

[익명(59.17)]

g-> f 는 전사 사상일때 부분집합도 다 전사여서 어째어째 증명이 되던데 반대를 못하겠더라 동치라서 양쪽다 증명해야되는데

[ㅅㄲㅁㅇ(borwein)]

유한일땐 자명하고 무한일땐 2^X에서 원소 하나인 부분집합들이 Y의 원소 하나인 부분집합들로 가는 함수들의 집합 생각하고 zorn쓰면 될듯