核型空间(nuclear space)是一类局部凸空间。局部凸空间是最重要的一类拓扑线性空间。设E是拓扑线性空间,如果E中存在由均衡凸集组成的零元的邻域基,就称E是局部凸的拓扑线性空间,简称局部凸空间,而E的拓扑称为局部凸拓扑。零元的每个均衡凸邻域V的闵科夫斯基泛函pV(x)是E上的连续半范数。