交叉した宇宙

40億年後

天の河はアンドロメダと衝突する

生きていたい

40億年後もなお

人生の半分が終わったなんて考えたくもない

だけど短かった気がする

ムダなことしてる時間なんてホントないんだよ

だから旅に出るんだ

この世界を駆け巡ろう

美しく

18の頃思い描いた夢は

甘えの中葛藤する大金持ちの散財

半分は大人になることを選んだ

半分は恋に身を投げた

半分は大人だから叶わない

それから子供を愛した

キャンパスの通路で僕らはすれ違う

それは交叉した宇宙

そうだろ?

交叉したアレクサンダーとディオゲネス

僕らは交叉した宇宙

数学において、集合族の共通部分(きょうつうぶぶん、英: intersection)とは、与えられた集合の集まり(族)全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合(きょうつうしゅうごう)、交叉(こうさ、交差)、交わり(まじわり、meet)、積集合(せきしゅうごう)、積(せき)[1]、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。

集合 A, B の交わりは A ∩ B と記される。これは


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


と書ける。A ∩ B に含まれるような元が存在するとき A と B とは互いに交わるあるいは交わりを持つといい、そのような元の存在しないとき A と B は互いに素であるまたは交わりを持たない (disjoint) という。

有限個の集合 M1, … Mk の交わり


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


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


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


とも表す。

集合の(空でない)族


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


となる x の全体であると定義して


などで表す。特に集合列 {Mn}n∈N の交じわり(可算交叉)の場合には


のようにも書く。

与えられた集合族の共通部分が空集合となるとき、つまり全ての集合に共通に含まれる元が一つも存在しないとき、その集合族は交わりを持たない (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] である:


実際、(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 が空ならば A ∈ M なる集合は存在しないから「x が満たすべき条件は一体何であるか」という問題を生じるからである。M が空なるときの上記条件は空虚な真(英語版)の一例であるから、答えは「可能な限りの全ての x」となるべきである。すなわち、空な集合族の交わりは普遍集合(交叉演算の単位元)と定義することになる[2]。

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


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

^ 集合の代数学あるいは集合族のブール代数において、この場合、和に相当するのは集合論的差または対称差である(集合環なども参照)。集合論的和は結びと呼ばれ、補集合を取る操作に通じて積と同等の役割を果たす。