欧式空间V有有限的标准正交基,个数为dimV  ,设dimV=n,任何n维欧氏空间都与R^n同构
正交阵行向量或列向量是单位向量.即元素的平方和为1,n*(1/4)^2=1  所以n=16