동질성 공간에서의 마주르키에비치 다양체와 차원 절단 불가능성

초록

동질하고 국소적으로 콤팩트·연결된 메트릭 공간의 모든 영역은 차원이 더 낮은 Fσ 부분집합에 의해 분리될 수 없다는 정리를 증명한다. 이는 유한·무한 차원 이론 모두에 적용된다.

상세 분석

본 논문은 마주르키에비치 다양체(Mazurkiewicz manifold)와 동질성(homogeneity) 개념을 결합하여, 특정 차원 이하의 Fσ 집합이 공간을 절단(cut)할 수 없음을 보인다. 마주르키에비치 다양체는 임의의 두 점 사이에 연속적인 경로가 존재하고, 그 경로가 임의의 ‘작은’ 폐집합을 피할 수 있는 성질을 가진다. 전통적으로는 유한 차원에서만 다루어졌으나, 저자는 이를 일반적인 차원 이론(예: Lebesgue 차원, 대수적 차원, 코스톤 차원 등)으로 확장한다.

동질성은 공간의 모든 점이 자가동형사상에 의해 서로 이동될 수 있음을 의미한다. 이 성질은 지역적 구조가 전역에 걸쳐 동일함을 보장하므로, 차원 이론과 결합했을 때 강력한 전역적 결과를 도출할 수 있다. 저자는 먼저 동질성, 국소 콤팩트성, 국소 연결성이라는 세 가지 가정을 통해 공간을 ‘정규’한 형태로 정리한다. 그런 다음, 차원이 ‘작다’는 의미를 정확히 정의한다. 여기서 ‘작다’는 것은 차원 함수 dim, ind, Ind, 혹은 무한 차원인 경우에는 코스톤 차원(co-dimension) 등을 이용해, 주어진 Fσ 집합의 차원이 전체 공간의 차원보다 엄격히 낮다는 조건이다.

주요 정리는 다음과 같다. “동질하고 국소적으로 콤팩트·연결된 메트릭 공간 X의 임의의 열린 영역 U는 차원이 dim U보다 작은 Fσ 부분집합 A에 의해 절단될 수 없다.” 즉, U \ A는 여전히 연결되어 있다. 이 정리는 기존의 Mazurkiewicz 정리(‘연결된 공간에서 차원이 낮은 폐집합을 제거해도 연결성이 유지된다’)를 동질성 가정 하에 일반화한 형태라 할 수 있다.

증명 전략은 크게 두 단계로 나뉜다. 첫째, 동질성에 의해 임의의 점 x∈U를 기준으로 자가동형사상 φ가 존재함을 이용해, φ가 Fσ 집합 A를 이동시켜도 차원 조건이 보존되는지를 확인한다. 둘째, Mazurkiewicz 다양체의 정의에 따라, 차원이 낮은 폐집합을 피하는 경로를 구성한다. 여기서 핵심은 Fσ 집합을 가산 개수의 폐집합으로 분해하고, 각각에 대해 차원 감소 성질을 적용해 경로를 단계적으로 수정하는 ‘연속적 차원 감소’ 기법이다.

또한, 저자는 무한 차원 경우에도 동일한 논리를 적용한다. 무한 차원에서는 전통적인 차원 감소 기법이 바로 적용되지 않으므로, 코스톤 차원과 ‘σ-연속성’ 개념을 도입해 ‘작은 차원’이라는 정의를 확장한다. 이를 통해, 예를 들어 Hilbert 공간 ℓ²와 같은 무한 차원 동질 공간에서도 동일한 절단 불가능성을 확보한다.

결과적으로, 이 정리는 다양한 차원 이론에서 ‘작은 차원’ 집합이 공간을 분리할 수 없다는 일반적인 원리를 제공한다. 이는 기존의 ‘차원 차단 정리’(dimension‑cutting theorem)를 통합·강화한 것으로, 특히 동질성 가정이 있는 경우에 강력한 위상적 구조를 보장한다는 점에서 의미가 크다.