结构推理 设是上对称的或反对称的双线性函数，是中两个向量，如果=0，则称正交，再设是的一个真子空间，证明：对，必在使对所有都成立。