bijectionとは？ わかりやすく解説

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "全単射" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2025年11月)

数学において、全単射（英: bijection、または双射）とは、二つの集合間の関数であり、第二の集合（終域）の各要素が、第一の集合（定義域）のちょうど一つの要素の像となるものである。同様に、全単射とは二つの集合間の関係であり、いずれかの集合の各要素が、他方の集合のちょうど一つの要素と対になるものである。

関数が全単射であるとは、その関数が**逆関数**を持つことを意味する。すなわち、関数 ${\displaystyle f:X\to Y}$
全射でも単射でもない
単射であり全射でない
全射であり単射でない
全単射

• f: R → (0, ∞); f(x) := e^x は全単射である。

• f: (0, ∞) → R; f(x) := log x は全単射である。

• f: (−π/2, π/2) → R; f(x) := tan x は全単射である。

• 冪集合 ${\displaystyle {\mathcal {P}}(\mathbb {N} )}$ カテゴリ