${\mathcal S}'$的子空间的一个观察

赋予商拓扑的空间${\mathcal S}'/{\mathcal P}$与赋予弱*拓扑的${\mathcal S}'_\infty$已知是同胚的，其中${\mathcal P}$表示所有多项式的集合。该证明结合了Treves教材中的事实与著名的双极定理。本文通过略微扩展\cite{NNS15}中使用的思想，给出了这一事实的另一种证明，进而推广该命题以便纳入一些相关的函数空间。