[대학교이상] 카운텨블의 카운터블 유니온 카운터블 증명 궁금한거

[익명(118.235)]

중복되는 원소가 생길때 대응을 제대로안하고 걍 얼버무리는데

카운터블의 부분집합이 무한집합이면 카운터블인거로

증명대는거임?

엄밀하게어케증명함 중복대는거를 빼게끔 함수를 잡아주는거

- dc official App

[카카오M(kakaothh)]

A가 countable set이고 onto function A->B 가 존재하면 B가 at most countable임을 증명할 수 있어요. 중복되는 원소가 없도록 disjoint countable union으로 전단사함수를 잡아준다음에 onto function을 잡아주면 됨

[Affine(algebra500)]

전단사함수 NxN->N 를 구성하면 끝나는거 아님?