[대학교이상] 뭔가 이상한거같은데

[녜서님(fermathy)]

case 1 에서 합집합 일대일대응 만들때

Nk는 유한개 자연수니까 N의 부분집합일거고 그래서

NUNk는 N이 됌

근데 합집합으로 정의한 함수 XUY -> (NUNk=N)에서

Y의 원소가 Nk으로 가는데 X의 원소도 Nk로 갈 수 있지않음? 그러면 injective가 깨져서 일대일대응이 안되는데

- dc official App

[++Rikka5(lillollool)]

ㅇㅇ이상하네 저거 하려면 N말고 N-N_k를 잡앗어야함

[녜서님(fermathy)]

X~N~N-Nk => X~N-Nk , Y~Nk XUY ~ (N-Nk)UNk=N 가능?? - dc App

[++Rikka5(lillollool)]

ㅖㅏ

[익명(175.223)]

애초에 X~N, Y~N_k로 가는 둘을 합해놓은거니까 X는 N으로 가야지

[익명(175.223)]

일단 NUNk으로 보낸 다음에 거기서 다시 N으로 가는거지 처음에 X랑 Y랑 같은 곳으로 가는게 아님

[익명(175.223)]

문맥상 NUNk는 disjoint union이고

[녜서님(fermathy)]

엥 근데 Nk는 1부터 k까지의 자연수집합이니까 유한집합이고 N의 부분집합일텐데 - dc App

[익명(175.223)]

그냥 기수만 똑같은 다른 집합이라고 생각하면 되지 아예 N*Nk로 생각하던가