判断函数$f(x, y) = \sum\limits_{n=1}^{\infty} \frac{[xn]}{1 + e^{n + [y]}}$是否为$\mathbb{R}^2$上Borel函数的求解咨询

嘿，我来帮你理清这个问题的解决思路～ 判断这类由无穷级数定义的函数是不是Borel可测，核心是抓Borel函数的几个关键性质，一步步拆解就行：

首先明确一个核心结论：有限个Borel函数的线性组合、乘积，以及Borel函数列的逐点极限（包括无穷级数），结果都是Borel函数。我们可以把问题拆成两步：先验证级数的每一项是Borel函数，再确认级数的收敛性满足极限保持Borel可测的条件。

第一步：验证单个项$f_n(x,y) = \frac{[xn]}{1 + e^{n + [y]}}$是Borel函数 #

拆解每一项的组成部分，逐个验证可测性：

• 取整函数$[t]$（floor函数）是Borel函数：对于任意整数$k$，${t \mid [t] = k} = [k, k+1)$，属于Borel集；对于任意实数$a$，${t \mid [t] \leq a}$也是Borel集，因此floor函数是Borel可测的。
• $xn$是$\mathbb{R}^2$上的连续线性函数，连续函数必然是Borel函数，复合后的$[xn] = \text{floor}(xn)$也是Borel函数（Borel函数的复合仍为Borel函数）。
• $[y]$是关于$y$的Borel函数，$n + [y]$是Borel函数的线性组合；指数函数$e^{t$是连续函数，因此$e}{n + [y]}$是Borel函数；加1后$1 + e^{n + [y]}$恒大于1，其倒数$\frac{1}{1 + e^{n + [y]}}$也是Borel函数（正的Borel函数的倒数仍为Borel函数）。
• 两个Borel函数相乘，$f_n(x,y) = [xn] \cdot \frac{1}{1 + e^{n + [y]}}$自然也是Borel函数。

第二步：验证级数的收敛性，确保极限保持Borel可测 #

你已经做了部分上界估计，这里补全更通用的收敛性分析：

对任意$(x,y) \in \mathbb{R}^2$，取整函数满足$t - 1 < [t] \leq t$，因此$|[xn]| \leq |x|n + 1$；分母$1 + e^{n + [y]} \geq e^{n + [y]} = e^{[y]}en$，所以每一项的绝对值$|\frac{[xn]}{1 + e^{n + [y]}}| \leq \frac{|x|n + 1}{e^{[y]}en}$。

不管$x$和$y$取何值，$\sum_{n=1}^\infty \frac{|x|n + 1}{e^n}$都是收敛的（用达朗贝尔判别法可验证，你之前已经用到类似逻辑），因此原级数是绝对逐点收敛的。

而根据Borel函数的核心性质：逐点收敛的Borel函数列的极限函数仍是Borel函数，无穷级数本质是部分和函数列的极限，因此整个和函数$f(x,y)$就是$\mathbb{R}^2$上的Borel函数。

总结关键步骤 #

• 验证级数的每一项$f_n(x,y)$是Borel函数；
• 验证级数在$\mathbb{R}^2$上逐点绝对收敛；
• 利用Borel函数对逐点极限的封闭性，得出最终结论。

备注：内容来源于stack exchange，提问作者Nick Schemov