単射
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/28 20:50 UTC 版)
数学において、単射(たんしゃ、英: injection, injective mapping)とは、相異なる元の値が相異なる写像のことをいう。一対一写像(いったいいちしゃぞう、英: one-to-one mapping)ということもある(紛らわしいが、これは全単射を意味する一対一対応とは異なる)。
- ^ Bourbaki 2004, Definition 10.
- ^ 後者から前者は直観主義論理においても導くことができるが、前者から後者を導くには背理法(もしくは排中律や二重否定除去など)を必要とする。
- ^ Bourbaki 2004, Examples (1).
- ^ a b Bourbaki 2004, Theorem 1
- ^ Bourbaki 2004, Proposition 8.
Weblioに収録されているすべての辞書から単射を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から単射 を検索
- >> 「単射」を含む用語の索引
- 単射のページへのリンク