多重集合

数学における**多重集合**（たじゅうしゅうごう、multiset）あるいは**バッグ**（; かばん）は、集合に同じ値の元がいくつも含まれるとき、各元がそれぞれいくつ含まれるかという重複度を考え合わせた集合概念である。**非順序対**、非順序組  ともいう。

クヌースによれば、1970年代に最初に多重集合 (multiset) という言葉を提案したのは、オランダ人数学者のニコラース・ホーバート・ド・ブラン (IPA: ) であるという。しかし、数学における多重集合の概念は、"multiset" という名称がつけられる90年以上も前にすでに使用が認められる。実際、1888年に発表されたリヒャルト・デデキントの有名な論文 "Was sind und was sollen die Zahlen?" （「数とは何か、何であるべきか？」）において、実質的に多重集合の概念が用いられている。

## 導入
集合と多重集合の峻別のために、集合のように 波括弧 で囲む代わりに、二重波括弧  (\{\!\!\{,\}\!\!\}) や角括弧  あるいは中抜き波括弧 (\{\!\vert,\vert\!\}). などで囲むこともある。

集合と多重集合と順序対（あるいは組）は例えば次のような点で差異が認められる。 として、
* 順序対:  と  とは順序三つ組として異なる（各成分の現れる順番を変えてはいけない）。これらはもちろん  とも異なる。
* 多重集合:  と  は多重集合として一致する（元の現れる順番は関係無い）が、 と  は多重集合として異なる（重複度が異なるなら多重集合としては異なる）。
* 集合:  と  と  はいずれも同じ集合である（元の現れる順番は関係なく、また同じ元は何度現われてもひとつあることと同じ）。

建前上は基本的に集合のみを扱い多重集合を扱わないというような（しばしば初等的な）文脈でも、「重複度を込めて」という注釈とともに一時的に多重集合が扱われることがある。たとえば、二次式  に対して、 とおき、その根の集合
: \lbrace x\mid x^2 + ax + b = 0\rbrace
を考えると、この集合の濃度（根の個数）は  のとき  だが、 のときは退化して  になってしまう。これを  のときは 2 つの根がたまたま重なったもの（重根）と考えて重複度  を与えることにより、根は  のときも含めて常に  個であると考えることができる。この例は一般に、代数方程式論の基本定理の一つの表現「-次方程式は必ず重複度まで込めてちょうど  個の根を持つ」として述べることができる。同様の例として、複素解析函数に対する零点や極の位数（重複度）あるいは曲線の接触の位数（接触度）なども挙げられる（重複度 (数学)の項を参照）。

またたとえば、自然数  の素因数分解
: n = 2^{m(2)}3^{m(3)}5^{m(5)}\cdots p^{m(p)}\cdots
（実際には  ごとに右辺に現れる素因子は有限個、つまり殆どの  が  となる実質有限積である）は、自然数  を素数全体の成す集合  を台とする多重集合  として表示する方法を与えるものと解釈することができる（素因数分解が積の順番の違いを除いて一意であるということが多重集合の性質に対応する）。置換の巡回置換分解あるいは巡回置換型も同様である。

同様に、自然数  の分割を考えることは、分割に現れる各整数  の個数を重複度  ととれば、自然数全体の成す集合  を台とする多重集合  であって、重複度関数  が次の二条件
:  m(k) =0 \quad (k > n) 
:  1 \cdot m(1) + 2 \cdot m(2) + \cdots + k \cdot m(k) + \cdots + n \cdot m(n) = n
を満たすようなものを一つ定めることに他ならない。ゆえに、分割数は、各自然数  に対してこのような重複度関数  のとり方が  通りあることを示している。

## 歴史
Wayne Blizard は、“in ancient times, the number n was often represented by a collection of n strokes, tally marks, or units.”（「古代、数  は  本の棒、画線、単位の集まりとして表されていた」）なる論法を以って、多重集合の起源はまさに数の起源にまで遡れるとする。これら、あるいは同様の対象の集まりは、棒・画線・単位が各々区別できないもの (indistinguishable) と考えて多重集合になる。これは多重集合の概念が数学に取り入れられる以前から人々に暗に用いられていたことを示している。

そのような理由により多重集合は、この構造が必要とされるたびに何度も再発見され、異なる名称を以って文献に現れることとなる。例えば、 はこれを bag と呼んでおり、その語は  の影響によるものである。多重集合は他にも aggregate, heap, bunch, sample, weighted set, occurrence set, and fireset (finitely repeated element set) などと呼ばれている。

ただ多重集合の概念が古代より暗に用いられていたと言っても、それらが明示的に調べられるようになるのはずっと後になってからのことである。多重集合の最初の研究として知られるのは1150年ごろ、インドの数学者バースカラ2世による、多重集合の順列に関するものである。 (1498–1576) の業績には多重集合の概念に関する別の先駆的言及が含まれる。 は一つの元のみ重複する場合の多重集合の順列の数を求めた。は1675年に多重集合の順列に関する一般法則を著した。 はこの法則をより詳細に説明している。

明確な形で多重集合が現れるのはリヒャルト・デーデキントの手によるが、数学者が多重集合を定式化して明確な数学的対象としてその研究を始めたのは20世紀に入ってからである。

## 定義
 を全体集合とし、その任意の部分集合  と  から非負整数全体の集合  への写像  で、 すなわち  に属さない元  に対しては恒等的に  を満たすものの組  を、 を台集合とする**多重集合**といい、台集合  の各元  に対してその  による像  を  の**重複度**という。紛れのおそれの無い場合、多重集合  をその台集合  で表す。

非負整数値の重複度を持つ多重集合  は、項の値に重複のある列の集合として
: \{(\overbrace{a_1,a_1,\ldots,a_1}^{m(a_1)\text{ terms}}),(
\overbrace{a_2,a_2,\ldots,a_2}^{m(a_2)\text{ terms}}),\ldots\}
のようにも記される。

たとえば、二つの文字  について  を 2 個、 を 1 個含むような多重集合を考えると、この台集合は  であり、各元の重複度  を合わせた  が、同じ多重集合を台集合とその上の重複度という構造によって表したものとなる。またこれは簡単に  とも記す。

新たに添字を導入して
: \{a_1^{(1)},a_1^{(2)},\ldots,a_1^{(m(a_1))},
 a_2^{(1)},a_2^{(2)},\ldots,a_2^{(m(a_2))},\ldots\}
などのように同じ元を区別すれば、通常の集合として扱うこともできる。また、各値に対して、同じ値を持つ項は有限個であるような族  に対して、同じ元からなる多重集合を  で表すことがある。

## 多重集合の構成
文字集合  を固定したとき、 上の有限多重集合は、 上の文字列で文字の順番を自由に取り替えたものと同一視できるから、 上の有限文字列全体が文字列の連接を演算として空文字列を単位元とする  の生成する自由モノイドとなるのと並行して、 の生成する自由可換モノイドと  上の有限多重集合の全体とが同一視される。すなわち、 の元からなる有限多重集合は、 上の自由モノイドのアーベル化の元である。

長さ  の有限列（-組）に -次対称群を成分の（番号の）入れ替えとして作用させるとき、この作用で割って得られる同値類（軌道）あるいはその任意の代表元を（重複度まで込めた濃度が  の）多重集合と見做すことができる。

## 多重集合の演算と重複度函数

多重集合  に対し、台集合  の部分集合  を台集合とする多重集合  で  の各元  の重複度について
: m_B(b) \leq m_A(b)
が成り立つとき、多重集合  は多重集合  の**部分多重集合**であるといい、 で表す。

また、多重集合に対する和、差、積、対称差などの概念が、通常の集合に関する和、差、積、対称差などに従って定義される。例えば、多重集合  の和  は包含関係  を順序とする上限、積  は  に関する下限である。多重集合の演算は台集合に対しては通常の集合演算として作用するが、その元の重複度については多少の注意を要する。

集合  の（全ての元を各個に区別して）各元の重複度を  としたときの重複度関数は集合  の指示関数である。有限集合の指示関数を数え上げ測度で積分したものは集合の基数をあたえるから、多重集合の元  の重複度は、同じ値  を持つ元を全てあわせた集合の指示関数の積分で得られる。指示関数が集合を定義するのと同様に、多重集合は重複度関数によって定義されると考えることができる（指示函数を「集合の定義函数」と呼ぶことがあるのと同様に、重複度函数を「**多重集合の定義函数**」と呼ぶことがある）。特に、多重集合の和、積、対称差などの重複度関数は、集合の指示関数が満たすのと同様の算術
:m_{A\cap B}(x) = \min\{m_A(x),m_B(x)\}(=: (m_A \wedge m_B)(x)),
:m_{A\cup B}(x) = \max\{m_A(x),m_B(x)\}(=: (m_A \vee m_B)(x)),
:m_{A\triangle B}(x) = |m_A(x) - m_B(x)|
に従う。また重複度函数の和  を重複度函数に持つ多重集合を  と  との**結合** (join) あるいは直和（非交和、sum）と呼び
: A\sqcup B, A\uplus B
などで表す（非交和と呼ぶことがあるにもかかわらず、台集合として  であることは必要でないことに注意。これは台集合の交わりに属する元であっても、それらはその重複度のために、何れの台集合に由来する元であるかの区別を受けるためである）。すなわち
: m_{A\sqcup B}(x) = m_A(x) + m_B(x)
が成り立つ。特に台集合が交わりを持たないときは
: m_{A\sqcup B}(x) = \max\{m_A(x),m_B(x)\} = \begin{cases}m_A(x) & (x\in A)\\ m_B(x) & (x\in B)\end{cases}
と書ける。

## 多重集合の数え上げ

濃度  の有限集合から元をとって作られる濃度  の多重集合の総数は**多重集合（係）数** (*multiset coefficient*, *multiset number*) と呼ばれる。この数はしばしば二項係数と似せて  と書かれる

多重集合係数の値は
:\begin{align}\left(\!\!{n\choose k}\!\!\right) &= {n+k-1 \choose k} = \frac{(n+k-1)!}{k!\,(n-1)!} \\&= {n(n+1)(n+2)\cdots(n+k-1)\over k!}\end{align}
で明示的に与えることができる。ただし、二番目の式は二項係数としての表示である（多重集合を別に定義することを嫌って二項係数としてのみ書く文献も多い）であり、このような多重集合の総数は濃度  の集合内の -元部分集合の総数に等しい。二項係数との類似性を見るために、上記の式の分子に上昇階乗冪を用いて  と書けば、二項係数が下降階乗冪を用いて  と書かれることとの対比は明瞭である。

一般化された二項係数を
: {n \choose k}={n(n-1)(n-2)\cdots(n-k+1) \over k!}
において  が非負整数とは限らず、負の整数、整数でない実数、実数でない複素数などとすることによって定義することができる（ ならば空積となるからこの係数の値は  であるものと約束する）。この意味において、-元集合から得られる -元部分多重集合の総数は
:\left(\!\!{n\choose k}\!\!\right)=(-1)^k{-n \choose k}
と書ける。

### 漸化式
多重集合係数に対して漸化式
: \left(\!\!{n\choose k}\!\!\right) = \left(\!\!{n\choose k - 1}\!\!\right) + \left(\!\!{n-1\choose k}\!\!\right) \quad (n,k>0)
を初期条件  および  の下で与えることができる。この漸化式は以下のように組合せ論的に解釈することができる。

以下 と書く。位数  の（空）多重集合は常にただ一つであり、また  のときそれより位数の大きな多重集合は存在しないから、初期条件はこの解釈に適合する。さて  のとき、集合  の元からなる位数  の多重集合が末尾の元  を含むか含まないかに分けて考える。含むならば、 の一つはさておいて残りの 個の元を  から選んで多重集合を作りそこに  を加えればよいから、そのようなものは  通りある。他方、含まないときは、末尾を除いた集合  から -元多重集合をつくることになるから、そのようなものは  通りである。従って  が得られた。

## 多項式表現
集合  を単項式  で表すと、その冪集合  は二項式  で表すことができる。集合  を単項式  に対応させればその冪集合  は多項式  が対応する。同様に多重集合  を単項式  に対応させれば、その冪多重集合（部分多重集合全体の成す多重集合） は多項式  に対応する。単項式  で表される多重集合の冪多重集合が
: (1+x)^n=\sum_{k=0}^n{n \choose k} x^k
で表されることは、二項係数  が -元集合から選んだ -元の組合せの総数を数え上げることになる理由を説明するものである。

集合  に元をとる有限多重集合全体の成す無限集合  は形式冪級数  で表され、形式解  に多重集合の集合としての意味を与えることができるが、中間表現である  は多重集合の集合として意味を成さない。同様に、単項式  で表される集合に値を持つ有限多重集合全体の成す無限集合は
: (1-x)^{-1}(1-y)^{-1}=1+(x+y)+(x^2+xy+y^2)+\dotsb
で表され、単項式  で表される多重集合から元をとって作られる有限多重集合全体の成す無限多重集合は  なる特別の場合として  で表される。さらに進めて単項式  に対応する多重集合に値をとる有限多重集合全体の成す無限多重集合は
: (1-x)^{-n}=\sum_{k=0}^\infty{-n \choose k} (-x)^k
である。これを「多重集合は濃度が負の集合」と形式的に説明することができる。**負の二項係数**  は -元集合から元をとって得られる -元多重集合の総数を数えるものである。

## 累積母函数
### 非負整数の多重集合
非負整数  を単項式  で表すと、同様にして非負整数からなる有限多重集合を多項式  で表すことができる。

これには**累積母函数**  を考えるのが簡便である。
* 多重集合の濃度は .
* 累積母函数の導函数は g'(t) = f(e^t)^{-1} f'(e^t) e^t.
** 多重集合の平均値 \mu=g'(0)= f(1)^{-1}f'(1).
** 多重集合の分散 \sigma^2=g*(0)</math>.
例えば非負整数の多重集合  に対応する多項式は  であり、その累積母函数 , 濃度 , 導函数 , 平均値  などと計算できる。

ここに現れる数  は各次数の[[キュムラント|累積率]]と呼ばれる。

非負整数全体の成す無限集合  は[[形式冪級数]]  で表され、平均値や標準偏差は定義されないが、累積母函数  は持つ。この累積母函数の導函数は  である。

=== 実数の多重集合 ===
実数からなる有限多重集合  は累積母函数
: <math>g_A(t) = \log \left(\sum_i e^{t A_i}\right)</math>
で表される。この表現は一意である（つまり、相異なる多重集合は相異なる累積母函数を持つ）。平均 , 標準偏差  を持つ  個の実数からなる多重集合の累積母函数は  で与えられ、その導函数は となる。

ただ一つの実数  からなる集合  の累積母函数は  であり、その導函数  はその数自身に一致する。この意味において、「実数からなる多重集合の累積母函数の導函数」は実数の概念を一般化するものである。

一つの実数  のみを含む  元の定値多重集合  は  が対応し、導函数は  に無関係に  である。

=== 性質 ===
実数からなる二つの多重集合の元ごとの和の成す多重集合の累積母函数は、各々の多重集合の累積母函数の和に等しい:
: <math>g_{A+B}(t) = g_A(t) + g_B(t).</math>

元ごとの積の累積母函数
: <math>g_{A\cdot B}(t) = \log \left(\sum_i\sum_j e^{t A_i B_j}\right)</math>
を計算する一般式は存在しないが、その特別の場合として定数倍は
: <math>g_{k\cdot A}(t) = g_A(kt)</math>
となる。多重集合  は多重集合  とは異なることに注意せよ。例えば、 に対し、 である。 の累積母函数は
: <math>g_{k\times A}(t) = k\,g_{A}(t)</math>
となる。標準[[正規分布]]は実数からなる巨大な多重集合の極限
: <math>\lim_{k \rarr \infty}k^{-1}(k^2\times \{1,-1\})</math>
と看做せる。この極限は実数の多重集合として意味を成すものではないが、極限をとる多重集合の累積母函数の導函数には意味を持たせることができて、その極限は
:<math>
\begin{align}
\lim_{k \rarr \infty} g'_{k^{-1} (k^2\times \{1,-1\})}(t) & = \lim_{k \rarr \infty} \frac{d}{dt}(k^2 \log(e^{+t k^{-1}}+e^{-t k^{-1}})) \\
& = \lim_{k \rarr \infty} \frac{d}{dt}(k^2 \log 2+2^{-1} t^2+\dotsb) = t.
\end{align}
</math>
と矛盾なく定義される。定数項  は微分で消え、省略した後続の項は極限をとれば消える。ゆえに平均 , 標準偏差  を持つ標準正規分布に対して、その累積母函数の導函数は  となる。平均 , 標準偏差  の正規分布の累積母函数の導函数は  で与えられる。

== 応用 ==
多重集合は様々な応用を持つ。多重集合はそのより高度な厳密さが希求されたことの結果として、組合せ論における主要な構造となり、現代組合せ論は集合ではなく多重集合に対する理論として発展した。多重集合はデータベースにおいて重要な道具となった。例えば多重集合はデータベースシステムにおける重要な関係としてしばしば用いられる。多重集合は計算機科学においても重要な役割を務める。

他にも応用はある。例えば、は多重集合を集合族の性質を調べる仕掛けとして用いた。ラドは「集合の概念はその各元がいくつ現れるかを考慮しないものだが、そうは言ってもこの手の情報はたびたび重要になる。多項式 f(x) の根全体の成す集合とか線型作用素のスペクトルとかを考えるだけでもそれは分かるだろう。」と書いている。

== 一般化 ==
重複度関数の値域を変更することにより、重複度を負の値も含めた整数値や実数値などに拡張して考えることができる。拡張された意味での多重集合に関する多重集合演算は、大抵の場合には非負整数値の場合の重複度関数の算術がそのまま成立するものとして演算後の重複度関数を定め、それによって特徴付けられる多重集合として定義される。

たとえば、[[ファジィ集合]]（曖昧集合、確率的集合）は、区間  に値をとる重複度函数を備えた多重集合と考えることもできる。この場合、ファジィ集合の帰属率函数（メンバシップ函数）が重複度函数に相当する。ただし、ある集合 *X* を全体集合として固定して、その部分集合となっているようなものだけにファジィ集合だけを考えるときは、（確率的な解釈を与えるため）*X'' の任意の分割
: X = \sum_{\lambda\in\Lambda}A_\lambda
に対して、
: (\mu_X =) \sum_{\lambda\in\Lambda}\mu_{A_\lambda} \equiv 1
となるように帰属率函数に制限を加えて考えることも多い。

各種問題の研究と解法に応じて様々に異なる多重集合の一般化が存在する:
* Fuzzy multisets
* Rough multisets
* Real-valued multisets (in which multiplicity of an element can be any real number)
* Hybrid sets
* where multiplicity is any real-valued step function
* Soft multisets
* Soft fuzzy multisets
* Named set (unification of all generalizations of sets)

## 注釈

## 出典と参考文献

## 関連項目
* 集合
* 族 (数学)

## 外部リンク
* 
* 
* 
* 
*