무한 집합 비교의 새로운 패러다임

초록

이 논문은 무한 집합의 크기를 비교하는 기존의 비전단사 중심 접근법을 넘어, 집합과 그 여집합의 크기를 함께 고려한 새로운 ‘기수’ 정의와 단계적 정제를 통한 ‘총량(totalit)’ 개념을 소개한다. 또한, 메트릭 공간에서 외측도를 구성하여 원래 공간의 부분집합과 그 멱집합의 부분집합을 비교할 수 있는 ‘전략적 총량 쌍’을 제시한다.

상세 분석

이 논문은 게오르크 칸토어의 전통적인 집합론 비교 방식을 확장하거나 대체할 수 있는 새로운 틀을 제시한다는 점에서 주목할 만하다. 핵심 기여는 크게 세 가지이다.

첫째, 실수 집합에 대해 집합 자체의 크기(가산/비가산)와 그 여집합의 크기(유한/가산/비가산)를 조합한 새로운 기수 표기법(ℵ₁\n, ℵ₁\ℵ₀, ℵ₁\ℵ₁)을 도입한다. 이는 비가산 집합을 보다 세분화하여 분류할 수 있게 하며, 예를 들어 무리수 집합(ℵ₁\ℵ₀)과 정규수 집합(ℵ₁\ℵ₁)이 서로 다른 ‘크기’를 가진다는 직관적 결론을 이끌어낸다.

둘째, ‘총량(totalit)‘이라는 새로운 비교 개념을 정의한다. 총량은 유한집합에 대해서는 원소 개수와 일치해야 하며, 단조성을 가져야 하는 등 공리를 만족시킨다. 논문은 단계별 정제 과정을 예로 들며, 각 단계에서 기존의 동일 기수 집합들을 보다 세부적인 총량 값(Ω₀, Ω₁/₂, Ω₁, Ω₁/₃, Ω₂/₃ 등)으로 추가 분류할 수 있음을 보인다. 이는 ‘크기’ 비교의 해상도를 무한히 높일 수 있는 유연한 프레임워크를 제안한다.

셋째, 가장 기술적인 핵심은 메트릭 공간 (X, d)에서 ‘메트릭 외측도’를 구성하고, 이를 통해 X의 부분집합과 P(X)의 부분집합 간의 총량 비교 체계를 구축한 것이다. 여기서 P(X)의 총량은 X의 메트릭 d로부터 유도된 하우스도르프 메트릭을 바탕으로 한 외측도로 정의된다. 이렇게 생성된 ‘전략적 총량 쌍’은 두 완전히 다른 유형의 집합(점들의 집합 vs 집합들의 집합) 사이에 공식적이고 의미 있는 크기 비교를 가능하게 한다. 이 비교는 단순한 비전단사 존재 여부가 아닌, 공간의 위상적 구조(메트릭)에 근거한다는 점에서 새로운 시각을 제공한다.

이 접근법은 칸토어 정리(P(X)의 기수가 X보다 크다)가 제시하는 이분법적 관계를 넘어, 두 공간이 동일한 ‘무한 총량(Ω∞)‘을 가질 수 있다는 미묘한 관점을 제시하며, 함수 해석학에서의 Hilber 공간이나 Banach 공간과 그 멱집합 간의 비교 등으로 확장 가능성을 열어둔다.