[论文解读] One-point extensions of locally compact paracompact spaces

M. R. Koushesh|arXiv (Cornell University)|May 31, 2012

Advanced Topics in Algebra参考文献 19被引用 10

一句话总结

本文研究了局部紧致且仿紧空间的一点扩张的序结构，重点关注Čech完备和第一可数局部-/mathcal{P}扩张。它建立了$outgrowth/beta X \setminus X$的子空间与这些扩张的余集空间之间的同胚关系，表明在特定条件下，扩张的偏序结构与零集格同构。关键结果是，这两类扩张的序类型同构当且仅当$X$是/sigma-compact。

ABSTRACT

A space $Y$ is called an {\em extension} of a space $X$ if $Y$ contains $X$ as a dense subspace. Two extensions of $X$ are said to be {\em equivalent} if there is a homeomorphism between them which fixes $X$ point-wise. For two (equivalence classes of) extensions $Y$ and $Y'$ of $X$ let $Y\leq Y'$ if there is a continuous function of $Y'$ into $Y$ which fixes $X$ point-wise. An extension $Y$ of $X$ is called a {\em one-point extension} if $Y\backslash X$ is a singleton. An extension $Y$ of $X$ is called {\em first-countable} if $Y$ is first-countable at points of $Y\backslash X$. Let ${\mathcal P}$ be a topological property. An extension $Y$ of $X$ is called a {\em ${\mathcal P}$-extension} if it has ${\mathcal P}$. In this article, for a given locally compact paracompact space $X$, we consider the two classes of one-point Čech-complete ${\mathcal P}$-extensions of $X$ and one-point first-countable locally-${\mathcal P}$ extensions of $X$, and we study their order-structures, by relating them to the topology of a certain subspace of the outgrowth $βX\backslash X$. Here ${\mathcal P}$ is subject to some requirements and include $σ$-compactness and the Lindelöf property as special cases.

研究动机与目标

• 分析局部紧致仿紧空间$X$的一点Čech完备/mathcal{P}-扩张和一点第一可数局部-/mathcal{P}-扩张的序结构。
• 将此类扩张的偏序关系与$outgrowth/beta X \setminus X$的子空间拓扑联系起来。
• 确定这两类扩张的偏序集何时序同构。
• 探讨/sigma-compact性在区分这两类扩张序类型中的作用。

提出的方法

• 本文使用Stone-Čech紧化/beta X，并将$outgrowth/beta X \setminus X$作为扩张结构的拓扑不变量进行研究。
• 定义了两类扩张：一点/mathcal{P}-扩张（Čech完备）和一点局部-/mathcal{P}-扩张（在余集点处第一可数）。
• 构造了一个从扩张集合到$X^* = /beta X \setminus X$中零集格的映射$\Theta_X$，保持序结构。
• 利用/beta X中零集和闭开集的性质，刻画扩张在$\leq$序关系下的等价性或可比性。
• 应用Tietze-Urysohn定理将零集从$X^*$延拓至/beta X，特别是在$X$为/sigma-compact时。
• 证明了当满足特定条件时，$\Theta_X$在扩张类与$X^*$的非空零集之间建立双射，从而确立序同构。

实验结果

研究问题

• RQ1 何时局部紧致仿紧空间$X$的一点Čech完备/mathcal{P}-扩张与一点第一可数局部-/mathcal{P}-扩张的偏序集序同构？
• RQ2 /beta X \setminus X的拓扑如何决定$X$的一点扩张的序结构？
• RQ3 /sigma-compact性在区分这两类扩张序类型中起什么作用？
• RQ4 在何种$\mathcal{P}$条件下，这两类扩张作为偏序集同构？
• RQ5 能否通过/beta X \setminus X中的零集刻画一点扩张的余集空间？

主要发现

• 当且仅当$X$是/sigma-compact时，偏序集$({/mathscr{E}}^{\,C}_{{\mathcal{P}}}(X),\leq)$与$({/mathscr{E}}^{\,*}_{\,local-{\mathcal{P}}}(X),\leq)$序同构。
• 当$X$是/sigma-compact时，映射$\Theta_X$在扩张集合与$X^* = /beta X \setminus X$的非空零集之间诱导双射，且保持序关系$\leq$。
• 当$X$非/sigma-compact时，集合$\Theta_X({/mathscr{E}}^{\,C}_{{\mathcal{P}}}(X))$对有限交封闭，而$\Theta_X({/mathscr{E}}^{\,*}_{\,local-{\mathcal{P}}}(X))$包含不相交的零集，因此这两类扩张不同构。
• 一点扩张的余集空间同胚于/beta X \setminus X的子空间，这些子空间的结构决定了扩张的序类型。
• Lindel\
• 本文确认当$X$为/sigma-compact时，有$\sigma X = \beta X$，这对序同构结果至关重要。