[论文解读] Fans and their applications in General Topology, Functional Analysis and Topological Algebra

Тарас Банах|arXiv (Cornell University)|Feb 15, 2016

Advanced Topology and Set Theory被引用 13

一句话总结

本文引入並系統性分析了扇子（fans）——特別是強Fin-扇子及其變體——作為檢測函數空間、自由拓撲代數和賦弱拓撲的巴拿赫空間中k-空間與Ascoli性質失敗的拓撲工具。透過證明k-空間不包含Cld-扇子、Ascoli空間不包含嚴格Cld-扇子，作者利用基於扇子的特徵刻畫，識別出泛函分析與拓撲代數中的基本空間（例如自由拓撲群、線性拓撲空間與巴拿赫空間）為k-空間或Ascoli空間的時機。

ABSTRACT

A family of closed subsets of a topological space $X$ is called a (strict) $Cld$-fan in $X$ if this family is (strictly) compact-finite but not locally finite in $X$. Applications of (strict) $Cld$-fans are based on a simple observation that $k$-spaces contain no $Cld$-fan and Ascoli spaces contain no strict $Cld$-fan. In this paper we develop the machinery of (strict) fans and apply it to detecting the $k$-space and Ascoli properties in spaces that naturally appear in General Topology, Functional Analysis, and Topological Algebra. In particular, we detect (generalized) metric spaces $X$ whose functor-spaces, functions spaces, free (para)topological (abelian) groups, free (locally convex) linear topological spaces, free (Lawson) topological semilattices, and free (para)topological (Clifford, Abelian) inverse semigroups are $k$-spaces or Ascoli spaces.

研究动机与目标

• 開發基於扇子的機制，以檢測拓撲空間何時不具備k-空間或Ascoli性質。
• 在函數空間、自由拓撲代數與賦弱拓撲的巴拿赫空間中，特徵刻畫k-空間與Ascoli性質。
• 建立自由拓撲代數（例如自由拓撲群、自由線性空間）為k-空間或Ascoli空間的條件。
• 研究強Fin-扇子與D-共扇子在檢測拓撲代數與函子空間中結構性質時的角色。
• 提供一個統一框架，透過基於扇子的特徵刻畫，連結拓撲代數、泛函分析與一般拓撲學。

提出的方法

• 根據緊致有限性與局部有限性條件，引入並分類扇子：Cld-扇子、S-扇子、Fin-扇子、強Fin-扇子、D-共扇子與Finω-扇子。
• 運用關鍵的拓撲二分法：k-空間不包含Cld-扇子；Ascoli空間不包含嚴格Cld-扇子，作為基礎檢測工具。
• 應用擴展算子與Ck-嵌入技術，分析函數空間與函子空間的結構。
• 透過代數運算與拓撲嵌入，在自由拓撲代數（例如自由拓撲群、自由線性空間）中構造扇子。
• 利用多樣性的kω-穩定性、HM-穩定性與d+HM-穩定性，證明扇子性質在函子構造下的保持性。
• 運用Stone-Čech緊化與支撐包含論證，分析自由線性拓撲空間中緊緻集的性質。

实验结果

研究问题

• RQ1 在何種條件下，Tychonoff空間X可確保其自由線性拓撲空間Lin(X)為k-空間或Ascoli空間？
• RQ2 自由拓撲群或自由拓撲半群何時不具備k-空間性質，且如何透過扇子檢測此現象？
• RQ3 強Finω1-扇子在特徵刻畫自由拓撲代數中k-空間與Ascoli性質時扮演何種角色？
• RQ4 基於扇子的特徵刻畫與函數空間與函子空間中經典性質（如cosmic、ℵk或kω-空間）之間有何關聯？
• RQ5 哪些函子構造（例如自由拓撲群、自由線性空間）會保持k-空間或Ascoli性質，且在何種條件下？

主要发现

• Tychonoff kR-空間X為cosmic kω-空間，當且僅當其自由線性拓撲空間Lin(X)為cosmic kω-空間。
• Lin(X)為k-空間，當且僅當X為¯ℵk-空間，且Lin(X)不包含強Finω1-扇子。
• 若Tychonoff空間X包含不可數個強緊致有限子集，則Lin(X)包含強Finω1-扇子，表示Lin(X)非k-空間。
• 自由線性拓撲空間Lin(X)為類型x·y、x(y∗z)、(x∗y)(z∗s)與x(s∗yi)<ω的拓撲代數，容許代數性扇子構造。
• 函子Lin為強有界，且其緊緻集的支撐包含於有限子和中，此特性支援k-空間的特徵刻畫。
• 使Lin(X)為k-空間的空間X之類別，與使Lin(X)不包含強Finω1-扇子的¯ℵk-空間X之類別完全一致。