配置集合

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

数学集合論における配置集合[1](はいちしゅうごう、: Belegungsmenge)あるいは集合の冪(べき、: exponentiation ensembliste[2]は、二つの集合 E, F に対する演算で、E から F への写像全体の集合[1]を割り当てるものである。この集合は ℱ(E, F)[1]FE などと書かれる[3]。これはまた、E で添字付けられた Fの全体

とも一致する[4]

[編集]

  • 数列全体の成す集合を表す(数列空間も参照)。
  • 任意のでない集合 E に対し、E から空集合 への写像は存在しない(E の元のとなるべき元の存在は、 がもともと元を持たないから、満たされることがない)。すなわち、E = ∅ (E ≠ ∅) が成り立つ。
  • 任意の集合 F に対して、空集合から F への写像はただ一つ存在する(空写像、すなわち空なグラフを持つ写像)。従って、配置集合 F = {∅}一元集合である。

濃度[編集]

E および F有限集合とし、集合 E位数|E| のように書くとき、配置集合の濃度に関して

が成り立つことが示せる(重複順列の項を参照)。

E または F が無限集合のとき、上記の等式は濃度の冪の定義として用いられる。このとき、FE の濃度が E および F の濃度のみで決まる(つまり、濃度が同じならばそのような集合の取り方に依存しない)ことが示せる。

歴史[編集]

このような目的でこの構成を導入したのはゲオルク・カントールである[5]。カントールが "Belegungドイツ語版"(配置)と呼んだ、N の元の M の元による被覆[注釈 1]: "covering"[6], : « recouvrement »)は、「N の各元 nM の定まった元を割り当てる規則であって、M の元は繰り返し用いてよい[5][6]」というもので、これは今日われわれが N から M への写像と呼んでいるものである。そのような写像(被覆写像)f を明示して N の被覆を f(N) と書けば、NM による相異なる被覆の全体が f(N) の元を与える。これを「NM による被覆集合」と呼び、(N|M) であらわす。すなわち、(N|M) = {f(N)}[5][6]

[編集]

注釈[編集]

  1. ^ 集合の被覆と混同してはならない。

出典[編集]

  1. ^ a b c ブルバキ 1968, p. 10, §2, 2.
  2. ^ ブルバキ 1968, p. 28, §4, 9—「[訳注] 原文では,配置集合を作ることを «巾(=累乗,exponentiation)» とよんでいるが,わが国の慣行では,部分集合の全体 𝔓(E) のことを «巾集合(英 power-set,独 Potenzmenge)» とよび,Belegungsmenge というドイツ語からの訳語 «配置集合» を EI にあてる習慣があるので,ここでもそれにしたがった.」
  3. ^ Halmos 1960.
  4. ^ ブルバキ 1968, p. 28, §4, 9..
  5. ^ a b c Cantor (1895), Contributions au fondement de la théorie des ensembles transfinis, traduit et commenté sur Bibnum, http://www.bibnum.education.fr/math%C3%A9matiques/th%C3%A9orie-des-nombres/contributions-au-fondement-de-la-th%C3%A9orie-des-ensembles-transfinis  § 4.
  6. ^ a b c Dauben, Joseph Warren (1990), Georg Cantor: His Mathematics and Philosophy of the Infinite, Princeton University Press, p. 174 

参考文献[編集]

  • ブルバキ,ニコラ; 前原昭二訳 『集合論 要約』 東京書籍〈数学原論〉、1968年 
  • *Halmos, Paul, Naive Set Theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-131-4 (Paperback edition).

関連項目[編集]

外部リンク[編集]