定義4:核型空間とは,局所凸位相ベクトル空間であって任意の半ノルム "p" に対し "v" から "v""p" への自然な写像が核作用素となるもの.