불연속 함수에 대한 최적의 브라우어 고정점 정리

초록

저자들은 유클리드 공간의 유한 차원에서 ε‑연속(불연속이 제한된) 함수에 대해, 기존 켈(Klee)의 결과를 개선한 새로운 고정점 근사 정리를 제시한다. 핵심은 단위 구 (B^n) 내의 함수가 ε‑연속이면, 임의의 (\varepsilon’>\varepsilon R_n)에 대해 (\varepsilon’)-고정점을 반드시 갖는다는 것이다. 여기서 (R_n)은 구에 내접한 정단순체의 지름 비율이며, 차원이 커질수록 (\sqrt2)에 수렴한다. 또한 (\varepsilon R_n)가 최적임을 보이는 반례를 구성해 경계가 정확함을 증명한다.

상세 분석

본 논문은 브라우어 고정점 정리의 연속성 가정을 완화하여, “ε‑연속”이라는 새로운 약한 연속성 개념을 도입한다. ε‑연속은 각 점마다 직경이 ε 이하인 이웃을 찾아 그 이미지의 직경도 ε 이하가 되도록 하는 조건이며, 이는 기존의 모듈러스 δ(f)와 동등하게 해석될 수 있다. 저자들은 먼저 1차원 경우를 직접적인 구간 분할과 대조법을 이용해 증명하고, 이를 기반으로 고차원으로 일반화한다. 핵심 도구는 두 가지 보조 정리이다. 첫 번째는 정점 집합의 직경이 ε 이하일 때, 그 볼록 껍질 내의 모든 점이 원점으로부터 거리 ≤ ε R_n 안에 존재한다는 Jung 정리의 변형이다. 여기서 (R_n = \sqrt{2(n+1)/n})는 정단순체의 지름 비율로, 차원에 따라 감소한다. 두 번째는 Vietoris–Rips 복합체와 ε‑연속 함수 사이에 연속적인 심플렉스 사상을 구성할 수 있다는 보조정리이다. 이를 통해 ε‑연속 함수 f를 먼저 이산적인 점 집합 Z에 제한하고, Z의 Rips 복합체와 B^n의 Rips 복합체 사이에 연속 사상을 만든 뒤, 평균화(avg) 연산을 통해 다시 B^n으로 되돌리는 연속 사상 F = avg ∘ f ∘ ι를 정의한다. Brouwer 고정점 정리를 F에 적용하면 고정점 y가 존재하고, y와 관련된 단순체의 정점 중 하나가 원래 함수 f의 ε′‑고정점이 된다. 여기서 ε′는 ε R_n보다 약간 큰 값으로 잡히며, 선택된 파라미터 γ와 α를 충분히 작게 잡아 조건을 만족한다. 최적성 부분에서는 정단순체의 꼭짓점들을 이용해 Voronoi 분할을 만든 뒤, 각 영역을 −ε R_n x_i 로 매핑하는 함수 f를 정의한다. 이 함수는 직경이 ε이므로 ε‑연속이지만, 어떤 점도 ε′ < ε R_n 이하의 거리 차이를 만족하지 못해 ε′‑고정점을 갖지 않는다. 따라서 ε R_n이 실제로 최적 상수임을 보인다. 논문은 또한 R_n이 차원에 따라 (\sqrt2)에 수렴함을 언급하며, 고정점 근사의 품질이 차원에 따라 어떻게 변하는지를 정량적으로 제시한다. 전체적으로 연속성 완화, 기하학적 불변량(Jung 정리), 위상적 복합체(Vietoris–Rips) 등을 결합해 기존 결과를 개선하고, 경계가 정확함을 보이는 깔끔한 구조를 제공한다.