[논문 리뷰] The Schur l1 Theorem for filters

Avilés, Antonio, Bernardo Cascales Salinas외 2명|ArXiv.org|2009. 03. 03.

Approximation Theory and Sequence SpacesMathematics참고 문헌 8인용 수 21

한 줄 요약

이 논문은 고전적인 Schur ℓ₁ 정리—ℓ₁에서 약한 수렴과 노름 수렴의 동치성에 관해—를 필터 기반 수렴으로 일반화한다. 약한 ℱ-수렴이 노름 수렴을 함의하는 필터(스푸르 필터)를 특성화하고, 필터에 대한 이중 슈어 성질을 도입하며, 이러한 성질을 가진 필터가 동시에 WC1 및 슈어 필터임을 증명한다. 주요 기여는 흔적과 곱 구조를 통해 이러한 필터를 완전히 특성화한 것이다.

ABSTRACT

We study the classes of filters F on N such that the weak and strong F-convergence of sequences in l1 coincide. We study also an analogue of l1 weak sequential completeness theorem for filter convergence.

연구 동기 및 목표

• 필터 수렴의 맥락에서 ℓ₁ 공간에서의 고전적 슈어 ℓ₁ 정리를 일반화한다.
• 필터 ℱ가 슈어 성질을 만족하는 필요 및 충분 조건을 규명한다: 즉, ℓ₁에서 약한 ℱ-수렴이 노름 수렴을 함의하는가?
• 필터 수렴의 맥락에서 약한 순차적 완비성 성질(WC1)을 연구한다.
• 곱 필터 ℱ×ℱ를 통해 정의된 필터에 대한 이중 슈어 성질을 도입하고 분석한다.
• 필터의 구조, 특히 준증가, 감소, 증가 성질과 그 상호작용을 연구하며, 슈어 및 WC1 성질과의 관계를 탐구한다.

제안 방법

• 가 countable set ℕ 상의 필터를 사용하여 위상 공간 내 수열의 ℱ-수렴을 정의하고, 일반 수렴을 일반화한다.
• ℱ-정적 집합 I에 대한 필터 ℱ의 흔적을 정의하고, 이를 통해 ℱ-수렴을 부분집합에 沿한 수렴과 연결한다.
• N₁×N₂ 상의 필터 ℱ₁×ℱ₂와 N₁∪N₂ 상의 필터 ℱ₁+ℱ₂를 정의하여 공동 수렴 행동을 분석한다.
• 이중 슈어 성질을 도입한다: 필터 ℱ가 이 성질을 가진다는 것은 ℱ×ℱ가 슈어 필터라는 것을 의미하며, 즉 ℓ₁에서 약한 ℱ×ℱ-수렴이 노름 수렴을 함의한다.
• ℓ₁에서 약한 수렴과 노름 수렴 간의 쌍대성과 ℓ₁의 완비성을 이용하여, 이중 슈어 필터가 WC1 및 슈어 성질을 함의함을 보인다.
• 지배성과 유전성에 기반한 필터 클래스 분석: 준증가, 감소, 증가 성질을 정의하여, 흔적과 초필터에 대한 닫힘 성질을 연구한다.

실험 결과

연구 질문

• RQ1 어떤 필터 ℱ에 대해 ℓ₁에서 수열의 약한 ℱ-수렴이 노름 수렴을 함의하는가?
• RQ2 이중 슈어 성질과 필터의 슈어 또는 WC1 성질 사이의 관계는 무엇인가?
• RQ3 ℱ-정적 집합 I에 대해 흔적 ℱ(I)을 취할 때 필터 성질은 어떻게 변화하는가?
• RQ4 거의 슈어 필터의 집합은 명시적으로 특성화될 수 있는가? 그리고 이러한 필터의 전체 집합에 대한 기저를 이룬다 할 수 있는가?
• RQ5 지배성 또는 흔적을 통한 유전성에 의해, 슈어 성질과 이중 슈어 성질이 필터에 유지되는가?

주요 결과

• 필터 ℱ가 슈어 성질을 가진다 하는 것과, 모든 I ∈ ℱ*에 대해 흔적 ℱ(I)가 거의 슈어 필터인 것은 필수적 조건이다.
• 모든 이중 슈어 성질을 가진 필터는 동시에 WC1 필터이자 슈어 필터이다.
• 이중 슈어 성질은 ℓ₁**의 약한 위상에서 (xₙ − xₘ)의 ℱ×ℱ-수렴이 0으로 가는 것을 함의하며, 이는 ℓ₁-노름 수렴이 0으로 가는 것을 함의한다.
• 슈어 필터의 집합은 감소하지 않는다: 슈어 필터 ℱ₁ ∈ Schur 이고, ℱ₂ ∉ Schur 이면서 ℱ₁이 ℱ₂에 의해 지배되는 필터가 존재한다.
• 거의 슈어 필터의 집합은 준증가이지만 감소하지 않으며, 이 집합에 대한 기저를 구성하는 문제는 여전히 열려있다.
• 이중 슈어 성질은 슈어 성질보다 엄밀히 강력하며, 이중 슈어 필터에 의해 지배되는 필터는 반드시 WC1-필터이다.