请求验证用δ-ε定义和拓扑连续性定义证明函数μ不连续性的正确性

嗨，首先得给你提个关键结论：你定义的这个函数$\mu$在$x=\frac{1}{2}$处其实是连续的，所以你的两个证明结论都是错误的，问题出在过程中的计算和逻辑偏差上。先明确函数定义：
$$\mu:[0,\infty)\to [0,\infty),\quad \mu(x) = \begin{cases}0, & x\leqslant \frac{1}{2}\ x-\frac{1}{2}, & x>\frac{1}{2}.\end{cases}$$

咱们逐一分析你的证明问题：

一、δ-ε证明的问题 #

你想证明不连续，但函数本身满足连续的δ-ε定义，同时你的过程有两处明显错误：

1. 计算错误：当$y=\frac{1}{2}+\alpha$（$\alpha>0$）时，$\mu(y)=(\frac{1}{2}+\alpha)-\frac{1}{2}=\alpha$，而不是你写的$\frac{1}{2}-\alpha-\frac{1}{2}$，这里符号完全搞反了。
2. 逻辑方向错误：证明不连续的δ-ε逻辑是「存在$\epsilon>0$，对任意$\delta>0$，存在$y$满足$|y-x|<\delta$且$|\mu(y)-\mu(x)|\geq\epsilon$」，但对你的函数来说，无论取多小的$\epsilon$，只要取$\delta=\epsilon$，当$|y-\frac{1}{2}|<\delta$时：
   • 若$y\leq\frac{1}{2}$，则$|\mu(y)-\mu(\frac{1}{2})|=0<\epsilon$；
   • 若$y>\frac{1}{2}$，则$|\mu(y)-\mu(\frac{1}{2})|=y-\frac{1}{2}<\delta=\epsilon$。
     这完全符合连续的δ-ε定义，所以函数是连续的。

二、拓扑证明的问题 #

拓扑中连续的定义是「对任意开集$V$，原像$\mu^{-1}(V)$在定义域的子空间拓扑下是开集」，你的过程中对原像的计算完全错误：
你取开区间$(\frac{1}{2}-\epsilon,\frac{1}{2}+\epsilon)$，但$\mu$的值域是$[0,\infty)$，分两种情况看原像：

• 当$\epsilon\leq\frac{1}{2}$时，$\frac{1}{2}-\epsilon\leq0$，此时$\mu(x)\in(\frac{1}{2}-\epsilon,\frac{1}{2}+\epsilon)$等价于：
  • $x\leq\frac{1}{2}$时，$\mu(x)=0\in(\frac{1}{2}-\epsilon,\frac{1}{2}+\epsilon)$（因为$\frac{1}{2}-\epsilon\leq0$）；
  • $x>\frac{1}{2}$时，$\mu(x)=x-\frac{1}{2}\in(0,\frac{1}{2}+\epsilon)$，即$x\in(\frac{1}{2},1+\epsilon)$。
    所以原像$\mu^{-1}((\frac{1}{2}-\epsilon,\frac{1}{2}+\epsilon))=[0,\frac{1}{2}]\cup(\frac{1}{2},1+\epsilon)=[0,1+\epsilon)$，这是$[0,\infty)$中的开集（子空间拓扑下，它是开区间$(-\infty,1+\epsilon)$与定义域的交集）。
• 当$\epsilon>\frac{1}{2}$时，$\frac{1}{2}-\epsilon<0$，原像就是整个定义域$[0,\infty)$，显然也是开集。

你的原像计算错误，导致得出了错误的结论。实际上这个函数在拓扑定义下也是连续的。

补充：如果是想证明类似的间断函数 #

如果你是想构造一个在$x=\frac{1}{2}$处间断的函数，比如把定义改成：
$$\mu(x) = \begin{cases}0, & x\leqslant \frac{1}{2}\ 1, & x>\frac{1}{2}.\end{cases}$$
那这时候你的两个思路就可以修正后用来证明不连续性：

• δ-ε证明：取$\epsilon=\frac{1}{2}$，对任意$\delta>0$，取$y=\frac{1}{2}+\frac{\delta}{2}$，则$|y-\frac{1}{2}|<\delta$，且$|\mu(y)-\mu(\frac{1}{2})|=1-0=1\geq\epsilon$，满足不连续的定义。
• 拓扑证明：取开区间$(-\frac{1}{2},\frac{1}{2})$，原像$\mu^{-1}((-\frac{1}{2},\frac{1}{2}))=[0,\frac{1}{2}]$，这不是$[0,\infty)$中的开集（子空间拓扑下，闭区间不是开集），因此函数不连续。

备注：内容来源于stack exchange，提问作者Pedro Gomes