全射
数学において、写像が全射的（ぜんしゃてき、テンプレート:Lang-en-short）であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 X から集合 Y への写像 f について、Y の各元 y に対し f(x) = y となるような X の元 x が（一般には複数あってもよいが）対応させられるとき、写像 f は全射 (surjection, onto mapping/function) であるという。全写（あるいは全写像）とも書く。
全射（および単射、双射）の語は20世紀フランスの数学結社ブルバキ（1935年以降『数学原論』シリーズを刊行している）により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。
目次
定義
写像 f: A → B について、f の値域 f(A) :={f(a) | a ∈ A } が終域（余域）B と一致する（つまり f(A) = B が成り立つ）ならば、写像 f: A → B は 全射 (surjection) であるという。f は余域 B への全射的 (surjective) な写像である、B の上への (onto) 写像であるなどともいう[1]。記号で書けば、f: A → B が全射であるとは
- <math>\forall b\in B,\,\exists a\in A \text{ such that }f(a)=b</math>
を満足することである。このとき、しばしば鏃が二つの矢印を使って
- <math>f\colon A \twoheadrightarrow B</math>
と表す。
- Surjection.svg
全射であり単射でない
- Injection.svg
単射であり全射でない
- Bijection.svg
全単射
- Total function.svg
全射でも単射でもない
例
実数 x に対し、その自乗 x2 を対応させる非負実数値写像 f: R → R+; x → x2 は全射である。ただし R+ で非負実数全体の集合を表している。実際、x ≥ 0 に対し、その非負平方根 √x をとれば、f(√x) = x とすることができる（負の平方根 −√x をとっても構わない）。終域を変更して、単に実関数 f: R → R; x → x2 と考えたのでは全射にはならない。自乗して負になる実数は存在しないからである。
性質
写像が双射となるのは、それが単射かつ全射となることと同値である。
函数を（よくやるように）そのグラフと同一視して考えるとき、単射性とは異なり、全射性を函数のグラフのみから読み取ることはできない。全射性は函数自体の性質というよりは函数と余域との関係性と見るべきものである。
右可逆性
写像 テンプレート:Nowrap が写像 テンプレート:Nowrap の右逆写像であるとは、テンプレート:Nowrap beginf(g(y)) = yテンプレート:Nowrap end（つまり g の効果が f によって打ち消される）が Y の各元 y で成り立つときに言う。言葉を変えれば、g と f とのこの順番での合成 f ∘ g が g の定義域 Y 上の恒等写像 idY となるとき、g が f の右逆であるという。逆順の f ∘ g が f の定義域 X 上の恒等写像でないかもしれないから、写像 g は必ずしも f の（完全）逆写像であるわけではない。即ち、f は g を打ち消すが、逆は必ずしも成り立たない。
右逆を持つ任意の写像は全射であるが、「任意の全射が右逆写像を持つ」という命題は選択公理に同値である。
テンプレート:Nowrap が全射で B が Y の部分集合であるとき、テンプレート:Nowrap beginf(f −1(B)) = Bテンプレート:Nowrap end が成り立つ。つまり B はその原像 テンプレート:Nowrap から回復される。
全型射との関係
写像 f: X → Y が全射となる必要十分条件は、それが右消約的であること[2]、即ち「与えられた写像 g,h: Y → Z が g ∘ f = h ∘ f を満たす限り常に g = h が言えること」である。この性質は、写像とその合成によって定式化されているから、より一般に圏における射 (morphism) とその合成についての性質に一般化できる。即ち、右消約的な射はエピ射あるいは全型射（圏論的全射）であるという。写像が（集合論的）全射 (surjection) ならば、それはちょうど集合の圏における全型射 (epimorphism) になっている。接頭辞の ἐπί はギリシャ語で「上の」を意味する言葉である。
右逆型射をもつ任意の射は全型射であるが、逆は一般には正しくない。射 f の右逆 g は f に対する切断と呼ばれ、右逆を持つ射は分裂型であるという。
二項関係としての全射
域 X および余域 Y を持つ任意の写像は（そのグラフと同一視することにより）、X と Y との間の左全域的かつ右一意な二項関係と見ることができる。従って、域 X, 余域 Y をもつ全射は、X と Y との間の左全域的、右一意かつ右全域的な二項関係ということになる。
全射の始域の濃度
全射の始域の濃度は、余域の濃度以上である。つまり f: X → Y が全射ならば、X は少なくとも Y の元の（濃度の意味での）個数と等しい数の元を含む。ただし、このことの証明には、Y の任意の元 y に対して f(g(y)) = y を満たす写像 テンプレート:Nowrap の存在を言うために選択公理が必要になる。g が単射であることを見るのは容易であるから、定義により |Y| ≤ |X| が得られる。
特に、X と Y が同じ数の元を持つ有限集合であるときには、テンプレート:Nowrap が全射であることと f が単射であることとが同値になる。
合成と分解
全射同士の合成は常に全射である。即ち、f および g がともに全射で、g の余域が f の定義域と等しいとき、合成写像 f ∘ g は全射になる。逆に、合成 f ∘ g が全射ならば f は全射（だが先に施すほうの g は必ずしも全射でなくてよい）。この性質は、集合の圏における全射から任意の圏における任意の全射に一般化される。
任意の写像は、全射と単射との合成の形に分解することができる。即ち、テンプレート:Nowrap を任意の写像とすれば、全射 テンプレート:Nowrap と単射 テンプレート:Nowrap で h = g ∘ f を満たすものが存在する。これを見るには、集合 Y を各 z ∈ Z に対する集合 テンプレート:Nowrap 全体の成す集合族として定めればよい。Y の元であるこれらの集合は互いに交わりを持たず、X の分割を与える。このとき、f として各元 x ∈ X を x を含む Y の元へ写す写像
- <math>f\colon X\to Y;\; x \mapsto \{x'\in X\mid h(x')=h(x)\}</math>
をとり、g として Y の各元を（各元は集合なのでそれ自身が元を持つが）その元が h によって写されるところの Z の元へ写す写像
- <math>g\colon Y\to Z;\; h^{-1}(z) \mapsto z</math>
とすれば、f は射影ゆえ全射で、g は作り方から単射となり、h = g ∘ f が成り立つ。
誘導された全射・双射
任意の写像はその終域を値域にまで制限することにより全射を誘導し、任意の全射は同じ決まった値に写るような定義域の元を同一視して潰すような商集合の上の全単射を誘導する。きちんと述べれば、任意の全射 テンプレート:Nowrap は以下に述べるように全単射と射影の合成に分解される。A/~ を
- x ~ y ⇔ f(x) = f(y)
で定められる同値関係による A の同値類全体の成す集合とする。A/~ を f による原像全体の成す集合とするといっても同じことである。写像 P~: A ↠ A/~ を A の各元 x をその同値類 [x]~ へ写す射影とし、fP: A/~ → B を
- <math>f_P([x]_{\sim}) := f(x)</math>
で与えられるよく定義された写像とすればこれは全単射で、f = fP ∘ P~ が成り立つ。
注釈
- ↑ 全射の代わりに「上への」という言葉を用いる文献では、単射の代わりに「一対一」(one-to-one) という言葉が使われるが、後者は全単射を表す「一対一対応 (one-to-one correspondence)」とまぎらわしい。 容易に類推されるように「中への」(into) という言葉が全射でない写像を表すのに用いられる場合が稀にある（例えば、テンプレート:Harvtxt,テンプレート:Harvtxt）。体の準同型（これは常に単射）が全射（従って同型）でないとき、「中への同型」と呼ぶことはよくある。
- ↑ テンプレート:Cite book
