この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。
出典検索?: "共通部分" 数学
数学において、集合族の共通部分(きょうつうぶぶん、英: intersection)とは、与えられた集合の集まり(族)全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合(きょうつうしゅうごう)、交叉(こうさ、交差)、交わり(まじわり、meet)、積集合(せきしゅうごう)、積(せき)[1]、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。目次
1 定義
1.1 二つの集合の交叉
1.2 有限個の交叉
1.3 任意の交叉
2 例
3 空なる交叉
4 注
5 関連項目
6 外部リンク
定義
二つの集合の交叉 共通部分のベン図による視覚化
集合 A, B の交わりは A ∩ B と記される[4]。これはx ∈ A ∩ B ⇔ x ∈ A かつ x ∈ B
ということであり、記号ではA ∩ B = { x 。x ∈ A ∧ x ∈ B }
と書ける。A ∩ B に含まれるような元が存在するとき A と B とは互いに交わるあるいは交わりを持つといい、そのような元の存在しないとき A と B は互いに素であるまたは交わりを持たない (disjoint) という。 有限個の集合 M1, … Mk の交わり M 1 ∩ M 2 ∩ ⋯ ∩ M k {\displaystyle M_{1}\cap M_{2}\cap \cdots \cap M_{k}} は、そのすべてに共通に含まれる元の全体である。集合の交わりは結合的、つまり(A ∩ B) ∩ C = A ∩ (B ∩ C) を満たすから、(一般結合法則)により有限個の集合の交わりは ( ⋯ ( ( M 1 ∩ M 2 ) ∩ M 3 ) ∩ ⋯ ∩ M k ) {\displaystyle (\cdots ((M_{1}\cap M_{2})\cap M_{3})\cap \dotsb \cap M_{k})} に等しく、また括弧の付け方に依らない。 ⋂ n = 1 k M n = M 1 ∩ M 2 ∩ ⋯ ∩ M k {\displaystyle \bigcap _{n=1}^{k}M_{n}=M_{1}\cap M_{2}\cap \dotsb \cap M_{k}} とも表す。 集合の(空でない)族 M = { M λ } λ ∈ Λ {\displaystyle {\mathfrak {M}}=\{M_{\lambda }\}_{\lambda \in \Lambda }} に対して、その交わりを集合族に属する全ての集合に属する元、つまりすべての λ ∈ Λ に対して x ∈ Mλ となる x の全体であると定義して ⋂ M , ⋂ M ∈ M M , ⋂ λ ∈ Λ M λ {\displaystyle \bigcap {\mathfrak {M}},\quad \bigcap _{M\in {\mathfrak {M}}}M,\quad \bigcap _{\lambda \in \Lambda }M_{\lambda }} などで表す。特に集合列 {Mn}n∈N の交わり(可算交叉)の場合には ⋂ n = 1 ∞ M n = M 1 ∩ M 2 ∩ M 3 ⋯ = M 1 ∩ ( M 2 ∩ ( M 3 ∩ ⋯ ) ) {\displaystyle \bigcap _{n=1}^{\infty }M_{n}=M_{1}\cap M_{2}\cap M_{3}\cdots =M_{1}\cap (M_{2}\cap (M_{3}\cap \cdots ))} のようにも書く[5]。 与えられた集合族の共通部分が空集合となるとき、つまり全ての集合に共通に含まれる元が一つも存在しないとき、その集合族は交わりを持たない (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] である: ⋂ M = ⋂ n = 1 ∞ ( 0 , 1 + 1 n ) = ( 0 , 1 ] . {\displaystyle \bigcap \mathbf {M} =\bigcap _{n=1}^{\infty }\left(0,\,1+{\frac {1}{n}}\right)=(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 は交わりを持たない。 上記、任意個数の集合の交叉の定義において、族が空集合 (?) となる場合を排除したことに注意しなければならない。これは集合族 M の交わりを ⋂ M = { x : ∀ A ∈ M , x ∈ A } {\displaystyle \bigcap \mathbf {M} =\{x:\forall A\in \mathbf {M} ,\ x\in A\}} で定義するために、M が空ならば A ∈ M なる集合は存在しないから「x が満たすべき条件は一体何であるか」という問題を生じるからである。M が空なるときの上記条件は空虚な真 困ったことに標準的な集合論 (ZFC
有限個の交叉
任意の交叉
例
空なる交叉「空積・束論・空な合併」も参照
と定義されるべきものであって、ここで M を空にとっても何も問題は生じない。即ち、空な交叉は定義により well-defined であって宇宙全体 U に一致する。そしてそれは U の部分集合全体の上で定義される交叉演算の単位元である。
注^ 集合の代数学あるいは集合族のブール代数において、この場合、和に相当するのは集合論的差または対称差である(集合環なども参照)。集合論的和は結びと呼ばれ、補集合を取る操作に通じて積と同等の役割を果たす。
^ Cajori, F. (1993). A History of Mathematical Notations. ¶688: Dover. .mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 0-486-67766-4. https://books.google.com/books?id=_byqAAAAQBAJ