直積集合

数学において、集合のデカルト積（デカルト­せき、）または直積（ちょくせき、）、直積集合、または単に積（せき、）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。
具体的に二つの集合 に対し、それらの直積とはそれらの任意の元 の順序対 全てからなる集合をいう。 では
と書くことができる。有限個の集合の直積 も同様の-組からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、 と帰納的に定めることもできる。
注意.
交換法則と結合法則.
順序対 は、たとえ がともに にも にも属していたとしても、一般には である。ゆえに、集合としても、 または少なくともいずれか一方が空集合でない限り
である。すなわち、直積は二項演算として可換でない。
また厳密に言えば、直積は結合的でもない。すなわち、 を集合とするとき、
はすべて集合として異なる。しかし誤解の虞が無いならば、しばしばこれらの間の自然 (canonical) な全単射
によって全て同一視（成分の並びを変えずに括弧だけを外）される。この同一視のもとで、直積は結合的二項演算を定める。その意味で -項直積 は二つの集合の直積をとることの繰り返し
と定義することは可能である。
記法について.
直積は添字集合 を伴う集合族 に対して定められるから、 や あるいは のように添字の動く範囲を明示するのが正確であるが、添字集合が明らかで誤解の虞のない場合にはしばしば省略した記法が用いられ、例えば , あるいは のように書かれる。特に （同じ の 個のコピーの直積）は , , などと書かれる。
直積集合の例.
トランプのカード.
直積集合の視覚的にわかりやすい例としては、標準的な52枚一組のトランプのデッキがある。トランプのランクは {A, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2} という 13 の元からなる集合である。スーツは という 4 の元からなる集合である。この2つの集合の直積集合は、52 の組の元からなる集合であり、それぞれの元は、52枚のトランプのカードと1対1に対応している。
たとえば、 という直積集合は、
という集合であり、 という直積集合は、
という集合である。
直積集合の元は順序対なので、同じ元はひとつも含まれていない。
2次元直交座標系.
有名な歴史的な例としては、解析幾何学における直交座標系がある。ルネ・デカルトは、数を用いて幾何学的な図形を表現したり、図形から数の情報を得たりするために、平面のそれぞれの点に実数の組を対応させ、その点の座標と名付けた。ふつう、このような組の1番目および2番目の要素は、それぞれ "x" および "y" 座標と呼ばれる。したがって、実数の組のすべての集合、すなわち （ℝ は実数）という直積集合は、平面上のすべての点の集合に対応する。
デカルト冪.
集合 に対し、それ自身の（任意個の）直積として得られる集合
を得る演算を のデカルト冪 と呼ぶ。非負整数 に対して -乗デカルト冪 ( Cartesian power) は
で与えられる。一般の添字集合 に対して
は から への写像全体の成す集合に他ならない。
集合 を実数全体の作る実数直線とすれば、デカルト冪の例として , 三次元デカルト座標空間 , 一般に -次元実座標空間 を挙げることができる。あるいは実数列の全体も自然数の全体 （最小の超限順序数 ）で添字付けられた無限デカルト冪 である。
性質.
 であるような が少なくとも一つ存在すれば、 であることは、直ちに示される一方、その逆にあたる命題は選択公理 （と同値）である。
集合算.
集合のデカルト積は交叉に関してよく振る舞う。すなわち
が成り立つが、この式の交叉を合併に置き換えた式は一般には正しくない:
実は右辺は
と書くことができる。差に関しては等式
が成り立つ。直積はいくつかの集合算に対して分配的であることが示せる:
ここで は の補集合である。
一般に
などが成り立つ。
ほかに、部分集合に関しては以下の性質がある:
濃度.
有限集合 の直積 の濃度は、 で与えられる。これは、数え上げに関する積の原理から導くことができる。
一例として、
このとき、, であって、実際に であることが確認できる。
同様にして
が成り立つ。特にデカルト冪について、
が言え、あるいは一般に
が濃度の冪の意味で成り立つ。
普遍性.
直積は次のような普遍性を持つものとして特徴付けることができる：
圏論の言葉で言えば、集合の直積は集合の圏における積である。
写像の直積.
ふたつの写像 が与えられたとき、直積集合 から直積集合 への写像を
で定義することができる。この を写像 の直積と呼ぶ。任意の有限あるいは無限個の写像の直積も同様に定義できる。
 が全射 (resp. 単射) であるための必要十分条件は がともに全射 (resp. 単射) となることである。一般に、写像の族 の直積 が全射 (resp. 単射) であるための必要十分条件は、任意の が全射 (resp. 単射) となることである。
集合の圏 における圏論的積の例として、固定された添字集合 で添字付けられる任意の集合の族 に対してそれらの直積 を対応させ、さらにそのような集合の族の間の写像の族 に対してそれらの直積 を対応させるならば、そのような対応は なる形の函手（-型の直積函手）を定める。
多変数の写像.
多変数の写像 は直積集合上の写像 として理解できる。
二項演算あるいは一般に多項演算は多変数の写像として定式化できる。
二変数の写像 の一変数化 は集合の圏における等式 を与える。これにより、集合の直積は配置集合をとる操作の左随伴となる。