共通部分 (数学)

テンプレート:Redirect テンプレート:出典の明記 テンプレート:特殊文字 数学において、集合族の共通部分（きょうつうぶぶん、テンプレート:Lang-en-short）とは、与えられた集合の集まり（族）全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。

共通集合（きょうつうしゅうごう）、共通分（きょうつうぶん）、交叉（こうさ）、交差（こうさ）、交わり（まじわり）、積集合（せきしゅうごう）、積（せき）などとも呼ばれる。

ただし、積集合は直積集合の意味で用いられることが多いテンプレート:要出典。

定義

二つの集合の交叉

共通部分のベン図による視覚化

集合 テンプレート:Mvar, テンプレート:Mvar の交わりは テンプレート:Math と記されるテンプレート:Refnest。これは

テンプレート:Math

ということであり、記号では

テンプレート:Math

と書ける。テンプレート:Math に含まれるような元が存在するとき テンプレート:Mvar と テンプレート:Mvar とは互いに交わるあるいは交わりを持つという。

また、そのような元の存在しないとき A と B は互いに素であるまたは交わりを持たない (テンプレート:En) といい、

テンプレート:Math

と書く。ただしここで、 テンプレート:Math は空集合を表す。

有限個の交叉

有限個の集合 テンプレート:Math の交わり

$M_1\cap M_2\cap \cdots \cap M_k$

は、そのすべてに共通に含まれる元の全体である。集合の交わりは結合的、つまり

テンプレート:Math

を満たすから、（一般結合法則）により有限個の集合の交わりは

$(\cdots ((M_1\cap M_2)\cap M_3)\cap \cdots \cap M_k)$

に等しく、また括弧の付け方に依らない。

$\bigcap _{n=1}^k{M}_n=M_1\cap M_2\cap \cdots \cap M_k$

とも表す。

任意の交叉

集合の（空でない）族

$𝔐=\{M_{\lambda }{\}}_{\lambda \in \mathrm{\Lambda }}$

に対して、その交わりを集合族に属する全ての集合に属する元、つまり

すべての テンプレート:Math に対して テンプレート:Math

となる テンプレート:Mvar の全体であると定義して

$\bigcap 𝔐,\bigcap _{M\in 𝔐}M,\bigcap _{\lambda \in \mathrm{\Lambda }}{M}_{\lambda }$

などで表す。特に集合列 テンプレート:Math の交わり（可算交叉）の場合には

$\bigcap _{n=1}^{\mathrm{\infty }}{M}_n=M_1\cap M_2\cap M_3\cdots =M_1\cap (M_2\cap (M_3\cap \cdots ))$

のようにも書く。

与えられた集合族の共通部分が空集合となるとき、つまり全ての集合に共通に含まれる元が一つも存在しないとき、その集合族は交わりを持たない (disjoint) という。また、どの二つの集合を取っても交わらないとき、その集合族は対ごとに交わりを持たない (pairwise disjoint) と言う。disjoint ではないが pairwise disjoint な集合族が存在する。

例

P = {1, 3, 5, 7, 9} （10 以下の奇数の集合）、Q = {2, 3, 5, 7} （10 以下の素数の集合）とすると、P ∩ Q = {3, 5, 7} である。また、R = {2, 4, 6, 8, 10} （10 以下の偶数の集合）とすると P と R には共通の要素が存在しないから P ∩ R は空集合である。

実数からなる開区間の族 M = {(0, 1 + 1/n) | n は 1 以上の自然数} の共通部分は半開区間 (0, 1] である：

$\bigcap 𝐌=\bigcap _{n=1}^{\mathrm{\infty }}(0,1+\frac{1}{n})=(0,1].$

実際、 (0, 1] はどの区間にも含まれるので共通部分に含まれることは直ちに言える。一方、1 < x とするならば x = 1 + ε となる正の実数 ε が取れるが、1 / ε < n なる自然数は必ず存在して、x はそのような n に対する (0, 1 + 1 / n) に属さない。したがって上記の等式が成立する。また、同様の区間族 L = {(0, 1 − 1/n) | n は 1 以上の自然数} は n = 1 に対応する区間が空集合であるので共通部分 ∩ L も空集合、つまり L は交わりを持たない。

空なる交叉

テンプレート:Seealso 上記、任意個数の集合の交叉の定義において、族が空集合 (テンプレート:Unicode) となる場合を排除したことに注意しなければならない。これは集合族 テンプレート:Math の交わりを

$\bigcap 𝐌=\{x:\mathrm{\forall }A\in 𝐌,x\in A\}$

で定義するために、テンプレート:Math が空ならば テンプレート:Math なる集合は存在しないから「テンプレート:Mvar が満たすべき条件は一体何であるか」という問題を生じるからである。テンプレート:Math が空なるときの上記条件は空虚な真の一例であるから、答えは「可能な限りの全ての テンプレート:Mvar」となるべきである。すなわち、空な集合族の交わりは普遍集合（交叉演算の単位元）と定義することになる。

困ったことに標準的な集合論 (ZFC) には普遍集合が存在しないから、これを部分的に回避するために宇宙と呼ばれる一つの大きな集合 テンプレート:Mvar を固定してその部分集合となる集合のみを考えることがよく行われる。このような条件下での テンプレート:Mvar の部分集合族の交わりは

$\bigcap 𝐌=\{x\in U:\mathrm{\forall }A\in 𝐌,x\in A\}$

と定義されるべきものであって、ここで テンプレート:Math を空にとっても何も問題は生じない。即ち、空な交叉は定義により well-defined であって宇宙全体 テンプレート:Mvar に一致する。そしてそれは テンプレート:Mvar の部分集合全体の上で定義される交叉演算の単位元である。

関連項目

• 集合の代数学 - 和 / 差 / 積 / 商
• 素集合
• 非交和
• テンプレート:仮リンク: 有限交叉で閉じている集合族
• コンパクト空間: 有限交叉性 (finite intersection property) で特徴付けられる
• 論理積

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath