直積集合 📖 Wikipedia

この項目では、集合の直積について説明しています。その他の用法については「直積」をご覧ください。

「積集合」と「デカルト積」はこの項目へ転送されています。その他の用法については「共通部分 (数学)」、「デカルトモノイド圏」をご覧ください。

数学において、集合 A と集合 B の直積集合（ちょくせきしゅうごう）A×B とは、A の元 a と B の元 b の順序対 (a, b) 全体の集合である。内包的記法（英語版） では

${\displaystyle A\times B=\{(a,b)\mid a\in A\ {\text{ and }}\ b\in B\}}$

と書くことができる。A×B の元 (a, b) に対して、a を第1成分（または第1座標）といい、b を第2成分（または第2座標）という^[1]。

直積集合はまた、デカルト積（デカルト­せき、英: Cartesian product）、直積（ちょくせき、英: direct product）、積（せき、英: product）、積集合（せきしゅうごう）などともいわれる。

より一般に、n 個の集合の直積集合や、集合族の直積集合も定義される。

直積集合は一般に交換法則を満たさない。より詳しく述べれば、集合 A, B について、次の命題が真である。

${\displaystyle A\times B=B\times A\iff (A=B\ {\text{ or }}\ A=\varnothing \ {\text{ or }}\ B=\varnothing )}$

また厳密に言えば、直積は結合的でもない。すなわち、A, B, C を集合とするとき、

${\displaystyle (A\times B)\times C,\quad A\times (B\times C),\quad A\times B\times C}$

はすべて集合として異なる。しかし誤解の虞が無いならば、しばしばこれらの間の自然 (canonical) な全単射

${\displaystyle ((a,b),c)\gets \!\mapsto (a,(b,c))\gets \!\mapsto (a,b,c)}$

によって全て同一視（成分の並びを変えずに括弧だけを外）される。この同一視のもとで、直積は結合的二項演算を定める。その意味で n-項直積 A₁ × ⋯ × A_n は二つの集合の直積をとることの繰り返し

${\displaystyle A_{1}\times \cdots \times A_{n}:=(A_{1}\times \cdots \times A_{n-1})\times A_{n}}$

と定義することは可能である。

直積集合の視覚的にわかりやすい例としては、標準的な52枚一組のトランプのデッキがある。トランプのランクは {A, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2} という 13 の元からなる集合である。スーツは {♠, ♥, ♦, ♣} という 4 の元からなる集合である。この2つの集合の直積集合は、52 の組の元からなる集合であり、それぞれの元は、52枚のトランプのカードと1対1に対応している。

たとえば、ランク × スーツ という直積集合は、

{(A, ♠), (A, ♥), (A, ♦), (A, ♣), (K, ♠), ..., (3, ♣), (2, ♠), (2, ♥), (2, ♦), (2, ♣)}

という集合であり、スーツ × ランク という直積集合は、

{(♠, A), (♠, K), (♠, Q), (♠, J), (♠, 10), ..., (♣, 6), (♣, 5), (♣, 4), (♣, 3), (♣, 2)}

という集合である。順序対の定義より、(A, ♠)≠(♠, A)、(A, ♣)≠(♣, A)、(K, ♠)≠(♠, K)、… であるから、これら 2 つの直積集合には、共通の元は一つも含まれていない。

有名な歴史的な例としては、解析幾何学における直交座標系がある。ルネ・デカルトは、数を用いて幾何学的な図形を表現したり、図形から数の情報を得たりするために、平面のそれぞれの点に実数の組を対応させ、その点の座標と名付けた。ふつう、このような組の1番目および2番目の要素は、それぞれ x および y 座標と呼ばれる。したがって、実数の組のすべての集合、すなわち ℝ×ℝ（ℝ は実数）という直積集合は、平面上のすべての点の集合に対応する。

n 個の集合 A₁ , A₂ , … , A_n の直積集合は次式によって定義される。ただし、(a₁, a₂, … , a_n) は a₁, a₂, … , a_n の順序付けられた n-組である^[2]。

${\displaystyle {\begin{aligned}\prod _{i=1}^{n}A_{i}&=A_{1}\times A_{2}\times \cdots \times A_{n}\\&=\{(a_{1},a_{2},\cdots ,a_{n})\mid a_{1}\in A_{1},\ a_{2}\in A_{2},\ \cdots \ ,\ a_{n}\in A_{n}\}\\\end{aligned}}}$

集合 Λ によって添数づけられた集合族 {A_λ}_λ∈Λ の直積集合は、写像の集合

${\displaystyle \prod _{\lambda \in \Lambda }A_{\lambda }=\left\{a:\Lambda \to \bigcup _{\lambda \in \Lambda }A_{\lambda }\ {\Bigg |}\ \forall \lambda \in \Lambda \left(\ a(\lambda )\in A_{\lambda }\ \right)\right\}}$

と定義される。これはまた a_λ ≔ a(λ) と置けば $${\displaystyle \prod _{\lambda \in \Lambda }A_{\lambda }=\{(a_{\lambda })_{\lambda \in \Lambda }\mid \forall \lambda \in \Lambda \left(\ a_{\lambda }\in A_{\lambda }\ \right)\}}$$ と書くこともできる。Λ が有限ならばこれは先に述べた有限直積と一致する^{[2][注釈 1]}。

誤解の虞のない場合には ${\displaystyle \prod _{i=1}^{n}A_{i}}$ や ${\displaystyle \prod _{\lambda \in \Lambda }A_{\lambda }}$ は省略して ${\displaystyle \prod A_{i}}$ や ${\displaystyle \prod A_{\lambda }}$ とも表される。

直積 ∏ A_λ に対し、各 A_λ をこの直積の直積因子と呼ぶ。各直積因子 A_μ (μ ∈ Λ) に対し、標準的に定まる全射 $${\displaystyle \pi _{\mu }\ \colon \prod _{\lambda \in \Lambda }A_{\lambda }\to A_{\mu };\quad (a_{\lambda })_{\lambda \in \Lambda }\mapsto a_{\mu }}$$ を第 μ-成分への射影あるいは簡単に第 μ-射影などと呼ぶ。

集合 A, Λ と自然数 n について、A のデカルト冪は次式によってそれぞれ定義される。

${\displaystyle A^{n}=\overbrace {A\times A\times \cdots \times A} ^{n}\ ,\quad A^{\Lambda }=\{a\mid a:\Lambda \to A\}}$

A^Λ は Λ から A への写像全体の集合であり、Λ の上の A の配置集合ともいう。

集合 A と、集合 Λ で添数づけられた集合族 {A_λ}_λ∈Λ について、次の命題が真である^{[注釈 1]}。

${\displaystyle \forall \lambda \in \Lambda (A_{\lambda }=A)\implies \prod _{\lambda \in \Lambda }A_{\lambda }=A^{\Lambda }}$

デカルト冪の例として、実数直線 ℝ、デカルト座標平面（ドイツ語版） ℝ² = ℝ×ℝ、三次元デカルト座標空間 ℝ³ = ℝ × ℝ × ℝ、n-次元実座標空間 ℝⁿ、実数列全体の集合 ℝ^ℕ を挙げることができる。

集合族 {A_λ}_λ∈Λ に対して、次の命題は明らかに真である。

${\displaystyle \exists \lambda \in \Lambda (A_{\lambda }=\varnothing )\implies \prod _{\lambda \in \Lambda }A_{\lambda }=\varnothing }$

一方で、この命題の裏

${\displaystyle \forall \lambda \in \Lambda (A_{\lambda }\neq \varnothing )\implies \prod _{\lambda \in \Lambda }A_{\lambda }\neq \varnothing }$

は選択公理（または選出公理）といわれる^[3]。

直積の分配律

集合のデカルト積は交叉に関してよく振る舞う。すなわち

${\displaystyle (A\cap B)\times (C\cap D)=(A\times C)\cap (B\times D)}$^[4]

が成り立つが、この式の交叉を合併に置き換えた式は一般には正しくない:

${\displaystyle (A\cup B)\times (C\cup D)\neq (A\times C)\cup (B\times D).}$

実は右辺は

${\displaystyle (A\times C)\cup (B\times D)=[(A\setminus B)\times C]\cup [(A\cap B)\times (C\cup D)]\cup [(B\setminus A)\times D]}$

と書くことができる。差に関しては等式

${\displaystyle (A\times C)\smallsetminus (B\times D)=[A\times (C\smallsetminus D)]\cup [(A\smallsetminus B)\times C]}$

が成り立つ。直積はいくつかの集合算に対して分配的であることが示せる^[5]:

• ${\displaystyle A\times (B\cap C)=(A\times B)\cap (A\times C),}$
• ${\displaystyle A\times (B\cup C)=(A\times B)\cup (A\times C),}$
• ${\displaystyle A\times (B\setminus C)=(A\times B)\setminus (A\times C),}$
• ${\displaystyle \complement (A\times B)=(\complement A\times \complement B)\cup (\complement A\times B)\cup (A\times \complement B),}$^[4]

ここで ∁A は A の補集合である。

一般に

• ${\displaystyle \left(\prod _{\lambda \in \Lambda }A_{\lambda }\right)\cap \left(\prod _{\mu \in \Lambda }B_{\mu }\right)=\prod _{\lambda \in \Lambda }(A_{\lambda }\cap B_{\lambda })}$
• ${\displaystyle \left(\bigcup _{\lambda \in \Lambda }A_{\lambda }\right)\times \left(\bigcup _{\mu \in \mathrm {M} }B_{\mu }\right)=\bigcup _{(\lambda ,\mu )\in \Lambda \times \mathrm {M} }(A_{\lambda }\times B_{\mu })}$
• ${\displaystyle \left(\bigcap _{\lambda \in \Lambda }A_{\lambda }\right)\times \left(\bigcap _{\mu \in \mathrm {M} }B_{\mu }\right)=\bigcap _{(\lambda ,\mu )\in \Lambda \times \mathrm {M} }(A_{\lambda }\times B_{\mu })}$
• ${\displaystyle \left(\bigcup _{\lambda \in \Lambda }A_{\lambda }\right)\cap \left(\bigcup _{\mu \in \mathrm {M} }B_{\mu }\right)=\bigcup _{(\lambda ,\mu )\in \Lambda \times \mathrm {M} }(A_{\lambda }\cap B_{\mu })}$
• ${\displaystyle \left(\bigcap _{\lambda \in \Lambda }A_{\lambda }\right)\cup \left(\bigcap _{\mu \in \mathrm {M} }B_{\mu }\right)=\bigcap _{(\lambda ,\mu )\in \Lambda \times \mathrm {M} }(A_{\lambda }\cup B_{\mu })}$

などが成り立つ^[6]。

ほかに、部分集合に関しては以下の性質がある:

${\displaystyle A\subseteq B\implies A\times C\subseteq B\times C,}$

${\displaystyle A\neq \emptyset \land B\neq \emptyset \implies [A\times B\subseteq C\times D\iff A\subseteq C\land B\subseteq D].}$^[7]

有限集合 A, B の直積 A × B の濃度は、|A × B| = |A| ⋅ |B| で与えられる。これは、数え上げに関する積の原理から導くことができる。

一例として、

A = {0, 1, 2, 3} （3以下の自然数の集合）

B = {1, 3} （3以下の奇数の集合）

このとき、|A| = 4, |B| = 2, A × B = {(0,1), (0,3), (1,1), (1,3), (2,1), (2,3), (3,1), (3,3)} であって、実際に |A × B| = 8 = 4 × 2 = |A|⋅|B| であることが確認できる。

一般に、全ての集合 A, B と全ての集合族 {A_λ}_λ∈Λ と全ての自然数 n について、以下の等式が成り立つ。

• ${\displaystyle |A\times B|=|A|\cdot |B|}$
• ${\displaystyle \left|\prod _{\lambda \in \Lambda }A_{\lambda }\right|=\prod _{\lambda \in \Lambda }|A_{\lambda }|}$
• ${\displaystyle \left|A^{n}\right|=|A|^{n}}$
• ${\displaystyle \left|A^{B}\right|=|A|^{|B|}}$

直積は次のような普遍性を持つものとして特徴付けることができる：

直積の普遍性

任意の集合 Y と任意の写像の族 (f_i: Y → X_i)_i∈I が与えられたとき、写像 f: Y → X ≔ ∏
i∈I X_i で f_i = π_i ∘ f を満たすものがただ一つ存在する。

圏論の言葉で言えば、集合の直積は集合の圏における積である。

ふたつの写像 f: A → X, g: B → Y が与えられたとき、直積集合 A × B から直積集合 X × Y への写像を

${\displaystyle (f\times g)(a,b):=(f(a),\,g(b))\quad (a\in A,\,b\in B)}$

で定義することができる。この f × g を写像 f, g の直積と呼ぶ。任意の有限あるいは無限個の写像の直積も同様に定義できる。

f × g が全射 (resp. 単射) であるための必要十分条件は f, g がともに全射 (resp. 単射) となることである。一般に、写像の族 (f_λ: A_λ → X_λ) の直積 f = ∏f_λ が全射 (resp. 単射) であるための必要十分条件は、任意の (f_λ が全射 (resp. 単射) となることである^[8]。

集合の圏 Set における圏論的積の例として、固定された添字集合 I で添字付けられる任意の集合の族 X_i に対してそれらの直積 ∏ X_i を対応させ、さらにそのような集合の族の間の写像の族 f_i: X_i → Y_i に対してそれらの直積 ∏ f_i を対応させるならば、そのような対応は Set^I → Set なる形の函手（I-型の直積函手）を定める。

多変数の写像 f(x₁, …, x_n) は直積集合上の写像 f((x_i)_i∈I) として理解できる。

二項演算あるいは一般に多項演算は多変数の写像として定式化できる。

二変数の写像 f: A × B → X の一変数化 g_b(a) ≔ f(a, b) (a ∈ A, b ∈ B) は集合の圏における等式 X^A×B = (X^A)^B を与える。これにより、集合の直積は配置集合をとる操作の左随伴となる。

• 数学的構造
• 直和
• 選択公理
• テンソル積
• ルネ・デカルト
• 空積
• 超積

• 松坂和夫『集合・位相入門』岩波書店、1968年。ISBN 4-00-005424-4。 

• Cartesian product - PlanetMath.（英語）
• Weisstein, Eric W. “Cartesian Product”. mathworld.wolfram.com (英語).
• Tsalenko, M.Sh. (2001) [1994], “Direct product”, Encyclopedia of Mathematics, EMS Press
• cartesian producr in nLab