[논문 리뷰] Universal stability of Banach spaces for $\varepsilon$-isometries

Lixin Cheng, Duanxu Dai외 2명|arXiv (Cornell University)|2013. 01. 15.

Advanced Banach Space Theory참고 문헌 16인용 수 3

한 줄 요약

이 논문은 바나흐 공간이 모든 표준 ε-등거리사상에 대해 안정적임이 항상 성립하는 경우(즉, 유니버설 우측 안정성) 바나흐 공간이 힐버트 공간임과 동치임을 증명한다. 또한, 포함 공간(injective spaces)은 항상 유니버설 좌측 안정성을 가지며, 가산적 바나흐 공간이 모든 가산적 대상에 대해 유니버설 좌측 안정성임과 동치이기 위한 조건은 $c_0$와 동형임을 보여준다. 본 연구는 쌍대성과 약한*-위상 기법을 활용하여 오랫동안 남아있던 ε-등거리사상 안정성 문제를 해결한다.

ABSTRACT

Let $X$, $Y$ be two real Banach spaces and $\varepsilon>0$. A standard $\varepsilon$-isometry $f:X ightarrow Y$ is said to be $(α,γ)$-stable (with respect to $T:L(f)\equiv\overline{ m span}f(X) ightarrow X$ for some $α, γ>0$) if $T$ is a linear operator with $\|T\|\leqα$ so that $Tf-Id$ is uniformly bounded by $γ\varepsilon$ on $X$. The pair $(X,Y)$ is said to be stable if every standard $\varepsilon$-isometry $f:X ightarrow Y$ is $(α,γ)$-stable for some $α,γ>0$. $X (Y)$ is said to be universally left (right)-stable, if $(X,Y)$ is always stable for every $Y (X)$. In this paper, we show that universal right-stability spaces are just Hilbert spaces; every injective space is universally left-stable; a Banach space $X$ isomorphic to a subspace of $\ell_\infty$ is universally left-stable if and only if it is isomorphic to $\ell_\infty$; and that a separable space $X$ satisfies the condition that $(X,Y)$ is left-stable for every separable $Y$ if and only if it is isomorphic to $c_0$.

연구 동기 및 목표

• ε-등거리사상 하에서 유니버설 좌측 또는 우측 안정성을 갖는 바나흐 공간을 특성화하는 것.
• Qian의 열린 문제인 ε-등거리사상에 대한 유니버설 안정성 상수 존재 문제를 해결하는 것.
• 주어진 공간으로의 모든 표준 ε-등거리사상이 균일한 상한을 갖도록 보장하는 바나흐 공간을 규명하는 것.
• 사상의 전사성과 등거리성 조건을 초월하여, 보편적 설정으로의 ε-등거리사상 안정성 이론을 확장하는 것.
• 포함성, 가산성, $c_0$ 또는 $\ell_\infty$와의 동형성 등의 기하적 구조가 안정성에 미치는 영향을 명확히 하는 것.

제안 방법

• ε-등거리사상에 대해 $(\alpha, \gamma)$-안정성을 정의하며, 이미지의 폐포 위에 정의된 유계 선형 연산자 $T$에 대해 $\|Tf(x) - x\| \leq \gamma\varepsilon$ 를 요구한다.
• 이중 공간과 약한*-위상을 활용하여, 노름과 수렴이 제어 가능한 $Y^*$ 내의 근사 함수형 $\phi_n$과 $\psi_n$을 구성한다.
• Cheng-Dong-Zhang의 정리 1.3을 적용하여 쌍대 곱 $|\langle\phi_n, f(x)\rangle - \langle x_n^*, x\rangle| \leq 4\varepsilon\|T\|$ 를 유계한다.
• 선형 연산자 $S: Y \to X$ 를 $S(y) = \sum \langle\phi_n - \psi_n, y\rangle x_n$ 로 정의하며, $\|S\| \leq 2\alpha$ 를 보인다. 여기서 $\alpha = \|T\|\|T^{-1}\|$.
• 가산 이중 공간의 단위 구의 약한*-콤���성과 매트리자빌리티를 활용하여 함수형의 $w^*$-수렴하는 부분수열을 추출한다.
• 노름 유계성과 극한 추론을 통해 핵심 추정식 $\|Sf(x) - x\| \leq 8\varepsilon\alpha$ 을 수립한다.

실험 결과

연구 질문

• RQ1 모든 바나흐 공간 $Y$ 에 대해 $(X,Y)$ 가 안정적인 바나흐 공간 $X$ 는 무엇인가?
• RQ2 모든 바나흐 공간 $X$ 에 대해 $(X,Y)$ 가 안정적인 바나흐 공간 $Y$ 는 무엇인가?
• RQ3 $c_0$ 는 모든 가산적 $Y$ 에 대해 $(X,Y)$ 가 안정적인 유일한 가산적 바나흐 공간인가?
• RQ4 주어진 공간으로의 모든 ε-등거리사상에 대해 $\|Tf(x) - x\| \leq \gamma\varepsilon$ 에서 안정성 상수 $\gamma$ 가 균일하게 유계일 수 있는가?
• RQ5 모든 ε-등거리사상에 대해 유니버설 안정성 상한을 갖는 바나흐 공간의 정확한 기하적 특성은 무엇인가?

주요 결과

• 바나흐 공간 $X$ 가 유니버설 좌측 안정성을 갖는다 하는 것은 $X$ 가 포함 공간이거나 $c_0$ 와 동형임과 동치이다.
• 바나흐 공간 $Y$ 가 유니버설 우측 안정성을 갖는다 하는 것은 $Y$ 가 힐버트 공간임과 동치이다.
• 모든 포함 공간은 유니버설 좌측 안정성을 갖는다. 이는 임의의 ε-등거리사상에 대해 그로의 재구성 사상(retrojection)이 존재하기 때문이다.
• 가산적 바나흐 공간 $X$ 가 모든 가산적 $Y$ 에 대해 유니버설 좌측 안정성을 갖는다 하는 것은 $X$ 가 $c_0$ 와 동형임과 동치이다.
• $X$ 가 $c_0$ 와 동형일 경우, 모든 가수적 $Y$ 에 대해 쌍 $(X,Y)$ 는 $(2\alpha, 8\alpha)$-안정적이다. 여기서 $\alpha = \|T\|\|T^{-1}\|$ 는 임의의 등장사상 $T: X \to c_0$ 에 대해 정의된다.
• 안정성 상수 $\gamma = 8\alpha$ 는 정확히 이중 곱 유계성 $4\varepsilon\|T\|$ 와 연산자 $S$ 를 통한 노름 전파에서 기인하므로 날카로운 상한이다.