[논문 리뷰] Extending surjective isometries defined on the unit sphere of $\ell_\infty(\Gamma)$

Antonio M. Peralta|arXiv (Cornell University)|2017. 09. 27.

Advanced Banach Space Theory참고 문헌 13인용 수 4

한 줄 요약

이 논문은 무한한 이산 집합 Γ 위의 모든 복소수 유계 함수로 이루어진 바나흐 공간 ℓ∞(Γ)가 마즈르-울람 성질을 만족함을 증명한다: ℓ∞(Γ)의 단위원환과 임의의 복소 바나흐 공간 X 사이의 전사等距사상은 유일하게 ℓ∞(Γ)에서 X로의 전사 실선형 등距사상으로 연장된다. 증명은 국소 등距사상의 기하적 성질과 ℓ∞(Γ) 위의 동차 곱 구조를 통한 새로운 실선형 연장 기법에 기반한다.

ABSTRACT

Let $\Gamma$ be an infinite set equipped with the discrete topology. We prove that the space $\ell_{\infty}(\Gamma),$ of all complex-valued bounded functions on $\Gamma$, satisfies the Mazur-Ulam property, that is, every surjective isometry from the unit sphere of $\ell_{\infty}(\Gamma)$ onto the unit sphere of an arbitrary complex Banach space $X$ admits a unique extension to a surjective real linear isometry from $\ell_{\infty}(\Gamma)$ to $X$.

연구 동기 및 목표

• c0(Γ)에 관한 이전 연구에서 제기된 추측을 확장하여 ℓ∞(Γ)가 마즈르-울람 성질을 만족함을 입증하는 것.
• 복소 바나흐 공간의 맥락에서 티ング리의 문제를 해결하기 위해, ℓ∞(Γ)의 단위원환에서의 등距사상이 전체 공간으로 연장됨을 증명하는 것.
• c0(Γ)에 사용된 이전 방법의 한계를 극복하기 위해, 국소 등距사상과 M-수직성에 기반한 새로운 기하 기법을 개발하는 것.
• S(ℓ∞(Γ)) 위의 전사 등距사상의 동차 연장이 덧셈과 실선형성을 띠며, 이로 인해 유일한 실선형 연장이 도출됨을 보이는 것.
• 실수 수열 공간을 초월하여 ℓ∞(Γ)가 마즈르-울람 성질을 만족하는 복소 바나흐 공간의 첫 번째 알려진 예임을 확인하는 것.

제안 방법

• 모든 비영인 국소 등距사상 v와 |λ| = 1인 λ ∈𝕋에 대해 λ∆(v) = ∆(λ ⊙v)를 만족하는 ℓ∞(Γ) 위의 실선형 곱 ⊙를 도입한다.
• 전사 등距사상 ∆가 ℓ∞(Γ) 내 상호직교인 비영인 국소 등距사상의 유한 가중치 집합을 X 내 완전 M-수직 집합으로 보낸다는 것을 증명한다.
• 국소 등距사상의 수에 대한 귀납법을 사용하여, 동차 연장 F가 복소 계수 αj에 대해 F(∑ αj ⊙vj) = ∑ αj∆(vj)를 만족함을 보인다.
• ℓ∞(Γ) 내에서 대수적 원소(국소 등距사상의 유한 선형 조합)가 노름 밀도를 이룬다는 점을 활용하여 덧셈성을 모든 원소로 확장한다.
• 동차 연장 F가 리프시츠 연속임을 증명하고, 유한 조합에 의한 근사법을 통해 모든 a, b ∈ℓ∞(Γ)에 대해 F(a + b) = F(a) + F(b)임을 증명한다.
• 결론적으로 F는 ∆를 연장하는 실선형 등距사상이며, 단순성은 단위원환에서의 등距성 조건에 의해 도출된다.

실험 결과

연구 질문

• RQ1 공간 ℓ∞(Γ)는 마즈르-울람 성질을 만족하는가, 즉 그의 단위원환과 다른 복소 바나흐 공간의 단위원환 사이의 전사 등距사상이 유일하게 실선형 등距사상으로 연장될 수 있는가?
• RQ2 ℓ∞(Γ) 내 국소 등距사상의 기하적 구조는 단위원환에서의 등距사상 행동을 특징지는데 사용될 수 있는가?
• RQ3 단위 복소수의 스칼라 곱에 대해 이 등距사상 ∆가 이 곱 ⊙를 통해 존중하는 실선형 곱 ⊙를 ℓ∞(Γ) 위에 정의할 수 있는가?
• RQ4 X 내 상호직교인 국소 등距사상의 이미지가 완전 M-수직임과 동차 연장의 덧셈성 사이의 관계는 무엇인가?
• RQ5 유한 합의 국소 등距사상 근사와 리프시츠 연속성에 의해 동차 연장의 덧셈성이 확립될 수 있는가?

주요 결과

• 공간 ℓ∞(Γ)는 마즈르-울람 성질을 만족한다: 임의의 복소 바나흐 공간 X에 대해 S(ℓ∞(Γ))에서 S(X)로의 전사 등距사상은 유일하게 ℓ∞(Γ)에서 X로의 전사 실선형 등距사상으로 연장된다.
• 전사 등距사상 ∆: S(ℓ∞(Γ)) → S(X)의 동차 연장 F는 ℓ∞(Γ) 위에서 덧셈성을 띠며, 즉 모든 a, b ∈ℓ∞(Γ)에 대해 F(a + b) = F(a) + F(b)이다.
• ℓ∞(Γ) 내 상호직교인 비영인 국소 등距사상 {v₁, ..., vₖ}의 유한 가중치 집합에 대해, 그들의 ∆에 의한 이미지는 X 내에서 완전 M-수직 집합을 이룬다.
• 복소 계수 αj에 대해, ⊙는 ℓ∞(Γ) 위의 실선형 곱이며, unimodular 스칼라와 호환되므로 F(∑ αj ⊙vj) = ∑ αj∆(vj)를 만족한다.
• 대수적 원소(국소 등距사상의 유한 합)의 노름 밀도를 활용하여 연장의 실선형 구조가 확립되며, 이는 ℓ∞(Γ) 내에서 성립한다.
• 연장은 유일하고 등距이며, 이는 이전의 c0(Γ)에 사용된 방법과는 다름없는 새로운 기하적 추론(국소 등距사상과 M-수직성에 기반)에 의존한다.