|
新问题较原问题的唯一改动是
\[
\Big\{[p_{2s},p_{2s+1}]\Big\}\Longrightarrow \Big\{[x_s,p_{2s})\cup (p_{2s+1},x_{s+1}]\Big\}.
\]
改动后 $g$ 的定义域是
\[
\bigcup_{n\geq 0}\left(\bigcup_{s=0}^{n-1}[x^{(n)}_s,p^{(n)}_{2s})\cup (p^{(n)}_{2s+1},x^{(n)}_{s+1}]\right),
\]
这当然不是
\[
[a,b]\quad {\huge\setminus}\quad \bigcup_{n\geq 0}\left(\bigcup_{s=0}^{n-1}[p^{(n)}_{2s},p^{(n)}_{2s+1}]\right).
\]
应该是
\begin{align*}
&\bigcup_{n\geq 0}\left(\bigcup_{s=0}^{n-1}[x^{(n)}_s,p^{(n)}_{2s})\cup (p^{(n)}_{2s+1},x^{(n)}_{s+1}]\right)\\
=\,&\bigcup_{n\geq 0}\left([a,b]\setminus \bigcup_{s=0}^{n-1}[p^{(n)}_{2s}, p^{(n)}_{2s+1}]\right)\\
=\,&[a,b]\quad {\huge\setminus}\quad \bigcap_{n\geq 0}\left(\bigcup_{s=0}^{n-1}[p^{(n)}_{2s}, p^{(n)}_{2s+1}]\right).
\end{align*} |
|