[논문 리뷰] Weak cluster points of a sequence and coverings by cylinders

Vladimir Kadets|ArXiv.org|2003. 12. 05.

Approximation Theory and Sequence Spaces참고 문헌 5인용 수 9

한 줄 요약

이 논문은 힐버트 공간 내 벡터 수열이 0을 약한 클러스터 점으로 가지기 위한 필수 및 필요조건을 설정한다: 그들의 노름 제곱의 역수들의 급수가 발산해야 한다. 발러의 복소 플랭크 정리(Complex Plank Theorem)를 이용하여, 이러한 약한 클러스터 점이 존재하는 것은 ∑aₙ⁻² = ∞일 때이고, 또한 k ≥ 3일 때 복소 플랭크 결과를 고차원 실린더로 일반화하는 데 실패함을 보여준다.

ABSTRACT

Let $H$ be a Hilbert space. Using Ball's solution of the "complex plank problem" we prove that the following properties of a sequence $a_n>0$ are equivalent: (1) There is a sequence $x_n \in H$ with $\|x_n\|=a_n$, having 0 as a weak cluster point; (2) $\sum_1^\infty a_n^{-2}=\infty$. Using this result we show that a natural idea of generalization of Ball's "complex plank" result to cylinders with $k$-dimensional base fails already for $k=3$. We discuss also generalizations of "weak cluster points" result to other Banach spaces and relations with cotype.

연구 동기 및 목표

• 힐버트 공간 내 수열이 0을 약한 클러스터 점으로 가지기 위한 필수 및 필요조건을 규명하는 것.
• 발러의 복소 플랭크 정리가 k ≥ 3인 경우 k차원 기저를 가진 실린더로의 커버링으로 일반화 가능한지 조사하는 것.
• cotype와 유한 표현성과의 관련성을 고려하여, 일반 범주 공간으로의 약한 클러스터 점 특성화를 확장하는 것.
• 가중 수렴과 행렬 가중 극한이 약한 위상에서 어떻게 작용하며, 이들이 수열의 행동에 어떤 영향을 미치는지 탐구하는 것.

제안 방법

• 복소 힐버트 공간에서 플랭크의 너비 wₙ가 지름 w인 구를 덮는다면 ∑wₙ² ≥ w²임을 서술하는 발러의 복소 플랭크 정리를 활용한다.
• ∥xₙ∥ = aₙ인 수열 xₙ = aₙeₙ과 정규직교 기저 {eₙ}를 구성하여 약한 클러스터 점 행동을 분석한다.
• ∑ₘ pₙ,ₘ = 1 이고 limₙ→∞ pₙ,ₘ = 0 인 가중치 행렬 P = {pₙ,ₘ}을 도입하여 P-수렴과 w(P,p)-수렴을 정의한다.
• w(P,p)-수렴 개념을 적용하여, ∑aₙ⁻² = ∞이면 가중 평균 |f(xₙ)|ᵖ를 통한 분석을 통해 0이 약한 클러스터 점이 됨을 보여준다.
• 모순 증명을 사용한다: ∑aₙ⁻² < ∞이면, planks Pₙ = {h : |⟨h,xₙ⟩| ≤ ½}는 어떤 R > 0인 반지름의 구를 덮을 수 없으며, 이는 0이 약한 클러스터 점이 아님을 의미한다.
• 유한 표현성의 개념을 활용하여 ℓ₂와 ℓₚ를 적용하고, 마우레이-피지어 및 도보레츠키 정리를 적용하여 cotype과 약한 클러스터 점 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 aₙ > 0인 노름에 대해, ∥xₙ∥ = aₙ인 H 내 수열 {xₙ}이 0을 약한 클러스터 점으로 가지기 위한 조건은 무엇인가?
• RQ2 k ≥ 3인 경우, 힐버트 공간 내 k차원 기저를 가진 실린더로의 커버링에 대해 발러의 복소 플랭크 정리를 일반화할 수 있는가?
• RQ3 범주 공간의 cotype이 주어진 노름을 가진 수열의 약한 클러스터 점 존재성에 어떤 영향을 미치는가?
• RQ4 가중 수렴(w(P,p)-수렴)과 범주 공간 내 약한 클러스터 점 간의 관계는 무엇인가?
• RQ5 수열 (aₙ)에 대해 어떤 조건이 성립할 경우, 일반 범주 공간 X 내에서 ∥xₙ∥ = aₙ이고 0이 약한 클러스터 점이 되는 수열 {xₙ}이 존재하는가?

주요 결과

• 급수 ∑aₙ⁻² = ∞은 힐버트 공간 H 내에서 ∥xₙ∥ = aₙ이고 0이 약한 클러스터 점인 수열 {xₙ}의 존재성에 필수적이고 충분한 조건이다.
• 3차원 실린더로의 발러의 복소 플랭크 정리 일반화 실패는 ∑aₙ⁻² = ∞라는 조건의 등가성 조건을 이용한 반례를 구성함으로써 입증된다.
• 모든 무한차원 범주 공간 X에 대해, ∑aₙ⁻² = ∞이면 ∥xₙ∥ = aₙ이고 0이 약한 클러스터 점인 수열 {xₙ}이 존재한다.
• M-cotype p ∈ [2, ∞]인 범주 공간에서, w(P,p′)-수렴이 0으로 성립하면 ∑∥xₙ∥⁻ᵖ′ = ∞이며, 여기서 p′은 p의 쌍대 지수이다.
• ℓ∞가 유한히 표현 가능한 범주 공간(예: c₀)에서는 약한 클러스터 점 조건이 ∑aₙ⁻¹ = ∞로 단순화되며, 이는 w(P,1)-수렴에 해당한다.
• 결과는 날카롭다: ∑aₙ⁻² < ∞이면, 모든 n에 대해 |f(xₙ)| > ½를 만족하는 함수 f ∈ H*가 존재하므로 0은 약한 클러스터 점이 될 수 없다.