数学の集合論における配置集合[1](はいちしゅうごう、独: Belegungsmenge)あるいは集合の冪(べき、仏: exponentiation ensembliste)[注釈 1]は、二つの集合 E, F に対する演算で、E から F への写像全体の集合[1]を割り当てるものである。この集合は ?(E, F)[1] や FE などと書かれる[2]。これはまた、E で添字付けられた F の元の族の全体 F E = ∏ e ∈ E F = { ( x e ) e ∈ E ∣ x e ∈ F } {\displaystyle F^{E}=\prod _{e\in E}F=\{(x_{e})_{e\in E}\mid x_{e}\in F\}} とも一致する[3]。 E および F は有限集合とし、集合 E の位数を |E| のように書くとき、配置集合の濃度に関して 。 F E 。 = 。 F 。 。 E 。 {\displaystyle {\mathopen {|}}F^{E}{\mathclose {|}}={\mathopen {|}}F{\mathclose {|}}^{{\mathopen {|}}E{\mathclose {|}}}} が成り立つことが示せる(重複順列の項を参照)。 E または F が無限集合のとき、上記の等式は濃度の冪の定義として用いられる。このとき、FE の濃度が E および F の濃度のみで決まる(つまり、濃度が同じならばそのような集合の取り方に依存しない)ことが示せる。 こんにち配置集合と呼ばれる構成を導入したのはゲオルク・カントールである[4]。カントールが "Belegung
例
?? は実数列全体の成す集合を表す(数列空間も参照)。
任意の空でない集合 E に対し、E から空集合 ? への写像は存在しない(E の元の像となるべき元の存在は、? がもともと元を持たないから、満たされることがない)。すなわち、?E = ? (E ≠ ?) が成り立つ。
任意の集合 F に対して、空集合から F への写像はただ一つ存在する(空写像、すなわち空なグラフを持つ写像)。従って、配置集合 F? = {?} は一元集合である。
濃度
歴史
注[脚注の使い方]
注釈^ ブルバキ (1968, p. 28, §4, 9 [訳注])「原文では,配置集合を作ることを ≪巾(=累乗,exponentiation)≫ とよんでいるが,わが国の慣行では,部分集合の全体 ?(E) のことを ≪巾集合(英 power-set,独 Potenzmenge)≫ とよび,Belegungsmenge というドイツ語からの訳語 ≪配置集合≫ を EI にあてる習慣があるので,ここでもそれにしたがった.」
^ 直訳すれば「割り当て」(assignment