关于集合$E = D \times E_x$边界的疑问：Zorich《数学分析II》证明困惑

我完全理解你在看这段注记时的困惑——乘积集合的边界分析确实容易绕晕，尤其是结合了函数图像和边界乘积的情况。咱们结合书里的上下文（大概率你说的$E$不是单纯的固定乘积$D \times E_x$，而是依赖$x$的区间乘积）一步步拆解：

先明确$E$的实际定义（书里的隐含上下文） #

Zorich这里讨论的$E$应该是形如：
$$E = {(x, y) \in \mathbb{R}^{n+1} \mid x \in D,\ \phi_1(x) \leq y \leq \phi_2(x)}$$
其中$\phi_1, \phi_2: D \to \mathbb{R}$是连续函数，这才能对应上“$\phi_i$的图像”这个结论。如果是固定的$E_x \subseteq \mathbb{R}$，边界形式会更简单，但书里的场景是随$x$变化的一维区间与$D$的“广义乘积”。

为什么$\partial E$包含$\phi_i$的图像？ #

用边界点的定义验证：对于任意$x \in \text{int }D$（$D$的内部），取点$(x, \phi_1(x))$：

• 它的任意邻域内，总能找到$y' = \phi_1(x) + \epsilon$（$\epsilon$足够小），使得$(x, y') \in E$（因为$y'$在区间$[\phi_1(x), \phi_2(x)]$内）；
• 同时也能找到$y'' = \phi_1(x) - \epsilon$，使得$(x, y'') \notin E$（因为$y''$在区间外）。
  因此$(x, \phi_1(x))$属于$\partial E$，同理$\phi_2(x)$的图像上的点也属于$\partial E$——这就是书里说的第一部分边界。

为什么$\partial E$包含集合$Z$（$\partial D$与大区间的乘积部分）？ #

再看$x \in \partial D$的情况：

• 对于$y$在那个“充分大的一维闭区间”里（这个区间包含了所有$\phi_1(x), \phi_2(x)$的值，也就是覆盖了$E$中所有$y$的可能范围），取点$(x, y)$：
  • 如果$y \in [\phi_1(x), \phi_2(x)]$，那么$(x, y) \in E$；
  • 但它的任意邻域内，总能找到$x' \notin D$（因为$x$在$\partial D$上），此时$(x', y) \notin E$。
    所以$(x, y)$满足边界点的定义，属于$\partial E$。这部分就是$\partial D$与那个大区间的乘积的一部分，也就是书里的$Z$。

关键提示 #

• 别被“$E = D \times E_x$”的表述误导——这里的$E_x$是依赖于$x$的区间，不是固定集合，这是理解的核心；
• 始终用边界点的拓扑定义（任意邻域同时包含集合内和集合外的点）去验证每一部分，就能清晰区分哪些点属于边界；
• 可以画个低维例子辅助理解：比如$D \subseteq \mathbb{R}^{1$（即$D$是数轴上的区间），$E$就是$\mathbb{R}}2$中由两条曲线$\phi_1(x), \phi_2(x)$和$D$的边界围成的区域，它的边界就是两条曲线加上左右两个竖边——这和书里的结论完全对应。

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