갈릴레오의 무한 역설 계산기

갈릴레오의 역설은 서로 양립할 수 없어 보이는 두 관찰에서 시작합니다. 완전제곱수는 양의 정수 중 일부로, 1, 4, 9, 16 등입니다. 대부분의 자연수는 제곱수가 아니며, 유한한 표본에서 제곱수는 점점 드물어 보입니다. 하지만 모든 양의 자연수 n은 정확히 하나의 제곱수 n의 제곱과 짝을 이루고, 모든 양의 제곱수에는 양의 제곱근이 정확히 하나 있습니다. 이 일대일 대응은 제곱수 집합과 모든 자연수 집합의 무한한 크기가 같음을 보여 줍니다. 계산기는 유한한 측면을 눈에 보이게 합니다. 1부터 상한 N까지의 자연수 중 완전제곱수는 floor(sqrt(N))개입니다. 100까지는 10개로 전체의 10%입니다. 10,000까지는 100개로 1%에 불과합니다. N이 커질수록 비율 floor(sqrt(N))/N은 0에 가까워집니다. 자연 밀도라는 용어로는 자연수에서 완전제곱수의 밀도가 0이라고 합니다. 무한한 측면에서는 비율 대신 짝짓기를 사용합니다. 1은 1에, 2는 4에, 3은 9에, 일반적으로 n은 n의 제곱에 대응시킵니다. 입력 쪽의 어떤 자연수도 빠지지 않고, 출력 쪽의 완전제곱수도 중복되거나 빠지지 않습니다. 현대 집합론에서는 이런 규칙을 전단사라고 합니다. 두 집합 사이에 전단사가 존재하면 한쪽이 다른 쪽의 진부분집합이어도 기수가 같습니다. 두 집합 모두 가산 무한 집합입니다. 유한한 비율과 무한 집합의 기수가 서로 다른 척도임을 이해하면 모순은 없습니다. 비율은 상한을 늘릴 때 한 집합이 다른 집합 안에 얼마나 조밀하게 나타나는지를 묻습니다. 기수는 원소를 하나씩 짝지을 수 있는지를 묻습니다. 유한 집합에서는 진부분집합의 원소가 항상 더 적다는 익숙한 직관과 맞아떨어집니다. 무한 집합은 자신의 진부분집합과도 완전히 짝지을 수 있으므로 다르게 작동합니다. 갈릴레오가 이 문제를 논의할 당시에는 무한 기수에 관한 엄밀한 이론이 없었습니다. 이후 게오르크 칸토어가 무한 집합을 비교하는 방법으로 일대일 대응을 정식화했습니다. 이 역설은 가산 무한, 극한, 밀도, 전단사를 배우는 좋은 출발점입니다. 상한을 점점 키워 유한 비율이 줄어드는 모습을 보면서, n에서 n의 제곱으로 가는 대응은 어느 쪽에서도 끝나지 않음을 기억하세요. 이 도구는 무한 자체를 계산하지 않고, 유한한 추세와 무한한 짝짓기가 서로 다른 두 수학적 질문에 답한다는 점을 보여 줍니다.