把一组线性无关的向量变成一单位正交向量组的方法在一些书和文献中称为施密特(Schimidt)正交化过程.
把a1,a2,...ar规范正交化,取b1=a1
b2=a2-[b1,a2]b1/[b1,b1]
...
br=ar-[b1,ar]b1/[b1,b1]-[b2,ar]b2/[b2,b2]-...-[br-1,ar]br-1/[br-1,br-1]
容易验证b1,...br两两正交,且与a1,a2,...ar等价.
然后单位化,取e1=b1/||b1||,e2=b2/||b2||,...er=br/||br||
就是V的一个规范正交基.
上述从无关向量组A导出正交向量组B的过程就是施密特(Schimidt)正交化过程.
r和r-1什么的都是脚标哦,这里打不出来.