X是赋范线性空间，f是X上的线性泛函，则f连续的充要条件是f的核空间是X的闭线性子空间