定義3:核型空間とは,その位相がヒルベルト半ノルムの族により定義される位相ベクトル空間であって,任意のヒルベルト半ノルム "p" に対しより大きなヒルベルト半ノルム "q" であって"v""q" から "v""p" への自然な写像がヒルベルト・シュミット型になるものが存在する,という性質をみたすもの.