잔여 연산과 최소 고정점이 결합된 완전 격자 이론

초록

완전 격자 L 위의 단조 함수들로 구성된 Lawvere 이론 Monₗ에 대해, 이론에 이항 합연산 ∨, 왼쪽 잔여 연산 ⇐, 그리고 파라미터화된 최소 고정점 연산 †(또는 별 *)를 추가한다. 논문은 ‡와 ∨만을 사용한 방정식들의 완전한 등식 체계를 제시하고, 잔여 연산을 포함하지 않는 모든 유효 방정식이 이 체계에서 증명됨을 보인다. 또한 별 연산을 이용한 대체 공리계와 정규 트리 언어에 대한 적용을 제시한다.

상세 분석

이 논문은 완전 격자 L을 기반으로 한 Lawvere 이론 Monₗ을 확장하는 두 가지 주요 연산, 즉 이항 합연산 ∨와 왼쪽 잔여 연산 ⇐, 그리고 파라미터화된 최소 고정점 연산 †(또는 별 *)를 도입한다. 기존의 Lawvere 이론은 객체가 자연수이고, 동형사상 n→p가 Lᵖ→Lⁿ인 함수 집합으로 구성된다. 여기서 합연산 ∨는 각 동형사상 집합을 완전 격자로 만들며, 순서 f≤g는 f∨g=g 로 정의된다.

잔여 연산 h⇐g는 고정된 g:p→q에 대해 가장 큰 f:n→p (즉, f·g≤h)를 선택하는 연산으로, 이는 왼쪽 잔여 연산이라 부른다. 이 연산은 단조성 및 합 보존성을 만족하고, (6)–(8) 식을 통해 기본적인 관계가 정리된다.

파라미터화된 최소 고정점 연산 f†는 f:n→n+p 인 경우, 각 y∈Lᵖ에 대해 f(·,y)의 최소 고정점을 취해 n→p 형태의 함수로 만든다. 이는 Knaster‑Tarski 정리를 이용해 정의되며, (9)–(12) 식을 통해 모노톤성, 파라미터 방정식, 그리고 잔여 연산과의 상호 작용이 보장된다.

핵심 공리계는 (1)–(5) 의 합 연산에 대한 기본적인 격자 법칙과, (6)–(12) 의 잔여·고정점 연산에 대한 불등식·등식으로 구성된다. 특히 (10)과 (11)은 고정점 연산의 고정점 방정식과 파라미터 방정식이며, (12)는 잔여 연산과 고정점 연산 사이의 중요한 연결 고리다. 논문은 이 공리계가 모든 Monₗ 에서 성립함을 증명하고, 반대로 ∨와 †(또는 *)만을 포함하는 방정식이 이 공리계로부터 증명될 수 있음을 보인다. 이는 기존의 반복 이론(Iteration Theory)에서 요구되는 복잡한 군집 방정식들을 대체할 수 있는 단순하고 완전한 등식 체계이다.

또한, 별 연산 을 도입한 대체 공리계에서는 f = (1ₙ⊕f)† 와 같은 변환을 통해 †와 *가 서로 정의 가능함을 보이며, 동일한 완전성을 유지한다. 이는 Kleene 별과 유사한 구조를 제공하면서도 잔여 연산과의 결합을 자연스럽게 허용한다.

마지막으로, 정규 트리 언어에 대한 적용을 통해 이론이 실제 언어 이론에 어떻게 활용될 수 있는지를 보여준다. 특히, 정규 트리 언어는 Monₗ 의 특정 서브이론으로 모델링될 수 있으며, 잔여 연산을 포함한 공리계가 정규 트리 언어의 동등성 및 포함 관계를 완전하게 기술한다는 점에서 의미가 크다.

전체적으로 이 논문은 단조 함수들의 Lawvere 이론에 합·잔여·고정점 연산을 통합함으로써, 기존의 복잡한 방정식 체계를 단순화하고, 정규 언어와 같은 응용 분야에 직접적인 수학적 도구를 제공한다는 점에서 중요한 기여를 한다.