스케일프리 객체

초록

본 논문은 자유 객체가 존재하지 않는 함수해석학적 범주에서 “노름 집합”을 도입하고, 이를 통해 벡터공간·대수·Banach 대수 등으로의 자유적 구축을 가능하게 하는 스케일프리(scaled‑free) 성질을 정의한다. 각 단계는 망각함수에 대한 좌측 어드쟈인트로서 존재함을 보이며, 향후 프레젠테이션 이론 구축의 토대로 활용될 수 있음을 제시한다.

상세 분석

논문은 먼저 “노름 집합”(normed set)이라는 새로운 기본 객체를 정의한다. 이는 집합 S와 각 원소 s∈S에 양의 실수 ‖s‖를 할당하는 함수가 결합된 구조로, 전통적인 집합에 스케일 정보를 부여한다는 점에서 기존의 자유 대수학적 접근과 차별화된다. 저자는 이 노름 집합을 출발점으로 하는 일련의 범주 C₀, C₁, C₂…를 구성한다. C₀는 노름 집합 자체의 범주이며, 망각함수 U₀:C₀→Set는 단순히 원소 집합을 반환한다. C₁은 노름 벡터공간(Normed vector space) 범주로, U₁:C₁→C₀는 벡터공간의 기저를 노름 집합으로 망각한다. C₂는 노름 대수(Normed algebra) 범주이며, U₂:C₂→C₁은 대수의 기본 벡터공간을 반환한다. 각 단계마다 저자는 망각함수 U_i가 좌측 어드쟈인트 F_i를 갖는 것을 증명한다. 즉, 주어진 노름 집합 (S,‖·‖)에 대해 F₀(S)는 “스케일프리” 자유 노름 집합, F₁(S)는 그 위에 정의된 완비 노름 벡터공간, F₂(S)는 완비 노름 대수이며, 각각은 보편적인 매핑 성질을 만족한다.

핵심은 “스케일프리 매핑 성질”이다. 전통적인 자유 객체는 임의의 함수 f:S→U₁(V)에 대해 유일한 선형 사상 𝑓̂:F₁(S)→V가 존재한다는 보편성을 가진다. 여기서는 f가 원소의 스케일(노름) 정보를 보존하도록 제한한다. 구체적으로, ‖f(s)‖≤C·‖s‖ (어떤 상수 C) 를 만족하는 경우에만 연장 사상이 존재한다는 것이 증명된다. 이는 함수해석학에서 연속성(또는 유계성) 조건과 동등하며, 자유 객체가 “스케일”을 유지하면서도 완비성을 확보하도록 만든다. 따라서 “스케일프리”라는 명칭은 자유성(free)과 스케일(노름) 보존을 동시에 만족한다는 의미이다.

또한 저자는 이 구조가 Banach 대수와 같은 완비 노름 대수에 자연스럽게 적용될 수 있음을 보인다. F₂는 일반적인 대수적 자유 대수에 완비화(completion)를 적용한 결과와 동등함을 증명하고, 이는 기존의 “프리 Banach 대수” 개념이 존재하지 않던 문제를 해결한다. 마지막으로, 이러한 좌측 어드쟈인트 체인은 모노이드, 링, C*-대수 등 다양한 함수해석학적 범주에도 확장 가능함을 언급하며, 차후 논문에서 프레젠테이션 이론을 전개할 기반을 마련한다.