지수함수 탈출 집합의 연결성

본 논문은 복소평면에서 정의된 전체 초월함수 f(z)=exp(z)+a (a∈(−1,∞)) 의 탈출 집합 I(f)= {z∈ℂ : fⁿ(z)→∞} 가 연결된 집합임을 증명한다. 연구는 크게 네 부분으로 구성된다. 첫 번째 부분에서는 기본적인 설정과 동기 부여를 제공한다. 전체 초월함수의 탈출 집합은 일반적으로 불연속적이며, Ermenko‑Lyubich 클래스 B 에 속하는 함수들의 경우 탈출 집합이 Julia 집합에 포함된다는 알려진 사실을 언급한다. 기존 연구에서는 다중 연결된 wandering domain을 갖는 함수들의 탈출 집합이 연결될 수 있음을 보였지만, 지수함수와 같은 가장 단순한 형태에서는 탈출 집합이 여러 개의 곡선으로 분리된다고 알려져 있었다. 두 번째 부분에서는 Devaney가 제시한 연속체(continuum) 구성을 차용한다. 실축을 기준으로 상반부 H⁺와 하반부 H⁻를 정의하고, 각각을 폭 π의 수평 스트립 S⁺, S⁻ 로 사상하는 역함수 L⁺, L⁻ 를 선택한다. 초기 아크 γ⁺₀=(−∞,a) 를 시작점으로 삼아 γ⁺_{k+1}=L⁺(γ⁺_k) 로 재귀적으로 정의하면, 각 γ⁺_k (k≥1) 는 무한히 양쪽으로 뻗는 단일 곡선이 된다. γ⁻_k 는 γ⁺_k 를 실축에 대해 대칭시킨 형태이며, 두 가족을 합쳐 Γ⁺,Γ⁻ 라는 집합을 만든다. 명제 2.1 에서는 X⁺=⋃_{k≥0}γ⁺_k 와 X⁻=⋃_{k≥0}γ⁻_k 가 각각 ∞ 를 포함한 Hausdorff 한 한계 집합으로 수렴함을 보인다. 이는 각 γ_k 가 충분히 큰 k 에서 임의의 열린 집합을 가로지를 수 있음을 의미한다. 세 번째 부분에서는 Γ⁺와 Γ⁻ 가 각각 연결된 집합임을 증명한다(명제 2.2). 여기서는 열린 집합 U 가 Γ⁺와 교차하지 않을 경우, 충분히 큰 k 에 대해 γ_k 가 U 안에 완전히 포함된다는 사실을 이용한다. 이를 통해 Γ⁺ 전체가 U 안에 포함된다는 역설을 도출함으로써 Γ⁺ 가 연결임을 확인한다. 그 다음, f의 2πi 주기성을 활용한다. Γ⁺와 Γ⁻ 를 2πi 정수배로 평행 이동시킨 집합들을 합쳐 Y=⋃_{σ∈{+,−},k∈ℤ}(Γ^σ+2πik) 를 정의한다. Y 는 I(f) 안에 포함되며, 허수부가 홀수 배수인 π 를 갖는 모든 점들을 포함한다. 명제 3.1 은 Y 를 반복적으로 역함수 f⁻¹ 로 전이시켜 얻는 Y_j (j≥0) 가 모두 연결된다는 것을 귀납적으로 증명한다. 여기서 각 역함수 L_k 는 스트립 사이의 값을 취하도록 선택되며, 연속성 때문에 Y_j∪L_k(Y_j) 가 연결됨을 이용한다. 마지막으로, 전체 탈출 집합 I(f) 가 Y_j (j≥0) 의 합집합에 조밀하게 포함된다는 사실을 이용해 I(f) 자체가 연결임을 결론짓는다. 구체적으로, S_{j≥0} f^{-j}(-∞,a) ⊂ ⋃_{j≥0} Y_j 가 Julia 집합에 조밀하고, Julia 집합은 탈출 집합을 포함하므로 I(f) 가 연결된 부분 집합을 포함한다는 논리를 전개한다. 추가로, 논문은 기존에 알려진 바와 같이 I(f) 의 경로연결 성분은 각각 하나의 동적 레이(dynamic ray)이며, 이는 서로 겹치지 않고 상대적으로 닫힌 집합임을 강조한다. 따라서 I(f) 전체는 연결되어 있지만, 내부의 경로연결 성분들은 서로 떨어져 있다. 이 결과는 Ermenko가 제기한 “탈출 집합의 모든 연결 성분은 무한히 크다”는 추측과는 별개로, 특정 지수함수에서는 전체 탈출 집합 자체가 연결될 수 있음을 보여준다. 논문은 또한 이와 유사한 현상이 다른 클래스 B 에 속하는 함수들에서도 발생할 가능성을 시사한다.