250px|thumb|香の図。5本の縦線を横線でつないでグループ化する方法の総数は5番目のベル数 通りである。 ベル数(ベルすう、)とは、個のものを分割(もしくはグループ化)する場合の数のことである。番目のベル数を とし、 と定義する。名前は数学者エリック・テンプル・ベルに因む。
例えば 3個のものをグループ化する場合の総数は5通り(後述)であるので 3番目のベル数 は5である。
ベル数の列の小さい方は次の通りである: 1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975, 678570, 4213597, 27644437, 190899322, 1382958545, 10480142147, 82864869804, 682076806159, 5832742205057, 51724158235372, 474869816156751, 4506715738447323, 44152005855084346, …()
計算例と性質 a, b, c の3つの要素を各要素の順番を問わずグループ化する方法は {a}, {b}, {c} {a}, {b, c} {b}, {a, c} {c}, {a, b} {a ,b, c} の5通りである。よって となる。a, b の2つの要素なら {a}, {b} {a, b} の2通りであり、。同様に であり、 は空集合(0個の要素)をグループ化すると考えて とする。
要素の分割の方法とベル数の関係を考える。例えば3個のボール a, b, c を箱に入れる方法は次の通りである。 a, b, c の3つとも別々の箱に入れる。 a を一つの箱に、b と c を別の一つの箱に入れる。 b を一つの箱に、a と c を別の一つの箱に入れる。 c を一つの箱に、a と b を別の一つの箱に入れる。 a, b, c の3つとも一つの箱に入れる。 要素が3つのときは5通りの分割の方法があり、これは に対応している。
番目のベル数 は以下の漸化式で与えられる。
は二項係数で、組み合わせの記号を使えば に等しい。ここから以下の式が導かれる。
また素数 に対して次式が成り立つ。
上の漸化式より、ベル数の指数型母関数 B(x) > 0 は微分方程式 B ′(x) = eB(x), B(0) = 1 を満たすので、変数分離法より
となることも導ける。
ベル数の三角形 250px|thumb|ベル三角形の計算過程。三角形の斜辺にベル数が小さい順に並ぶ ベル数はパスカルの三角形と類似の方法で計算ができる。 まず最初のベル数1を縦に並べて書く。 1 1 (x) ここで x の値は x の一つ左の数と、その上にある数との和とする。 1 1 2 (y) ここでは y の値は 一つ上の段の右端の数と同じ数を書くものとする。 1 1 2 2 (z) z は x の場合と同様に左隣の数と斜め左上の数との和である。一番左端の数以外は以下同様に計算する。左端の数は y と同様に三角形の斜辺上の数を写してくる。 1 1 2 2 3 5 5 7 10 15 15 20 27 37 52 上からn段目にn個の数が並ぶように順次計算をして数を書き込んでいくと上記のようになる。n段目の右端の数がn番目のベル数である。 歴史 ベル数の名は1934年にベル多項式、1938年にベル数について記述したエリック・テンプル・ベルに因む。ベル自身は論文で、自らがベル数を発見したとは主張しておらず、数を exponential numbers と呼び、"頻繁に研究されてきた"(have been frequently investigated)、"何度も再発見されてきた"(have been rediscovered many times)と書いている。ベルはを発表したドビンスキの論文 など早期の文献の引用も行っている。「ベル数」(Bell numbers)という名とという記法は によって与えられた。
集合の分割の個数の、完全な数え上げが最初に見られたのは、中世日本である。当時の人気作品である源氏物語に刺激されて源氏香という遊びが生まれた。与えられた5つの香木を、同じ香りのするものに分ける。香木の分け方は52()通りあることが香の図によって記録されている。章の表題の上部に香の図が印刷された源氏物語の版もある。
シュリニヴァーサ・ラマヌジャンは2つ目の Notebook にてベル数とベル多項式の両方を研究している。左右の辺にベル数を持つ数の三角形であるに関する早期の論文には や がある。
脚注 注釈
出典
参考文献
. . .
, W. H. Freeman, 1992, pp. 24–38.第二章に補遺の付いた再販版。
.
関連項目 集合の分割 スターリング数 香の図#源氏香の図
外部リンク
Diagrams of Bell numbers