「直積集合」の版間の差分
ja>Cewbot 細 (ウィキ文法修正: 間違った画像オプション 重複したオプションを削除する:"thumb" lintId=13892899) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 17:41時点における版
「積集合」と「デカルト積」はこの項目へ転送されています。その他の用法については「共通部分 (数学)」、「デカルトモノイド圏」をご覧ください。 |
数学において、集合のデカルト積(デカルトせき、英: Cartesian product)または直積(ちょくせき、英: direct product)、直積集合、または単に積(せき、英: product)、積集合は、集合の集まり(集合族)に対して各集合から一つずつ元をとりだして組にしたもの(元の族)を元として持つ新たな集合である。
具体的に二つの集合 A, B に対し、それらの直積とはそれらの任意の元 a ∈ A, b ∈ B の順序対 (a, b) 全てからなる集合をいう[1]。集合の組立記法(English版) では
- [math]A \times B = \{(a,b) \mid a \in A \land b \in B \}[/math]
と書くことができる。有限個の集合の直積 Aテンプレート:Ind×⋯×Aテンプレート:Ind も同様の n-組からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、(Aテンプレート:Ind × ⋯ × Aテンプレート:Ind)× Aテンプレート:Ind と帰納的に定めることもできる。
Contents
注意
交換法則と結合法則
順序対 (a, b) は、たとえ a, b (a ≠ b) がともに A にも B にも属していたとしても、一般には (a, b) ≠ (b, a) である[1]。ゆえに、集合としても、A = B または少なくともいずれか一方が空集合でない限り
- [math]A\times B \ne B\times A[/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]
によって全て同一視(成分の並びを変えずに括弧だけを外)される。この同一視のもとで、直積は結合的二項演算を定める。その意味で n-項直積 Aテンプレート:Ind × ⋯ × Aテンプレート:Ind は二つの集合の直積をとることの繰り返し
- [math]A_1\times\cdots\times A_n := (A_1\times\cdots\times A_{n-1})\times A_n[/math]
と定義することは可能である。
記法について
直積は添字集合 I を伴う集合族 {Ai : i ∈ I} に対して定められるから、∏テンプレート:Su Ai や ∏テンプレート:Su Ai あるいは Aテンプレート:Ind × ⋯ × Aテンプレート:Ind のように添字の動く範囲を明示するのが正確であるが、添字集合が明らかで誤解の虞のない場合にはしばしば省略した記法が用いられ、例えば ∏ Ai, ∏i Ai あるいは ⨉ Ai のように書かれる。特に A×⋯×A(同じ A の n 個のコピーの直積)は Aテンプレート:Exp, Aテンプレート:Exp, テンプレート:OversetA などと書かれる。
直積集合の例
トランプのカード
直積集合の視覚的にわかりやすい例としては、標準的な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 座標と呼ばれる(図を参照)。したがって、実数の組のすべての集合、すなわち ℝ×ℝ(ℝ は実数)という直積集合は、平面上のすべての点の集合に対応する。
定義
- 有限直積
- n 個の集合 A1, …, An に対する直積集合を、[math]\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] と定義する[2]。ここで (a1, …, an) は a1, …, an の順序付けられた n-組である。
- 任意濃度の直積
- 必ずしも有限でない集合 Λ で添字付けられる集合の族 {Aテンプレート:Ind}λ∈Λ それらの直積は、写像の集合 [math] \{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] と定義される[2]。これはまた aλ テンプレート:Coloneqq a(λ) と置けば、元の族の集合として [math]\prod_{\lambda \in \Lambda} A_\lambda = \{(a_\lambda)_{\lambda \in \Lambda} \mid a_\lambda \in A_\lambda,\, \forall\lambda \in \Lambda \}[/math] と書くこともできる。Λ が有限ならばこれは先に述べた有限直積と一致する[注釈 1]。
- 標準射影
- 直積 ∏ Aλ に対し、各 Aλ をこの直積の直積因子と呼ぶ。各直積因子 Aμ (μ ∈ Λ) に対し、標準的に定まる全射 [math] \pi_\mu\colon \prod_{\lambda\in\Lambda} A_\lambda \to A_\mu;\;(a_\lambda)_{\lambda\in\Lambda} \mapsto a_\mu[/math] を第 μ-成分への射影あるいは簡単に第 μ-射影などと呼ぶ。
デカルト冪
集合 A に対し、それ自身の(任意個の)直積として得られる集合
- [math]A\times A,\,A^2:=A\times A\times A,\,\ldots[/math]
を得る演算を A のデカルト冪 (Cartesian exponentation) と呼ぶ。非負整数 n に対して n-乗デカルト冪 (nth 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]A^\Lambda := \prod_{\lambda\in\Lambda}A = \{(a_\lambda)_{\lambda\in\Lambda}\mid a_\lambda\in A\} = \operatorname{Map}(\Lambda,A)[/math]
は Λ から A への写像全体の成す集合に他ならない[注釈 1]。
集合 テンプレート:Mathbf を実数全体の作る実数直線とすれば、デカルト冪の例としてデカルト座標平面(Deutsch版) ℝ2 = ℝ×ℝ, 三次元デカルト座標空間 ℝ3 = ℝ × ℝ × ℝ, 一般に n-次元実座標空間 ℝn を挙げることができる。あるいは実数列の全体も自然数の全体 ℕ(最小の超限順序数 ω)で添字付けられた無限デカルト冪 ℝテンプレート:Exp = ℝ × ℝ × ⋯ である。
性質
Aλ = ∅ であるような λ ∈ Λ が少なくとも一つ存在すれば、∏テンプレート:Su Aλ = ∅ であることは、直ちに示される一方、その逆にあたる命題は選択公理 (と同値)である。[3]
集合算
集合のデカルト積は交叉に関してよく振る舞う。すなわち
- [math](A \cap B) \times (C \cap D) = (A \times C) \cap (B \times D)[/math][4]
が成り立つが、この式の交叉を合併に置き換えた式は一般には正しくない:
- [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]
が成り立つ。直積はいくつかの集合算に対して分配的であることが示せる[5]:
- [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][4]
ここで ∁A は 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]
などが成り立つ[6]。
ほかに、部分集合に関しては以下の性質がある:
- [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 \and B \subseteq D].[/math][7]
濃度
有限集合 A, B の直積 A × B の濃度は、テンプレート:Abs = テンプレート:Abs ⋅ テンプレート:Abs で与えられる。これは、数え上げに関する積の原理から導くことができる。
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以下の奇数の集合)
このとき、テンプレート:Abs = 4, テンプレート:Abs = 2, A × B = {(0,1), (0,3), (1,1), (1,3), (2,1), (2,3), (3,1), (3,3)} であって、実際に テンプレート:Abs = 8 = 4 × 2 = テンプレート:Abs⋅テンプレート:Abs であることが確認できる。
同様にして
- テンプレート:Abs = テンプレート:Abs⋅テンプレート:Abs⋅テンプレート:Abs, テンプレート:Abs = テンプレート:Abs⋅テンプレート:Abs⋅テンプレート:Abs⋅テンプレート:Abs, …
- 濃度の積の意味で テンプレート:Abs = ∏テンプレート:Abs
が成り立つ。特にデカルト冪について、
- 任意の自然数 n に対して テンプレート:Abs = テンプレート:Absテンプレート:Exp
が言え、あるいは一般に
が濃度の冪の意味で成り立つ。
普遍性
直積は次のような普遍性を持つものとして特徴付けることができる:
- 直積の普遍性
- 任意の集合 Y と任意の写像の族 (fi: Y → Xi)i∈I が与えられたとき、写像 f: B → X テンプレート:Coloneqq ∏テンプレート:Su Xi で fi = πi ∘ f を満たすものがただ一つ存在する。
圏論の言葉で言えば、集合の直積は集合の圏における積(圏論的直積)である。
写像の直積
ふたつの写像 f: A → X, g: B → Y が与えられたとき、直積集合 A × B から直積集合 X × Y への写像を
- [math](f\times g)(a,b) := (f(a),\,g(b))\quad (a\in A,\,b\in B)[/math]
で定義することができる。この f × g を写像 f, g の直積と呼ぶ。任意の有限あるいは無限個の写像の直積も同様に定義できる。
f × g が全射 (resp. 単射) であるための必要十分条件は f, g がともに全射 (resp. 単射) となることである。一般に、写像の族 (fλ: Aλ → Xλ) の直積 f = ∏fλ が全射 (resp. 単射) であるための必要十分条件は、任意の (fλ が全射 (resp. 単射) となることである。[8]
集合の圏 テンプレート:Mathbf における圏論的積の例として、固定された添字集合 I で添字付けられる任意の集合の族 Xi に対してそれらの直積 ∏ Xi を対応させ、さらにそのような集合の族の間の写像の族 fi: Xi → Yi に対してそれらの直積 ∏ fi を対応させるならば、そのような対応は SetI → Set なる形の函手(I-型の直積函手)を定める。
多変数の写像
多変数の写像 f(x1, …, xn) は直積集合上の写像 f((xi)i∈I) として理解できる。
二項演算あるいは一般に多項演算は多変数の写像として定式化できる。
二変数の写像 f: A × B → X の一変数化 gb(a) テンプレート:Coloneqq f(a, b) (a ∈ A, b ∈ B) は集合の圏における等式 XA×B = (XA)B を与える。これにより、集合の直積は配置集合をとる操作の左随伴となる。
関連項目
注
注釈
- ↑ 1.0 1.1 添字集合 Λ が空集合の場合、圏論においては任意の一元集合 テンプレート:Mathbf が集合の圏の零対象として(同型を除いて)唯一存在するから、∏∅X = 1 (X は任意) とすることで空積に意味を持たせることができる(点付き集合の圏で基点 ∗ を固定するならば、より強く(English版) 1 = {∗} ととれる)。また、集合論においては標準的に 0 = ∅, 1 = {∅} ととれるから、その意味において Xテンプレート:Exp = 1 と置くことは Map(∅, X) = {∅}(右辺はすなわち空写像)と考えることにより、ここでの定義と矛盾しない(集合をその冪集合によって同定し部分集合の意味で基点 ∅ が付随すると考えるならば、点付き集合としての話とみることもできる)。
出典
参考文献
- 松坂和夫 『集合・位相入門』 岩波書店、1968年。ISBN 4-00-005424-4。
外部リンク
- Cartesian product - PlanetMath.(英語)
- Weisstein, Eric W. “Cartesian Product”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}