次のページ
前のページ
目次
TEC-0-4-10
補足説明をここに書く予定です
【SEOテキスト】宇田雄一05.4.25,TEC-0-4-10-20,21,n∑j=1aljvj=0;l=1,・・・,mを満たす任意のvに対してn∑j=1Q'jvj=0が成り立つならば、v1,・・・,vn-mを独立と考えてn∑j=n-m+1aljvj=-n-m∑j=1aljvjからvn-m+1,・・・,vnを定める。A≡(a11・・・・a1,n-m・・・・・・am1・・・am,n-m),B≡(a1,n-m+1・・・・・a1n・・・・・・am,n-m+1・・・・・amn),B(vn-m+1・・・vn)=-A(v1・・・vn-m),(vn-m+1・・・vn)=-B-1A(v1・・・vn-m),n∑j=1Q'jvj=(Q'1,・・・,Q'n-m)(v1・・・vn-m)-(Q'n-m+1,・・・,Q'n)B-1A(v1・・・vn-m)=(Q'1,・・・,Q'n)(1n-m,-B-1A)(v1・・・vn-m)これが任意のv1,・・・,vn-mに対して0になるためには→次ページ