■基本対称式(その15)

 r次の基本対称式(の総和)σrについては,不等式

  σr-1σr+1≦σr^2  (1<=rが成り立つことが知られている.

 

 また,

  Π(1+tαi)=1+σ1t+σ2t^2+・・・+σnt^n

 =1+nC1c1t+nC2c2t^2+・・・+σnt^n

と表すと,

  cr=σn/nCr

すなわち,r次の基本対称式の平均である.

 

 crは

  σr-1σr+1≦σr^2  (1<=rよりも強い,次のような不等式を満たす.

(1):cr-1cr+1≦cr^2  (1<=r(2):c1≧c2^(1/2)≧c3^(1/3)≧・・・≧cn^(1/n)

 

 なお,対称式の計算は,ヤング図形を用いて見通しよく行うことができる.ヤング図形は対称式の計算に役立つだけでなく,「群の表現論」と呼ばれる分野でも用いられ,テンソル積の計算など非常に便利なものになっている.群の表現論は現在も活発に研究され進歩している分野である.

===================================