WordNet

used of relations such that each member of one set is associated with one member of a second set

PrepTutorEJDIC

一対一の / (数学で)一致する,対応する

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2015/07/04 22:55:19」(JST)

wiki ja

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

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

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

定義

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

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

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

が全単射であることは、

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

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

性質

全単射は逆写像を持つ。実際、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 が存在してとなることは同値である。
2つの写像 f : A → B, g : B → C の合成写像が全単射ならば f は単射で、g は全射である。
2つの全単射が合成できるならば、その合成写像も全単射である。
- 集合 X 上の全単射全体の成す集合を S_X とすると、S_X は写像の合成に関して群を成す。これを X 上の置換群あるいは対称群と呼ぶ。
集合全体のつくるクラス（類）において、「2つの集合の間に全単射が存在する」という関係は同値関係を定める。この同値関係により集合全体の成すクラスを類別して濃度の概念が定義される。すなわち、集合間で全単射が定義可能な場合、それらの集合は基数が等しい。
X , Y が同数の元を持つ有限集合の場合、写像 f: X → Y について、以下は同値である。