复旦大学高等代数课件10双线模型

p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤Á‘1›ÙV‚5.·&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›ÙV‚5.éó˜méó˜m½Â(‚5¼ê)V´ê�Kþ˜‡‚5˜m§KVK˜‡‚5N¡�˜‡‚5¼ê~£1¤Šâ‚5N†ÝéA'X§Knþ?˜‚5¼êféAu˜|êa1,a2,···,an§¦f(x1,x2,···,xn)=a1x1+a2x2+···+anxn£2¤,¼êtr:A7→tr(A)´Kþn×nݤ‚5˜mMn×n(K)þ˜‡‚5¼ê£3¤XJV=K[x]´Kþõ‘ªN¤‚5˜m§a∈K½Âfa(p(x))=p(a),∀p(x)∈K[x]§KdŠ$Ž�´˜‡‚5¼êŠâ‚5½Â§˜‡‚5¼êk˜|ÄeŠ(½�Ò´`§Œ±‰½ÄeŠ£¤ŠØŠ?¿‡¦¤5(½˜‡‚5¼êp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1›ÙV‚5.éó˜mü‡‚5¼êÚ¼ê!˜‡‚5¼ê†˜‡êÈÑ„´‚5¼ê§¤±Vþ‚5¼êN�¤˜‡‚5˜m½Â‚5˜mVþ‚5¼êN¤˜‡‚5˜m§P�V∗§¡ŠVéó˜mXJv1,...,vn´V˜|ħK÷ve^‡‚5¼êf1,f2,···,fn§fi(vj)=1,i=j0,i6=j=δij¡�v1,...,vn˜|éó㤱¡ŠéóĵXJv=k1v1+···+knvn§Kfi(v)=ki§kv=n∑i=1kivi=n∑i=1fi(v)vi,‡ƒ§ef∈V∗§f(v)=f(∑ni=1fi(v)vi)=∑ni=1fi(v)f(vi)=(∑ni=1f(vi)fi)(v)§¤±kf=∑ni=1f(vi)fi´f1,f2,···,fn‚5|ܧ‚5Ã'5N´yf1,f2,···,fn¤V∗˜|Äp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1›ÙV‚5.éó˜méó˜m~V=K[x]n−1�Kþgêunõ‘ªN¤‚5˜m§a1,a2,···,an�K¥n‡pÉꊧK3ùn‡:Š¼êfi(p(x))=p(ai)§1≤i≤n´‚5Ã'£ÏLvondeMonde1ªy²¤f1,f2,···,fn¤V∗˜|ħ§´LagrangeŠõ‘ªpi(x)=(x−a1)···(x−ai−1)(x−ai+1)···(x−an)(ai−a1)···(ai−ai−1)(ai−ai+1)···(ai−an),i=1,2,···,n.éóÄ�ÚÑe!V‚5.§·‚Pf(x)=hf,xi§ùpx∈V§f∈V∗p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1›ÙV‚5.éó˜méó˜mXJϕ∈L(V)§K½Âϕ∗∈L(V∗)µϕ∗(f)=fϕ=f◦ϕ§§´‚5¼ê†‚5NEܧ¤±„´‚5¼ê…éα,β∈K§f,g∈V∗§ϕ∗(αf+βg)=(αf+βg)ϕ=αfϕ+βgϕ=αϕ∗(f)+βϕ∗(g)§¤±ϕ∗∈L(V∗)hf,ϕ(x)i=f(ϕ(x))=(f◦ϕ)(x)=ϕ∗(f)(x)=hϕ∗(f),xiXJϕ3˜|Äv1,...,vneÝ�A=aij
n×n§Kkϕvj
=∑ni=1aijvi¶f1,...,fn∈V∗�ƒAéóħKkϕ∗(fk)=n∑j=1ϕ∗(fk),vjfj=n∑j=1fkϕ,vjfj=n∑j=1fk,ϕvj
fj=n∑j=1*fk,n∑i=1aijvi+fj=n∑j=1akjfj§¤±ϕ∗3f1,...,fneéAÝ�A′p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1›ÙV‚5.éó˜méó˜mV´Kþ˜‡‚5˜m§V∗´Ùéó˜m§½V¥˜‡•þx§½ÂV∗˜‡¼êx∗∗Xeµx∗∗(f)=f(x),f∈V∗N´yx∗∗´V∗þ˜‡‚5¼ê§Ïd´V∗éó˜m(V∗)∗=V∗∗¥˜‡ƒ§Nx7→x∗∗´˜‡ü§K‘êƒÓ§Nx7→x∗∗¤VV∗∗˜‡‚5Ókž§‚��BP§3dimVk�ž¬r˜mV∗∗ÚVŠ˜‡Ó§�Ò´§rV∗∗¥ƒx∗∗w¤V¥Nƒxlù‡Ýw§VÚV∗Ò´p�‚5¼ê˜m§ùÒ´�Ÿo‚òƒŠéó˜m5¿§ù«Ó'X�kk�‘˜mžâk§V�Ã�‘˜mž§x7→x∗∗�U´˜‡ü§l5ØU¬´˜‡÷p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1›ÙV‚5.V‚5.V‚5.½ÂU,V´ê�Kþ‚5˜m§g:U×V→K´˜‡N§÷vg(u,−):V→KÚg(−,v):U→Ké?¿u∈UÚv∈VÑ´‚5N§d¡g´˜‡V‚5.ùp§g(u,−)(v)=g(u,v)¶g(−,v)(u)=g(u,v)XÓ‚5¼ê§V‚5.�´d§‚Ä5(½u1,...,um´U˜|ħv1,...,vn´V˜|ħUu=k1u1+···+kmum§Vv=l1v1+···+lnvn§Kg(u,v)=gm∑i=1kiui,n∑j=1ljvj!=m∑i=1n∑j=1kigui,vj
lj=([u]u′s)′gui,vj

[v]v′sg7→gui,vj

m×n¤¤kV‚5.˜mKþm×nݘm˜‡Vp“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1›ÙV‚5.V‚5.V‚5.XJ˜u1,...,˜um´U,˜|ħ˜v1,...,˜vn´V,˜|ħC=(C1,...,Cm)ÚD=(D1,...,Dn)©O´lu1,...,um˜u1,...,˜um!lv1,...,vn˜v1,...,˜vnLÞݧKk[˜ui]u′s=Ci,˜vju′s=Dj,u´kg˜ui,˜vj
=([˜ui]u′s)′gui,vj

˜vjv′s=C′igui,vj

Dj,g˜ui,˜vj

m×n=C′gui,vj

m×nD§�Ò´`§3ØÓÄe§Ý´ƒ-'XduÝgui,vj

m×nƒ-uIO.Ir000§¤±p“ê£þ°½°¬‘§§›ŠµÁ‘§[e-mail]¤1›ÙV‚5.V‚5.V‚5.½ng´UÚVþ˜‡V‚5.§K73u1,...,um´U˜|ħv1,...,vn´V˜|ħ9˜‡šKêr≤min(m,n)§¦gui,vj
=δij§1≤i,j≤r¶0§Ù§dž§´L={u∈U|g(u,v)=0,∀v∈V}=L(ur+1,...,um)§R={v∈V|g(u,v)=0,∀u∈U}=L(vr+1,...,vn)©O¡LÚR�g†Šf˜mÚmŠf˜m§¡r�g�w,§dimL=m−r§dimR=n−rL=R={0}ž§¡g�˜‡šòzV‚5.§džkm=n�g��Ò´`§g3˜|ÄeéAÝ�uÙ1ê§�uÙê§=Œ_