연속 사상의 미세 변형으로 폐집합 회피하기

초록

위상공간 X와 거리공간 Y, 그 부분공간 Z가 주어질 때, 연속 사상 f:X→Y를 임의로 작은 변형을 가해 f(X)∩Z=∅가 되도록 하는 충분조건을 제시하고, 부분집합 X’에서 f를 고정하는 상대적 버전과 섬유화 섹션에 대한 확장을 논한다. 또한 행렬 섭동 이론에의 적용을 보여준다.

상세 분석

본 논문은 “연속 사상의 미세 변형”이라는 고전적인 위상학적 문제에 대해 새로운 충분조건을 제시한다. 기본 설정은 다음과 같다. X는 정상(정규) 위상공간, Y는 완비 거리공간, Z⊂Y는 폐집합이며, 특히 Z가 Y 안에서 ‘얇은’ 집합, 즉 내부가 비어 있거나 이제밀(nowhere dense)인 경우를 주로 고려한다. 저자는 먼저 기존의 전통적 방법—예를 들어, Urysohn 보조정리와 파티션 오브 유니티를 이용한 전역적인 근사—이 Z와의 교차를 완전히 피하기에는 충분하지 않음을 지적한다. 그 대신, f의 이미지가 Z에 접근하는 정도를 측정하는 함수 d_Z∘f: X→ℝ_{\ge0} (여기서 d_Z(y)=dist(y,Z))를 도입하고, 이 함수가 X 전체에서 양의 하한을 갖도록 하는 ‘정밀한’ 변형을 구성한다.

핵심 정리는 다음과 같다. X가 정상이고 Y가 완비 거리공간이며, Z가 Y의 폐집합이면서 ‘정규’(예: Z가 Gδ 집합이거나 Y\Z이 열밀도)인 경우, 임의의 ε>0에 대해 연속 사상 f:X→Y가 존재한다면, ε-근접한 연속 사상 g:X→Y가 존재하여 g(X)∩Z=∅가 된다. 증명은 먼저 f의 이미지와 Z 사이의 거리 함수를 연속적으로 양수로 만들기 위해, X를 적절히 작은 열린 덮개 {U_i}로 분할하고, 각 U_i 위에서 f를 작은 ‘스위치’ 함수를 이용해 Z에서 멀리 떨어뜨리는 과정을 반복한다. 이때 사용되는 도구는 정상성에 의해 얻어지는 연속적인 ‘버퍼’ 함수와, Y의 완비성에 의해 보장되는 거리 함수의 연속성이다.

상대적 변형(relative version)에서는 부분집합 X’⊂X에 대해 이미 f(X’)∩Z=∅인 경우, 위의 변형을 X\X’에만 적용해도 전체 변형 g가 X’ 위에서는 원래 f와 동일하게 유지된다. 이는 정상성에 의해 X’와 X\X’ 사이에 연속적인 전이 함수를 만들 수 있기 때문이다.

또한 저자는 섬유화 fibration p:E→B와 연속 섹션 s:B→E에 대해, 섹션의 이미지가 특정 폐섹션 Z⊂E와 교차하지 않도록 하는 섹션 섭동 이론을 전개한다. 여기서는 기본적인 섬유화 이론과 함께, 섹션의 ‘수직 거리’ 개념을 도입해, 섬유마다 독립적인 미세 변형을 수행함으로써 전체 섹션을 Z로부터 멀리 이동시킨다. 이 결과는 특히 벡터 번들에서의 전역적인 비특이점(section without zeros) 존재 증명에 활용될 수 있다.

마지막으로 행렬 섭동 이론에 적용한다. 복소수 행렬 공간 M_n(ℂ)를 거리공간으로 보고, Z를 ‘특이 행렬 집합’(예: 행렬식이 0인 집합)으로 잡는다. 위의 일반 이론에 따르면, 임의의 연속적인 행렬값 함수 A:X→M_n(ℂ)도 ε-근접한 연속 함수 B로 변형하여 B(x) 가 모든 x에 대해 비특이 행렬이 되게 할 수 있다. 이는 수치해석에서 안정적인 역행렬 계산이나, 제어 이론에서 시스템의 비특이성 보장을 위한 이론적 근거를 제공한다. 전체 논문은 이러한 정리들의 증명 스키마를 상세히 제시하고, 몇 가지 구체적인 예시와 한계 사례를 통해 결과의 최적성을 논한다.