[논문 리뷰] SUBSPACES OF c0(N) AND LIPSCHITZ ISOMORPHISMS

Gilles Godefroy, N. J. Kalton외 1명|arXiv (Cornell University)|2000. 01. 01.

Advanced Banach Space Theory참고 문헌 25인용 수 54

한 줄 요약

이 논문은 c₀(ℕ)의 부분공간이 리프시츠 동형사상 하에서 보존됨을 증명하며, c₀(ℕ)와 리프시츠-동형인 임의의 바나흐 공간은 반드시 선형-동형임을 보여준다. 이 결과는 이중 단위구에서 약한*과 노름 위상 간의 정량적 일致성 조건을 만족하는 등가노름을 통한 c₀(ℕ)의 부분공간에 대한 동형 특성화에 기반하며, 작은 리프시츠 상수일 경우 바나흐-마자르 거리에 대한 추정을 제공한다.

ABSTRACT

We show that the class of subspaces of c0(N) is stable under Lipschitz isomorphisms. The main corollary is that any Banach space which is Lipschitz-isomorphic to c0(N) is linearly isomorphic to c0(N). The proof relies in part on an isomorphic characterization of subspaces of c0(N) as separable spaces having an equivalent norm such that the weak-star and norm topologies quantitatively agree on the dual unit sphere. Estimates on the Banach{Mazur distances are provided when the Lipschitz constants of the isomorphisms are small. The quite dierent non-separable theory is also investigated.

연구 동기 및 목표

• c₀(ℕ)의 부분공간이 리프시츠 동형사상 하에서 어떻게 안정화되는지 조사한다.
• c₀(ℕ)와 리프시츠-동형인 바나흐 공간이 반드시 선형-동형이 되는지 여부를 규명한다.
• 이중 단위구에서 약한*과 노름 위상 간의 일치 정도를 고려한 노름 성질을 통해 c₀(ℕ)의 부분공간을 정량적으로 특성화한다.
• 리프시츠 상수가 작을 경우 바나흐-마자르 거리의 추정치를 도출한다.
• 분석을 분리 가능하지 않은 바나흐 공간으로 확장한다.

제안 방법

• 이중 단위구에서 약한* 위상과 노름 위상 간의 정량적 일致성 조건을 만족하는 등가노름을 통해 c₀(ℕ)의 부분공간에 대한 동형 특성화를 활용한다.
• 이 노름 조건을 적용하여, c₀(ℕ)와 다른 바나흐 공간 간의 리프시츠 동형사상이 선형 동형사상을 유도함을 보인다.
• 리프시츠 동형사상의 상수가 작을 경우 바나흐-마자르 거리에 대한 추정치를 유도한다.
• 비선형 함수해석학 및 노름 재정의 이론 기법을 활용하여 이중 단위구에서의 위상적 행동을 제어한다.
• 분리 가능한 결과를 바나흐 공간의 구조적 성질을 활용하여 비분리 가능한 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 c₀(ℕ)의 부분공간의 집합은 리프시츠 동형사상 하에서도 유지되는가?
• RQ2 c₀(ℕ)와 리프시츠-동형인 바나흐 공간은 반드시 선형-동형이 되는가?
• RQ3 이중 단위구에서 약한* 위상과 노름 위상 간의 일치 정도를 고려한, c₀(ℕ)의 부분공간을 특성화하는 노름 조건은 무엇인가?
• RQ4 리프시츠 상수가 작을 경우, c₀(ℕ)와 그 리프시츠-동형 상의 바나흐-마자르 거리는 어떻게 행동하는가?
• RQ5 이 맥락에서 분리 가능성에서 비분리 가능성으로의 구조적 성질의 확장은 무엇인가?

주요 결과

• c₀(ℕ)의 부분공간의 집합은 리프시츠 동형사상 하에서 안정하다.
• c₀(ℕ)와 리프시츠-동형인 임의의 바나흐 공간은 반드시 선형-동형이 된다.
• c₀(ℕ)의 부분공간은 이중 단위구에서 약한* 위상과 노름 위상 간의 정량적 일치를 보장하는 등가노름이 존재하는 것으로 특성화된다.
• 작은 리프시츠 상수일 경우, c₀(ℕ)와 그 리프시츠-동형 상 사이의 바나흐-마자르 거리는 리프시츠 상수의 함수로 유계된다.
• 비분리 가능한 이론적 분석을 통해 분리 가능한 경우와의 구조적 차이가 드러났다.