直積集合

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "直積集合" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年11月)

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

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

数学において、集合のデカルト積（デカルト­せき、英: Cartesian product）または直積（ちょくせき、英: direct product）、直積集合、または単に積（せき、英: product）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。

具体的に二つの集合 A, B に対し、それらの直積とはそれらの任意の元 a ∈ A, b ∈ B の順序対 (a, b) 全てからなる集合をいう^[1]。集合の組立記法（英語版） では

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

と書くことができる。有限個の集合の直積 A₁×⋯×A_n も同様の n-組からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、(A₁ × ⋯ × A_n−1)× A_n と帰納的に定めることもできる。

順序対 (a, b) は、たとえ a, b (a ≠ b) がともに A にも B にも属していたとしても、一般には (a, b) ≠ (b, a) である^[1]。ゆえに、集合としても、A = B または少なくともいずれか一方が空集合でない限り

${\displaystyle A\times B\neq B\times A}$

である。すなわち、直積は二項演算として可換でない。

また厳密に言えば、直積は結合的でもない。すなわち、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}}$

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

直積は添字集合 I を伴う集合族 {A_i : i ∈ I} に対して定められるから、∏n
i=1 A_i や ∏
i∈I A_i あるいは A₁ × ⋯ × A_n のように添字の動く範囲を明示するのが正確であるが、添字集合が明らかで誤解の虞のない場合にはしばしば省略した記法が用いられ、例えば ∏ A_i, ∏_i A_i あるいは ⨉ A_i のように書かれる。特に A×⋯×A（同じ A の n 個のコピーの直積）は Aⁿ, A^×n, n⨉A などと書かれる。

直積集合の視覚的にわかりやすい例としては、標準的な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)}

という集合である。

直積集合の元は順序対なので、同じ元はひとつも含まれていない。

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

有限直積

n 個の集合 A₁, …, A_n に対する直積集合を、$${\displaystyle \prod _{i=1}^{n}A_{i}=A_{1}\times A_{2}\times \dotsb \times A_{n}:=\{(a_{1},\dots ,a_{n})\mid a_{1}\in A_{1}\wedge \ldots \wedge a_{n}\in A_{n}\}}$$ と定義する^[2]。ここで (a₁, …, a_n) は a₁, …, a_n の順序付けられた n-組である。

任意濃度の直積

必ずしも有限でない集合 Λ で添字付けられる集合の族 {A_λ}_λ∈Λ それらの直積は、写像の集合 $${\displaystyle \{a\colon \Lambda \to \mathbf {A} \mid a(\lambda )\in A_{\lambda },\,\forall \lambda \in \Lambda \}\subset \operatorname {Map} (\Lambda ,\mathbf {A} )\quad (\mathbf {A} :=\bigcup _{\lambda \in \Lambda }A_{\lambda })}$$ と定義される^[2]。これはまた a_λ ≔ a(λ) と置けば、元の族の集合として $${\displaystyle \prod _{\lambda \in \Lambda }A_{\lambda }=\{(a_{\lambda })_{\lambda \in \Lambda }\mid a_{\lambda }\in A_{\lambda },\,\forall \lambda \in \Lambda \}}$$ と書くこともできる。Λ が有限ならばこれは先に述べた有限直積と一致する^{[注釈 1]}。

標準射影

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

集合 A に対し、それ自身の（任意個の）直積として得られる集合

${\displaystyle A\times A,\,A^{2}:=A\times A,\,\ldots }$

を得る演算を A のデカルト冪 (Cartesian exponentation) と呼ぶ。非負整数 n に対して n-乗デカルト冪 (n^th Cartesian power) は

${\displaystyle A^{n}:=\prod _{i=1}^{n}A=\overbrace {A\times A\times \cdots \times A} ^{n}=\{(a_{1},a_{2},\ldots ,a_{n})\mid a_{i}\in A,\,\forall i=1,\ldots ,n\}}$

で与えられる。一般の添字集合 Λ に対して

${\displaystyle A^{\Lambda }:=\prod _{\lambda \in \Lambda }A=\{(a_{\lambda })_{\lambda \in \Lambda }\mid a_{\lambda }\in A\}=\operatorname {Map} (\Lambda ,A)}$

は Λ から A への写像全体の成す集合に他ならない^{[注釈 1]}。

集合 ℝ を実数全体の作る実数直線とすれば、デカルト冪の例としてデカルト座標平面（ドイツ語版） ℝ² = ℝ×ℝ, 三次元デカルト座標空間 ℝ³ = ℝ × ℝ × ℝ, 一般に n-次元実座標空間 ℝⁿ を挙げることができる。あるいは実数列の全体も自然数の全体 ℕ（最小の超限順序数 ω）で添字付けられた無限デカルト冪 ℝ^ω = ℝ × ℝ × ⋯ である。

A_λ = ∅ であるような λ ∈ Λ が少なくとも一つ存在すれば、∏
λ∈Λ A_λ = ∅ であることは、直ちに示される一方、その逆にあたる命題は選択公理 （と同値）である。^[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 (\prod _{\lambda \in \Lambda }A_{\lambda })\cap (\prod _{\mu \in \Lambda }B_{\mu })=\prod _{\lambda \in \Lambda }(A_{\lambda }\cap B_{\lambda })}$
• ${\displaystyle (\bigcup _{\lambda \in \Lambda }A_{\lambda })\times (\bigcup _{\mu \in \mathrm {M} }B_{\mu })=\bigcup _{(\lambda ,\mu )\in \Lambda \times \mathrm {M} }(A_{\lambda }\times B_{\mu })}$
• ${\displaystyle (\bigcap _{\lambda \in \Lambda }A_{\lambda })\times (\bigcap _{\mu \in \mathrm {M} }B_{\mu })=\bigcap _{(\lambda ,\mu )\in \Lambda \times \mathrm {M} }(A_{\lambda }\times B_{\mu })}$
• ${\displaystyle (\bigcup _{\lambda \in \Lambda }A_{\lambda })\cap (\bigcup _{\mu \in \mathrm {M} }B_{\mu })=\bigcup _{(\lambda ,\mu )\in \Lambda \times \mathrm {M} }(A_{\lambda }\cap B_{\mu })}$
• ${\displaystyle (\bigcap _{\lambda \in \Lambda }A_{\lambda })\cup (\bigcap _{\mu \in \mathrm {M} }B_{\mu })=\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×C| = |A|⋅|B|⋅|C|, |A×B×C×D| = |A|⋅|B|⋅|C|⋅|D|, …
• 濃度の積の意味で |∏A_λ| = ∏|A_λ|

が成り立つ。特にデカルト冪について、

• 任意の自然数 n に対して |Aⁿ| = |A|ⁿ

が言え、あるいは一般に

|∏
λ∈Λ A| = |A^Λ| = |A|^|Λ|

が濃度の冪の意味で成り立つ。

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

直積の普遍性

任意の集合 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), “Direct product”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Direct_product 
• cartesian producr in nLab

表 話 編 歴 集合論
基本	集合 元 包含関係 内包と外延 クラス ベン図
演算	和集合 非交和 共通部分 素集合 直積集合 分割 補集合 差集合 対称差 冪集合 ド・モルガンの法則 集合の代数学
関係	性質 反射関係 推移関係 推移閉包 対称関係 非対称関係 反対称関係 完全関係 同値関係 同値類 well-defined 整礎関係 逆関係 関係の合成 写像 定義域 終域 値域 単射 全射 全単射 逆写像 像と逆像 恒等写像 制限 包含写像 合成 射影 商写像 指示関数 配置集合 族 添字集合 順序対 順序組 列 集合族 グラフ 部分写像 対応 順序 前順序 有向 半順序 全順序 整列 稠密 有界 単調写像 順序同型 辞書式順序 順序型 推移的集合 順序数 0 後続 極限 自然数 ハッセ図 超限帰納法 ツォルンの補題 整列可能定理 整礎的集合 フォン・ノイマン宇宙
濃度	有限集合 空集合 単集合 遺伝的 可算集合 非可算集合 連続体濃度 始順序数 共終数 基数 正則 到達不能 巨大 一覧 ベルンシュタインの定理 カントールの対角線論法 カントールの定理 連続体仮説
公理化	素朴集合論 ラッセルのパラドックス 公理的集合論 ツェルメロ＝フレンケル集合論 フォン・ノイマン＝ベルナイス＝ゲーデル集合論 モース-ケリー集合論 新基礎集合論 外延性の公理 空集合の公理 分出公理 対の公理 和集合の公理 冪集合公理 置換公理 無限公理 正則性公理 選択公理 可算 従属
研究者	ゲオルク・カントール リヒャルト・デーデキント バートランド・ラッセル エルンスト・ツェルメロ アドルフ・フレンケル ジョン・フォン・ノイマン クルト・ゲーデル ポール・コーエン
カテゴリ