若T为复内积空间x上有界线性算子,那么T=0的充要条件是对一切有(Tx,x)=0
出自:泛涵分析