厳密に言えば、Pははじめに無限回微分可能な函数に対して定義され、それを連続性によってHs(X)まで拡張するのである。
如果要完全形式化，P首先定义在无穷可微函数上，并且通过连续性扩展到整个Hs(X){\displaystyleH^{s}(X)}。