[论文解读] Algebraic and topological properties of some sets in $l_1$

Тарас Банах, Artur Bartoszewicz+2 more|arXiv (Cornell University)|Aug 15, 2012

Advanced Banach Space Theory参考文献 15被引用 4

一句话总结

本文研究了序列空间 $\ell_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$ 背景下强代数可生成性、线性可生成性与空间可生成性之间的关系。
• 解决关于 $\mathfrak{c}$-代数可生成性、$\mathcal{F}_\sigma$ 结构以及 $\mathcal{MC}$ 的空间可生成性方面的开放问题。

提出的方法

• 利用 Guthrie-Nymann 三分法，将 $x \in \ell_1 \setminus c_{00}$ 的 $E(x)$ 分类为三类：有限个区间的并集、康托集或 M-康托值集。
• 应用泛函分析与无穷级数的技术，构造具有所需子和集的序列。
• 运用代数中自由生成元的概念，通过构造在多项式组合下封闭的不可数个序列集合，证明 $\mathcal{I}$ 与 $\mathcal{C}$ 的强 $\mathfrak{c}$-代数可生成性。
• 在 $\ell_1$ 的无穷维子空间 $Y$ 中递归构造序列 $x_k$，以证明存在某个 $y \in Y$ 使得 $E(y)$ 包含一个区间，从而证明 $\mathcal{C}$ 不是空间可生成的。
• 运用拓扑论证，证明 $\mathcal{C}$ 是稠密的 $G_\delta$ 集，且 $\mathcal{I}$ 是一个真正的 $\mathcal{F}_\sigma$ 集。
• 利用巴拿ach空间中空间可生成性与线性可生成性的已知结果，分析 $\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$ 的实现集背景下，强代数可生成性、线性可生成性与空间可生成性之间的确切关系为何？

主要发现

• 子和集为有限个闭区间的并集的序列集合 $\mathcal{I}$ 在 $\ell_1$ 中是空间可生成的。
• 子和集同胚于康托集的序列集合 $\mathcal{C}$ 是 $\ell_1$ 中的稠密 $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}$-代数可生成或空间可生成的。