集合の分割

数学において、集合の分割（）とは、その集合の全体を覆う互いに重ならない部分集合の族のこと、あるいはその集合族を得ることである。

主にビジネスの文脈では、そのような集合族のあり方をMECEという。

 定義 
集合 𝑋 の分割 𝒫 は、𝑋 の非空部分集合からなる集合族である。ただし、𝑋 の任意の元 𝑒 について、𝑒 ∈ 𝑠 かつ 𝑠 ∈ 𝒫 となる 𝑋 の部分集合 𝑠 がただ一つ存在する。

以下の条件を全て満たす 𝒫 を 𝑋 の分割という。
空集合は 𝒫 に帰属しない。

𝒫 は 𝑋 を覆っている。

𝒫 の任意の異なる二元は互いに素である。

𝒫 の元を分割のブロック（）または部分（）という。

例と反例
例
非空集合 S について、集合族 {S} は S の分割の一つである。
二元以上の集合 S とその任意の非空の真部分集合 s について、集合族 {S &smallsetminus; s, s} は S の分割の一つである。
単集合 {x} には唯一の分割 {{x}} しか存在しない。
三元集合には五通りの分割がある。

反例
{∅, {1, 3}, {2}} は空集合を含むため、分割ではない。
{{1, 2}, {2, 3}} は 2 という元が二つのブロックに含まれるため、分割ではない。
{{1}, {2}} は {1, 2, 3} の分割ではない。

 分割と同値関係 
集合 𝑋 上の任意の同値関係 𝑅 について、その同値類の集合 𝑋 / 𝑅 は 𝑋 の分割である。集合 𝑋 の同値関係 𝑅 からその同値類集合として 𝑋 の分割を得ることを、𝑅 による 𝑋 の類別または分類（）
というp. 57。

逆に、𝑋 の任意の分割 𝒫 から 𝑋 上の同値関係 𝑅 を定義することができる。すなわち、𝑋 の任意の二元 𝑥 と 𝑦 が 𝒫 の同じブロックに属するとき、𝑥 ∼ 𝑦 とすれば、これは同値関係を定める。このとき、同値関係 𝑅 を分割 𝒫 に付随する（）同値関係という。

したがって、集合に同値関係を設定することと集合の分割は本質的に等価である。

分割の細分
集合 𝑋 の任意の分割 𝒫 と 𝒬 について、𝒫 の任意のブロックが 𝒬 のいずれかのブロックの部分集合であるとき、𝒫 を 𝒬 の細分（）という。大雑把に言えば、𝒫 と 𝒬 は等しいか、𝒫 は 𝒬 より細かな分割である。

これを 𝒫 ≤ 𝒬 と表記することもある。

𝑋 の分割の集合におけるこの「より細かい」関係は半順序であり（そのため、≤ で表すのが適当）、実のところ完備束である。例えば、𝑋 = {1, 2, 3, 4} の「分割束」には15の元があり、以下のハッセ図で表される。


もう1つの例として、同値関係の観点から分割を細分化する方法を述べる。𝐷 を一般的なトランプの52枚のカードの集合とする。𝐷 における「色が同じ」という関係を ~ などと表記する。このとき2つの同値類、{赤いカード} という集合と {黒いカード} という集合が得られる。この ~ に対応した2ブロックの分割には「スートが同じ」という関係 ~ による細分が存在し、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 個の元を持つ集合の分割の総数はベル数 Bn である。n の小さいベル数を列挙すると、B0 = 1、B1 = 1、B2 = 2、B3 = 5、B4 = 15、B5 = 52、B6 = 203 となっている。ベル数は次の漸化式で表される。

そして、次のような指数型母関数が存在する。

n 個の元を持つ集合を k 個のブロックに分ける分割の総数は、第2種スターリング数 S(n, k) である。

n 個の元を持つ集合の非交差な分割の総数はカタラン数 Cn であり、次の式で表される。

 脚注 

 注釈 

 出典 

 関連項目 
 データ・クラスタリング
 同値関係
 自然数の分割
 MECE

Category:組合せ論
Category:集合論
Category:数学に関する記事