直積集合

数学において、集合  と集合  の**直積集合**（ちょくせきしゅうごう） とは、 の元  と  の元  の順序対  全体の集合である。 では
: A \times B = \{ (a, b) \mid a \in A \ \text{ and }\  b \in B \}
と書くことができる。 の元  に対して、 を**第1成分**（または**第1座標**）といい、 を**第2成分**（または**第2座標**）という。

直積集合はまた、**デカルト積**（デカルト&shy;せき、）、**直積**（ちょくせき、）、**積**（せき、）、**積集合**（せきしゅうごう）などともいわれる。

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

## 交換法則と結合法則について
直積集合は一般に交換法則を満たさない。より詳しく述べれば、集合  について、次の命題が真である。
: A \times B = B \times A \iff (A = B \ \text{ or } \ A = \varnothing \ \text{ or } \ B = \varnothing)

また厳密に言えば、直積は結合的でもない。すなわち、 を集合とするとき、
: (A\times B)\times C,\quad A\times(B\times C),\quad A\times B\times C
はすべて集合として異なる。しかし誤解の虞が無いならば、しばしばこれらの間の自然 (canonical) な全単射
: ((a,b),c) \gets\!\mapsto (a,(b,c)) \gets\!\mapsto (a,b,c)
によって全て同一視（成分の並びを変えずに括弧だけを外）される。この同一視のもとで、直積は結合的二項演算を定める。その意味で -項直積  は二つの集合の直積をとることの繰り返し
: 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 つの直積集合には、共通の元は一つも含まれていない。

### 2次元直交座標系

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

## 定義
### 有限個の集合の直積集合
 個の集合  の直積集合は次式によって定義される。ただし、 は  の順序付けられた *n*-組である。
: \begin{align}
\prod^{n}_{i=1} 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{align}

### 集合族の直積集合
集合  によって添数づけられた集合族  の直積集合は、写像の集合
: \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\}
と定義される。これはまた  と置けば
\prod_{\lambda \in \Lambda} A_\lambda = \{ (a_\lambda)_{\lambda \in \Lambda} \mid \forall \lambda \in \Lambda \left( \ a_{\lambda} \in A_{\lambda}\  \right) \}
と書くこともできる。 が有限ならばこれは先に述べた有限直積と一致する。

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

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

## デカルト冪
集合  と自然数  について、 の**デカルト冪**は次式によってそれぞれ定義される。
: A^n = \overbrace{ A \times A \times \cdots \times A }^{n} \ , \quad A^{\Lambda} = \{ a \mid a : \Lambda \to A \}
 は  から  への写像全体の集合であり、 の上の  の配置集合ともいう。

集合  と、集合  で添数づけられた集合族  について、次の命題が真である。
: \forall \lambda \in \Lambda ( A_{\lambda} = A ) \implies \prod_{\lambda \in \Lambda} A_{\lambda} = A^{\Lambda}

デカルト冪の例として、実数直線 、 、三次元デカルト座標空間 、-次元実座標空間 、実数列全体の集合  を挙げることができる。

## 性質
### 選択公理
集合族  に対して、次の命題は明らかに真である。
: \exist \lambda \in \Lambda ( A_{\lambda} = \varnothing ) \implies \prod_{\lambda \in \Lambda} A_{\lambda} = \varnothing
一方で、この命題の裏
: \forall \lambda \in \Lambda ( A_{\lambda} \ne \varnothing ) \implies \prod_{\lambda \in \Lambda} A_{\lambda} \ne \varnothing
は選択公理（または選出公理）といわれる。

### 集合算

集合のデカルト積は交叉に関してよく振る舞う。すなわち
: (A \cap B) \times (C \cap D) = (A \times C) \cap (B \times D)
が成り立つが、この式の交叉を合併に置き換えた式は一般には正しくない:
: (A \cup B) \times (C \cup D) \neq (A \times C) \cup (B \times D).
実は右辺は
: (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]
と書くことができる。差に関しては等式
: (A \times C) \smallsetminus (B \times D) = [A \times (C \smallsetminus D)] \cup [(A \smallsetminus B) \times 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),
* \complement(A \times B) = (\complement A \times \complement B) \cup (\complement A \times B) \cup (A \times \complement B),
ここで  は  の補集合である。

一般に
* \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)
* \left( \bigcup_{\lambda \in \Lambda} A_\lambda \right) \times \left( \bigcup_{\mu \in \Mu} B_\mu \right) = \bigcup_{(\lambda, \mu) \in \Lambda \times \Mu}(A_\lambda \times B_\mu)
* \left( \bigcap_{\lambda \in \Lambda} A_\lambda \right) \times \left( \bigcap_{\mu \in \Mu} B_\mu \right) = \bigcap_{(\lambda, \mu) \in \Lambda \times \Mu}(A_\lambda \times B_\mu)
* \left( \bigcup_{\lambda \in \Lambda} A_\lambda \right) \cap \left( \bigcup_{\mu \in \Mu} B_\mu \right) = \bigcup_{(\lambda, \mu) \in \Lambda \times \Mu}(A_\lambda \cap B_\mu)
* \left( \bigcap_{\lambda \in \Lambda} A_\lambda \right) \cup \left( \bigcap_{\mu \in \Mu} B_\mu \right) = \bigcap_{(\lambda, \mu) \in \Lambda \times \Mu}(A_\lambda \cup B_\mu)
などが成り立つ。

ほかに、部分集合に関しては以下の性質がある:
: A \subseteq B \implies A \times C \subseteq B \times C,
: A\ne\emptyset \land B \neq \emptyset \implies [A \times B \subseteq C \times D \iff A \subseteq C \land B \subseteq D].

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

一例として、
:  （3以下の自然数の集合）
:  （3以下の奇数の集合）
このとき、,  であって、実際に  であることが確認できる。

一般に、全ての集合  と全ての集合族  と全ての自然数  について、以下の等式が成り立つ。
* |A \times B| = |A| \cdot |B|
* \left| \prod_{\lambda \in \Lambda}  A_{\lambda} \right| = \prod_{\lambda \in \Lambda} |A_{\lambda}|
* \left| A^{n} \right| = |A|^{n}
* \left| A^{B} \right| = |A|^

### 普遍性

直積は次のような普遍性を持つものとして特徴付けることができる：
; 直積の普遍性
: 任意の集合  と任意の写像の族  が与えられたとき、写像  で  を満たすものがただ一つ存在する。

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

## 写像の直積
ふたつの写像  が与えられたとき、直積集合  から直積集合  への写像を
: (f\times g)(a,b) := (f(a),\,g(b))\quad (a\in A,\,b\in B)
で定義することができる。この  を写像  の直積と呼ぶ。任意の有限あるいは無限個の写像の直積も同様に定義できる。

 が全射 (resp. 単射) であるための必要十分条件は  がともに全射 (resp. 単射) となることである。一般に、写像の族  の直積  が全射 (resp. 単射) であるための必要十分条件は、任意の  が全射 (resp. 単射) となることである。

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

## 多変数の写像
多変数の写像  は直積集合上の写像  として理解できる。

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

二変数の写像  の一変数化  は集合の圏における等式  を与える。これにより、集合の直積は配置集合をとる操作の左随伴となる。

## 関連項目
* 数学的構造
* 直和
* 選択公理
* テンソル積
* ルネ・デカルト
* 空積
* 超積

## 注

### 注釈

### 出典

## 参考文献
* 

## 外部リンク
* 
* 
* 
*