关于黎曼Penrose不等式中“黎曼3-流形边界由极小曲面构成”假设的疑问

嘿，这个问题问得特别到位——Huisken和Ilmanen定理里的这个假设完全是合理的，咱们从几个关键点拆解来看：

• 先明确边界极小性的定义：这里的核心是，∂M的极小性是相对于流形M本身的诱导度量而言，不是说它要在某个更大的欧氏空间里充当极小曲面。当我们说∂M的连通分支是M中的极小曲面时，指的是在M的度量下，每个分支的平均曲率处处为0。举个直观的例子：假设M是ℝ³中被某极小曲面（比如悬链面）“隔开”的单侧区域，那这个悬链面作为M的边界，在M的诱导欧氏度量下，平均曲率就是0，完美符合假设里的要求。

• 关于拆分极小曲面的疑问：你提到能不能把ℝ³里的极小曲面S拆成几块，每块都是自身所在区域的极小曲面——其实这里的“拆分”不是随意切割，而是说如果我们把M定义成S某一侧的区域，那S本身就是M的边界；如果S有多个互不相交的连通分支，那每个分支都是∂M的一部分，同时每个分支本身在M中都是极小曲面（因为它们本身就是极小曲面，诱导度量下平均曲率自然为0）。比如，假设M是ℝ³中去掉两个不相交的紧致极小曲面的内部区域，那∂M就是这两个极小曲面，每个都满足M中极小曲面的条件，完全符合定理的假设(iii)。

• 关于光滑拼接极小曲面的问题：你问能不能把一族极小曲面光滑拼接成另一个极小曲面——答案是不能随意拼接，但定理里的假设(iii)并没有要求∂M是拼接出来的单极小曲面，而是说∂M的每个连通分支都是极小曲面。也就是说，∂M可以是多个独立、互不相交的极小曲面的并集，每个都满足M中的极小性条件，不需要它们拼接成一个更大的极小曲面。当然，如果有特殊情况能让几个极小曲面光滑拼接后平均曲率处处为0，那拼接后的曲面确实是极小曲面，但定理里的场景不需要这个前提。

另外补充一句：假设(iii)的后半句“M contains no other compact minimal surfaces”也很关键，它是为了排除M内部存在其他紧致极小曲面的情况，保证边界是“最外层”的极小曲面——这和Penrose不等式的物理背景（比如黑洞视界）直接相关，黑洞视界就是这样的外极小曲面，内部不会有额外的紧致极小曲面。

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