全射性
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/01/18 00:35 UTC 版)
添字集合 I に対し各集合 Xi が空でないとき、射影は全射であり、したがって π J ( X I ) = X J {\displaystyle \pi _{J}(X_{I})=X_{J}} を満たす。しかし、空でない集合からなる任意の集合族のデカルト積が空でないことを保証するには選択公理が必要である。実は上に挙げた主張が成り立つのは選択公理と同値である。したがって選択公理の仮定の下、空でない集合からなる任意の集合族に対して、任意の射影は必ず全射である。
※この「全射性」の解説は、「射影 (集合論)」の解説の一部です。
「全射性」を含む「射影 (集合論)」の記事については、「射影 (集合論)」の概要を参照ください。
ウィキペディア小見出し辞書の「全射性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
このページでは「ウィキペディア小見出し辞書」から全射性を検索した結果を表示しています。
Weblioに収録されているすべての辞書から全射性を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から全射性
を検索
Weblioに収録されているすべての辞書から全射性を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から全射性
を検索
- 全射性のページへのリンク
