射影 (集合論)のソースを表示

{{about|集合論的直積に付随する写像|圏論的直積の場合|積 (圏論)|同値関係の標準写像|商写像}}
[[数学]]の[[集合論]]における'''射影'''（しゃえい、{{Lang-en-short|projection}}）あるいは'''射影写像'''、特に'''標準射影'''は[[タプル|順序組]]に対してその一つの成分を対応させる[[写像]]である{{sfn|Halmos|1960|p= [{{google books |id= x6cZBQ9qtgoC |page=32 |text=projection |plainurl=1}} 32]}}。より一般に'''射影'''は、[[集合]]の[[添字集合|添え字付けられた]]任意の[[族 (数学)|族]]の[[集合の直積|直積]]（デカルト積）上で定義された、[[元 (数学)|元]]の族から特定の[[添字記法|添字]]をもつ成分を選び出す写像を言う。[[選択公理]]を仮定すれば、[[空集合|空]]でない集合からなる任意の族に関して、射影は必ず[[全射]]になる。

射影は、[[集合論]]、[[位相空間論]]、{{仮リンク|測度論|de|Maßtheorie|preserve=1}}など様々な分野において、あるいはまた、[[リレーショナルデータベース]]における[[演算 (数学)|演算]]としても用いられる。場合により、'''座標函数''' ({{en|''co&shy;ordinate function''}}) や '''評価写像''' ({{en|evaluation map'')}} などと呼ばれることもある。

== 定義 ==
任意の[[添字集合]] {{mvar|I}} を持つ集合族 {{math|(''X{{sub|i}}''){{sub|''i''∈''I''}}}} に対し、それらの[[デカルト積]] {{math|''X{{sub|I}}'' {{coloneqq}} &prod;{{su|b=''i''∈''I''}} ''X{{sub|i}}''}} を考える。いま {{math|''J'' &sub; ''I''}} を {{mvar|I}} の[[部分集合]]とすれば、{{mvar|J}} 上の'''射影''' {{mvar|π{{sub|J}}}} とは、[[写像]]
: <math>\pi_J \colon X_I \to X_J, \quad (x_i)_{i \in I} \mapsto (x_j)_{j \in J}</math>
を言う。すなわち、射影 {{mvar|π{{sub|J}}}} によって元の族 {{math|(''x{{sub|i}}'' ∈ ''X{{sub|i}}''){{sub|''i''∈''I''}}}} は、添字集合 {{mvar|J}} で添字付けられた元の族となる。添字集合が[[一元集合]] {{math|1=''J'' = {{mset|''j''}}}} であるときには、射影 {{mvar|π{{sub|J}}}} は簡単に {{mvar|π{{sub|j}}}} とも書かれる{{sfn|Halmos|1960|p=36}}。

== 例 ==
=== 順序対の成分 ===
添字集合がちょうど二つの元からなるとき、それを {{math|1=I = {{mset|1, 2}}}} とすれば、考えるデカルト積は {{math|1=''X{{sub|I}}'' = ''X''{{sub|1}} × ''X''{{sub|2}}}} で、これは二つの集合 {{math|''X''{{sub|1}}, ''X''{{sub|2}}}} の元の[[順序対]]全体の成す集合である。このとき、順序対 {{math|(''x''{{sub|1}}, ''x''{{sub|2}})}} の第一および第二成分への射影が
: <math>\pi_1 \colon X_1 \times X_2 \to X_1, \quad (x_1,x_2) \mapsto x_1</math>
および
: <math>\pi_2 \colon X_1 \times X_2 \to X_2, \quad (x_1,x_2) \mapsto x_2</math>
によって与えられる。例えば {{math|(''x'', ''y'' ∈ '''R'''{{sup|2}}}} が[[ユークリッド平面]]上の[[点 (数学)|点]]の[[直交座標系|デカルト座標]]の場合には、射影 {{math|''π''{{sub|1}}}} および {{math|''π''{{sub|2}}}} はそれぞれ、この点の {{mvar|x}}-座標および {{mvar|y}}-座標を与えるものである。これら射影は形式的には、二つある各座標への{{仮リンク|正射影|en|Orthographic projection|de|Orthogonalprojektion}}（すなわち {{math|(''x'', ''y'') {{mapsto}} (''x'', 0)}} および {{math|(''x'', ''y'') {{mapsto}} (0, ''y'')}} で与えられる写像 {{math|'''R'''{{sup|2}} → '''R'''{{sup|2}}}}）とは異なる。

=== 成分への標準射影 ===
添字集合が {{mvar|n}} 個の元からなる {{math|1=''I'' = {{mset|1, …, ''n''}}}} であるとき、デカルト積 {{math|1=''X{{sub|I}}'' = ''X''{{sub|1}} × ⋯ × ''X{{sub|n}}''}} は、{{mvar|i}}-番目の成分が {{math|''x{{sub|i}}'' ∈ ''X{{sub|i}}''}} となっているような {{mvar|n}}-[[タプル|組]]の集合である。第 {{mvar|j}}-成分への標準射影 {{mvar|π{{sub|j}}}} は写像
: <math>\pi_j \colon X_1 \times \ldots \times X_n \to X_j;\; \quad (x_1, \ldots , x_n) \mapsto x_j</math>
として与えられ、この値は {{mvar|j}}-番目の成分のみからなる一元集合としての[[タプル|順序組]]である{{sfn|Fischer|2008|p=38}}。任意の順序組 {{math|''T'' ∈ ''X{{sub|I}}''}} は {{math|1=''T'' = (''π''{{sub|1}}(''T''), …, ''π{{sub|n}}''(''T''))}} と書くことができる。

=== 評価写像 ===
任意の直積因子 {{mvar|X{{sub|i}}}} がすべて同じ集合 {{mvar|X}} であるとき、デカルト積 {{math|1=''X{{sub|I}}'' = ''X{{sup|I}}''}} は集合 {{math|''f'': ''I'' → ''X''}} 全体の成す集合である。この場合の射影 {{mvar|π{{sub|j}}}} は写像
: <math>\pi_j \colon X^I \to X;\; f \mapsto \pi_j(f) = f(j)</math>,
で、これは各写像に対して引数 {{mvar|j}} に対するその写像の値を割り当てるものになっている。ゆえにこの写像は評価写像とも呼ばれる{{sfn|Halmos|1960}}{{sfn|Wengenroth|2008|p=14}}。

== 性質 ==
=== 全射性 ===
添字集合 {{mvar|I}} に対し各集合 {{mvar|X{{sub|i}}}} が[[空集合|空]]でないとき、射影は[[全射]]であり、したがって
: <math>\pi_J(X_I) = X_J</math>
を満たす。しかし、空でない集合からなる任意の集合族のデカルト積が空でないことを保証するには[[選択公理]]が必要である。実は上に挙げた主張が成り立つのは選択公理と同値である。したがって選択公理の仮定の下、空でない集合からなる任意の集合族に対して、任意の射影は必ず全射である{{sfn|Willard|2012|p=52}}。

=== 逆像 ===
{{math|''J'' &sub; ''I''}} が添字集合 {{mvar|I}} の真の部分集合で、{{math|''W'' &sub; ''X{{sub|J}}''}} を射影 {{mvar|π{{sub|J}}}} の[[終域]]の部分集合とするとき、{{mvar|W}} の逆像は
: <math>\pi_J^{-1}(W) = W \times X_{I \setminus J} = \{ (x_i)_{i\in I} \in X_I \mid (x_j)_{j\in J} \in W \}</math>
と書くことができる。従って集合 {{math|{{subsup|''π''|''J''|&minus;1}}(''W'')}} は{{仮リンク|円筒集合|de|Zylindermenge}}でもある{{sfn|Kusolitsch|2014|p=6}}。

== 応用 ==
=== 位相空間論 ===
各添字 {{math|''i'' ∈ ''I''}} に対する集合 {{mvar|X{{sub|i}}}} が[[位相空間]]であるとき、デカルト積 {{mvar|X{{sub|I}}}} 上の[[積位相]]は全ての射影 {{mvar|π{{sub|j}}}} を[[連続写像|連続]]にする{{仮リンク|位相の比較|en|Comparison of topologies|label=最も弱い位相}}（[[開集合]]が最も少ない位相）をいう。このとき、{{mvar|U{{sub|j}}}} が {{mvar|X{{sub|j}}}} の開集合であるときの円筒集合 {{math|{{subsup|''π''|''j''|&minus;1}}(''U{{sub|j}}'')}} 全体の成す集合が、積空間 {{mvar|X{{sub|I}}}} の{{仮リンク|準開基|en|Subbase|preserve=1}}を成す。積空間を以下のような[[積 (圏論)|圏論的直積]]の[[普遍性]]によって特徴づけることもできる:
; 積位相空間の普遍性
: 任意の位相空間 {{mvar|Y}} と連続写像の族 {{math|''f{{sub|j}}'': ''Y'' → ''X{{sub|j}}'' (''j'' ∈ ''I'')}} の組が与えられれば、一意的な連続写像 {{math|''f'': ''Y'' → ''X{{sub|I}}''}} が存在して {{math|1=''π{{sub|j}}'' ∘ ''f'' = ''f{{sub|j}}''}} が任意の {{mvar|j}} に対して成立する。

逆に、与えられた写像 {{math|''f'': ''Y'' → ''X{{sub|I}}''}} が連続ならば、任意の射影 {{math|''π{{sub|j}}'' ∘ ''f''}} は連続である。連続性に加えて、任意の射影 {{math|''π{{sub|j}}'' ∘ ''X{{sub|I}}'' → ''X{{sub|j}}''}} は[[開写像]]、すなわち積空間 {{mvar|X{{sub|I}}}} の各開部分集合 {{math|''W'' &sub; ''X{{sub|I}}''}} の射影像が {{mvar|X{{sub|j}}}} の開集合となる。ただし、逆は成り立たない: すなわち積空間の部分集合 {{math|''W'' &sub; ''X{{sub|I}}''}} の射影 {{math|''π{{sub|j}}'': ''W'' → ''X{{sub|j}}''}} がすべて開でも、{{mvar|W}} は {{mvar|X{{sub|I}}}} において開とは限らない。射影 {{math|''π{{sub|j}}'': ''X{{sub|I}}'' → ''X{{sub|j}}''}} は一般には完備でもない。

=== 測度論 ===
[[可測空間]]の族 {{math|(Ω{{sub|''i''}}, ''𝒜{{sub|i}}'') (''i'' ∈ ''I'')}} に対し、{{仮リンク|直積σ-代数|label=直積 {{mvar|σ}}-集合体|de|Produkt-σ-Algebra}}
: <math>\bigotimes_{i \in I} \mathcal{A}_i = \sigma \left( \left\{ \pi_j^{-1}(A_j) \mid A_j \in \mathcal {A}_j, j \in I \right\} \right) = \sigma \left( \bigcup_{j \in I}\pi_j^{-1}(\mathcal{A}_j) \right)</math>
は、デカルト積 {{math|Ω{{sub|''I''}}}} 上の、{{math|Ω{{sub|''i''}}}} への射影をすべて[[可測函数|可測]]にする最小の {{mvar|σ}}-集合体である。この直積 {{mvar|σ}}-集合体は、任意の有限添字集合 {{mvar|J}} に対する円筒集合族が生成するものとして定めることもできる。[[測度論]]および{{仮リンク|確率統計論|de|Stochastik}}において、直積 {{mvar|σ}}-集合体は[[測度空間]]の[[積測度|直積]]および[[確率空間]]の直積を定める基礎を与える{{sfn|Wengenroth|2008}}。

=== 計算機科学 ===
射影は[[リレーショナルデータベース]]の[[演算 (数学)|演算]]としても用いられる。{{mvar|R}} を[[関係 (データベース)|関係]]、{{math|{{mset|''A''{{sub|1}}, …, ''A{{sub|k}}''}}}} を[[属性 (データベース)|属性]]の部分集合とすれば、[[関係代数 (関係モデル)#射影|射影]]の結果
: <math>\Pi_{ A_1, \ldots , A_k }(R) = \{ T[A_1, \ldots , A_n] \mid T \in R \}</math>
は特定の属性のリストにある属性に制約した新たな関係となる。得られた新しい関係では重複するエントリーは除かれている。

== 関連項目 ==
* [[制限 (数学)]]
* [[包含写像]]
* [[商写像]]
* [[ファイバー束]]

== 注 ==
{{reflist}}
== 参考文献 ==
* {{citation |language=en|title= Naive Set Theory |series= [[Undergraduate Texts in Mathematics]] |first= P. R. |last= Halmos |publisher= Springer |year= 1960 |isbn= 9780387900926}}
* {{citation2|surname1=[[Gerd Fischer (Mathematiker)|Gerd Fischer]]|title=Lineare Algebra: eine Einführung für Studienanfänger|publisher=Springer|year=2008|isbn=3-834-89574-1|language=German
}}
* {{citation2|surname1=Norbert Kusolitsch|title=Maß- und Wahrscheinlichkeitstheorie|publisher=Springer|year=2014|isbn=978-3-642-45387-8|language=German
}}
* {{citation2|surname1=Jochen Wengenroth|title=Wahrscheinlichkeitstheorie|publisher=de Gruyter|year=2008|isbn=978-3-110-20359-2|language=German
}}
* {{citation2|surname1=Stephen Willard|title=General Topology|publisher=Courier Dover Publications|year=2012|isbn=978-0-486-13178-8|language=English
}}

{{DEFAULTSORT:しやえいしゆうこうろん}}
[[Category:集合の基本概念]]
[[category:写像]]
[[Category:数学に関する記事]]