如何基于开集生成的Borel σ-代数定义证明π+ℚ属于该σ-代数？

嘿，这个问题咱们可以从Borel σ-代数的核心性质入手，一步步拆解证明，逻辑很顺：

先明确几个关键前提 #

• 首先，Borel σ-代数$\mathcal{B}(\mathbb{R})$是由实数集上所有开集生成的σ-代数，它对可数并、可数交、补运算封闭，而且包含所有闭集、$F_\sigma$集、$G_\delta$集这类常见集合。
• 全体有理数$\mathbb{Q}$是可数集，这个性质是证明的关键突破口。

步骤1：单个平移后的单点集是Borel集 #

对于任意一个有理数$q$，考虑平移函数$f_q(x) = x + q$——这是实数集上的同胚映射（连续且逆映射也连续）。而Borel σ-代数在同胚变换下是“不变”的：如果一个集合是Borel集，那么它经过同胚映射后的像也是Borel集。

单点集${π}$是闭集（显然属于Borel σ-代数），那么平移后的${π + q} = f_q({π})$自然也属于$\mathcal{B}(\mathbb{R})$。

步骤2：可数个Borel集的并仍是Borel集 #

咱们要证的集合$π + ℚ$，本质上就是所有$π + q$（$q∈ℚ$）的并集，写成数学表达式就是：
$$π + ℚ = \bigcup_{q∈ℚ} {π + q}$$
因为$\mathbb{Q}$是可数集，所以这个并是可数并。根据Borel σ-代数的定义，它对可数并运算封闭，所以可数个Borel集的并必然还是Borel集。

把这两步结合起来，就直接得出结论：$π + ℚ$属于Borel σ-代数。

补充个小拓展 #

其实更一般的结论也成立：任何可数集的平移都是Borel集。因为可数个单点集的并是$F_\sigma$集（可数个闭集的并），而$F_\sigma$集本身就是Borel集的一种，这也能快速推导到咱们的问题上。

内容的提问来源于stack exchange，提问作者You_Don't_Know_Who