[일반] 가부번집합

[익명(221.157)]

모든 무한집합은 가부번 집합을 부분집합으로 포함한다

pf) ex) X가 무한집합이면 “단사함수” f:N->X가 존재한다

여기서 f정의역이 왜 N인지 모르겠습니다 N이 되려면 단사함수가아니라 전단사함수가 존재한다가 맞는거 아닌가요

- dc official App

[익명(223.38)]

친구없음? 여기에 과제를 전부다 물어보냐

[익명(222.112)]

밑에 이상한 놈이 정의어쩌구 해서 개념글 갔길래 왜 그러나 싶었는데 이런거때문에 그랬구나

[voevodsky제자(voevodskyisgod)]

이상한 놈이요? (*´-`) - voevodsky는 신이다

[ScARfaCE(kayuaao)]

굳이 전단사일 필요는 없지 단사면 N이랑 f(N)사이에 전단사가 존재하는게 보장되니까