[일반] 증명 매운지적좀

[익명(221.157)]

집합 증명 한건데 일단 첫번째 문장은 정의로 자명한데 두번째 문장이 조금 부족한거 같은데 뭐를 첨부해야 좋은가요…지적좀 부탁드립니다ㅜㅜ

- dc official App

[익명(223.38)]

조금 부족한 게 아니라 사실상 아무것도 한 게 없잖니 저런 g가 왜 존재하는데

[익명(221.157)]

그걸 어떤식으로 찾아야하죠? - dc App

[익명(223.38)]

그걸 찾는게 정확히 저 문제에서 원하는 점인데.. AxA는 A의 원소 두 개로 이루어진 좌표들 모임이지? 양쪽 좌표 중에 왼쪽만 f로 치고 오른쪽 좌표는 그대로 두면 어떻게 될까?

[익명(221.157)]

흠… g(x,y)=g(f(x),f(y))인가요 - dc App

[익명(211.234)]

Let A be a countable set and B^n be the set of all n-tuples (a1,a2,...,an) where n is positive integet and ak is in A for all k=1,2,...,n then Bn countable 이걸 증명하면 자연스러운 따름정리임

[익명(14.45)]

그냥 두번째 좌표는 원소 하나로 고정하고 첫번째거만 나열하면 A에서 AxA로 가는 injection임

[익명(175.215)]

f:A×A->A, f(a,b)=b라하고, 이는 전사함수라서, ㅣA×Aㅣ>_ㅣAㅣ이므로 A×A역시 무한집합이다. 이러면 안되나?