>>400
シュワルツの超関数の理論で自然に出てくる
例えば、R^n上の急減少関数の全体からなる関数空間は核型空間になる
そういった核型空間を線形偏微分方程式系に応用すると、
線形偏微分方程式系を代数的に扱えるようになる