共通集合とは？わかりやすく解説

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字（Microsoftコードページ932（はしご高））が含まれています（詳細）。

数学において、集合族の共通部分（きょうつうぶぶん、英: intersection, meet）とは、与えられた集合の集まり（族）全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。

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

ただし、積集合は直積集合の意味で用いられることが多い^[要出典]。

定義

集合 $A$ , $B$ の交わりは $A \cap B$ と記される^[5]。これは

x \in A \cap B \Leftrightarrow x \in A かつ x \in B

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

A \cap B = {x | x \in A \land x \in B}

と書ける。 $A \cap B$ に含まれるような元が存在するとき $A$ と $B$ とは互いに交わるあるいは交わりを持つという。

また、そのような元の存在しないとき A と B は互いに素であるまたは交わりを持たない (disjoint) といい、

A \cap B = \emptyset

と書く。ただしここで、 $\emptyset$ は空集合を表す。

有限個の集合 $M 1, \dots M k$ の交わり

M_{1}\cap M_{2}\cap \cdots \cap M_{k}


	(C)Shogakukan Inc. 株式会社小学館
	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの共通部分 (数学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Wiktionary	Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblioに掲載されている「Wiktionary日本語版（日本語カテゴリ）」の記事は、Wiktionaryの共通集合 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。