直積集合

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

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

A = {x, y, z} と B = {1, 2, 3} との直積の図示

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

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

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

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

注意[編集]

交換法則と結合法則[編集]

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

A\times B\neq B\times A

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

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

(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)

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

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

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

記法について[編集]

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

直積集合の例[編集]

トランプのカード[編集]

標準的なトランプの52枚のデッキ

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

という集合である。

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

2次元直交座標系[編集]

点の直交座標の例

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

定義[編集]

有限直積

n

個の集合

A 1, \dots, A n

に対する直積集合を、

\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 1, \dots, a n)

は

a 1, \dots, a n

の順序付けられた n-組である。

任意濃度の直積

必ずしも有限でない集合

Λ

で添字付けられる集合の族

{A λ} λ \inΛ

それらの直積は、写像の集合

\{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 (λ)

と置けば、元の族の集合として

\prod _{\lambda \in \Lambda }A_{\lambda }=\{(a_{\lambda })_{\lambda \in \Lambda }\mid a_{\lambda }\in A_{\lambda },\,\forall \lambda \in \Lambda \}

と書くこともできる。

Λ

が有限ならばこれは先に述べた有限直積と一致する^{[注釈 1]}。

標準射影

直積

\prod A λ

に対し、各

A λ

をこの直積の直積因子と呼ぶ。各直積因子

A μ (μ \in Λ)

に対し、標準的に定まる全射

\pi _{\mu }\colon \prod _{\lambda \in \Lambda }A_{\lambda }\to A_{\mu };\;(a_{\lambda })_{\lambda \in \Lambda }\mapsto a_{\mu }

を第

μ

-成分への射影あるいは簡単に第

μ

-射影などと呼ぶ。

デカルト冪[編集]

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

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

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

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\}

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

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

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

集合 $R$ を実数全体の作る実数直線とすれば、デカルト冪の例としてデカルト座標平面（英語版） $R 2 = R \times R$ , 三次元デカルト座標空間 $R 3 = R \times R \times R$ , 一般に $n$ -次元実座標空間 $R n$ を挙げることができる。あるいは実数列の全体も自然数の全体 $N$ （最小の超限順序数 $ω$ ）で添字付けられた無限デカルト冪 $R ω = R \times R \times \dots$ である。

例として

A = {y \in ℝ : 1 \leq y \leq 4}

,

B = {x \in ℝ : 2 \leq x \leq 5}

,

C = {x \in ℝ : 4\leq x \leq7}

} のとき、

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 ∖ C) = (A \times B) ∖ (A \times C)

などが読み取れる。

上と同じ例で

(A \cup B)\times(C \cup D) \neq (A \times C)\cup(B \times D)

もわかる。

集合

A = {x \in ℝ : 2 \leq x \leq 5}

,

B = {x \in ℝ : 3 \leq x \leq 7}

,

C = {y \in ℝ : 1 \leq y \leq 3}

,

D = {y \in ℝ : 2 \leq y \leq 4}

に対して

(A \cap B)\times(C \cap D) = (A \times C)\cap(B \times D)

が成り立つ。

性質[編集]

$A λ = \emptyset$ であるような $λ \in Λ$ が少なくとも一つ存在すれば、 $\prod λ \inΛ A λ = \emptyset$ であることは、直ちに示される一方、その逆にあたる命題は選択公理（と同値）である。^[3]

集合算[編集]

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

(A\cap B)\times (C\cap D)=(A\times C)\cap (B\times D)

^[4]

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

(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]

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

$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),$ ^[4]

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

一般に

$(\prod _{\lambda \in \Lambda }A_{\lambda })\cap (\prod _{\mu \in \Lambda }B_{\mu })=\prod _{\lambda \in \Lambda }(A_{\lambda }\cap B_{\lambda })$
$(\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 })$
$(\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 })$
$(\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 })$
$(\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]。

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

A\subseteq B\implies A\times C\subseteq B\times C,

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 \times B$ の濃度は、 $| A \times B | = | A | \cdot | B |$ で与えられる。これは、（場合の数に関する）積の原理（英語版）から導くことができる。

A × B
A＼B	1	3
0	(0,1)	(0,3)
1	(1,1)	(1,3)
2	(2,1)	(2,3)
3	(3,1)	(3,3)

一例として、

A = {0, 1, 2, 3}

（3以下の自然数の集合）

B = {1, 3}

（3以下の奇数の集合）

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

同様にして

$| A \times B \times C | = | A | \cdot | B | \cdot | C |, | A \times B \times C \times D | = | A | \cdot | B | \cdot | C | \cdot | D |, \dots$
濃度の積の意味で $|\prod A λ | = \prod| A λ |$

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

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

が言え、あるいは一般に

|\prod λ \inΛ A | = | A Λ | = | A | |Λ|

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

直積の普遍性: この図式は可換である

普遍性[編集]

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

直積の普遍性: 任意の集合 $Y$ と任意の写像の族 $(f i : Y \to X i) i \in I$ が与えられたとき、写像 $f : B \to X : = \prod i \in I X i$ で $f i = π i \circ f$ を満たすものがただ一つ存在する。

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

写像の直積[編集]

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

(f\times g)(a,b):=(f(a),\,g(b))\quad (a\in A,\,b\in B)

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

$f \times g$ が全射 (resp. 単射) であるための必要十分条件は $f, g$ がともに全射 (resp. 単射) となることである。一般に、写像の族 $(f λ : A λ \to X λ)$ の直積 $f = \prod f λ$ が全射 (resp. 単射) であるための必要十分条件は、任意の $(f λ$ が全射 (resp. 単射) となることである。^[8]

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

多変数の写像[編集]

多変数の写像 $f (x 1, \dots, x n)$ は直積集合上の写像 $f ((x i) i \in I)$ として理解できる。

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

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

注[編集]

注釈[編集]

^ ^a ^b 添字集合 $Λ$ が空集合の場合、圏論においては任意の一元集合 $1$ が集合の圏の零対象として（同型を除いて）唯一存在するから、 $\prod \emptyset X = 1$ ( $X$ は任意) とすることで空積に意味を持たせることができる（点付き集合の圏で基点 $*$ を固定するならば、より強く（英語版） $1 = {*}$ ととれる）。また、集合論においては標準的に $0 = \emptyset, 1 = {\emptyset}$ ととれるから、その意味において $X 0 = 1$ と置くことは $Map(\emptyset, X) = {\emptyset}$ （右辺はすなわち空写像）と考えることにより、ここでの定義と矛盾しない（集合をその冪集合によって同定し部分集合の意味で基点 $\emptyset$ が付随すると考えるならば、点付き集合としての話とみることもできる）。

出典[編集]

^ ^a ^b 松坂 1968, p. 22.
^ ^a ^b 松坂 1968, p. 46.
^ 松坂 1968, p. 47.
^ ^a ^b CartesianProduct - PlanetMath.org（英語）
^ Singh, S. (2009, August 27). Cartesian product. Retrieved from the Connexions Web site: http://cnx.org/content/m15207/1.5/
^ 松坂 1968, pp. 50–51.
^ Cartesian Product of Subsets. (2011, February 15). ProofWiki. Retrieved 05:06, August 1, 2011 from https://proofwiki.org/w/index.php?title=Cartesian_Product_of_Subsets&oldid=45868
^ 松坂 1968, p. 51.

参考文献[編集]

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

外部リンク[編集]

Cartesian product - PlanetMath.（英語）
Weisstein, Eric W. "Cartesian Product". MathWorld（英語）.

[empty-3] 添字集合 $Λ$ が空集合の場合、圏論においては任意の一元集合 $1$ が集合の圏の零対象として（同型を除いて）唯一存在するから、 $\prod \emptyset X = 1$ ( $X$ は任意) とすることで空積に意味を持たせることができる（点付き集合の圏で基点 $*$ を固定するならば、より強く（英語版） $1 = {*}$ ととれる）。また、集合論においては標準的に $0 = \emptyset, 1 = {\emptyset}$ ととれるから、その意味において $X 0 = 1$ と置くことは $Map(\emptyset, X) = {\emptyset}$ （右辺はすなわち空写像）と考えることにより、ここでの定義と矛盾しない（集合をその冪集合によって同定し部分集合の意味で基点 $\emptyset$ が付随すると考えるならば、点付き集合としての話とみることもできる）。

[FOOTNOTE.E6.9D.BE.E5.9D.82196822-1] 松坂 1968, p. 22.

[FOOTNOTE.E6.9D.BE.E5.9D.82196846-2] 松坂 1968, p. 46.

[FOOTNOTE.E6.9D.BE.E5.9D.82196847-4] 松坂 1968, p. 47.

[planetmath-5] CartesianProduct - PlanetMath.org（英語）

[cnx-6] Singh, S. (2009, August 27). Cartesian product. Retrieved from the Connexions Web site: http://cnx.org/content/m15207/1.5/

[FOOTNOTE.E6.9D.BE.E5.9D.82196850.E2.80.9351-7] 松坂 1968, pp. 50–51.

[8] Cartesian Product of Subsets. (2011, February 15). ProofWiki. Retrieved 05:06, August 1, 2011 from https://proofwiki.org/w/index.php?title=Cartesian_Product_of_Subsets&oldid=45868

[FOOTNOTE.E6.9D.BE.E5.9D.82196851-9] 松坂 1968, p. 51.

[1]

[2]

[注釈 1]

[3]

[4]

[5]

[6]

[7]

[8]