무한 단조 부분전단사의 위상적 구조

초록

본 논문은 양의 정수 집합 ℕ 위의 부분전단사 중, 정의역과 치역이 공집합을 제외하고는 유한여집합이며 단조 증가인 변환들의 집합 𝓘ⁿᵉᵃʳʀᵒʍ(ℕ)를 연구한다. 이 반군은 이항 사이클 반군과 유사한 대칭성을 가지며, 모든 비자명한 군동형은 동형이거나 군동형에 불과함을 보인다. 또한, 이 반군에 위상역 semigroup 구조를 부여한 경우, 지역적으로 콤팩트한 Hausdorff 위상은 반드시 이산 위상임을 증명하고, 그 폐쇄를 일반 위상 반군 안에서 기술한다.

상세 분석

논문은 먼저 ℕ 위의 부분전단사 𝓘ⁿᵉᵃʀʀᵒʍ(ℕ)를 정의한다. 여기서 각 원소는 정의역과 치역이 ℕ의 공집합을 제외하고는 유한히 많은 원소를 제외한(cofinite) 집합이며, 함수값은 입력값보다 크거나 같은 단조 증가 함수이다. 이러한 조건은 전단사임을 보장하면서도, 전통적인 전이동군과는 달리 부분적인 정의역을 허용한다는 점에서 흥미롭다.

대수적 측면에서 저자들은 𝓘ⁿᵉᵃʀʀᵒʍ(ℕ)가 bisimple임을 증명한다. 즉, 모든 비자명한 ℛ‑·ℒ‑클래스가 하나의 𝓓‑클래스로 합쳐져, 반군 전체가 하나의 𝓓‑클래스로 이루어진다. 이는 이항 사이클 반군(C)이 갖는 핵심 특성과 일치한다. 이어서, 반군의 모든 비자명한 군동형 φ:𝓘ⁿᵉᵃʀʀᵒʍ(ℕ)→G에 대해, φ가 전사이면 φ는 동형이며, 그렇지 않으면 φ는 영(또는 순환) 군으로 사상되는 군동형에 불과함을 보인다. 이는 반군이 그룹‑유일성(group‑uniqueness) 성질을 가짐을 의미한다.

위상적 분석에서는 (𝓘ⁿᵉᵃʀʀᵒʍ(ℕ),τ) 가 위상역 반군(inverse semigroup) 구조를 만족하도록 τ를 선택한다면, τ가 지역적으로 콤팩트하고 Hausdorff이면 τ는 반드시 이산 위상이어야 함을 증명한다. 핵심 아이디어는 각 원소가 갖는 최소한의 열린 이웃이 유한히 많은 원소만을 포함하도록 강제되는 점이다. 따라서 어떠한 비이산 위상도 이러한 조건을 위배하게 된다. 이 결과는 이항 사이클 반군에 대한 기존의 위상적 강직성 결과와 직접적인 유사성을 가진다.

마지막으로, 저자들은 𝓘ⁿᵉᵃʀʀᵒʍ(ℕ)의 임베딩을 일반 위상 반군 S 안에 고려하고, 그 폐쇄 (\overline{𝓘ⁿᵉᵃʀʀᵒʍ(ℕ)}) 를 기술한다. 폐쇄는 원래 반군에 더해, 정의역·치역이 무한히 많은 원소를 제외하는 “극한” 변환들을 포함한다. 이러한 변환들은 부분전단사의 한계점으로서, 각 변환이 점점 더 큰 유한 집합을 제외하면서도 단조성을 유지한다. 결과적으로 폐쇄는 𝓘ⁿᵉᵃʀʀᵒʍ(ℕ)와 그 “극한” 원소들로 이루어진 완비 반군 구조를 형성한다. 이 구조는 위상역 반군 이론에서 중요한 예시가 될 수 있다.

전반적으로 논문은 ℕ 위의 제한된 부분전단사 집합이 이항 사이클 반군과 매우 흡사한 대수·위상적 특성을 가짐을 체계적으로 밝히며, 이러한 반군의 위상적 강직성 및 폐쇄 구조에 대한 새로운 통찰을 제공한다.