라자 커버링 지수와 Lp 공간의 정확한 추정

초록

본 논문은 라자(Raja)의 커버링 인덱스 Θ_X(n)을 고전적인 L_p 공간과 비가환 L_p 공간에 대해 정밀히 계산한다. 무한 차원 힐베르트 공간에서는 Θ_H(n)=n^{-1/2}를 정확히 구하고, 특히 Θ_{ℓ_2}(2)=1/√2임을 보인다. 일반 L_p(μ)에서는 블록 분해 기법을 이용해 Θ_{L_p(μ)}(n)≤n^{-1/p}를 얻으며, p‑AUS 가능성 가정 하에 라자의 일반 하한과 결합해 Θ_{L_p(μ)}(n)∼n^{-1/p}임을 증명한다. 또한 비원자 σ‑유한 측도공간 위의 Bochner 공간 L_p(μ;E)에서도 동일한 상한이 성립함을 보여, E의 비대칭성에도 불구하고 지수는 변하지 않음을 확인한다. 마지막으로 반유한 베르누이 대수와 트레이스가 있는 반유한 von Neumann 대수에 대한 비가환 L_p 공간에 대해 Θ_{L_p(M,τ)}(n)≳n^{-1/r} (r=min{p,2})라는 하한을 비가환 클라크키니 부등식을 통해 얻는다.

상세 분석

논문은 라자(Raja)가 제안한 커버링 인덱스 Θ_X(n)의 정의와 그 기하학적 의미를 먼저 정리한다. Θ_X(n)은 단위구를 n개의 폐쇄 볼록 집합으로 덮을 때, 각 집합이 포함하는 ‘본질적 내반경(essential inradius)’의 최댓값을 최소화한 값이다. 이 지표는 기존의 비대칭성, 비균등 매끄러움(AUS), Szlenk 지수와 깊은 연관을 가지며, 특히 p‑AUS 구조를 갖는 공간에서는 Θ_X(n)≳c·n^{-1/p}라는 하한을 제공한다(라자 정리 1.6).

첫 번째 주요 결과는 무한 차원 힐베르트 공간 H에 대해 Θ_H(n)=n^{-1/2}임을 정확히 증명한 것이다. 상한은 H를 n개의 무한 차원 직교 부분공간으로 분해하고, 각 부분공간에 대한 투영 연산자를 이용해 A_j={x∈B_H:‖P_j x‖≤n^{-1/2}}를 정의함으로써 얻는다. 각 A_j는 본질적 내반경이 정확히 n^{-1/2}이며, 이들로 B_H를 덮는다. 하한은 라자의 goal derivation(목표 파생) 개념을 Hilbert 구에 적용해, ε>n^{-1/2}이면 n단계 파생이 공집합이 됨을 보이며, (1)식의 역을 이용해 Θ_H(n)≥n^{-1/2}를 얻는다. 두 부등식이 일치하므로 정확한 값이 확정된다.

다음으로 일반 L_p(μ) 공간(1≤p<∞)에 대해 블록 분해 기법을 도입한다. 측도공간을 n개의 부분집합 E_k로 나누고, 각 부분에 대한 좌표 투영 P_k를 정의한다. A_k={f∈B_{L_p}:‖P_k f‖p≤n^{-1/p}}는 폐쇄 볼록이며, B{L_p}=∪{k=1}^n A_k가 된다. 본질적 내반경을 분석하기 위해, A_k 안에 있는 임의의 함수 f와 유한 코차원 부분공간 Y를 잡고, r>n^{-1/p}인 경우 f+r(B{L_p}∩Y)⊂A_k가 불가능함을 보인다. 여기서는 L_p(E_k)의 무한 차원성, 비원자성(또는 무한 원자) 등을 이용해 적절한 분리 집합을 구성하고, 함수 v=P_k f를 작은 부분집합 U에 제한하여 r·u를 추가했을 때 ‖P_k(f+ru)‖p가 n^{-1/p}를 초과함을 보인다. 따라서 ϱ(A_k)≤n^{-1/p}이며, 앞서 보인 하한과 결합해 Θ{L_p(μ)}(n)≤n^{-1/p}임을 얻는다.

p‑AUS 가능성 가정(예: ℓ_p, L_p