デデキント数

数学において、デデキント数（デデキントすう、）は急激に増大する整数列の一つで、1897年にこれを定義したリヒャルト・デーデキントにちなむ。デデキント数 "M"("n") は "n" 変数単調ブール関数の個数に等しい。等価的に、"n" 元集合のの個数、"n" 個の生成元から生成されるの元の個数でもあり、また "n" 元集合のの個数を表す。
"M"("n") を表す漸近的に正確な式 および総和による表現式が知られている。しかし、"M"("n") を閉じた式で表すデデキントの問題は未だ難問であり、また "M"("n") の正確な値は "n" ≤ 9 の場合にしか知られていない。
定義.
ブール関数とは、"n" 個のブール型変数（真か偽かのいずれかの値をとる変数。あるいは等価だが0か1かのビット値をとる変数）を入力とし、別のブール型変数を出力する関数である。ブール関数が単調であるとは、任意の入力の組合せに対して、1個の入力を偽から真に変えるとき、出力が偽から真に変わることはあっても真から偽に変わることはないことを言う。デデキント数 "M"("n") は、"n" 個の変数を入力値とする全ての単調なブール関数の個数を表す。
集合の反鎖（antichain, アンチチェイン、反チェイン）とは部分集合の族であって、どの相異なる2元も一方が他方を包含していないものを指す（これは（Sperner family）としても知られる）。今 "V" を "n" 個のブール型変数の組とするとき、"V" の反鎖 "A" は次のように単調ブール関数 "f" を定める：真であるような入力変数の集合が、"A" の元を部分集合として少なくとも1つ持っているとき、"f" の出力を真とする。そうでないとき偽とする。
逆に、任意の単調ブール関数は同じようにして1つの反鎖を定める：出力が真となるような入力変数の定め方（真である入力変数の指定）の中で、包含関係について極小であるものを全て集めてきて "A" とする。
このように、デデキント数 "M"("n") は "n" 元集合の反鎖の個数に等しい。
これらと同じクラスを記述する3番目の同値な方法は束論を用いるものである。任意の2個の単調ブール関数 "f", "g" から、別の単調ブール関数 "f" ∧ "g"（論理積）および "f" ∨ "g"（論理和） を作ることができる。全ての "n" 変数単調ブール関数から成る集合にこれら2つの二項演算を入れたものは分配束をなし、これは "n" 個の変数の冪集合に包含関係を順序として入れた半順序集合からによって得られる束である。このような構成によって "n" 個の生成子による自由分配束が得られ、デデキント数はその束の元の数を与える。
デデキント数は "n" 元集合の抽象単体複体（"n" 元集合の冪集合の部分集合であって、性質「"x" が元で、"y" が "x" に包含されるならば "y" も元である」を持つもの）の個数に1を加えた値でもある。任意の反鎖は、その各元とそれらの全ての部分集合を集めてくることで1つの抽象単体複体を定める。逆に任意の抽象単体複体から、極大な部分集合を全て取り出してくると1つの反鎖になる。
例.
"n" = 2 の場合、2変数単調ブール関数は6個あり、2元集合 {"x","y"} の部分集合で反鎖となるものも6個ある。
値.
0 ≤ "n" ≤ 9 に対する正確なデデキント数が知られている。
これらのうち最初の6個は によって与えられた。"M"(6) は によって計算された。"M"(7) は と により、"M"(8) は により計算された。"M"(9) は と の二人により同時に計算された。
"n" が偶数ならば "M"("n") も偶数でなければならない。5番目のデデキント数 "M"(5) = 7581 の計算により、の予想「（"n" = 1 を除き）"M"("n") は必ず (2"n" − 1)(2"n" − 2) で割り切れる」は反証された。
和による公式.
 は反鎖の論理学的定義を、次の算術的公式に書き直した。
ここで formula_2 は整数 formula_3 の整数第 formula_4 位のビットで、床関数を使うと
と書ける。大きな "n" に対しては和の項数が膨大になるため、"M"("n") を計算するのに有用ではない。
漸近評価.
デデキント数の対数をとったものは次の上界・下界で漸近的な評価ができる。
ここで左側の不等式はちょうど formula_7 個の元から成る反鎖の個数を数えることで得られ、右側の不等式は により証明された。
 は、以下のより正確な評価式を導いた。
"n" が偶数のとき、
"n" が奇数のとき、
ただし
とする。この評価式の背景にあるアイディアは、ほとんどの反鎖において、各元（部分集合）の濃度が "n"/2 に非常に近いという事実である。"n" = 2, 4, 6, 8 に対してKorshunovの公式はそれぞれ誤差率 9.8%, 10.2%, 4.1%, -3.3% の評価値を与える。