[일반] 가부번집합 증명 도와주세요..

[익명(121.183)]

A,B가 가부번집합일때 AxB 또한 가부번집합이다

이걸 좀 수식적으로만 증명을 해보려는데 1-1은 증명을 했는데 onto가 증명이 잘 안되네요... 도움주실분있을까요?

[익명(119.200)]

그 슈뢰머시기 베른슈타인 앎?

[익명(121.183)]

칸토르-베른슈타인 정리말인가요?

[익명(119.200)]

착각함 실수칼디날 말하는줄;; 그 f(x,y)=2^x3^y 의 상이 countable의 무한부분집합임

[adf(203.229)]

f(1,1)=1, f(2,1)=2, f(1,2)=3, f(3,1)=4, f(2,2)=5, f(1,3)=6, f(4,1)=7, f(3,2)=8, f(2,3)=9, f(1,4)=10, ...

[익명(121.183)]

어떤식으로 하는지 알겠어요 그런데 제가 fxg:NxN=>AxB 로 함수를 잡아서... 이렇게 잡아도 그 증명방식이 가능할까요

[익명(210.179)]

이게 니가원하는건데??