复旦大学高等代数课件09内积空间

p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤Á‘1ÊÙSȘm·&EÁ‘�ú¿µ1uÀ¢1708�ú{µ55664896�úžmµ±eÌ1µ30—3µ30fe‡µ[e-mail]‡Ì�µhomepage.fudan.edu.cn/˜zhusl‘§Ì�µjpkc.fudan.edu.cn/s/100/p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSȘmVgSȘmVg½Â(¢SȘm)V´¢ê�Rþ˜‡‚5˜m(−,−)´Vþ˜‡¢Š¼ê§XJ(−,−)÷v±e5Kµ1é¡5µ(α,β)=(β,α)§∀α,β∈V¶2†ý‚5µ(kα+lβ,γ)=k(α,γ)+l(β,γ)§∀α,β,γ∈V§∀k,l∈R¶3½5µ(α,α)≥0§∀α∈V(α,α)=0…=α=0K¡(−,−)´Vþ˜‡Sȧ(V,(−,−))¡�˜‡SȘmdimV∞ž§SȘmVq¡�Euclid˜m£î¼˜m¤~3Rnþ¥§éα=(a1,a2,···,an)′,β=(b1,b2,···,bn)′,½Â(α,β)=a1b1+a2b2+···+anbn=β′α§K(Rn,(−,−))´˜‡n‘Euclid˜m§¡�IOSȘmXJ½Â(α,β)=a1b1+2a2b2+···+nanbn§�¬˜‡SȘmp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSȘmVg~«m[a,b]þëY¼êN¤‚5˜mC[a,b]§½Â(f(x),g(x))=Zbaf(x)g(x)dx§K(C[a,b],(−,−))¤˜‡Ã�‘SȘm½ÂV´¢ê�Cþ˜‡‚5˜m(−,−)´Vþ˜‡EŠ¼ê§XJ(−,−)÷v±e5Kµ1
Ýé¡5µ(α,β)=(β,α)§∀α,β∈V¶2†ý‚5µ(kα+lβ,γ)=k(α,γ)+l(β,γ)§∀α,β,γ∈V§∀k,l∈C¶3½5µ(α,α)≥0§∀α∈V(α,α)=0…=α=0K¡(−,−)´Vþ˜‡Sȧ(V,(−,−))¡�˜‡SȘmdimV∞ž§SȘmVq¡�U-˜m£j˜m¤p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSȘmVg~3Cnþ¥§éα=(a1,a2,···,an),β=(b1,b2,···,bn),½Â(α,β)=a1b1+a2b2+···+anbn=βHα§K(Cn,(−,−))´˜‡n‘U-˜md½Â§¢SȘmþSÈmý�´‚5§=(α,−):β7→(α,β)�V→R‚5C†£¼ê¤¶ESȘmþSÈmý´
Ý‚5§=(α,kβ+lγ)=k(α,β)+l(α,γ)§∀α,β,γ∈V§∀k,l∈Cp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSȘmVg½Â(V,(−,−))�˜‡SȘm§…α∈V§šK¢êp(α,α)¡�αÝ£‰ê¤§P�kak=q(α,α)eβ∈V§K½Âα!βƒmåld(α,β)=kβ−αk¶V�¢SȘmž§½Âα!βƒmY[(α,β)deªÑcos[(α,β)=(α,β)kαk·kβk¶(α,β)=0ž§¡α!β£R†¤ùpk‡½§α½β¥k˜‡�ž§[(α,β)Œ±´?¿Šp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSȘmVg•þÝk±e5Ÿµ½n(V,(−,−))�SȘm§α,β∈V§k´½Âê�¥ê§K1àg5µkkαk=|k|kαk¶2Cauchy-Schwartzتµk(α,β)k≤kαkkβk¶3nتµkα+βk≤kαk+kβkα!βž§kα+βk2=(α,α)+(β,β)+(α,β)+(β,α)=kαk2+kβk2§ù‡(Ø¡�½np“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSȘmVg~Cauchy-Schwartzتk(α,β)k≤kαkkβk3ØÓ˜m¥Nyµ1éuRn§IOSÈe|a1b1+a2b2+···+anbn|≤qa21+a22+···+a2nqb21+b22+···+b2n¶2C[a,b]eZbaf(x)g(x)dx≤Zbaf2(x)dx12Zbag2(x)dx12p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSÈL«ÚÄV´˜‡n‘SȘm§3V¥˜|Äv1,v2,...,vn§éuV¥?¿ü‡•þα=a1v1+a2v2+···+anvn,β=b1v1+b2v2+···+bnvn,dSÈ5Ÿ(α,β)=ha1v1+a2v2+···+anvn,b1v1+b2v2+···+bnvni=n∑i=1n∑j=1(vi,vj)aibj=(a1,a2,...,an)(v1,v1)(v1,v2)···(v1,vn)(v2,v1)(v2,v2)···(v2,vn)............(vn,v1)(vn,v2)···(vn,vn)b1b2...bn¡G(v1,v2,...,vn)=(v1,v1)(v1,v2)···(v1,vn)(v2,v1)(v2,v2)···(v2,vn)............(vn,v1)(vn,v2)···(vn,vn)�SȘm(V,(−,−))Ä•þGramÝp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSÈL«ÚÄV´¢SȘmž§é?¿š(x1,x2,...,xn)∈Rn§XJα=x1v1+x2v2+···+xnvn§KdSȽ5!é¡5§(x1,x2,...,xn)G(v1,v2,...,vn)(x1,x2,...,xn)′0…G(v1,v2,...,vn)�˜‡¢é¡ùÝ¡�½Ýù´g.˜Ù¥­:?ØÝXJu1,u2,···,un´˜mV,˜|ħ…lv1,v2,···,vnu1,u2,···,unLÞÝ�P§/ªþ(u1,u2,···,un)=(v1,v2,···,vn)PKdSȆý‚5£mý
Ý‚5¤§ŒµG(u1,u2,...,un)=P′G(v1,v2,...,vn)P§ùEÝ'X§3¡Ù!¥¡�ÜÓ'Xé¢�ó§ü‡Óé¡A!B§XJ3˜‡Œ_Ó�P§¦P′AP=B§K¡A†BÜÓ'uÜÓ'X§·‚ò±¡Ù!¥�[?Øp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSÈL«ÚÄSȘmV¥GramÝ´ü Ä¡�IOĽÂ(V,(−,−))´˜‡SȘm§ev1,v2,...,vn´V¥ƒpš•þ|§K¡v1,v2,...,vn´˜‡•þ|¶•þ|e¤VħK¡�Ķ˜|Ä¥ez‡•þÑ´ü ݧK¡�˜|IOÄN´w§˜|Ä´OÄ¿©7‡^‡´§GramÝ´ü Ý~ev1,v2,...,vn´V˜|IOħx=x1v1+···+xnvn§y=y1v1+···+ynvn§K(x,y)=y1x1+···+ynxn=([x]v′s,[y]v′s)|3SȘm¥ké`:§3OŽ˜‡•þL«XꞧØ^2)˜‡‚5�§|ù3e¡·K¥Œ±wp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSÈL«ÚÄ·KV´˜‡SȘm§v1,v2,...,vn´V¥•þ|§v∈VK1v1,v2,...,vn7‚5Ã'§n≤dimV¶2evŒdv1,v2,...,vn‚5LѧK7kv=PrL(v1,v2,...,vn)v§Ù¥PrL(v1,v2,...,vn)v=(v,v1)(v1,v1)v1+(v,v2)(v2,v2)v2+···+(v,vn)(vn,vn)vn¡PrL(v1,v2,...,vn)v�v3v1,v2,...,vn)¤f˜mþÝK¶3v−PrL(v1,v2,...,vn)v!⊥L(v1,v2,...,vn)§4kvk2=v−PrL(v1,v2,...,vn)v2+PrL(v1,v2,...,vn)v2≥PrL(v1,v2,...,vn)v2�˜‡(Ø¡�Besselت§Tت3Fourier?êÐm¥käNA^§�´�¦{nØ�âp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSÈL«ÚÄ|´Ø´3§e¡‰Ñ˜‡�{§§ò˜‡š•þ|z¤˜‡•þ|·K(Gram-Schmidtz�{)V´˜‡SȘm§v1,v2,...,vn´V¥•þ|½Âu1=v1,u2=v2−(v2,u1)(u1,u1)u1=v2−PrL(u1)v2,u3=v3−(v3,u1)(u1,u1)u1−(v3,u2)(u2,u2)u2=v3−PrL(u1,u2)v3,···un=vn−∑n−1i=1(vn,ui)(ui,ui)ui=vn−PrL(u1,u2,...,un)vn,Ku1,u2,...,un´˜‡•þ|…é∀1≤k≤n§L(v1,...,vk)=L(u1,...,uk)p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSÈL«ÚÄíØ1?˜SȘmþ73IOÄ2eA˜‡nŒ_¢�§K3ÝQÚR§¦A=QR§…Q÷vQ′Q=In§R�˜‡éþ�êþnÝù‡©)ª´�˜§¡�ÝAQR-©)XJU´SȘmV˜‡f˜m§K(−,−)�›3Uþ�´˜‡SÈPU⊥={x∈V|(x,u)=0,∀u∈U}§KdSȆý‚5§U⊥�´V˜‡f˜m½n(f˜mR†©)ÚÄ*¿½n)U´SȘmV˜‡f˜mK1V=ULU⊥¶2U˜|IOÄ7Œ*¿�V˜|IOÄV1,,...,Vkþ´Vf˜m…Vi,Vj
=0(∀1≤i,j≤k)ž§¡V1,,...,Vk´f˜mŠâ•þ|7´‚5Ã'ù˜(اkf˜mÚ7´†Úp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSȘmþ‚5C†Š‘C†SȘmþ‚5C†Š‘C†Ún(V,(−,−))´˜‡SȘm§ϕ∈L(V)§β∈V§d3�˜˜‡β∗∈V§¦(ϕ(α),β)=(α,β∗),∀α∈Vy²µV˜|IOÄv1,...,vnXJβ∗÷v‡¦§K(ϕ(vi),β)=(vi,β∗)§k(β∗,vi)=(β,ϕ(vi))§u´dc¡•þ|¥•þL«ª§β∗=n∑i=1(β∗,vi)vi=n∑i=1(β,ϕ(vi))vi¶‡L5§XJβ∗=∑ni=1(β,ϕ(vi))vi§dv1,...,vn´IOħ´β∗÷v‡¦½Âϕ∗:β7→β∗=∑ni=1(β,ϕ(vi))§d(−,−)†ý‚5§ϕ∗∈L(V)§¡�ϕŠ‘C†p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1ÊÙSȘmSȘmþ‚5C†Š‘C†55¿§�,ϕ∗¡�ϕŠ‘§Ø+3ŸoÄe§¤éA݆Š‘ݘ:'X�vkŠ�Ñ´§3IOÄe§C††ÙŠ‘ÝT�
Ý=˜'X½n(V,(−,−))´SȘm§v1,...,vn´V˜|IOħϕ∈L(V)XJϕ3v1,...,vneÝ�A§Kϕ∗