엘투제곱 펀터와 힐베르트 공간 사이의 구조적 연결고리

초록

본 논문은 부분 삽입(category of partial injections)에서 힐베르트 공간(category of Hilbert spaces)으로 가는 ℓ² 펀터를 연구한다. 이 펀터는 유한 접근 가능성과 대수적 도메인 구조를 보존하며, dagger와 모노이달 구조, 풍부성(enrichment) 및 여러 (공)극한을 유지한다. 그러나 좌·우 adjoint는 존재하지 않는다. 직접 상은 단위 변환(up to unitaries) 하에 부분 등거리(partial isometries)와 일치하고, 본질적 상은 모든 연속 선형 사상으로 구성된다.

상세 분석

ℓ² 펀터는 부분 삽입(PInj)이라는 카테고리를 입력으로 받아 힐베르트 공간(Hilb)으로 보내는 강력한 구조 보존 사상이다. PInj은 객체가 집합이고, 사상이 부분 전단사(partial injection)인 카테고리로, 이는 전이 사상이 정의역의 부분집합에 한정된 전단사임을 의미한다. 저자는 먼저 PInj이 유한 접근 가능(finitely accessible)함을 보이며, 이는 모든 객체가 유한히 생성된 콤팩트 객체들의 필터드(colimit)로 표현될 수 있음을 뜻한다. 특히, 동형사상군 사이의 homset은 알제브라적 도메인(algebraic domain) 구조를 갖는데, 이는 완전 부분 순서 집합이며, 임의의 원소가 유한히 생성된 원소들의 상한으로 표현될 수 있음을 보장한다.

반면 Hilb의 homset은 조건부 알제브라적 도메인(conditionally algebraic domain)이며, 이는 연속 선형 사상들의 위상적 완비성을 반영한다. ℓ² 펀터는 이러한 두 종류의 도메인 구조를 각각 보존한다는 점에서 매우 흥미롭다. 구체적으로, 부분 삽입 f: X ⇀ Y에 대해 ℓ²(f) : ℓ²(X) → ℓ²(Y) 를 정의함으로써, f가 정의된 부분에만 비제로인 행렬을 만들고, 이는 자연스럽게 부분 등거리(partial isometry)로 작용한다.

펀터는 dagger 구조를 보존한다. PInj의 dagger는 부분 삽입의 역전(partial inverse)이며, ℓ²는 이 역전을 힐베르트 공간의 켤레 전치 연산자와 일치시킨다. 또한, 두 카테고리 모두 텐서 곱을 갖는데, ℓ²는 집합의 디스조인트 합을 힐베르트 공간의 직교 합으로 보내며, 이는 강한 모노이달 펀터임을 증명한다. 풍부성(enrichment) 측면에서는 PInj이 집합으로 풍부화된 반면, Hilb는 완전 내적 공간으로 풍부화되는데, ℓ²는 이 두 풍부 구조 사이의 전이를 보존한다는 사실이 입증된다.

다양한 (공)극한에 대해서도 ℓ²는 보존한다. 특히, PInj의 제한(limit)과 콜리밋(colimit)은 부분 삽입들의 교집합·합집합 형태로 기술되며, ℓ²는 이를 힐베르트 공간의 직교 직합·직교 교집합으로 정확히 대응시킨다. 그러나 중요한 부정 결과로, ℓ²는 좌·우 adjoint를 전혀 갖지 않는다. 이는 ℓ²가 완전함수적(full and faithful)하지 않으며, 특히 무한 차원 힐베르트 공간 사이의 모든 연속 사상을 역으로 끌어올릴 수 없기 때문이다.

이미지(image)와 본질적 이미지(essential image)를 분석하면, ℓ²의 직접 상은 단위 변환(up to unitaries) 하에 부분 등거리와 일치한다. 즉, ℓ²(f) 가 정의역의 부분에만 비제로인 경우, 이는 정확히 부분 등거리 연산자이다. 반면, 본질적 상은 모든 연속 선형 사상을 포함한다. 이는 ℓ²가 본질적으로 힐베르트 공간 사이의 모든 연속 사상을 재현할 수 있음을 의미한다. 저자는 이를 통해 ℓ²가 “전사적”이면서도 “전단사적”이지 않은 독특한 펀터임을 강조한다.

이러한 결과는 범주론적 관점에서 양자 정보 이론, 연산자 대수, 그리고 무한 차원 시스템의 구조적 분석에 새로운 도구를 제공한다. 특히, 부분 삽입을 통한 컴퓨테이션 모델과 힐베르트 공간의 연산자 이론을 연결함으로써, 양자 회로의 부분 등거리 구현을 범주론적으로 정형화할 수 있는 가능성을 열어준다.