关于紧支集光滑函数空间D(Ω)与C^∞(Ω)等价性的技术问询

先明确核心定义：$D(\Omega)$是$\Omega$上所有紧支集光滑函数的集合，要求函数非零点的闭包是$\Omega$的紧子集。下面逐个拆解你的问题：

1. 当$\Omega$为紧集时，$D(\Omega)=C^\infty(\Omega)$是否成立？ #

答案是完全成立。

逻辑很直接：紧集的闭子集必然是紧集。对于任意$\phi \in C^{\infty(\Omega)$，它的支集$\text{supp}(\phi)$是$\phi$非零点的闭包，显然包含在$\Omega$内；而$\text{supp}(\phi)$作为紧集$\Omega$的闭子集，自然也是紧的——这刚好满足$D(\Omega)$的定义条件。反过来，$D(\Omega)$本身就是$C}\infty(\Omega)$的子集，所以两者完全相等。

2. 当$\Omega$非紧但有界时，$D(\Omega)=C^\infty(\Omega)$是否成立？ #

答案是不成立，举个简单例子就能说明：

取$\Omega=(0,1)$（有界但非紧的开集），考虑函数$\phi(x)=1$（对所有$x \in (0,1)$）。显然$\phi \in C^\infty(\Omega)$，但它的支集$\text{supp}(\phi)=\overline{{x \in (0,1) \mid \phi(x) \neq 0}}=[0,1]$，而$[0,1]$并不包含在$\Omega=(0,1)$内，更不是$\Omega$的紧子集。因此$\phi \notin D(\Omega)$，但$\phi$属于$C^\infty(\Omega)$，直接证明了两个空间不相等。

再补个典型例子：$\phi(x)=\frac{1}{x(1-x)}$，它在$(0,1)$上是光滑的，但支集同样是$[0,1]$，不符合$D(\Omega)$的支集要求，所以也不属于$D(\Omega)$。

3. 关于$\Omega \subset \mathbb{R}$为开区间的补充说明 #

如果$\Omega$是$\mathbb{R}$上的开区间，不管有界还是无界，$D(\Omega)$和$C^\infty(\Omega)$都不会相等：

• 若$\Omega$是有界开区间（比如$(a,b)$）：和上面的例子一样，$C^\infty(\Omega)$中存在支集闭包超出$\Omega$的函数，这类函数不在$D(\Omega)$中；
• 若$\Omega$是无界开区间（比如$(0,+\infty)$）：比如$\phi(x)=e^x$，它在$(0,+\infty)$上光滑，但支集是$\overline{(0,+\infty)}=[0,+\infty)$，不是$\Omega$的紧子集（无界集合不可能紧），所以$\phi \notin D(\Omega)$，但属于$C^\infty(\Omega)$。

本质上，只要$\Omega$不是紧集，$C^\infty(\Omega)$里就一定存在支集不满足“$\Omega$内紧子集”要求的光滑函数，因此两者永远不会相等。

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