바운드 매끄러운 함수 대수로 보는 Banach‑Finsler 다양체의 구조 판별

본 논문은 Banach‑Finsler 다양체의 구조를 실값, 유계·유계 도함수를 갖는 매끄러운 함수들의 대수 C_b^k(M) 로 완전히 규정할 수 있음을 보인다. 먼저, Palais식 정의에 따라 C^k Finsler 다양체 (M,‖·‖_M)를 소개하고, 약한 C^k 매끄러움(weakly C^k)과 균일 범프 가능성(uniformly bumpable)이라는 두 가지 중요한 개념을 정의한다. 약한 C^k 매끄러움은 모든 연속 선형 사상 y*∈Y*에 대해 y*∘f가 C^k인 것을 의미하며, 균일 범프 가능성은 임의의 점 p와 반경 δ에 대해 ‖db‖가 δ⁻¹에 비례하는 매끄러운 범프 함수 b가 존재함을 뜻한다. 다음으로, 대수 C_b^k(M)=C^k(M)∩C_b^1(M) 를 정의하고, ‖f‖_{C^1_b}=max{‖f‖_∞,‖df‖_∞} 로 노름을 부여한다. 이 대수는 Banach‑algebra( k=1) 혹은 Banach‑space(k≥2)이며, 함수값과 도함수의 sup‑노름을 동시에 제어한다. 논문은 C_b^k(M) 가 점과 폐집합을 구분한다는 사실을 증명한다. 구체적으로, Banach 공간 X가 Lipschitz·C^k 범프 함수를 가질 경우, 차트 ϕ와 범프 함수 b를 이용해 h(p)=b(ϕ(p)) 를 정의하면 h∈C_b^k(M) 이며, h(p)=1, h|_C=0 인 특성을 만족한다. 이를 통해 C_b^k(M) 가 유니털이며, 최대이상점 공간 H(C_b^k(M)) 가 M 와 동형임을 보인다. 주요 정리는 다음과 같다. **Theorem 3.1 (Banach‑Stone‑type for Finsler manifolds).** 완비 C^k Finsler 다양체 M, N에 대해, 대수동형동형 Φ: C_b^k(M)→C_b^k(N) 가 ‖·‖_{C^1_b} 를 보존하면, Φ가 유도하는 사상 h: M→N 은 1. 연속이며 전단사, 2. 약한 C^k 미분동형(weakly C^k diffeomorphism), 3. Finsler 거리 d_M, d_N 를 보존하는 등거리, 이며 k≥2이면 실제 C^k Finsler 등거리이다. 증명은 크게 네 단계로 전개된다. 1) **대수동형 → 점대점 대응:** Φ는 각 최대이상점 ϕ_x∈H(C_b^k(M)) 를 N 의 최대이상점 ϕ_{h(x)} 로 보내며, 이를 통해 h를 정의한다. 2) **연속성 및 전단사성:** 균일 범프 함수를 이용해 h가 점을 구분하고, Φ⁻¹ 가 존재함을 이용해 h⁻¹ 가 연속임을 보인다. 3) **약한 C^k 매끄러움:** 차트 (U,ϕ)와 (V,ψ) 를 선택하고, ψ∘h∘ϕ⁻¹ 가 weakly C^k 임을 차트 간 (1+ε)-bi‑Lipschitz 관계와 Lemma 1.2,1.3 을 이용해 증명한다. 4) **Finsler 노름 보존:** 차트에서 정의된 등가 노름 ‖·‖_x,‖·‖_{h(x)} 를 사용해, dψ∘dh∘dϕ⁻¹ 가 (1+ε)‑등가임을 보이고 ε→0 로 보내면 ‖dh(x)(v)‖_{h(x)}=‖v‖_x 가 된다. 이 정리는 다음 네 가지 구체적 상황에 적용된다. (i) **유한 차원 완비 Finsler 다양체:** 여기서는 약한 Finsler 구조와 완전한 Finsler 구조가 동일하므로, C_b^k(M) 로 전체 기하가 복원된다. (ii) **가산 Banach 모델 + Lipschitz·C^k 범프 함수:** 가산성은 H(C_b^k(M)) 가 충분히 풍부함을 보장하고, Lipschitz·C^k 범프 함수는 균일 범프 가능성을 제공한다. (iii) **WCG Banach 모델 + C^k 매끄러운 등가 노름:** WCG 성질은 Azagra‑Ferrer‑López‑Mesas 의 결과에 의해 균일 범프 가능성을 보장한다. 여기서는 “약한” 구조가 실제 Finsler 구조와 일치한다. (iv) **WCG Banach 공간 X 자체:** X 를 다양체로 간주하고 C_b^1(X) 만으로 X의 등거리 구조가 결정된다. 이는 전통적인 Banach‑Stone 정리의 등거리 버전이다. 논문은 또한 대수동형이 단순히 위상동형이 아니라 거리와 미분구조까지 보존한다는 점을 강조한다. 이는 기존의 Banach‑Stone 정리(연속함수 대수)와 Myers‑Nakai 정리(완비 리만 다양체) 사이의 다리 역할을 한다. 마지막으로, 저자는 향후 연구 방향으로 비선형 편미분방정식, 최적화 이론, 그리고 무한 차원 기하학에서 C_b^k 대수를 이용한 구조 복원 문제를 제시한다. 특히, 범프 함수 존재 조건을 완화하거나, 비완비 혹은 비연결 다양체에 대한 일반화를 탐구하는 것이 흥미로운 과제로 남는다.