ベータ分布はその定義域が０と１の間にある確率現象のモデルとして使われますが，その標準型は次のような確率密度関数になります．

　　f(x)=x^(α-1)(1-x)^(β-1)/B(α,β)

　正にゆがんだ分布でも負にゆがんだ分布でも，適用できる分布としてベータ分布があげられますが，使い勝手のいい分布として，ラムダ分布なるものがあるそうです．その累積分位関数と分位密度関数は，位置母数をλ1，尺度母数をλ2，形状母数をλ3，λ4として，

　　Ｆ（ｘ）＝λ1＋｛ｘ^λ3−（１−ｘ）^λ4｝／λ2

　　ｆ（ｘ）＝｛λ3ｘ^λ3-1＋λ4（１−ｘ）^λ4-1｝／λ2

　　０＜ｘ＜１

で与えられます．

　これらにはｘと１−ｘが対称の積あるいは差の形で入っていますが，今回のコラムでは番外編として，もうひとつの対称多項式について紹介します．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】対称多項式

　ｎ次多項式：f(x)=a0x^n+a1x^(n-1)+･･･+an-1x+an

が関係式

　　f(x)=f(-1-x)(-1)^n

を満たすとき，ｎ次対称多項式と呼ぶことにします．

　　０次対称多項式：f(x)=c（定数関数）

　　１次対称多項式：f(x)=x+1/2，f(x)=ax+a/2

　　２次対称多項式：f(x)=ax^2+ax+c

　　ｎ次対称多項式：f(x)=ax^n+a(1+x)^n

などはその例です．すなわち，ｘの代わりに−１−ｘを代入すると，ｎが奇数のとき符号が交代，ｎが偶数のとき交代しない関数が対称多項式です．

　　f(x)=f(-1-x)(-1)^n

の両辺を微分すると

　　f'(x)=f'(-1-x)(-1)^(n-1)

　　f"(x)=f"(-1-x)(-1)^(n-2)

(n-k)次導関数も対称多項式になります．ｘ＝０とおくと，ｎ次多項式：f(x)=a0x^n+a1x^(n-1)+･･･+an-1x+anが対称多項式であるための必要十分条件は

　　f(k)(0)=f(k)(-1)(-1)^(n-k) (k=0~n)

が成り立つことであることがわかります．そのためには係数の間に関係式

　　{1+(-1)^(k-1)}ak=Σ(n-i,n-k)ai(-1)^i (k=0~n)

が成り立たねばなりません．

　また，ｓ次対称多項式Ｆs(x)を適当に選んで

　　f(x)=ΣｃsＦn-s(x)

がｎ次対称多項式になるためにはｃ2k+1=0が成り立たねばなりません．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［１］ベルヌーイ多項式

　　Ｂ0(x)=1，Ｂ2k+1(0)=0，Ｂ's(x)=Ｂs-1(x)

を満たすｓ次対称多項式をベルヌーイ多項式Ｂs(x)として定義します．この条件より帰納的にＢs(x)を求めることができます．

　また，文献によって定義の仕方が異なるのですが，ここではベルヌーイ数を

　　Ｂr=(2r)!(-1)^(r-1)Ｂ2r(0)

として定義します．たとえば，

　　Ｂ1=1/6，Ｂ2=1/30，Ｂ3=1/42，Ｂ4=1/30，Ｂ5=5/66，Ｂ6=691/2730

［２］オイラー多項式Ｅs(x)

　　Ｅ0(x)=1/2，Ｅ2k(0)=0，Ｅ's(x)=Ｅs-1(x)

を満たすｓ次対称多項式をオイラー多項式Ｅs(x)として帰納的に定義します．また，タンジェント数を

　　Ｔr=(2r-1)!2^2r(-1)^(r-1)Ｅ2r-1(0)

で定義しておきます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】トポロジーへの応用

［１］オイラー標数

　凸多面体の頂点，辺，面の数をそれぞれｖ，ｅ，ｆとすると，

　　ｖ−ｅ＋ｆ＝２　　　（オイラーの多面体定理）

が成り立ちます．これは３次元立体について，０次元の特性数であるｖ，１次元の特性数であるｅ，２次元の特性数であるｆの関係を述べたものと解釈されます．量（ｖ−ｅ＋ｆ）は幾何学で最も基本的な位相不変量の１つで，オイラー標数と呼ばれます．

　一般に，図形がいくつかの３角形によって分割されているとき，

　　頂点の数−辺の数＋３角形の数

は分割の仕方によらず定まり，図形に固有な量になるというものです．その際，偶数次元は＋，奇数次元は−に勘定して交代和をとっています．元の立体の頂点の数ｖと面の数ｆを互いに入れ替えた立体を双対多面体といいますが，この式は頂点と面に関しての双対性も表現しているのです．

　　２次元オイラー標数：ｖ−ｅ＝０

　　３次元オイラー標数：ｖ−ｅ＋ｆ＝２

　　４次元オイラー標数：ｖ−ｅ＋ｆ−ｃ＝０

ですが，ｎ次元多面体のオイラー標数は

　　1+(-1)^(n-1)

また，ｎ次元複体がいくつかの単体によって分割されているとき，ｋ次元単体の個数をαkとすると，等式

　　{1+(-1)^(k-1)}αn-k=Σ(n+1-2,n+1-k)αn-s(-1)^k-s-1

が成り立ちます．

　さらに，

　　χ=αnx^(n+1)+an-1x^n+･･･+α0x+α

をオイラー特性式と呼ぶことにすると，オイラー特性式はｎ＋１次対称多項式となり，ｎが奇数のとき，χ=0

ｎが偶数のときは，ベルヌーイ数を用いて

　　χ=α0＋Σ(-1)^s2Ｂsα2s-1

　　　=α0-1/3α1+1/15α3-1/21α5-1/15α7-5/33α9+691/1365α11+･･･

が成り立ちます（ヒルツェブルフ）．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［２］ミルナーの定理とエキゾチックな球面

　半径が１の球面の公式は

　　１次元球面：x^2+y^2=1

　　２次元球面：x^2+y^2+z^2=1

　　３次元球面：x^2+y^2+z^2+w^2=1

という具合に変数を増やしていくだけですから，そこには本質的な違いは生じないような気がします．ところが，ある次元を境にして奇妙なことが起こることが知られています．

　奇妙なことというのは，米国の数学者ミルナーが発見した７次元球面（８次元球の表面）では，微分同型写像で互いに移ることができない孤立した微分構造が２８個もあるというものです（ミルナーの定理：１９５６年）．

　ミルナーは２６才のとき，

　　Σ^7＝｛（ｚ1，ｚ2，ｚ3，ｚ4，ｚ5）｜｜ｚ1｜^2＋・・・＋｜ｚ5｜^2＝１，ｚ1^2＋・・・＋ｚ5^2＝０｝

なる例を構成し，エキゾチックな球面Σ^7が通常の７次元球面Ｓ^7とは異なることをヒルツェブルフの指数定理を用いて証明しました．Ｍ^8の交点行列の指数は８であるが，微分同相であると仮定すると７で割り切れなければならず，背理法でミルナーの主張がいえるのです．

　２個の連結和Σ^7＃Σ^7はＳ^7に同相ですが，Ｓ^7にもΣ^7にも微分同相ではありません．２７個までの連結和Σ^7＃・・＃Σ^7は互いに同相ですが，微分同相ではなく，２８個の連結和はＳ^7に微分同相です．この２８という数字はベルヌーイ数から定まる数です．

　また，集合

　　Ｈ7＝｛Ｓ^7，Σ^7，Σ^7＃Σ^7，・・・，Σ^7＃・・＃Σ^7｝

は群となり，Ｚ28に同型です．８次元以上では

　　Ｈ8＝Ｚ2，Ｈ9＝Ｚ2＋Ｚ2＋Ｚ2またはＺ2＋Ｚ4，Ｈ10＝Ｚ6，Ｈ11＝Ｚ992，

　　Ｈ12＝０，Ｈ13＝Ｚ3，Ｈ14＝Ｚ2，Ｈ15＝Ｚ2＋Ｚ8128，Ｈ16＝Ｚ2

一般に（４ｎ−１）次元で位数の大きな有限群が現れます．これらの位数もベルヌーイ数から定まります．

　ｎ次元多様体Ｍ^n上に２個の特異点をもつ関数が存在するならば，Ｍ^nはｎ次元球面Ｓ^nに同相です．しかし，同相を微分同相に置き換えることはできません．ｎ≦６（ｎ≠４）ではΣ^nはＳ^nに同相ならば微分同相ですが，Ｓ^nに微分同相でないｎ次元多様体Σ^nの存在がｎ≧７で知られています．（４次元では何もわかっていません．）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［３］ヒルツェブルフの符号数定理

　最後に，ヒルツェブルフの符号数定理（指数定理）を紹介することにしましょう．Ｍを４の倍数次元の閉じた向きづけ可能な多様体（manifold）Ｍ^4kで，概平行性をもつと仮定する．Ｍの次元をｎとするとき，

　　ｎ＝８なら，Ｍの指数は７で割り切れる

　　ｎ＝１２なら，Ｍの指数は６２で割り切れる

　　ｎ＝１６なら，Ｍの指数は１２７で割り切れる

　　ｎ＝２０なら，Ｍの指数は１４６で割り切れる

　一般に，ｎ＝４ｋ（４の倍数）なら，Ｍの指数は

　　２^(2k)（２^(2k-1)−１）／（２ｋ！）・Ｂk　　　Ｂkはベルヌーイ数

を既約分数になおしたときの分子で割り切れるというのが，ヒルツェブルフの指数定理です．

　Ｂn／ｎを既約分数で表したときの分母を求めることは，１８４０年，クラウセンとフォン・シュタウトの定理により，厳密に求めることが容易になったのですが，Ｂn／ｎの分子はｎに対して急激に増加するため，計算はずっと難しかしくなります．以下に，ｎが小さいときの表を掲げておきますが，漸近評価

　　Ｂn／ｎの分子＞Ｂn／ｎ＞４／√ｅ（ｎ／πｅ）^(2n-1/2)

より，

　　（ｎ／πｅ）^(2n)

のオーダーとなりますから，ｎ＞πｅ＝８．５３９・・・のとき，分子は急激に大きくなることが示されます．

　　ｎ Ｂn／ｎの分子　　ｎ Ｂn／ｎの分子

　≦５ 1 ９ 43867

　　６ 691 10 174611

　　７ 1 11 77683

　　８ 3617 12 236364091

　この分子の値は，平行化可能な多様体の境界となるエキゾチック（４ｎ−１）次元球面の微分同相からなる群が，位数

　　２^(2n)（２^(2n-1)−１）・Ｂn／ｎの分子

の巡回群であることから微分トポロジーの研究者の注意を引くものとなっていたのですが，結局，Ｂ7の分子が７で割り切れることがミルナーがエキゾチック球面の証明に用いた方法に繋がったのです．

　ミルナーの定理は微分トポロジーにおける定理であり，一方，ベルヌーイ数は主に数論の世界で用いられる定数であって，意外なものが顔を出すところにベルヌーイ数の奥深さが感じられます．

　通常の微分構造の球面を除いた２７個はエキゾチックな球面と呼ばれます．「７次元球面には８次元ユークリッド空間の単位球面とは異なる微分構造が入る」といっても，これだけでは何が何だか意味不明ですが，Σ^7とＳ^7は位相同型であっても微分同相にならない，すなわち，なめらかさの構造がまったく異なるというのです．

　しかし，微分構造とか微分同型写像とかの意味はよくはわからなくても，ミルナーの発見が衝撃的な事実であることはすぐに理解できます．われわれは，微分という言葉を何気なく使っていますが，微分が１種類とは限らないというのは直観に反していて実に驚くべきことであり，当時，ほとんどだれも予想し得なかったことだからです．ミルナーはこの業績でフィールズ賞を受けました．

　球面に許される微分構造の数を表にしてみると，

　　次元 微分構造　　次元 微分構造　　次元 微分構造

　　１ 1 ７ 28 13 3

　　２ 1 ８ 2 14 2

　　３ 1 ９ 8 15 16256

　　４ - 10 6 16 2

　　５ 1 11 992

　　６ 1 12 1

　７次元までの２次形式は単位行列から定まる２次形式

　　ｘ1^2＋・・・＋ｘn^2

と同型になるのですが，ｎ＝８ではこの情勢が覆り同型ではなくなります．このように，微分構造に関しては次元に関する制約がでてくるので，７次元以上では本質的に異なっていると考えられるのです．トポロジーは曲げたり伸ばしたりの連続変形を施しても変わらないようなもの（＝位相不変量）を研究するのですが，空間の性質は，次元が変わるごとに劇的といってよいほど変わります．しかし，それは単にオイラー標数の話だけでなく，そこにはもっと深い幾何学的な事情があったのです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝