logo

集合のデカルト積 📂集合論

集合のデカルト積

定義 1

  1. 任意の二つの対象 aabb に対して、(a,b)(a,b)順序対と言う。
  2. 任意の二つの集合 AABB について、aAa \in AbBb \in B の順序対 (a,b)(a,b) の集合をAABBデカルト積と言い、以下のように表す。 A×B:={(a,b):aAbB} A \times B := \left\{ (a,b): a \in A \land b \in B \right\}

説明

デカルト積で「積」という言葉が使用される理由は、集合が持つ元の数を考えた時にA×B=A×B| A \times B | = | A | \times |B| になるからだ。一つの集合 XX について、X×XX \times XX2X^{2} のように表されるが、実数の集合 R\mathbb{R} を考えると、R2=R×R\mathbb{R}^2 = \mathbb{R} \times \mathbb{R}座標平面の全ての点を元として持つ集合と見ることができる。これは数直線の全ての点を持つR\mathbb{R} を掛けることで、座標平面R2\mathbb{R}^2 を得ることができるということだ。デカルト積で「デカルト」という表現が使われる理由は、この座標平面を考案し、数学界に導入して解析幾何学の世界を開いた人がデカルトだったからだ。デカルトがカントールよりもずっと前の人物であり、集合論に直接的な貢献はなかったが、概念的に前進していたため、この名前の主役になる資格は十分あると言えるだろう。

このようなデカルト積は、もちろん一般化が可能であり、例えば、三次元空間 R3\mathbb{R}^{3} や一般的なユークリッド空間Rp,pN\mathbb{R}^{p}, p \in \mathbb{N} も考えられる。想像するのは難しいかもしれないが、デカルト積は自然数を越えても拡張される。

定理

一方、デカルト積に対して、以下の分配法則が成立する。

分配法則

任意の集合 AABBCC に対して: A×(BC)=(A×B)(A×C)A×(BC)=(A×B)(A×C)A×(BC)=(A×B)(A×C) A \times (B \cap C) = ( A \times B) \cap (A \times C) \\ A \times (B \cup C) = ( A \times B) \cup (A \times C) \\ A \times (B \setminus C) = ( A \times B) \setminus (A \times C)

参照


  1. 翻訳:イ・フンチョン、リン・ヨウフォン。(2011)。集合論(Set Theory: An Intuitive Approach):p129~131。 ↩︎