[论文解读] Metrizable TAP and STAP groups

Xabier Domínguez Vaja Tarieladze|arXiv (Cornell University)|Sep 8, 2009

Advanced Topology and Set Theory参考文献 1被引用 1

一句话总结

本文研究具有 mTAP 和 mSTAP 性质的可度量拓扑群，证明了 Weil 完备的可度量 mTAP 群是 mNSS，且 mNSS 群是 mSTAP。此外，本文表明在可度量群中，mSTAP 与 mNSS 等价，并证明了当 X 为无限的 Tychonoff 空间时，C_p(X,ℝ) 永远不是 mSTAP，而可度量局部平衡的 TVS 是 mSTAP 当且仅当其不包含与 ℤ^(ℕ) 同胚的子群。

ABSTRACT

In a recent paper by D. Shakhmatov and J. Spěvak [Group-valued continuous functions with the topology of pointwise convergence, Topology and its Applications (2009), doi:10.1016/j.topol.2009.06.022] the concept of a ${ m TAP}$ group is introduced and it is shown in particular that ${ m NSS}$ groups are ${ m TAP}$. We prove that conversely, Weil complete metrizable ${ m TAP}$ groups are ${ m NSS}$. We define also the narrower class of ${ m STAP}$ groups, show that the ${ m NSS}$ groups are in fact ${ m STAP}$ and that the converse statement is true in metrizable case. A remarkable characterization of pseudocompact spaces obtained in the paper by D. Shakhmatov and J. Spěvak asserts: a Tychonoff space $X$ is pseudocompact if and only if $C_p(X,\mathbb R)$ has the ${ m TAP}$ property. We show that for no infinite Tychonoff space $X$, the group $C_p(X,\mathbb R)$ has the ${ m STAP}$ property. We also show that a metrizable locally balanced topological vector group is ${ m STAP}$ iff it does not contain a subgroup topologically isomorphic to $\mathbb Z^{(\mathbb N)}$.

研究动机与目标

• 澄清可度量拓扑群中 mTAP、mSTAP 与 mNSS 性质之间的关系。
• 确定当 X 为 Tychonoff 空间时，C_p(X,ℝ) 在何种情况下满足 mSTAP 性质。
• 刻画可度量局部平衡拓扑向量群中的 mSTAP 性质。
• 在可度量设定下，建立 mSTAP 与 mNSS 等价。

提出的方法

• 通过函数群中序列收敛来定义 mTAP 和 mSTAP 群性质。
• 应用 Weil 完备性以推导 mTAP 群的结构性质。
• 通过拓扑同构论证分析可度量局部平衡 TVS 中同构于 ℤ^(ℕ) 的子群。
• 利用先前工作中关于 C_p(X,ℝ) 的伪紧性刻画与 mTAP 的关系。
• 通过拓扑与序列论证表明，当 X 无限时，C_p(X,ℝ) 不可能是 mSTAP。
• 通过群论结构分析比较 mSTAP 与 mNSS 性质。

实验结果

研究问题

• RQ1 Weil 完备的可度量 mTAP 群是否必然为 mNSS？
• RQ2 在可度量设定下，mSTAP 性质是否与 mNSS 等价？
• RQ3 对于哪些 Tychonoff 空间 X，C_p(X,ℝ) 是 mSTAP？
• RQ4 若可度量局部平衡拓扑向量群包含一个与 ℤ^(ℕ) 拓扑同构的子群，它是否仍可具有 mSTAP 结构？
• RQ5 当 X 无限时，C_p(X,ℝ) 是否可能为 mSTAP？

主要发现

• Weil 完备的可度量 mTAP 群是 mNSS，建立了已知蕴含关系的逆命题。
• mNSS 群是 mSTAP，且在可度量情形下，其逆命题也成立：mSTAP 蕴含 mNSS。
• 对于任意无限的 Tychonoff 空间 X，C_p(X,ℝ) 都不是 mSTAP，表明函数空间中 mSTAP 性质受到强烈限制。
• 可度量局部平衡拓扑向量群是 mSTAP 当且仅当其不包含与 ℤ^(ℕ) 拓扑同构的子群。
• 在可度量群中，mSTAP 性质等价于不包含特定可数离散子群，从而提供了结构化刻画。