集合の分割

数学において、集合 "X" の分割 (partition) とは、"X" の全体を覆う互いに重ならない部分集合の族のこと、あるいはその集合族を得ることである。
定義.
集合 "X" の分割 "P" は、"X" の空でない部分集合からなる集合族であり、"X" の個々の元 "x" について "x" &in; "A" &in; "P" を満たす "X" の部分集合 "A" が必ずただ一つ存在する。
"X" の部分集合族 "P" が "X" の分割であるためには、次が成り立つ必要がある。
数学的には、これら2つの条件を次のように表現できる。
"P" の元を分割の「ブロック (block)」あるいは「部分 (part)」と呼ぶ。
例.
ちなみに
分割と同値関係.
集合 上の任意の同値関係 について、その同値類の集合 は の分割である。集合 の同値関係 からその同値類集合として の分割を得ることを、 による の類別または分類 (classification) と呼ぶ。
逆に、 の任意の分割 から 上の同値関係 を定義することができる。すなわち、 の任意の2つの元 と が の同じブロックに属するとき、 とすれば、これは同値関係を定める。このとき、同値関係 を分割 に付随する (associated) 同値関係という。
したがって、集合に同値関係を設定することと集合の分割は本質的に等価である。
分割の細分.
集合 "X" の分割 "π" が集合 "X" の分割 "ρ" の細分 (refinement) であるとは、"π" の個々の元が全て "ρ" のいずれかの元の部分集合であることを言う。大雑把に言えば、"π" の方が "p" よりも分割が細かい。これを "π" ≤ "ρ" と表記することもある。
"X" の分割の集合におけるこの「より細かい」関係は半順序であり（そのため "≤" で表すのが適当）、実のところ完備束である。例えば、"X" = {1, 2, 3, 4} の「分割束」には15の元があり、以下のハッセ図で表される。
もう1つの例として、同値関係の観点から分割を細分化する方法を述べる。"D" を一般的なトランプの52枚のカードの集合とする。"D" における「色が同じ」という関係を ~C などと表記する。このとき2つの同値類、{赤いカード} という集合と {黒いカード} という集合が得られる。この ~C に対応した2ブロックの分割には「スートが同じ」という関係 ~S による細分が存在し、4つの同値類 {スペード}、{ダイヤ}、{ハート}、{クラブ} が得られる。
非交差な分割.
自然数の集合 "N" = {1, 2, ..., "n"} の同値関係 ~ に対応した分割が非交差 (noncrossing) であるとは、"N" 内のそれぞれ別の数 "a"、"b"、"c"、"d" が "a" < "b" < "c" < "d" という大小関係で、しかも "a" ~ "c" および "b" ~ "d" ということがない場合である。
上記の"X" = {1, 2, 3, 4} では、13/24のみが非交差ではない分割である．
有限集合の非交差な分割の束は、自由確率論において重要であることが近年わかってきた。2つの束の結びをとる操作が合致しないため、これらは全ての分割の束の部分集合を形成するが、部分束ではない。
各種分割の数え上げ.
"n" 個の元を持つ集合の分割の総数はベル数 "B""n" である。"n" の小さいベル数を列挙すると、"B"0 = 1、"B"1 = 1、"B"2 = 2、"B"3 = 5、"B"4 = 15、"B"5 = 52、"B"6 = 203 となっている。ベル数は次の漸化式で表される。
そして、次のような指数型母関数が存在する。
"n" 個の元を持つ集合を "k" 個のブロックに分ける分割の総数は、第2種スターリング数 "S"("n", "k") である。
"n" 個の元を持つ集合の非交差な分割の総数はカタラン数 "Cn" であり、次の式で表される。