数学 において集合族 の共通部分 (きょうつうぶぶん、英 : intersection )とは、与えられた集合の集まり(族)全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合 (きょうつうしゅうごう)、共通分 [1] (きょうつうぶん)、交叉 (こうさ、交差)、交わり (まじわり、meet )、積集合 (せきしゅうごう)、積(せき)[2] などとも呼ばれる。ただし、積集合は直積集合 の意味で用いられることが多い。
定義
二つの集合の交叉
共通部分のベン図 による視覚化
集合 A , B の交わりは A ∩ B と記される[5] 。これは
x ∈ A ∩ B ⇔ x ∈ A かつ x ∈ B
ということであり、記号では
A ∩ B = { x | x ∈ A ∧ x ∈ B }
と書ける。A ∩ B に含まれるような元が存在するとき A と B とは互いに交わる あるいは交わりを持つ といい、そのような元の存在しないとき A と B は互いに素 であるまたは交わりを持たない (disjoint ) という。
有限個の交叉
有限個の集合 M 1 , … M k の交わり
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 }}
などで表す。特に集合列 {M n }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 ))}
のようにも書く[6] 。
与えられた集合族の共通部分が空集合となるとき、つまり全ての集合に共通に含まれる元が一つも存在しないとき、その集合族は交わりを持たない (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 が空なるときの上記条件は空虚な真 の一例であるから、答えは「可能な限りの全ての x 」となるべきである。すなわち、空な集合族の交わりは普遍集合(交叉演算の単位元 )と定義することになる[7] 。
困ったことに標準的な集合論 (ZFC ) には普遍集合が存在しないから、これを部分的に回避するために宇宙と呼ばれる一つの大きな集合 U を固定してその部分集合となる集合のみを考えることがよく行われる。このような条件下での U の部分集合族の交わりは
⋂ ⋂ -->
M
=
{
x
∈ ∈ -->
U
:
∀ ∀ -->
A
∈ ∈ -->
M
,
x
∈ ∈ -->
A
}
{\displaystyle \bigcap \mathbf {M} =\{x\in U:\forall A\in \mathbf {M} ,\ x\in A\}}
と定義されるべきものであって、ここで M を空にとっても何も問題は生じない。即ち、空な交叉は定義により well-defined であって宇宙全体 U に一致する。そしてそれは U の部分集合全体の上で定義される交叉演算の単位元である。
注
^ 髙木貞治 『数の概念』岩波書店 、1949年8月20日。
^ 集合の代数学 あるいは集合族のブール代数 において、この場合、和に相当するのは集合論的差 または対称差 である(集合環 なども参照)。集合論的和は結び と呼ばれ、補集合を取る操作に通じて積と同等の役割を果たす。
^ Cajori, F. (1993). A History of Mathematical Notations . ¶ 688: Dover. ISBN 0-486-67766-4 . https://books.google.co.jp/books?id=_byqAAAAQBAJ
^ Calcolo geometrico, secondo l'Ausdehnungslehre di H. Grassmann - インターネット・アーカイブ
^ 交わりの記号 ∩ は結び の記号 ∪ と共に1888年 にジュゼッペ・ペアノ によって導入された[3] [4] 。
^ 集合が非増大列 M 1 ⊃ M 2 ⊃ … をなすとき、それらの共通部分は逆極限 を用いて
lim
← ← -->
-->
M
n
{\displaystyle \textstyle \varprojlim M_{n}}
と書くこともできる。
^ Megginson, Robert E. (1998), “Chapter 1”, An introduction to Banach space theory , Graduate Texts in Mathematics, 183 , New York: Springer-Verlag, pp. xx+596, ISBN 0-387-98431-3
関連項目
外部リンク