射影 (集合論)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/01/18 00:35 UTC 版)
数学の集合論における射影(しゃえい、英: projection)あるいは射影写像、特に標準射影は順序組に対してその一つの成分を対応させる写像である[1]。より一般に射影は、集合の添え字付けられた任意の族の直積(デカルト積)上で定義された、元の族から特定の添字をもつ成分を選び出す写像を言う。選択公理を仮定すれば、空でない集合からなる任意の族に関して、射影は必ず全射になる。
- ^ Halmos 1960, p. 32.
- ^ Halmos 1960, p. 36.
- ^ Fischer 2008, p. 38.
- ^ Halmos 1960.
- ^ Wengenroth 2008, p. 14.
- ^ Willard 2012, p. 52.
- ^ Kusolitsch 2014, p. 6.
- ^ Wengenroth 2008.
- 1 射影 (集合論)とは
- 2 射影 (集合論)の概要
- 3 性質
- 4 応用
- 5 関連項目
「射影 (集合論)」の例文・使い方・用例・文例
- 射影 (集合論)のページへのリンク