역극한으로 보는 라돈‑니코디미 속성의 새로운 등가성

이 논문은 역극한 체계와 라돈‑니코디미(RNP), 점근적 정규화 속성(ANP), 그리고 저자들의 이전 연구에서 제시된 유한 차원 근사(GFDA) 사이의 깊은 연관성을 체계적으로 밝힌다. 1. **기본 정의와 배경** - **표준 역극한 시스템**: 유한 차원 Banach 공간 \(W_i\)와 \(\|\theta_i\|\le1\)인 선형 사상 \(\theta_i:W_{i+1}\to W_i\) 로 구성된다. - **역극한 \(\varprojlim W_i\)**: 호환성 조건 \(\theta_i(w_{i+1})=w_i\)와 \(\sup_i\|w_i\|<\infty\)을 만족하는 수열들의 공간이며, 자연적인 노름 \(\|(w_i)\|=\lim_{i\to\infty}\|w_i\|\) 로 완비된다. - **표준 직접 시스템**과 그 듀얼 관계를 소개하며, 직접 시스템이 등거리 삽입이면 그 듀얼은 전사 역극한 시스템이 된다. 2. **역극한은 분리 가능한 듀얼 공간** - 명제 2.8을 통해 \(\varprojlim W_i\) 가 \((\varinjlim W_i^*)^*\) 와 동형임을 증명한다. 여기서 \(\varinjlim W_i^*\) 은 분리 가능한 Banach 공간이며, 따라서 역극한은 언제나 어떤 분리 가능한 공간의 듀얼이다. 3. **Determining Property(DP)와 라돈‑니코디미(RNP)의 동치** - **Determining Property**(정의 1.3): 부분공간 \(V\subset\varprojlim W_i\) 에 대해, \(\{v_k\}\subset V\) 가 각 좌표 \(\pi_j(v_k)\) 가 수렴하고 \(\|v_k\|\) 가 유계이며 \(\|\pi_j(v_k)\|\) 가 \(\|v_k\|\) 로 균등 수렴하면 \(\{v_k\}\) 가 강하게 수렴한다는 조건. - **Theorem 1.4**: 분리 가능한 Banach 공간은 RNP와 DP가 동치임을 선언한다. 증명은 두 단계로 진행된다. 1) 역극한이 듀얼임을 이용해 DP를 ANP와 연결한다(명제 3.3). 2) 기존 결과(James‑Ho, Godefroy‑Maurey)에서 RNP ⇔ ANP임을 인용한다. 4. **ANP와 DP의 직접 비교** - **ANP**(정의 3.1): \((Y^*,V)\) 가 약한* 수열이 강하게 수렴하도록 하는 속성으로, 노름 수렴이 약한* 극한의 노름과 일치해야 한다. - 명제 3.3은 \((\varprojlim W_i,V)\) 에서 ANP와 DP가 정확히 같은 조건임을 보인다. 핵심은 약한* 수렴이 역극한 위상에서의 수렴과 동일하고, 노름의 균등 수렴이 ANP의 노름 수렴 조건과 일치한다는 점이다. 5. **GFDA와 ANP의 관계** - **GFDA**(Good Finite Dimensional Approximation, 정의 4.1 등): \((\varprojlim W_i,V)\) 가 DP를 만족하고, 각 투사 \(\pi_i|_V\) 가 전사 사상일 때 성립한다. - 논문은 GFDA 공간이 정확히 “분리 가능한 듀얼 공간과 동형인 Banach 공간”임을 증명한다. 이는 명제 2.8과 Kadec‑Klee 재노름 정리를 활용한 결과이며, 반대로 모든 분리 가능한 듀얼 공간은 적절한 역극한 시스템을 선택하면 GFDA 구조를 가질 수 있음을 보여준다. 6. **응용: PI 공간에 대한 미분 가능성 및 비삽입 정리** - PI 공간(측정이 doubling이고 Poincaré 부등식이 성립하는 metric measure space) 에 대해 이전 논문