거의 모든 점에서 동등성 문제와 위상공간의 크기 조건

초록

본 논문은 위상공간 Y가 “거의 모든 점에서 동등성(AEEP)” 성질을 갖는지 여부를 조사한다. 정의에 따르면 임의의 측정공간 (X,𝔐)와 측정가능 함수 f,g:X→Y에 대해 동등점 집합 Δ(f,g)={x∈X: f(x)=g(x)}가 𝔐에 속해야 한다. 저자는 Y가 가산히 연속가능한 메트릭을 갖는 경우, 즉 가산 기반 메트릭 공간일 때 Y의 기수 |Y|가 연속체의 기수 2^{ℵ₀} 이하이면 AEEP가 성립하고, 그 반대도 성립함을 증명한다.

상세 분석

논문은 먼저 AEEP(Almost Everywhere Equality Property)의 정의를 명확히 하고, 이를 기존의 측도론적 동등성 개념과 비교한다. 일반적인 측정공간에서 두 함수가 거의 어디서나 같은지를 판단하려면, 동등점 집합이 측정가능해야 하는데, 이는 함수값이 취할 수 있는 값들의 위상구조에 크게 의존한다는 점을 강조한다. 저자는 메트리제이션 가능 공간 Y에 대해, Y의 기수(cardinality)가 연속체의 기수 2^{ℵ₀}를 초과하면, 특정 비가산 집합을 이용해 측정불가능한 동등점 집합을 구성할 수 있음을 보인다. 구체적으로, Y에 포함된 서로 다른 점들을 이용해 X=2^{ℵ₀}개의 원소를 갖는 비가산 집합 Ω를 정의하고, Ω 위에 적절한 비표준 측도(예: 카르테시안 곱에서의 비가산 부분집합에 대한 외측측도)를 부여한다. 그런 다음 두 함수 f,g를 Ω의 서로 다른 부분에 상수값으로 매핑함으로써 Δ(f,g) 가 측정불가능함을 증명한다. 반대로 |Y|≤2^{ℵ₀}인 경우, Y는 실수 집합 ℝ과 연속함수에 의해 전단사(또는 연속 사상)로 매핑될 수 있음을 이용한다. 이때 모든 측정가능 함수는 실수값 함수와 동등하게 취급될 수 있고, 실수값 함수들의 동등점 집합은 보렐 σ-대수에 속한다는 사실을 이용해 Δ(f,g)∈𝔐임을 보인다. 핵심은 실수선 ℝ이 이미 AEEP를 만족한다는 점과, 연속 사상이 측정가능성을 보존한다는 점이다. 논문은 또한 메트리제이션 가능이 아닌 위상공간에 대해서는 동일한 결과가 일반적으로 성립하지 않으며, 추가적인 가정(예: 완비성, 2번째 가산성 등)이 필요함을 논의한다. 마지막으로, 결과를 통해 AEEP가 위상공간의 “크기”와 직접적인 연관이 있음을 보여주며, 연속체 가설과도 연관된 흥미로운 집합론적 함의를 제시한다.