>>480
以上の全ての関数空間Xに対して, D(Ω)がXで稠密であ
り, 関数列{φ_n}⊂D(Ω)のD(Ω)に入っている位相による
収束を仮定すると{φ_n}がXに入っている位相により収
束するので, ∀f∈X*⊂D*(Ω), fの連続性をD*(Ω)の位相に
より定めれば, X*は超関数の空間になる. (P)の解u∈X*
を構成できて, 例えばX*=Xだとかuが或る程度滑らか
なら, u∈Xにもなりうる