数学集合論における射影(しゃえい、: projection)あるいは射影写像、特に標準射影順序組に対してその一つの成分を対応させる写像である[1]。より一般に射影は、集合添え字付けられた任意の直積(デカルト積)上で定義された、の族から特定の添字をもつ成分を選び出す写像を言う。選択公理を仮定すれば、でない集合からなる任意の族に関して、射影は必ず全射になる。

射影は、集合論位相空間論測度論ドイツ語版など様々な分野において、あるいはまた、リレーショナルデータベースにおける演算としても用いられる。場合により、座標函数 (co­ordinate function) や 評価写像 (evaluation map) などと呼ばれることもある。

定義

編集

任意の添字集合 I を持つ集合族 (Xi)iI に対し、それらのデカルト積 XI ≔ ∏
iI
Xi
を考える。いま JII部分集合とすれば、J 上の射影 πJ とは、写像

 

を言う。すなわち、射影 πJ によって元の族 (xiXi)iI は、添字集合 J で添字付けられた元の族となる。添字集合が一元集合 J = {j} であるときには、射影 πJ は簡単に πj とも書かれる[2]

順序対の成分

編集

添字集合がちょうど二つの元からなるとき、それを I = {1, 2} とすれば、考えるデカルト積は XI = X1 × X2 で、これは二つの集合 X1, X2 の元の順序対全体の成す集合である。このとき、順序対 (x1, x2) の第一および第二成分への射影が

 

および

 

によって与えられる。例えば (x, yR2ユークリッド平面上のデカルト座標の場合には、射影 π1 および π2 はそれぞれ、この点の x-座標および y-座標を与えるものである。これら射影は形式的には、二つある各座標への正射影英語版ドイツ語版(すなわち (x, y) ↦ (x, 0) および (x, y) ↦ (0, y) で与えられる写像 R2R2)とは異なる。

成分への標準射影

編集

添字集合が n 個の元からなる I = {1, …, n} であるとき、デカルト積 XI = X1 × ⋯ × Xn は、i-番目の成分が xiXi となっているような n-の集合である。第 j-成分への標準射影 πj は写像

 

として与えられ、この値は j-番目の成分のみからなる一元集合としての順序組である[3]。任意の順序組 TXIT = (π1(T), …, πn(T)) と書くことができる。

評価写像

編集

任意の直積因子 Xi がすべて同じ集合 X であるとき、デカルト積 XI = XI は集合 f: IX 全体の成す集合である。この場合の射影 πj は写像

 ,

で、これは各写像に対して引数 j に対するその写像の値を割り当てるものになっている。ゆえにこの写像は評価写像とも呼ばれる[4][5]

性質

編集

全射性

編集

添字集合 I に対し各集合 Xiでないとき、射影は全射であり、したがって

 

を満たす。しかし、空でない集合からなる任意の集合族のデカルト積が空でないことを保証するには選択公理が必要である。実は上に挙げた主張が成り立つのは選択公理と同値である。したがって選択公理の仮定の下、空でない集合からなる任意の集合族に対して、任意の射影は必ず全射である[6]

逆像

編集

JI が添字集合 I の真の部分集合で、WXJ を射影 πJ終域の部分集合とするとき、W の逆像は

 

と書くことができる。従って集合 π −1
J
 
(W)
円筒集合ドイツ語版でもある[7]

応用

編集

位相空間論

編集

各添字 iI に対する集合 Xi位相空間であるとき、デカルト積 XI 上の積位相は全ての射影 πj連続にする最も弱い位相英語版開集合が最も少ない位相)をいう。このとき、UjXj の開集合であるときの円筒集合 π −1
j
 
(Uj)
全体の成す集合が、積空間 XI準開基英語版を成す。積空間を以下のような圏論的直積普遍性によって特徴づけることもできる:

積位相空間の普遍性
任意の位相空間 Y と連続写像の族 fj: YXj (jI) の組が与えられれば、一意的な連続写像 f: YXI が存在して πjf = fj が任意の j に対して成立する。

逆に、与えられた写像 f: YXI が連続ならば、任意の射影 πjf は連続である。連続性に加えて、任意の射影 πjXIXj開写像、すなわち積空間 XI の各開部分集合 WXI の射影像が Xj の開集合となる。ただし、逆は成り立たない: すなわち積空間の部分集合 WXI の射影 πj: WXj がすべて開でも、WXI において開とは限らない。射影 πj: XIXj は一般には完備でもない。

測度論

編集

可測空間の族 i, 𝒜i) (iI) に対し、直積 σ-集合体ドイツ語版

 

は、デカルト積 ΩI 上の、Ωi への射影をすべて可測にする最小の σ-集合体である。この直積 σ-集合体は、任意の有限添字集合 J に対する円筒集合族が生成するものとして定めることもできる。測度論および確率統計論ドイツ語版において、直積 σ-集合体は測度空間直積および確率空間の直積を定める基礎を与える[8]

計算機科学

編集

射影はリレーショナルデータベース演算としても用いられる。R関係{A1, …, Ak}属性の部分集合とすれば、射影の結果

 

は特定の属性のリストにある属性に制約した新たな関係となる。得られた新しい関係では重複するエントリーは除かれている。

関連項目

編集

参考文献

編集
  • Halmos, P. R. (1960) (英語), Naive Set Theory, Undergraduate Texts in Mathematics, Springer, ISBN 9780387900926 
  • Gerd Fischer (2008), Lineare Algebra: eine Einführung für Studienanfänger (German), Springer, ISBN 3-834-89574-1
  • Norbert Kusolitsch (2014), Maß- und Wahrscheinlichkeitstheorie (German), Springer, ISBN 978-3-642-45387-8
  • Jochen Wengenroth (2008), Wahrscheinlichkeitstheorie (German), de Gruyter, ISBN 978-3-110-20359-2
  • Stephen Willard (2012), General Topology (English), Courier Dover Publications, ISBN 978-0-486-13178-8