[논문 리뷰] Algebraic and topological properties of some sets in $l_1$

Тарас Банах, Artur Bartoszewicz외 2명|arXiv (Cornell University)|2012. 08. 15.

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

한 줄 요약

이 논문은 $ε_1$의 수열 공간에서 부분합 집합의 대수적 및 위상적 성질을 조사하며, 세 가지 유형에 중점을 둡니다: 유한 개의 구간의 합집합 ($\mathcal{I}$), 칸토어 집합 ($\mathcal{C}$), M-칸토어벌 ($\mathcal{MC}$). 이 논문은 $\mathcal{I}$와 $\mathcal{C}$가 강한 $\mathfrak{c}$-대수적임을 증명하고, $\mathcal{MC}$는 $\mathfrak{c}$-선형성임을 보이며, $\mathcal{C}$는 조밀한 $G_\delta$-집합임을, $\mathcal{I}$는 $\mathcal{F}_\sigma$-집합임을, $\mathcal{I}$는 공간성임을, $\mathcal{C}$는 그렇지 않음을 밝혀냅니다.

ABSTRACT

For a sequence $x \in l_1 \setminus c_{00}$, one can consider the set $E(x)$ of all subsums of series $\sum_{n=1}^{\infty} x(n)$. Guthrie and Nymann proved that $E(x)$ is one of the following types of sets: (I) a finite union of closed intervals; (C) homeomorphic to the Cantor set; (MC) homeomorphic to the set $T$ of subsums of $\sum_{n=1}^\infty b(n)$ where $b(2n-1) = 3/4^n$ and $b(2n) = 2/4^n$. By $I$, $C$ and $MC$ we denote the sets of all sequences $x \in l_1 \setminus c_{00}$, such that $E(x)$ has the corresponding property. In this note we show that $I$ and $C$ are strongly $\mathfrak{c}$-algebrable and $MC$ is $\mathfrak{c}$-lineable. We show that $C$ is a dense $G_δ$-set in $l_1$ and $I$ is a true $F_σ$-set. Finally we show that $I$ is spaceable while $C$ is not spaceable.

연구 동기 및 목표

• 수열 공간 $\ell_1$에서 부분합 집합의 대수적 및 위상적 구조를 규명하는 것.
• $\mathcal{I}$, $\mathcal{C}$, $\mathcal{MC}$의 세 가지 유형의 도달 집합에 대해 선형성, 대수성, 공간성 성질을 규명하는 것.
• $\ell_1$ 내에서 이러한 집합의 위상적 범주(예: $G_\delta$, $\mathcal{F}_\sigma$)를 조사하는 것.
• $\ell_1$의 맥락에서 강한 대수성, 선형성, 공간성 간의 관계를 명확히 하는 것.
• $\mathcal{MC}$의 $\mathfrak{c}$-대수성, $\mathcal{F}_\sigma$-구조, 공간성에 관한 열린 질문을 해결하는 것.

제안 방법

• $\ell_1 \setminus c_{00}$에 속하는 $x$에 대해 $E(x)$를 세 가지 유형으로 분류하는 구스티에-니마인 삼분법을 활용한다: 유한 개의 구간의 합집합, 칸토어 집합, 또는 M-칸토어벌.
• 함수해석학과 무한급수 기법을 적용하여 원하는 부분합 집합을 가진 수열을 구성한다.
• 대수학에서의 자유 생성자 개념을 활용하여, 다항식 조합에 대해 닫혀 있는 비가산 수열 집합을 구성함으로써 $\mathcal{I}$와 $\mathcal{C}$의 강한 $\mathfrak{c}$-대수성을 증명한다.
• 무한 차원 부분공간 $Y$ 내에서 수열 $x_k$의 재귀적 구성 기법을 사용하여, 어떤 $y \in Y$에 대해 $E(y)$가 구간을 포함함을 보여 $\mathcal{C}$가 공간성이 아님을 증명한다.
• 위상적 추론을 적용하여 $\mathcal{C}$가 조밀한 $G_\delta$-집합임과 $\mathcal{I}$가 진정한 $\mathcal{F}_\sigma$-집합임을 보인다.
• 바나흐 공간 내에서의 공간성 및 선형성에 관한 기존 결과를 활용하여 $\mathcal{I}$, $\mathcal{C}$, $\mathcal{MC}$의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 $\mathcal{MC}$ 집합이 부분합 집합이 $T$(M-칸토어벌)와 위상동형인 수열의 집합일 때, 이는 $\mathfrak{c}$-대수적입니까?
• RQ2 $\mathcal{MC}$는 $\ell_1$의 $\mathcal{F}_\sigma$ 부분집합입니까?
• RQ3 $\mathcal{MC}$는 공간성입니까?
• RQ4 $\ell_1$ 내에서 조밀한 $G_\delta$-집합이 공간성이 아닐 수 있으며, 만약 그렇다면 $\mathcal{C}$는 그러한 예시가 됩니까?
• RQ5 $\ell_1$의 도달 집합 맥락에서 강한 대수성, 선형성, 공간성 간의 정확한 관계는 무엇입니까?

주요 결과

• $\ell_1$에서 부분합 집합이 닫힌 구간의 유한 개의 합집합인 수열의 집합 $\mathcal{I}$는 공간성임을 보여줍니다.
• $\ell_1$에서 부분합 집합이 칸토어 집합과 위상동형인 수열의 집합 $\mathcal{C}$는 조밀한 $G_\delta$-집합입니다.
• $\mathcal{I}$는 진정한 $\mathcal{F}_\sigma$-집합이며, 이는 $G_\delta$-집합이 아님을 의미합니다.
• $\mathcal{C}$는 강한 $\mathfrak{c}$-대수적임을 의미하며, 이는 $\mathfrak{c}$개의 원소로 자유롭게 생성된 차원 $\mathfrak{c}$의 대수를 포함함을 의미합니다.
• $\mathcal{I}$는 강한 $\mathfrak{c}$-대수적임을 나타내며, 이는 집합 내부에 풍부한 대수적 구조가 있음을 의미합니다.
• $\mathcal{MC}$는 $\mathfrak{c}$-선형성임을 의미하며, 이는 차원 $\mathfrak{c}$의 무한 차원 선형 공간을 포함하지만, $\mathfrak{c}$-대수성 또는 공간성은 알려져 있지 않습니다.