关于C^r子流形上C^r函数的延拓问题求证及相关疑问

嗨！既然你刚接触流形学习，还想着在实分析前夯实基础，这个思路超棒的！咱们一步步拆解你的问题：

首先回忆ℝⁿ中C^{r子流形的核心性质：对于M中的每一点p，都存在p在ℝⁿ中的开邻域V，以及C}r微分同胚φ: V → ℝⁿ，使得φ(V∩M) = ℝᵏ × {0}（k是M的维数，这就是子流形的局部切片定义）。

接下来分两步完成局部延拓的构造：

• 局部切片上的延拓：对每个这样的V，f在V∩M上的限制可以写成f ∘ φ⁻¹: ℝᵏ×{0} → ℝ，这是个C^r函数。我们把它平凡延拓到整个ℝⁿ上：定义h(x₁,...,xₙ) = f ∘ φ⁻¹(x₁,...,x_k, 0,...,0)，这个h是ℝⁿ上的C^r函数，且在ℝᵏ×{0}上和f∘φ⁻¹完全一致。再拉回V上得到g_V = h ∘ φ，它是V上的C^r函数，且g_V|(V∩M) = f|(V∩M)。
• 全局粘合：M可以被上述的局部切片邻族{V_i}覆盖，取M的一个开邻域U，使得U被{V_i}的子族覆盖（子流形局部紧，所以能做到这点）。对U上的这个覆盖构造**C^{r单位分解**{ψ_i}：每个ψ_i是C}r函数，支撑集在V_i内，且在U上所有ψ_i的和为1。定义g(x) = Σψ_i(x)g_{V_i}(x)，这个g是C^r的（Cr函数的线性组合依然C^r），且对任意p∈M，g(p)=Σψ_i(p)f(p)=f(p)Σψ_i(p)=f(p)，完美满足要求！

这里要用到Whitney光滑延拓定理的特殊情形：如果M是ℝⁿ中的闭子集，且f: M→ℝ是C^{r函数，那么必然存在C}r函数g: ℝⁿ→ℝ使得g|M = f。

本质原因是闭子集的补集是开集，我们可以利用这个性质构造全局的光滑粘合：

• 因为M是闭的，ℝⁿ\M是开集，我们能在ℝⁿ上构造C^r单位分解，让支撑集要么落在M的邻域内，要么落在ℝⁿ\M内。
• 对于M外的点，我们可以定义延拓后的函数为0（或其他任意光滑函数），再通过单位分解把M上的f和M外的光滑函数粘合起来。由于M是闭集，它的所有聚点都在M内，f在这些点的行为是确定的，不会出现“边界点漏在外面导致函数无法光滑衔接”的问题，最终就能得到整个ℝⁿ上的C^r延拓。

举两个直观的例子你就懂了：

• 二维例子：取M为ℝ²中的开圆盘{(x,y)|x²+y²<1}，定义f(x,y)=1/(1 - x² - y²)，这个函数在M上是C^{∞的，但没法延拓到整个ℝ²——当(x,y)趋近于单位圆周时，f(x,y)趋向于正无穷，而ℝ²上的C}r函数必须在所有点连续（甚至可导），显然不可能存在这样的全局函数在单位圆周上有光滑定义。
• 一维例子：取M=(0,1)⊂ℝ，定义f(x)=1/x，它在(0,1)上是C^∞的，但没法延拓到整个ℝ——x→0⁺时f(x)趋向于+∞，而全局延拓后的函数必须在0点有定义且连续，这显然做不到。

核心问题在于：当M不是闭子集时，M在ℝⁿ中的聚点（不在M内的点）处，f的极限可能不存在或趋向于无穷，而全局的C^r函数必须在这些聚点处也有光滑的定义，这就导致了延拓失败。

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