이오나드 점을 우선시하는 새로운 공간 개념

초록

이 논문은 토포스가 로케일에 대한 일반화인 것처럼, 토포스와 로케일 사이의 관계를 뒤집어 “점이 우선하는” 구조인 이오나드(ionad)를 정의한다. 이오나드는 집합(또는 군집)과 그 위에 정의된 내부 연산자를 통해 열린 집합들의 범주를 생성하며, 토포스와는 달리 점들의 자동동형을 자연스럽게 포함한다. 기본적인 정의, 사상, 예시(이산·전역 이오나드, 위상공간으로부터의 이오나드 등)를 제시하고, 이오나드와 토포스 사이의 전환 관계와 내재 논리를 탐구한다.

상세 분석

논문은 먼저 토포스와 로케일 사이의 전통적인 대응 관계를 재검토한다. 토포스는 ‘열린 집합’이 우선시되는 로케일의 범주적 확장으로 이해되지만, 점들의 존재와 그 자동동형을 무시한다는 점에서 위상공간과는 비대칭적이다. 이를 보완하기 위해 저자는 ‘이오나드’를 도입한다. 이오나드는 기본적으로 한 집합 X와 그 위에 정의된 내부 연산 I : 𝒫(X)→𝒫(X) 로 구성된다. I는 단조성, 멱등성, 그리고 유한 교집합에 대한 보존이라는 세 가지 공리를 만족한다. 이러한 연산을 통해 I‑불변인 부분집합들의 체계가 ‘열린 집합’으로 간주되며, 이들에 대한 포함 관계는 완전 격자 구조를 형성한다.

특히, 이오나드에서는 점 자체가 객체이며, 각 점에 대해 자동동형군 Aut(x) 가 존재한다는 점이 핵심이다. 따라서 열린 집합은 단순히 점들의 집합이 아니라, 각 점에 부착된 군 작용을 고려한 ‘가중 열린 집합’으로 해석된다. 이는 토포스가 내부 논리에서 자동동형을 허용하는 것과 일맥상통하지만, 이오나드에서는 점이 먼저 주어지고 그 위에 열린 구조가 부가되는 역순의 설계가 된다.

논문은 이오나드 사상의 정의도 제시한다. 사상 f : (X,I)→(Y,J) 은 함수 f : X→Y 가 존재하면서, 임의의 J‑열린 U⊆Y에 대해 f⁻¹(U)가 I‑열린이 되도록 하는 조건을 만족한다. 이 조건은 전통적인 연속함수 정의와 동일하지만, 자동동형을 보존하는 추가적인 ‘군동형 호환성’ 요구가 포함된다.

다양한 예시를 통해 이오나드의 풍부성을 보여준다. 이산 이오나드는 모든 점이 독립적인 자동동형을 갖는 경우이며, 전역 이오나드는 모든 점이 동일한 자동동형군을 공유하는 경우이다. 위상공간 (X,τ) 로부터는 τ를 내부 연산 I로 변환함으로써 전통적인 공간을 이오나드로 재구성한다. 또한, 임의의 Grothendieck 토포스 ℰ 로부터는 ℰ의 점군(점의 군형식)과 그에 대응하는 내부 연산을 이용해 ‘토포스‑이오나드 대응’ 을 구축한다.

마지막으로 저자는 이오나드와 토포스 사이의 관계를 두 가지 관점에서 정리한다. 첫째, 이오나드에서 생성된 열린 격자는 완전 프레임을 이루며, 이 프레임에 대한 쉐이브 토포스 Sh(ℒ) 은 원래 이오나드와 동등한 ‘점‑우선’ 토포스를 제공한다. 둘째, 반대로 주어진 토포스 ℰ 에 대해 ℰ의 점군을 추출하고, 그 점군에 내부 연산을 부여하면 ℰ와 동등한 이오나드를 복원할 수 있다. 이러한 쌍대성은 이오나드가 토포스와 로케일 사이의 ‘중간’ 구조로서, 점과 열린 집합 사이의 대칭적 관계를 회복시킨다.