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

数学において、全単射（ぜんたんしゃ）あるいは双射（そうしゃ）(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が挙げられる。

全単射であることを1対1上への写像[上への1対1写像] (one-to-one onto mapping)あるいは1対1対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。

写像 f が全単射のとき、f は可逆であるともいう。

定義

写像 f: A → B に対し、2つの条件

1. 全射性: f(A) = B
2. 単射性: 任意の A の元 a₁, a₂ について、f(a₁) = f(a₂) ならば a₁ = a₂

がともに成り立つとき、写像 f は全単射 (bijective) であるという。この用語はブルバキによる。

f: A → B が全単射であることは、

${\displaystyle \forall \ b\in B,\,\exists \$ !\ a\in A{\text{ s.t. }}b=f(a)}

が成り立つことと等価である。実際、全射と単射の定義を合わせれば、全射の定義における存在記号 ${\displaystyle \exists }$ を唯一存在記号 ${\displaystyle \exists \$ !} に置き換えればよいことがすぐに分かる。

全射でも単射でもない	単射であり全射でない
全射であり単射でない	全単射

例

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

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

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

性質

• 全単射は逆写像を持つ。実際、f: A → B が全単射であれば、B の任意の元 b に対し、f の全射性から f(a) = b となる a が存在するが、f の単射性からこのような a は b に対してただ一つしかないので、写像 g: B → A; f(a) ↦ a が作れる。逆に、逆写像を持つ写像は全単射に限るので、写像が全単射であることと逆写像を持つことは同値である。言い換えると、f: A → B が全単射であることと、g: B → A が存在して ${\displaystyle g\circ f=\mathrm {id} _{A}}$ かつ ${\displaystyle f\circ g=\mathrm {id} _{B}}$ となることは同値である。
• 2つの写像 f: A → B, g: B → C の合成写像 ${\displaystyle g\circ f\colon A\to C}$ が全単射ならば f は単射で、g は全射である。
• 2つの全単射が合成できるならば、その合成写像も全単射である。
  • 集合 X 上の全単射全体の成す集合を S_X とすると、S_X は写像の合成に関して群を成す。これを X 上の置換群あるいは対称群と呼ぶ。
• 集合全体のつくるクラス（類）において、「2つの集合の間に全単射が存在する」 という関係は同値関係を定める。この同値関係により集合全体の成すクラスを類別して濃度の概念が定義される。すなわち、集合間で全単射が定義可能な場合、それらの集合は基数が等しい。
• X, Y が同数の元を持つ有限集合の場合、写像 f: X → Y について、以下は同値である:

1. f は全単射である。
2. f は全射である。
3. f は単射である。

関連項目

• 全射
• 単射
• 関数 (数学)
• MECE

表 話 編 歴 集合論
基本	集合 元 包含関係 内包と外延 クラス ベン図
演算	和集合 非交和 共通部分 素集合 直積集合 分割 補集合 差集合 対称差 冪集合 ド・モルガンの法則 集合の代数学
関係	性質 反射関係 推移関係 推移閉包 対称関係 非対称関係 反対称関係 完全関係 同値関係 同値類 well-defined 整礎関係 逆関係 関係の合成 写像 定義域 終域 値域 単射 全射 全単射 逆写像 像と逆像 恒等写像 制限 包含写像 合成 射影 商写像 指示関数 配置集合 族 添字集合 順序対 順序組 列 集合族 グラフ 部分写像 対応 順序 前順序 有向 半順序 全順序 整列 稠密 有界 単調写像 順序同型 辞書式順序 順序型 推移的集合 順序数 0 後続 極限 自然数 ハッセ図 超限帰納法 ツォルンの補題 整列可能定理 整礎的集合 フォン・ノイマン宇宙
濃度	有限集合 空集合 単集合 遺伝的 可算集合 非可算集合 連続体濃度 始順序数 共終数 基数 正則 到達不能 巨大 一覧 ベルンシュタインの定理 カントールの対角線論法 カントールの定理 連続体仮説
公理化	素朴集合論 ラッセルのパラドックス 公理的集合論 ツェルメロ＝フレンケル集合論 フォン・ノイマン＝ベルナイス＝ゲーデル集合論 モース-ケリー集合論 新基礎集合論 外延性の公理 空集合の公理 分出公理 対の公理 和集合の公理 冪集合公理 置換公理 無限公理 正則性公理 選択公理 可算 従属
研究者	ゲオルク・カントール リヒャルト・デーデキント バートランド・ラッセル エルンスト・ツェルメロ アドルフ・フレンケル ジョン・フォン・ノイマン クルト・ゲーデル ポール・コーエン
カテゴリ