제곱근 메도우의 새로운 탐구

초록

본 논문은 0의 역원을 0으로 정의한 전역화된 유리수 체계 Q₀에 부호 함수 s와 전역 제곱근 연산 √을 추가한 확장 구조 Q₀(s,√)를 제시한다. 이 구조는 모든 원소가 유일한 제곱근을 갖도록 설계되었으며, 연산들의 정형화된 공리와 동치성, 결정 가능성 등을 분석한다.

상세 분석

Q₀는 전통적인 필드의 부분집합으로, 0⁻¹=0이라는 전역화(inversion) 규칙을 통해 나눗셈을 전역 함수로 만든 메도우(meadow)이다. 기존 연구에서는 부호 함수 s(x)∈{−1,0,1}를 도입해 부호를 전역적으로 추출하는 방법을 제시했으며, 이는 연산적 완전성을 유지하면서도 부호 연산을 정의역 전체에 확대한다. 본 논문은 이러한 기반 위에 전역 제곱근 연산 √을 도입한다. 핵심 아이디어는 모든 원소 a∈Q₀에 대해 √a가 유일하게 정의되도록 하는 공리 체계(예: √(a·a)=|a|, √0=0, √(a·b)=√a·√b 등)를 제시하고, 이 공리들이 기존 메도우 공리와 일관성을 유지함을 증명한다. 특히, 부호 함수와 제곱근 연산 사이의 상호작용을 규정하는 추가 공리(s(√a)=s(a) 등)를 도입해 부호 보존성을 확보한다. 논문은 이론적 측면에서 다음과 같은 결과를 얻는다. 첫째, Q₀(s,√)는 완전한 정규 형태(normal form)를 갖는 재작성 시스템을 제공하여 모든 식을 결정적으로 단순화할 수 있다. 둘째, 이 구조는 초등 대수식(equational) 이론이 완전하고, 정리 증명 가능성이 결정 가능(decidable)함을 보인다. 셋째, 모델 이론적 관점에서 Q₀(s,√)는 유일한 초기 대수적 모델(initial algebra)이며, 다른 메도우 구조와의 보존 사상(embedding)도 존재한다. 마지막으로, 전역 제곱근을 도입함으로써 기존 메도우에서 불가능했던 실수와 유사한 연산(예: 절댓값, 제곱근을 통한 거리 정의)들을 순수 대수적 방식으로 다룰 수 있게 된다. 이러한 결과는 컴퓨터 과학에서 정형 검증, 자동 증명, 그리고 수치 연산을 전형적인 대수적 프레임워크 안에 통합하려는 시도에 중요한 이론적 토대를 제공한다.