[论文解读] Construction of separately continuous functions of $n$ variables with given restriction

Volodymyr Mykhaylyuk|arXiv (Cornell University)|Feb 1, 2016

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

一句话总结

本文解决了在 $n$ 个拓扑空间的乘积上构造具有指定对角线限制的分别连续函数的问题。证明了对于任意拓扑空间 $X$ 和取值于 $\mathbb{R}$ 的 $(n-1)$-阶 Baire 类函数 $g: X \to \mathbb{R}$，存在一个分别连续函数 $f: X^n \to \mathbb{R}$，使得对所有 $x \in X$ 都有 $f(x,x,\dots,x) = g(x)$，从而推广了关于分别连续函数对角线的已知结果。

ABSTRACT

It is solved the problem on construction of separately continuous functions on product of $n$ topological spaces with given restriction. In particular, it is shown that for every topological space $X$ and $n-1$ Baire class function $g:X o \mathbb R$ there exists a separately continuous function $f:X^n o\mathbb R$ such that $f(x,x,\dots,x)=g(x)$ for every $x\in X$.

研究动机与目标

• 解决在 $X^n$ 上构造具有给定对角线限制的分别连续函数的问题。
• 将关于分别连续函数对角线的已知结果推广到更高阶的 Baire 类。
• 将先前关于 $\mathbb{R}^n$ 上实值函数的结果推广到任意拓扑空间。
• 建立函数在 $X$ 上属于 $(n-1)$-阶 Baire 类的条件，使其可作为 $X^n$ 上分别连续函数的对角线。

提出的方法

• 利用 $PP$-空间和函数闭集的概念，确保 Baire 类函数的延拓性质。
• 在度量空间 $Z$ 上构造函数 $\tilde{g}$ 作为连续函数的逐点极限，证明其属于 $(n-1)$-阶 Baire 类。
• 通过连续映射 $\varphi_i: X_i \to Z$ 的提升构造，将函数 $g$ 转移到 $Z^n$。
• 利用存在一个分别连续函数 $\tilde{f}: Z^n \to \mathbb{R}$，其对角线为 $\tilde{g}$，并通过与 $\varphi_i$ 的复合将其回传到 $X^n$。
• 在仿紧空间中使用单位分解，将局部解拼合成 $X_1 \times \cdots \times X_n$ 上的全局分别连续函数。
• 依赖于在紧致或局部紧致空间中，闭的投影内射集允许对 Baire 类函数进行局部延拓的事实。

实验结果

研究问题

• RQ1 在拓扑空间 $X$ 上，每个 $(n-1)$-阶 Baire 类函数是否都能实现为 $X^n$ 上分别连续函数的对角线？
• RQ2 对 $X$ 的哪些拓扑条件能保证给定的 Baire 类函数作为分别连续函数的对角线出现？
• RQ3 如何构造一个在 $X_1 \times \cdots \times X_n$ 上的分别连续函数，使其在特殊子集 $E$ 上的限制与给定的 Baire 类函数 $g$ 匹配？
• RQ4 在何种条件下，定义在子集 $E \subseteq X_1 \times \cdots \times X_n$ 上的函数 $g$ 可以延拓为整个乘积上的分别连续函数？

主要发现

• 对于任意拓扑空间 $X$ 和取值于 $\mathbb{R}$ 的 $(n-1)$-阶 Baire 类函数 $g: X \to \mathbb{R}$，存在一个分别连续函数 $f: X^n \to \mathbb{R}$，使得对所有 $x \in X$ 都有 $f(x,x,\dots,x) = g(x)$。
• 该构造依赖于通过连续映射将函数 $g$ 提升到一个度量空间 $Z$，并利用 Baire 类结构确保连续逼近的逐点收敛。
• 该结果推广了早期发现：即 $X^n$ 上分别连续函数的对角线属于 $(n-1)$-阶 Baire 类，现在在较弱的拓扑假设下证明了其逆命题也成立。
• 对于具有合适子集 $E$ 的紧致或局部紧致空间，$E$ 上属于 $(n-1)$-阶 Baire 类的函数 $g$ 可以延拓为整个乘积 $X_1 \times \cdots \times X_n$ 上的分别连续函数。
• 证明使用了仿紧空间中的单位分解，将局部分别连续延拓拼合成全局解。
• 关键技术工具是通过连续投影将 Baire 类函数从集合 $E$ 延拓到度量空间 $Z$，同时保持 Baire 类结构。