全単射

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

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

定義

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

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

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

ファイル:Total function.svg 全射でも単射でもない	ファイル:Injection.svg 単射であり全射でない
ファイル:Surjection.svg 全射であり単射でない	ファイル:Bijection.svg 全単射

性質

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

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

関連項目

• 全射
• 単射