判断函数f与g是否几乎处处相等，确定不等集并完成证明

嘿，咱们来一步步解决这个实分析里的几乎处处相等问题吧！下面是问题的完整梳理和解答：

问题内容 #

我们需要完成两个任务：

1. 判断给定的函数$f$与$g$是否几乎处处相等；
2. 先找出$f$与$g$不相等的实数集合，再用定义1.2.3严格证明两者几乎处处相等。

核心定义（定义1.2.3） #

若函数$f$与$g$在其定义域内，除了一个测度为零的集合外，对所有$x$均满足$f(x)=g(x)$，则称$f$与$g$几乎处处相等。

给定的两个函数 #

函数$f(x)$的分段定义：
$$f(x)=\begin{cases} 1 & x\in(0,1) \\ 0 & x\notin (0,1) \end{cases}$$

函数$g(x)$的分段定义：
$$g(x)=\begin{cases} 1 & x\in[0,1] \\ 0 & x\notin[0,1] \end{cases}$$

问题解答 #

1. 初步判断：$f$与$g$几乎处处相等 #

直接给出结论：这两个函数是几乎处处相等的，咱们接下来详细证明这一点。

2. 具体证明过程 #

第一步：找出$f$与$g$不相等的所有点

咱们逐段对比两个函数的取值：

• 当$x$在开区间$(0,1)$内时，$f(x)=1$，$g(x)=1$，两者完全相等；
• 当$x$不在闭区间$[0,1]$内时，$f(x)=0$，$g(x)=0$，两者也完全相等；
• 只有在$x=0$和$x=1$这两个点上，两者取值不同：
  • $f(0)=0$，但$g(0)=1$；
  • $f(1)=0$，但$g(1)=1$。

所以，$f$与$g$不相等的实数集合是$S = {0, 1}$。

第二步：用定义1.2.3完成证明

根据勒贝格测度的基本性质：单点集的测度为0，而有限个单点集的并集测度也是0。因此集合$S = {0,1}$的测度$m(S) = 0$。

回到定义1.2.3：在整个实数域$\mathbb{R}$上，除了这个测度为0的集合$S$之外，其余所有$x$都满足$f(x)=g(x)$。完全符合“几乎处处相等”的定义，所以我们可以严谨地得出结论：$f=g$几乎处处相等。

内容的提问来源于stack exchange，提问作者rover2