아니 어이가없는게 그냥 같은 수끼리 대응하면 자연수집합에서 홀수집합이 남고 y=2x로 대응시키면 일대일대응 되잖음 그럼 어떻게 대응시키면 일대일대응이 되고 어떻게 대응시키면 일대일대응이 안돼서 경합하는 상태인데 왜 자기가 보고싶은거만 보고 크기가 같다고 우기는거임?
그것이 무한이니까
1,2,3,4… 자연수 명의 사람들이 쭉 줄을 선 상태에서 다같이 오른쪽으로 한칸씩 움직이면 2,3,4… 자리에만 사람이 있을텐데, 그렇다고 이걸 사람 수가 줄었다고 할 수 있을까? 그게 더 이상함. 그래서 1,2,3,4…와 2,3,4,5,…는 개수가 같음
비슷한 논리로 짝수와 자연수도 개수가 같다고 보는게 자연스럽고, 일반적으로 일대일 대응이 하나만 있어도 개수가 같다고 보는 게 오히려 더 논리적
오 이해완료 설명지리네
존재성이 중요한거임
가산무한 얘기 같은데 양의 짝수 집합이 가산무한인 걸 보일려면 f: from {양의 짝수 집합} onto N 이 아니고 f: from N onto {양의 짝수 집합} 을 찾는 거 아님?
크기가 같은게 뭔데