[논문 리뷰] Thick coverings for the unit ball of a Banach space

Jesús M. F. Castillo, Pier Luigi Papini외 1명|arXiv (Cornell University)|2013. 07. 16.

Advanced Banach Space Theory참고 문헌 6인용 수 8

한 줄 요약

이 논문은 모든 $ 1 \leq p < \infty $ 에 대해 윌리지의 두께 상수 $ T(L_p[0,1]) = 2^{1/p} $ 를 계산하며, $ L_p $-스페이스와 바나흐 스페이스의 $ \ell_p $-곱이 모두 두께 상수 $ 2^{1/p} $ 를 가짐을 입증한다. 결과는 클라크슨의 부등식과 하너의 부등식을 활용하여 단위 구면 위의 유한한 $ \varepsilon $-망을 사용한 커버링 추론과 $ \ell_p $-곱에 대한 딱두성과 함께 유도되며, 고전적인 $ L_p $-스페이스에 대해 알려진 $ T(X) $ 의 값에 오랫동안 존재하던 빈자리(공백)를 메운다.

ABSTRACT

We study the behaviour of Whitley's thickness constant of a Banach space with respect to $\ell_p$-products and we compute it for classical $L_p$-spaces.

연구 동기 및 목표

• 기존에 알려지지 않았던 $ p > 1 $ 인 고전적인 $ L_p[0,1] $-스페이스에 대해 윌리지의 두께 상수 $ T(X) $ 를 계산하는 것.
• 기존의 $ T(X) $ 값들을 바나흐 스페이스의 $ \ell_p $-곱으로 확장하고, 그들의 두께 상수를 결정하는 것.
• $ \ell_p $-곱에 대한 $ T(X) $ 의 행동을 조사하고, 균일한 볼록성과 비정사각형성과 같은 기하적 성질과 연관짓는 것.
• $ T(X) $ 와 재노름화의 관계를 탐구하며, 특히 $ \ell_\infty $, $ c_0 $, $ \ell_1 $ 과 같은 스페이스에서 $ T(X) = T(X^{**}) $ 가 성립하는지 여부를 분석하는 것.

제안 방법

• 무한차원 스페이스에 대해 원래 윌리지 정의와 동치인 표현인 $ T(X) = \inf\{\varepsilon > 0 : \text{단위 구면 } S_X \text{ 위에 존재하는 유한한 } \varepsilon\text{-망이 } B_X \text{ 를 커버함} \} $ 을 사용한다.
• $ 1 \leq p \leq 2 $ 인 경우 클라크슨의 부등식을 적용한다: $ \|f+g\|^q + \|f-g\|^q \leq 2(\|f\|^p + \|g\|^p)^{q/p} $, 여기서 $ 1/p + 1/q = 1 $ 이며, 이를 통해 $ \min\{\|f+f_0\|, \|f-f_0\|\} \leq 2^{1/p} $ 를 유계화한다.
• $ p \geq 2 $ 인 경우 하너의 부등식을 활용한다: $ \|f+g\|^p + \|f-g\|^p \leq (\|f\| + \|g\|)^p + |\|f\| - \|g\||^p $, 이를 통해 $ L_p $-스페이스 내의 커버링 노름을 추정한다.
• 이중 구간 위의 특성 함수를 사용하여 $ L_p[0,1] $ 의 단위 구면 위에 유한한 $ \varepsilon $-망을 구성하고, 적분의 절대 연속성을 이용해 $ \varepsilon < 2^{1/p} $ 일 때는 $ B_X $ 를 커버할 수 없는 유한망이 있음을 보인다.
• $ \ell_p $-곱 $ Z = \ell_p \oplus_p Y $ 를 분석하기 위해 원소 $ z = (x,y) $ 를 분해하고, 노름 $ \|z\|_Z^p = \|x\|_{\ell_p}^p + \|y\|_Y^p $ 를 사용하여 대칭적 망과 거리 추정을 통해 $ T(Z) = 2^{1/p} $ 를 증명한다.
• 색인 선택 기반의 커버링 추론을 사용한다: 임의의 유한망이 존재할 때, 모든 망 점들이 작은 $ j $-번째 성분을 가진 표준 기저 벡터 $ e_j $ 가 존재하며, 이는 $ (e_j, 0) $ 에서의 거리에 하한을 제공한다.

실험 결과

연구 질문

• RQ1 $ 1 < p < \infty $ 인 $ L_p[0,1] $ 에 대해 윌리지의 두께 상수 $ T(L_p[0,1]) $ 의 값은 무엇인가? (이미 $ T(L_1[0,1]) = 2 $ 는 알려져 있다.)
• RQ2 특히 $ \ell_p \oplus_p Y $ 와 같은 바나흐 스페이스의 $ \ell_p $-곱에 대해 두께 상수는 어떻게 행동하는가?
• RQ3 만약 $ X $ 가 $ \ell_p $ 와 같이 알려진 스페이스일 경우, $ \ell_p $-곱에 대해 두께 상수 $ T(X) $ 가 유지되거나 계산될 수 있는가?
• RQ4 두께 상수가 $ T(X) = 2^{1/p} $ 인 바나흐 스페이스에 대해 기하적 또는 등장적 특성화가 가능한가?
• RQ5 모든 바나흐 스페이스에 대해 $ T(X) = T(X^{**}) $ 가 성립하는가? 특히 $ L_p $-스페이스에 대해 성립하는가?

주요 결과

• $ 1 \leq p < \infty $ 에 대해 $ L_p[0,1] $ 의 두께 상수는 $ T(L_p[0,1]) = 2^{1/p} $ 이며, $ p > 1 $ 인 경우 이전까지 알려지지 않았던 값이었다.
• $ 1 \leq p \leq 2 $ 에서 클라크슨의 부등식을 통해 상한 $ T(L_p) \leq 2^{1/p} $ 를 도출하였으며, 이는 임의의 $ f \in S_X $ 에 대해 $ \min\{\|f + f_0\|, \|f - f_0\|\} \leq 2^{1/p} $ 임을 보여준다.
• $ p \geq 2 $ 에서 하한 $ T(L_p) \geq 2^{1/p} $ 는 함수 $ f = \chi(A)/(\mu(A))^{1/p} $ 를 구성함으로써 확립되었으며, 이 경우 $ \|f - f_i\|^p > 1 - \varepsilon^p + (1 - \varepsilon)^p $ 임을 보여 $ \varepsilon \to 0 $ 일 때 $ T(L_p) \geq 2^{1/p} $ 를 유도한다.
• $ \ell_p $-곱 $ Z = \ell_p \oplus_p Y $ 의 두께 상수는 $ T(Z) = 2^{1/p} $ 이며, 두 점으로 이루어진 망 $ \{(e_1, 0), (-e_1, 0)\} $ 을 구성하고 $ B_Z $ 가 $ 2^{1/p} $ 이내로 커버짐을 보여 증명된다.
• 임의의 $ S_Z $ 위의 유한망에 대해, 표준 기저 벡터 $ e_j $ 가 존재하여 $ \|z_j - z_i\|_Z^p \geq \|x_i\|_{\ell_p}^p + \|y_i\|_Y^p - \varepsilon^p + (1 - \varepsilon)^p $ 를 만족하며, 이는 $ T(Z) \geq 2^{1/p} $ 를 유도한다.
• 논문은 $ \ell_p $-곱과 $ L_p $-스페이스에 대해 $ T(X) = 2^{1/p} $ 를 보여주며, 유사한 국소 등장적 구조를 가진 스페이스들이 동일한 두께 상수를 공유할 수 있음을 시사한다.