关于确定性函数是否均为博雷尔可测函数的技术问询

嘿，我来帮你理清这个问题！先把涉及的两个核心定义再明确下，避免混淆：

确定性函数是指对于相同的输入，总能得到相同输出的函数。换句话说，只要输入值完全一致，输出结果就不会有任何变化。

对于函数 f: R^k → R，如果它是博雷尔可测函数，那么满足：对于每一个区间 Δ，原像 f⁻¹[Δ] 都是 R^k 的博雷尔子集。

回到你的核心问题：不是所有确定性函数都是博雷尔可测的。

举个经典的反例就能说明：我们可以构造一个确定性函数，但它并不满足博雷尔可测的条件。比如，取 R 上的一个维塔利集（这是一个已知的勒贝格不可测集，同时它也不是博雷尔集），定义函数 f(x) 为这个集合的特征函数：

• 当 x 属于维塔利集时，f(x) = 1
• 当 x 不属于维塔利集时，f(x) = 0

这个函数显然是确定性的——相同的输入x必然得到相同的输出。但如果我们取区间 Δ = (0.5, 1.5)，它的原像 f⁻¹[Δ] 就是这个维塔利集本身，而维塔利集不是博雷尔集，所以这个函数不满足博雷尔可测的定义。

简单来说，确定性只是函数的“输入输出一致性”属性，而博雷尔可测性是和定义域、值域上的σ代数结构绑定的更强条件，两者没有必然的包含关系。

备注：内容来源于stack exchange，提问作者Mingzhou Liu