무한소립스키즈 함수와 거리공간의 새로운 관점

본 논문은 거리공간 \((X,d)\) 위에서 “무한소립스키즈 상수”(infinitesimal Lipschitz constant) \(\operatorname{Lip}f(x)=\limsup_{y\to x}\frac{|f(y)-f(x)|}{d(y,x)}\)를 도입하고, 이를 이용해 새로운 함수 공간 \(D^{\infty}(X)\)를 정의한다. \(D^{\infty}(X)\)는 \(\|\operatorname{Lip}f\|_{\infty}<\infty\)이면서 동시에 \(\|f\|_{\infty}<\infty\)인 함수들의 집합이며, 자연스럽게 반노름 \(\|f\|_{D^{\infty}}:=\|f\|_{\infty}+\|\operatorname{Lip}f\|_{\infty}\)을 갖는다. 논문의 흐름은 크게 다섯 부분으로 나뉜다. 1. **기본 정의와 초기 결과** 섹션 2에서는 \(\operatorname{Lip}f\)가 Borel 함수임을 보이고, \(D(X)\subset C(X)\) 즉, 무한소립스키즈 상수가 유계이면 함수는 연속임을 증명한다(Lemma 2.2). 이후, 곡선이 존재하는 경우 \(|f(x)-f(y)|\le\|\operatorname{Lip}f\|_{\infty}\,\ell(\gamma)\)임을 보이는 Lemma 2.3을 제시한다. 이를 통해 quasi‑convex 혹은 quasi‑length 공간에서는 \(\operatorname{LIP}(X)=D(X)\)임을 얻는다(Corollary 2.4, 2.6). 반면, 일반적인 chainable 공간에서도 동등성이 깨질 수 있음을 Example 2.7, 2.8을 통해 구체적인 반례를 제공한다. 2. **Banach 구조와 locally radially quasi‑convex 공간** 섹션 3에서는 \(\|\cdot\|_{D^{\infty}}\)가 완비가 되지 않는 일반적인 경우를 지적하고, 새로운 기하학적 조건인 “locally radially quasi‑convex”를 정의한다(Definition 3.1). 이 조건은 각 점 주변에서 충분히 작은 구가 quasi‑convex인 성질을 요구한다. Theorem 3.4에서는 이러한 공간에서 \((D^{\infty}(X),\|\cdot\|_{D^{\infty}})\)가 Banach 공간임을 증명한다. 또한, 이 클래스는 길이 공간, quasi‑convex 공간을 포함한다는 점에서 일반성을 확보한다. 3. **Banach‑Stone 정리** 섹션 4는 위에서 구축한 Banach 구조를 이용해 Banach‑Stone 유형의 정리를 입증한다. Theorem 4.7에 따르면, 두 locally radially quasi‑convex 공간 \(X\)와 \(Y\)에 대해 \(D^{\infty}(X)\)와 \(D^{\infty}(Y)\)가 선형 등거리 동형이면, 원래의 거리공간 \(X\)와 \(Y\)도 등거리 동형이다. 이는 기존의 \(\operatorname{LIP}^{\infty}\)에 대한 Banach‑Stone 결과와 유사하지만, 무한소립스키즈 상수를 이용한 새로운 노름을 사용한다는 점에서 차별화된다. 4. **측정이 있는 경우와 Sobolev 공간과의 비교** 섹션 5에서는 측정 \(\mu\)가 주어진 metric measure space \((X,d,\mu)\)를 고려한다. Cheeger의 미분가능 구조와 Shanmugalingam의 upper gradient 이론을 활용해, \(\operatorname{Lip}f\)와 weak upper gradient \(g\) 사이의 관계를 정리한다. 특히, \(X\)가 doubling measure와 local Poincaré 부등식을 만족하면 모든 \(f\in D^{\infty}(X)\)는 essentially bounded upper gradient를 가지며, 반대로 \(N^{1,\infty}(X)\)의 원소는 \(\operatorname{Lip}f\)가 \(\mu\)-a.e. 유계임을 보인다. 결과적으로 Corollary 5.1에서는 \