삼차원 아핀 공간 논리의 표현력과 차원 구분

** 본 논문은 “아핀 공간 논리”라는 새로운 연구 분야를 제시하고, 특히 차원에 따른 이론적 차이를 명확히 규명한다. 서론에서는 공간 논리의 역사적 배경을 조명하며, 아핀 기하학이 비수치적(qualitative) 공간 추론에 적합한 중간 단계의 기하학임을 강조한다. 기존 연구가 주로 2차원 실수 평면에 국한된 반면, 저자는 ℝⁿ 전반에 적용 가능한 일반적 프레임워크를 구축한다. **1. 기본 설정** 논문은 첫‑차 언어 L₍conv,≤₎를 정의한다. 여기서 ≤는 포함관계, conv는 영역이 볼록함을 나타낸다. 변수는 ‘정규 개방 유리 다각형(regular open rational polygons)’ 위에 정의되며, 이는 반평면(2차원) 혹은 반공간(3차원)들의 유한 부울 결합으로 구성된다. 정규 개방 집합은 부울 대수 RO(X)를 형성하고, 유리 계수를 갖는 반평면들의 조합은 가산 집합인 RO_Q(ℝⁿ)를 만든다. **2. 2차원 모델 M₂** 기존 연구(Davis et al. 1999, Pratt 1999, Trybus 2016)를 요약하면서, M₂에서 반평면과 그 보완이 모두 볼록한 경우에만 특정 공식이 만족됨을 보인다. 좌표계는 세 개의 비평행·비동일 직선(l, m, n)으로 정의되며, 이를 통해 ‘반평면 고정 공식’을 구성한다. 이러한 공식은 임의의 유리 반평면을 주어진 좌표계에 대해 고정시키는 역할을 한다. Pratt의 정리(1999)는 모든 n‑튜플이 아핀 변환에 의해 동일한 논리식 ϕ를 만족한다는 것을 증명한다. **3. 차원 구분** 논문은 차원이 증가하면 모델 Mₙ의 이론이 달라진다는 일반적 명제를 제시한다. Helly 정리와 같은 고전적 기하학 결과를 활용해, n ≥ 3인 경우에 N개의 볼록 집합이 서로 교차하는 조건을 통해 차원별 특성을 구분한다. 특히, 서로 다른 차원의 모델은 동일한 L₍conv,≤₎‑공식 집합을 공유하지 않으며, 이는 차원에 따라 논리적 구분이 가능함을 의미한다. **4. 3차원 모델 M₃** 3차원에서는 반평면 대신 ‘반공간(half‑space)’이 기본 빌딩 블록이 된다. 정규 개방 유리 다면체는 반공간들의 부울 결합으로 정의되며, 볼록성은 여전히 아핀 변환에 불변이다. 저자는 3차원 좌표계(세 개의 서로 교차하는 평면)를 정의하는 공식들을 제시하고, 이를 이용해 임의의 다면체를 좌표계에 고정시키는 ‘고정 공식’을 만든다. **5. 아핀 완전 공식** 가장 핵심적인 결과는 ‘아핀 완전(affine‑complete) 공식’의 존재이다. 이 공식은 만족하는 모든 영역이 서로 아핀 변환에 의해 일대일 대응함을 보장한다. 즉, 논리식 하나로 아핀 동형류 전체를 정의할 수 있다. 이 정리는 2차원에서 Pratt가 제시한 정리와 구조적으로 유사하지만, 3차원에서는 추가적인 고정 공식과 좌표계 정의가 필요하다. **6. 공리계와 추론 규칙** 논문은 2차원 모델에 대한 공리계와 두 개의 무한 추론 규칙(모든 반평면을 좌표계에 고정, 모든 영역이 반평면의 부울 결합)도 제시한다. 이러한 공리계는 완전성(soundness)과 완비성(completeness)을 만족한다. 3차원에서도 유사한 공리계가 가능하다는 점을 시사한다. **7. 논의 및 향후 연구** 현재 논리 체계는 1차 논리 수준에 머물러 있어 결정 가능성이나 복잡도 분석이 제한적이다. 그러나 아핀 완전 공식과 차원 구분 정리는 고차원(4차원 이상) 혹은 비유클리드 공간으로의 확장 가능성을 열어준다. 또한, 모달 연산자나 2차 논리를 도입하면 보다 풍부한 공간 추론이 가능할 것으로 기대된다. **결론** 본 연구는 아핀 공간 논리의 차원별 구분과 3차원에서의 높은 표현력을 최초로 체계화하였다. 포함관계와 볼록성을 원시 연산자로 삼아 정규 개방 유리 다면체 위에 정의된 모델은 부울 대수적 구조와 아핀 변환 불변성을 동시에 만족한다. 차원에 따라 이론이 달라짐을 증명하고, 3차원에서는 좌표계와 고정 공식을 통해 모든 영역을 아핀 완전 공식에 귀속시킬 수 있음을 보였다. 이는 질적 공간 추론, 로봇 내비게이션, GIS 등 다양한 응용 분야에 새로운 논리적 도구를 제공한다. **