Hilbert 범주를 통한 완전한 임베딩 정리

이 논문은 **(pre‑)Hilbert 범주**라는 새로운 범주론적 구조를 제시하고, 이를 기존의 전치 힐베르트 공간(preHilb) 및 힐베르트 공간(Hilb) 카테고리와 연결하는 일련의 임베딩 정리를 증명한다. 첫 번째 섹션에서는 **dagger 카테고리**(자기전치 †)와 **유한 dagger biproduct**, **dagger equalizer**, **dagger kernel**을 요구하는 **pre‑Hilbert 범주**의 정의를 제시한다. 여기서는 전통적인 선형 구조(예: 복소수 체)나 풍부화(enrichment)를 가정하지 않는다. 대신, **단위 객체 I**가 **simple generator**라는 가정(즉, Sub(I)={0,I}이며 H(I,I)의 기수가 연속)만을 추가한다. 이 가정은 이후 스칼라 구조를 도출하는 핵심 전제이다. 섹션 2‑3에서는 스칼라 집합 **S:=H(I,I)**가 **교환적 involutive semiring**임을 보이고, **I가 simple generator**일 때 S가 **곱에 대해 cancellative**임을 증명한다. 이를 통해 S는 **involutive field**이며, 특성은 0이다(즉, 1+…+1≠0). 이 결과는 기존에 스칼라 체를 외부에서 가정하던 다른 접근법과 달리, 범주의 내부 구조만으로 체를 재구성한다는 점에서 혁신적이다. 다음으로, **Hilbert semimodule** 개념을 도입한다. 정의 2에 따라, S‑semimodule M에 내적 h: M†⊗M→S를 부여하고, **adjointable morphism**(즉, †가 존재하는 사상)만을 허용함으로써 **HMod_S**와 **sHMod_S**(strict 모듈)라는 dagger 카테고리를 만든다. Lemma 1은 HMod_S가 SMOD_S에 enrichment되어, 자유 생성자 성질 H(I,X)≅X를 만족함을 보여준다. 이는 전치 힐베르트 공간이 **S‑semimodule** 위에 자연스럽게 형성된다는 것을 의미한다. 섹션 4에서는 **pre‑Hilbert 범주 H**를 **sHMod_S**에 (약하게) 모노이달하게 임베딩하는 구체적 함자를 구성한다. 핵심 아이디어는 각 객체 X∈H를 **Hom(I,X)**라는 S‑semimodule로 보내고, 사상 f:X→Y를 **pre‑composition**으로 전환하는 것이다. 이때 I가 simple generator이므로 Hom(I,–)는 완전하고, 모든 유한 (co)limits와 dagger 구조를 보존한다. S가 이미 involutive field이므로 **sHMod_S**는 **preHilb_S**와 동형이다. 섹션 5에서는 **preHilb_S**를 **preHilb_ℂ**(복소 전치 힐베르트 공간)으로 확장한다. 여기서는 스칼라 체 S와 ℂ 사이의 동형을 선택하고, 각 S‑semimodule에 복소수 스칼라를 확대함으로써 전치 힐베르트 공간으로의 전환을 수행한다. 이 과정에서도 모든 유한 (co)limits와 dagger 구조가 보존된다. 섹션 6에서는 **Hilbert 범주**(모든 사상이 bounded)인 경우를 다룬다. **Cauchy 완성**(Karoubi envelope)을 적용해 **preHilb_ℂ**의 완비 객체, 즉 **Hilb**(완전 힐베르트 공간)으로의 임베딩을 얻는다. 완성 과정은 각 객체에 대한 정규화된 내적을 제공하고, adjointable 사상이 실제 연속 선형 사상으로 확장됨을 보인다. 최종적으로, H → Hilb이라는 복합 함자가 구성되며, 이는 약한 모노이달 구조와 모든 유한 (co)limits, 그리고 dagger(=adjoint) 구조를 보존한다(스칼라 체 동형을 통한 차이는 존재하지만 본질적인 구조는 동일). 마지막으로, 논문은 기존의 **Mitchell 임베딩 정리**, **C*‑카테고리** 임베딩, **2‑Hilbert 공간**(Baez 등) 접근법과 비교한다. Mitchell 정리는 아벨리안 범주에만 적용되며, dagger 구조를 다루지 못한다. C*‑카테고리 임베딩은 복소수 체와 풍부화가 전제이며, 분석적 도구(예: Gelfand‑Naimark)와 결합된다. 2‑Hilbert 공간은 아벨리안 구조와 복소수 풍부화를 가정하고, 주로 유한 차원에서만 다룬다. 반면, 현재 논문의 접근법은 **전혀 풍부화나 복소수 체를 가정하지 않으며**, 단순히 카테고리 자체의 내적과 dagger 구조만으로 스칼라 체와 내적을 재구성한다는 점에서 차별화된다. 또한 무한 차원까지 자연스럽게 확장 가능하다는 장점이 있다. 전체적으로, 이 연구는 **(pre‑)Hilbert 범주**라는 새로운 추상적 틀을 제시하고, 이를 전통적인 힐베르트 공간 이론과 연결함으로써 범주론, 양자 물리학, 함수해석 사이의 교량 역할을 수행한다.