直積集合のソースを表示

{{出典の明記|date=2016年11月}}
{{otheruses|集合の直積|その他|直積}}
{{redirect2|積集合|デカルト積|共通部分 (数学)|デカルトモノイド圏}}
{{JIS2004|説明=[[ハート (シンボル)|ハートマーク]]、[[クイーン (トランプ)|クイーンマーク]]、[[スペード (シンボル)|スペードマーク]]、[[クローバー (トランプ)|クローバーマーク]]}}
[[File:Cartesian Product qtl1.svg|thumb|''A'' = {''x'', ''y'', ''z''} と ''B'' = {1, 2, 3} との直積の図示]]
[[数学]]において、[[集合]]の'''デカルト積'''（デカルト&shy;せき、{{lang-en-short|''Cartesian product''}}）または'''直積'''（ちょくせき、{{lang-en-short|''direct product''}}）、'''直積集合'''、または単に'''積'''（せき、{{lang-en-short|''product''}}）、'''積集合'''は、[[集合]]の[[族 (数学)|集まり]]（[[集合族]]）に対して各集合から一つずつ[[元 (数学)|元]]をとりだして[[タプル|組]]にしたもの（元の族）を元として持つ新たな集合である。

具体的に二つの集合 {{mvar|A, B}} に対し、それらの直積とはそれらの任意の元 {{math|''a'' ∈ ''A'', ''b'' ∈ ''B''}} の[[順序対]] {{math|(''a'', ''b'')}} 全てからなる集合をいう{{sfn|松坂|1968|p=22}}。{{仮リンク|集合の組立記法|en|set-builder notation}} では
: <math>A \times B = \{(a,b) \mid a \in A \land b \in B \}</math>
と書くことができる。有限個の集合の直積 {{math|{{gaps|''A''{{ind|1}}|×|⋯|×|''A''{{ind|''n''}}}}}} も同様の[[タプル| {{mvar|n}}-組]]からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、{{math|(''A''{{ind|1}} × ⋯ × ''A''{{ind|''n''&minus;1}})× ''A''{{ind|''n''}}}} と帰納的に定めることもできる。

== 注意 ==
=== 交換法則と結合法則 ===
順序対 {{math|(''a'', ''b'')}} は、たとえ {{math|''a'', ''b'' (''a'' &ne; ''b'')}} がともに {{mvar|A}} にも {{mvar|B}} にも属していたとしても、一般には {{math|(''a'', ''b'') &ne; (''b'', ''a'')}} である{{sfn|松坂|1968|p=22}}。ゆえに、集合としても、{{math|1=''A'' = ''B''}} または少なくともいずれか一方が[[空集合]]でない限り
: <math>A\times B \ne B\times A</math>
である。すなわち、直積は[[二項演算]]として[[交換法則|可換]]でない。

また厳密に言えば、直積は[[結合法則|結合的]]でもない。すなわち、{{math|''A'', ''B'', ''C''}} を集合とするとき、
: <math>(A\times B)\times C,\quad A\times(B\times C),\quad A\times B\times C</math>
はすべて集合として異なる。しかし誤解の虞が無いならば、しばしばこれらの間の自然 (canonical) な[[全単射]]
: <math>((a,b),c) \gets\!\mapsto (a,(b,c)) \gets\!\mapsto (a,b,c)</math>
によって全て同一視（成分の並びを変えずに括弧だけを外）される。この同一視のもとで、直積は結合的二項演算を定める。その意味で {{mvar|n}}-項直積 {{math|''A''{{ind|1}} × ⋯ × ''A''{{ind|''n''}}}} は二つの集合の直積をとることの繰り返し
: <math>A_1\times\cdots\times A_n := (A_1\times\cdots\times A_{n-1})\times A_n</math>
と定義することは可能である。

=== 記法について ===
直積は[[添字集合]] {{mvar|I}} を伴う集合族 {{math|{{mset|''A''{{sub|''i''}} : ''i'' ∈ ''I''}}}} に対して定められるから、{{math|&prod;{{su|b=''i''=1|p=''n''}} ''A''{{sub|''i''}}}} や {{math|&prod;{{su|b=''i''∈''I''}} ''A''{{sub|''i''}}}} あるいは {{math|''A''{{ind|1}} × ⋯ × ''A''{{ind|''n''}}}} のように添字の動く範囲を明示するのが正確であるが、添字集合が明らかで誤解の虞のない場合にはしばしば省略した記法が用いられ、例えば {{math|&prod;&thinsp;''A''{{sub|''i''}}}}, {{math|&prod;{{sub|''i''}} ''A''{{sub|''i''}}}} あるいは {{math|&#x2A09;&thinsp;''A''{{sub|''i''}}}} のように書かれる。特に {{math|{{gaps|''A''|×|⋯|×|''A''}}}}（同じ {{mvar|A}} の {{mvar|n}} 個のコピーの直積）は {{math|''A''{{exp|''n''}}}}, {{mvar|''A''{{exp|×''n''}}}}, {{math|1={{overset|''n''|⨉}}''A''}} などと書かれる。

== 直積集合の例 ==

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

たとえば、{{nowrap|''ランク'' × ''スーツ''}} という直積集合は、

{(A, ♠), (A, {{color|#c00000|♥}}), (A, {{color|#c00000|♦}}), (A, ♣), (K, ♠), ..., (3, ♣), (2, ♠), (2, {{color|#c00000|♥}}), (2, {{color|#c00000|♦}}), (2, ♣)} 

という集合であり、{{nowrap|''スーツ'' × ''ランク''}} という直積集合は、

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

という集合である。

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

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

== 定義 ==
; 有限直積
: {{mvar|n}} 個の集合 {{math|''A''{{sub|1}}, …, ''A''{{sub|''n''}}}} に対する直積集合を、<math display="block">\prod^{n}_{i=1} 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 \}</math> と定義する{{sfn|松坂|1968|p=46}}。ここで {{math|(''a''{{sub|1}}, …, ''a''{{sub|''n''}})}} は {{math|''a''{{sub|1}}, …, ''a''{{sub|''n''}}}} の順序付けられた ''n''-組である。
; 任意濃度の直積
: 必ずしも有限でない集合 {{math|Λ}} で[[族 (数学)|添字付けられる集合の族]] {{math|{{mset|''A''{{ind|''λ''}}}}{{sub|''λ''∈Λ}}}} それらの直積は、写像の集合 <math display="block"> \{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)</math> と定義される{{sfn|松坂|1968|p=46}}。これはまた {{math|''a''{{sub|''λ''}} {{coloneqq}} ''a''(''λ'')}} と置けば、元の族の集合として <math display="block">\prod_{\lambda \in \Lambda} A_\lambda = \{(a_\lambda)_{\lambda \in \Lambda} \mid a_\lambda \in A_\lambda,\, \forall\lambda \in \Lambda \}</math> と書くこともできる。{{math|Λ}} が[[有限集合|有限]]ならばこれは先に述べた有限直積と一致する{{efn|name=empty|添字集合 {{math|Λ}} が[[空集合]]の場合、圏論においては任意の[[一元集合]] {{mathbf|1}} が[[集合の圏]]の[[零対象]]として（同型を除いて）唯一存在するから、{{math|1=&prod;{{sub|&empty;}}''X'' = '''1'''}} ({{mvar|X}} は任意) とすることで[[空積]]に意味を持たせることができる（[[点付き集合]]の圏で基点 {{math|&lowast;}} を固定するならば、{{仮リンク|ア・フォルティオリ|label=より強く|en|a fortiori}} {{math|1='''1''' = {{mset|&lowast;}}}} ととれる）。また、集合論においては標準的に {{math|1=0 = &empty;, 1 = {{mset|&empty;}}}} ととれるから、その意味において {{math|1=''X''{{exp|0}} = 1}} と置くことは {{math|1=Map(&empty;, ''X'') = {{mset|&empty;}}}}（右辺はすなわち[[空写像]]）と考えることにより、ここでの定義と矛盾しない（集合をその冪集合によって同定し部分集合の意味で基点 {{math|&empty;}} が付随すると考えるならば、点付き集合としての話とみることもできる）。}}。
; 標準射影
: 直積 {{math|&prod;&thinsp;''A''{{sub|''λ''}}}} に対し、各 {{mvar|A{{sub|''λ''}}}} をこの直積の'''直積因子'''と呼ぶ。各直積因子 {{math|''A''{{sub|''μ''}} (''μ'' ∈ Λ)}} に対し、標準的に定まる[[全射]] <math display="block"> \pi_\mu\colon \prod_{\lambda\in\Lambda} A_\lambda \to A_\mu;\;(a_\lambda)_{\lambda\in\Lambda} \mapsto a_\mu</math> を第 {{mvar|μ}}-成分への[[射影 (集合論)|射影]]あるいは簡単に第 {{mvar|μ}}-射影などと呼ぶ。

== デカルト冪 ==
集合 {{mvar|A}} に対し、それ自身の（任意個の）直積として得られる集合
:<math>A\times A,\,A^2:= A\times A,\,\ldots</math>
を得る演算を {{mvar|A}} の'''デカルト冪''' {{lang|en|(Cartesian exponentation)}} と呼ぶ。非負整数 {{mvar|n}} に対して {{mvar|n}}-乗デカルト冪 ({{mvar|n}}{{sup|th}} Cartesian power) は
: <math>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\}</math>
で与えられる。一般の添字集合 {{math|Λ}} に対して
: <math>A^\Lambda := \prod_{\lambda\in\Lambda}A = \{(a_\lambda)_{\lambda\in\Lambda}\mid a_\lambda\in A\} = \operatorname{Map}(\Lambda,A)</math>
は {{math|Λ}} から {{mvar|A}} への[[配置集合|写像全体の成す集合]]に他ならない{{efn|name=empty}}。

集合 {{mathbf|ℝ}} を実数全体の作る[[実数直線]]とすれば、デカルト冪の例として{{仮リンク|デカルト座標平面|de|Koordinatenebene}} {{math|1='''ℝ'''{{sup|2}} = {{gaps|'''ℝ'''|×|'''ℝ'''}}}}, 三次元[[デカルト座標空間]] {{math|1='''ℝ'''{{sup|3}} = '''ℝ''' × '''ℝ''' × '''ℝ'''}}, 一般に {{mvar|n}}-次元[[実数空間|実座標空間]] {{math|'''ℝ'''{{sup|''n''}}}} を挙げることができる。あるいは[[数列空間|実数列の全体]]も[[自然数]]の全体 {{math|'''ℕ'''}}（[[可算集合|最小の超限順序数]] {{mvar|&omega;}}）で添字付けられた無限デカルト冪 {{math|1='''ℝ'''{{exp|''&omega;''}} = '''ℝ''' × '''ℝ''' × ⋯}} である。

[[File:CartDistr_svg.svg|thumb|right|例として {{math|1={{color|#0000c0|''A''}} = {{mset|''y'' ∈ [[実数直線|ℝ]] : 1 ≤ ''y'' ≤ 4}}}}, {{math|1={{color|#c00000|''B''}} = {{mset|''x'' ∈ ℝ : 2 ≤ ''x'' ≤ 5}}}}, {{math|1={{color|#00c000|''C''}} = {{mset|''x'' ∈ ℝ : 4≤''x''≤7}}}}} のとき、{{math|1=''A'' ×(''B'' ∩ ''C'') = (''A'' × ''B'')∩(''A'' × ''C'')}}, {{math|1=''A'' ×(''B'' ∪ ''C'') = (''A'' × ''B'')∪(''A'' × ''C'')}}, {{math|1=''A'' ×(''B'' {{setminus}} ''C'') = (''A'' × ''B''){{setminus}}(''A'' × ''C'')}} などが読み取れる。]]
[[File:CartUnion_svg.svg|thumb|right|上と同じ例で {{math|(''A'' ∪ ''B'')×(''C'' ∪ ''D'') ≠ (''A'' × ''C'')∪(''B'' × ''D'')}} もわかる。]]
[[File:CartInts_svg.svg|thumb|集合 {{math|1={{color|#c00000|''A''}} = {{mset|''x'' ∈ ℝ : 2 ≤ ''x'' ≤ 5}}}}, {{math|1={{color|#00c000|''B''}} = {{mset|''x'' ∈ ℝ : 3 ≤ ''x'' ≤ 7}}}}, {{math|1={{color|#c00000|''C''}} = {{mset|''y'' ∈ ℝ : 1 ≤ ''y'' ≤ 3}}}}, {{math|1={{color|#00c000|''D''}} = {{mset|''y'' ∈ ℝ : 2 ≤ ''y'' ≤ 4}}}} に対して {{math|1=(''A'' ∩ ''B'')×(''C'' ∩ ''D'') = (''A'' × ''C'')∩(''B'' × ''D'')}} が成り立つ。]]
== 性質 ==
{{math|1=''A''{{sub|''λ''}} = &empty;}} であるような {{math|''λ'' ∈ Λ}} が少なくとも一つ存在すれば、{{math|1=&prod;{{su|b=''λ''∈Λ}} ''A''{{sub|''λ''}} = &empty;}} であることは、直ちに示される一方、その逆にあたる命題は[[選択公理]] （と同値）である。{{sfn|松坂|1968|p=47}}

=== 集合算 ===
集合のデカルト積は[[交叉 (集合論)|交叉]]に関してよく振る舞う。すなわち
: <math>(A \cap B) \times (C \cap D) = (A \times C) \cap (B \times D)</math><ref name="planetmath">[[#Reference-Planetmath-Cartesian product|PlanetMath]], Cartesian product</ref>
が成り立つが、この式の交叉を[[合併 (集合論)|合併]]に置き換えた式は一般には正しくない:
: <math>(A \cup B) \times (C \cup D) \neq (A \times C) \cup (B \times D).</math>
実は右辺は
: <math>(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]</math>
と書くことができる。[[差集合|差]]に関しては等式
: <math>(A \times C) \smallsetminus (B \times D) = [A \times (C \smallsetminus D)] \cup [(A \smallsetminus B) \times C] </math>
が成り立つ。直積はいくつかの集合算に対して[[分配法則|分配的]]であることが示せる<ref name="cnx">{{citeweb|last=Singh|first=S.|accessdate=2009, August 27|title=Cartesian product|url= http://cnx.org/content/m15207/1.5/}}</ref>:
* <math>A \times (B \cap C) = (A \times B) \cap (A \times C),</math>
* <math>A \times (B \cup C) = (A \times B) \cup (A \times C),</math>
* <math>A \times (B \setminus C) = (A \times B) \setminus (A \times C),</math>
* <math>\complement(A \times B) = (\complement A \times \complement B) \cup (\complement A \times B) \cup (A \times \complement B),</math><ref name="planetmath"/>
ここで {{math|∁''A''}} は {{mvar|A}} の[[補集合]]である。

一般に
* <math>(\prod_{\lambda\in\Lambda}A_\lambda)\cap(\prod_{\mu\in\Lambda}B_\mu) = \prod_{\lambda\in\Lambda}(A_\lambda\cap B_\lambda)</math>
* <math>(\bigcup_{\lambda\in\Lambda}A_\lambda)\times(\bigcup_{\mu\in\Mu}B_\mu) = \bigcup_{(\lambda,\mu)\in\Lambda\times\Mu}(A_\lambda\times B_\mu)</math>
* <math>(\bigcap_{\lambda\in\Lambda}A_\lambda)\times(\bigcap_{\mu\in\Mu}B_\mu) = \bigcap_{(\lambda,\mu)\in\Lambda\times\Mu}(A_\lambda\times B_\mu)</math>
* <math>(\bigcup_{\lambda\in\Lambda}A_\lambda)\cap(\bigcup_{\mu\in\Mu}B_\mu) = \bigcup_{(\lambda,\mu)\in\Lambda\times\Mu}(A_\lambda\cap B_\mu)</math>
* <math>(\bigcap_{\lambda\in\Lambda}A_\lambda)\cup(\bigcap_{\mu\in\Mu}B_\mu) = \bigcap_{(\lambda,\mu)\in\Lambda\times\Mu}(A_\lambda\cup B_\mu)</math>
などが成り立つ{{sfn|松坂|1968|pp=50&ndash;51}}。

ほかに、[[部分集合]]に関しては以下の性質がある:
: <math>A \subseteq B \implies A \times C \subseteq B \times C,</math>
: <math>A\ne\emptyset \land B \neq \emptyset \implies [A \times B \subseteq C \times D \iff A \subseteq C \land B \subseteq D].</math><ref>{{ProofWiki|id=Cartesian_Product_of_Subsets|title=Cartesian Product of Subsets}}</ref>

=== 濃度 ===
有限集合 {{mvar|A, B}} の直積 {{math|''A'' × ''B''}} の[[濃度 (数学)|濃度]]は、{{math|1={{abs|''A'' × ''B''}} = {{abs|''A''}} &sdot; {{abs|''B''}}}} で与えられる。これは、[[数え上げに関する積の原理]]から導くことができる。
{| class="wikitable" style="float: right; margin: 1ex auto 1ex 1em;"
|+ 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)
|}
一例として、
: {{math|1=''A'' = {{mset|0, 1, 2, 3}}}} （3以下の自然数の集合）
: {{math|1=''B'' = {{mset|1, 3}}}} （3以下の奇数の集合）
このとき、{{math|1={{abs|''A''}} = 4, {{abs|''B''}} = 2}}, {{math|1=''A'' × ''B'' = {{mset|(0,1), (0,3), (1,1), (1,3), (2,1), (2,3), (3,1), (3,3)}}}} であって、実際に {{math|1={{abs|''A'' × ''B''}} = 8 = 4 × 2 = {{abs|''A''}}&sdot;{{abs|''B''}}}} であることが確認できる。

同様にして
* {{math|1={{abs|{{gaps|''A''|×|''B''|×|''C''}}}} = {{gaps|{{abs|''A''}}|&sdot;|{{abs|''B''}}|&sdot;|{{abs|''C''}}}}, {{abs|{{gaps|''A''|×|''B''|×|''C''|×|''D''}}}} = {{gaps|{{abs|''A''}}|&sdot;|{{abs|''B''}}|&sdot;|{{abs|''C''}}|&sdot;|{{abs|''D''}}}}, …}}
* 濃度の積の意味で {{math|1={{abs|1=&prod;''A''{{sub|''λ''}}}} = &prod;{{abs|''A''{{sub|''λ''}}}}}}
が成り立つ。特にデカルト冪について、
* 任意の自然数 {{mvar|n}} に対して {{math|1={{abs|''A''{{exp|''n''}}}} = {{abs|''A''}}{{exp|''n''}}}}
が言え、あるいは一般に
: {{math|1={{abs|&prod;{{su|b=''λ''∈Λ}}&thinsp;''A''}} = {{abs|''A''{{sup|Λ}}}} = {{abs|''A''}}{{exp|{{abs|Λ}}}}}}
が濃度の冪の意味で成り立つ。

[[file:Cat product.svg|thumb|150px|right|直積の普遍性: この図式は可換である]]

=== 普遍性 ===
直積は次のような[[普遍性]]を持つものとして特徴付けることができる：
; 直積の普遍性
: 任意の集合 {{mvar|Y}} と任意の写像の族 {{math|(''f''{{sub|''i''}}: ''Y'' → ''X''{{sub|''i''}}){{sub|''i''∈''I''}}}} が与えられたとき、写像 {{math|''f'': ''Y'' → ''X'' {{coloneqq}} '''&prod;'''{{su|b=''i''∈''I''}} ''X''{{sub|''i''}}}} で {{math|1=''f''{{sub|''i''}} = {{pi}}{{sub|''i''}} ∘ ''f''}} を満たすものがただ一つ存在する。

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

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

{{math|''f'' × ''g''}} が[[全射]] (resp. [[単射]]) であるための必要十分条件は {{mvar|f, g}} がともに全射 (resp. 単射) となることである。一般に、写像の族 {{math|(''f''{{sub|''λ''}}: ''A''{{sub|''λ''}} → ''X''{{sub|''λ''}})}} の直積 {{math|1=''f'' = &prod;''f''{{sub|''λ''}}}} が全射 (resp. 単射) であるための必要十分条件は、任意の {{math|(''f''{{sub|''λ''}}}} が全射 (resp. 単射) となることである。{{sfn|松坂|1968|p=51}}

[[集合の圏]] {{mathbf|Set}} における[[積 (圏論)|圏論的積]]の例として、固定された添字集合 {{mvar|I}} で添字付けられる任意の集合の族 {{math|''X{{sub|i}}''}} に対してそれらの直積 {{math|&prod; ''X{{sub|i}}''}} を対応させ、さらにそのような集合の族の間の写像の族 {{math|''f{{sub|i}}'': ''X{{sub|i}}'' → ''Y{{sub|i}}''}} に対してそれらの直積 {{math|&prod; ''f{{sub|i}}''}} を対応させるならば、そのような対応は {{math|'''Set'''{{sup|''I''}} → '''Set'''}} なる形の[[函手]]（{{mvar|I}}-型の直積函手）を定める。

== 多変数の写像 ==
多変数の写像 {{math|''f''(''x''{{sub|1}}, …, ''x''{{sub|''n''}})}} は直積集合上の写像 {{math|''f''((''x''{{sub|''i''}}){{sub|''i''∈''I''}})}} として理解できる。

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

二変数の写像 {{math|''f'': ''A'' × ''B'' → ''X''}} の[[カリー化|一変数化]] {{math|''g''{{sub|''b''}}(''a'') {{coloneqq}} ''f''(''a'', ''b'') (''a'' ∈ ''A'', ''b'' ∈ ''B'')}} は集合の圏における等式 {{math|1=''X''{{sup|''A''×''B''}} = (''X''{{sup|''A''}}){{sup|''B''}}}} を与える。これにより、集合の直積は[[冪対象|配置集合]]をとる操作の[[左随伴]]となる。

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

== 注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
* {{citation|和書|first=和夫|last=松坂|title=集合・位相入門|publisher=岩波書店|year=1968|isbn=4-00-005424-4}}

== 外部リンク ==
* {{wikicite|reference={{PlanetMath|title=Cartesian product|urlname=CartesianProduct}}|ref=Reference-Planetmath-Cartesian product}}
* {{MathWorld|title=Cartesian Product|urlname=CartesianProduct}}
* {{SpringerEOM|urlname=Direct_product|title=Direct product|author=Tsalenko, M.Sh.}}
* {{nlab|id=cartesian+product|title=cartesian producr}}

{{集合論}}
{{DEFAULTSORT:ちよくせきしゆうこう}}
[[Category:集合論]]
[[Category:数学に関する記事]]