全射とは？わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > デジタル大辞泉 > 全射の意味・解説

デジタル大辞泉

索引トップ用語の索引ランキング凡例

ぜん‐しゃ【全射】

読み方：ぜんしゃ

数学で、集合A・Bにおいて、Bのどの要素に対してもAの要素が対応する写像。

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

全射

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/29 14:52 UTC 版)

ナビゲーションに移動検索に移動

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2021年12月）

数学において、写像が全射的（ぜんしゃてき、英: surjective, onto）であるとは、その終域となる集合の元はどれもその写像の像として得られることを言う。即ち、集合 $X$ から集合 $Y$ への写像 $f$ について、 $Y$ の各元 $y$ に対し $f (x) = y$ となるような $X$ の元 $x$ が（一般には複数あってもよいが）対応させられるとき、写像 $f$ は全射 (surjection, onto mapping/function) であるという。全写（あるいは全写像）とも書く。

域 X（赤）から余域 Y（青+黄）への写像 f の模式図（余域 Y の内側の小さい楕円（黄）は f の値域）。これは一般には全射を表していない（一つも青に塗られる点がないときのみ全射）。

全射（および単射、双射）の語は20世紀フランスの数学結社ブルバキ（1935年以降『数学原論』シリーズを刊行している）により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。

定義

写像 $f : A \to B$ について、 $f$ の値域 $f (A) : = {f (a) | a \in A}$ が終域（余域） $B$ を含む（つまり $B \subseteq f (A)$ ）ならば、写像 $f : A \to B$ は全射 (surjection) であるという。 $f$ は余域 $B$ への全射的 (surjective) な写像である、 $B$ の上への (onto) 写像であるなどともいう^{[注釈 1]}。記号で書けば、 $f : A \to B$ が全射であるとは $\forall b \in B, \exists a \in A, f (a) = b$ を満足することである。このとき、しばしば鏃が二つの矢印を使って $f\colon A\twoheadrightarrow B$

全射であり単射でない

単射であり全射でない

全単射

全射でも単射でもない

例

実数 $x$ に対し、その自乗 $x 2$ を対応させる非負実数値写像 $f\colon \mathbb {R} \ni x\mapsto x^{2}\in \mathbb {R} _{+}$

平面上に表した全射でない場合の模式図。余域 Y の一部の元 y は適当な x ∈ X をとって y = f(x) と書けるが、そうは書けない部分もある。

左： y₀ は Y に属すが、y₀ = f(x₀) となる x₀ ∈ X がない。

右： y₁, y₂, および y₃ は Y の元だが、y₁ = f(x₁), y₂ = f(x₂), および y₃ = f(x₃) となるような x₁, x₂, および x₃ は X の中には無い。

性質

写像が双射（全単射）となるのは、それが単射かつ全射となることと同値である。

函数を（よくやるように）そのグラフと同一視して考えるとき、単射性とは異なり、全射性を函数のグラフのみから読み取ることはできない。全射性は函数自体の性質というよりは函数と余域との関係性と見るべきものである。

右可逆性

写像 $g : Y \to X$ が写像 $f : X \to Y$ の右逆写像であるとは、 $f (g (y)) = y$ （つまり $g$ の効果が $f$ によって打ち消される）が $Y$ の各元 $y$ で成り立つときに言う。言葉を変えれば、 $g$ と $f$ とのこの順番での合成 $f \circ g$ が $g$ の定義域 $Y$ 上の恒等写像 $id Y$ となるとき、 $g$ が $f$ の右逆であるという。逆順の $g \circ f$ が $f$ の定義域 $X$ 上の恒等写像でないかもしれないから、写像 $g$ は必ずしも $f$ の（完全）逆写像であるわけではない。即ち、 $f$ は $g$ を打ち消すが、逆は必ずしも成り立たない。

右逆を持つ任意の写像は全射であるが、「任意の全射が右逆写像を持つ」という命題は選択公理に同値である。

$f : X \to Y$ が全射で $B$ が $Y$ の部分集合であるとき、 $f (f -1 (B)) = B$ が成り立つ。つまり $B$ はその原像 $f -1 (B)$ から回復される。

全型射との関係

詳細は「全型射（英語版）」を参照

右消約性

写像 $f : X \to Y$ が全射となる必要十分条件は、それが右消約的であること^[1]、即ち「与えられた写像 $g 1, g 2 : Y \to Z$ が $g 1 \circ f = g 2 \circ f$ を満たす限り常に $g 1 = g 2$ が言えること」である。この性質は、写像とその合成によって定式化されているから、より一般に圏における射 (morphism) とその合成についての性質に一般化できる。即ち、右消約的な射はエピ射あるいは全型射（圏論的全射）であるという。写像が（集合論的）全射 (surjection) ならば、それはちょうど集合の圏における全型射 (epimorphism) になっている。接頭辞の ἐπί はギリシャ語で「上の」を意味する言葉である。

右逆型射をもつ任意の射は全型射であるが、逆は一般には正しくない。射 $f$ の右逆 $g$ は $f$ に対する切断（英語版）と呼ばれ、右逆を持つ射は分裂型全型射 (split epimorphism) であるという。

二項関係としての全射

域 $X$ および余域 $Y$ を持つ任意の写像は（そのグラフと同一視することにより）、 $X$ と $Y$ との間の左全域的かつ右一意な二項関係と見ることができる。従って、域 $X$ , 余域 $Y$ をもつ全射は、 $X$ と $Y$ との間の左全域的、右一意かつ右全域的な二項関係ということになる。

全射の始域の濃度

全射の始域の濃度は、余域の濃度以上である。つまり $f : X \to Y$ が全射ならば、 $X$ は少なくとも $Y$ の元の（濃度の意味での）個数と等しい数の元を含む。ただし、このことの証明には、 $Y$ の任意の元 $y$ に対して $f (g (y)) = y$ を満たす写像 $g : Y \to X$ の存在を言うために選択公理が必要になる。 $g$ が単射であることを見るのは容易であるから、定義により $| Y | \leq | X |$ が得られる。

特に、 $X$ と $Y$ が同じ数の元を持つ有限集合であるときには、 $f : X \to Y$ が全射であることと $f$ が単射であることとが同値になる。

合成と分解

合成が全射（先に施す写像が全射でなくともよいことがわかる）

全射同士の合成は常に全射である。即ち、 $f$ および $g$ がともに全射で、 $g$ の余域が $f$ の定義域と等しいとき、合成写像 $f \circ g$ は全射になる。逆に、合成 $f \circ g$ が全射ならば $f$ は全射（だが先に施すほうの $g$ は必ずしも全射でなくてよい）。この性質は、集合の圏における全射から任意の圏における任意の全射に一般化される。

任意の写像は、全射と単射との合成の形に分解することができる。即ち、 $h : X \to Z$ を任意の写像とすれば、全射 $f : X \to Y$ と単射 $g : Y \to Z$ で $h = g \circ f$ を満たすものが存在する。これを見るには、集合 $Y$ は $X$ の部分集合族 ${\textstyle Y:=\{h^{-1}(z)=\{x\in X\mid h(x)=z\}\mid z\in h(X)\}}$ として定めればよい。ここに現れた原像は互いに交わりを持たず、 $X$ の分割を与える。このとき、 $f$ として各元 $x \in X$ を $x$ を含む $Y$ の元へ写す写像 ${\textstyle f\colon x\mapsto \{x'\in X\mid h(x')=h(x)\}}$ をとり、 $g$ として $Y$ の各元が含む $X$ の元が $h$ によって写されるところの $Z$ の元へ写す写像 ${\textstyle g\colon h^{-1}(z)\mapsto z}$ とすれば、 $f$ は射影ゆえ全射で、 $g$ は作り方から単射となり、 $h = g \circ f$ が成り立つ。

誘導された全射・双射

任意の写像はその終域を値域にまで制限することにより全射を誘導し、任意の全射は同じ決まった値に写るような定義域の元を同一視して潰すような商集合の上の全単射を誘導する。きちんと述べれば、任意の全射 $f : A \to B$ は以下に述べるように全単射と射影の合成に分解される。 $A/\sim$ を $x \sim y \Leftrightarrow f (x) = f (y)$ で定められる同値関係による $A$ の同値類全体の成す集合とする。 $A/\sim$ を f による原像全体の成す集合とするといっても同じことである。写像 $P ~ : A ↠ A /\sim$ を $A$ の各元 $x$ をその同値類 $[x] ~$ へ写す射影とし、 $f P : A /\sim \to B$ を $f_{P}([x]_{\sim }):=f(x)$ で与えられるよく定義された写像とすればこれは全単射で、 $f = f P \circ P ~$ が成り立つ。

数え上げ

包除原理の応用として、有限集合 $X$ から $Y$ への全射の数は

n!S(m,n)=\sum _{k=0}^{n}(-1)^{k}{\binom {n}{k}}(n-k)^{m}

により与えられる^[2]。ここで $m$ , $n$ は有限集合 $X$ , $Y$ の濃度であり、 $S (m, n)$ は第二種スターリング数である。

脚注

[脚注の使い方]

注釈

^ 全射の代わりに「上への」という言葉を用いる文献では、単射の代わりに「一対一」(one-to-one) という言葉が使われるが、後者は全単射を表す「一対一対応 (one-to-one correspondence)」とまぎらわしい。容易に類推されるように「中への」(into) という言葉が全射でない写像を表すのに用いられる場合が稀にある（例えば、ケリー (1968),彌永 & 小平 (1961)）。体の準同型（これは常に単射）が全射（従って同型）でないとき、「中への同型」と呼ぶことはよくある。

出典

参考文献

松坂和夫『集合・位相入門』岩波書店、1968年。ISBN 978-4000054249。
ジョン.L.ケリ－『位相空間論』児玉之宏訳、吉岡書店、1968年。
彌永昌吉; 小平邦彦『現代数学概説』 1巻岩波書店、1961年。
Bourbaki, Nicolas (2004) [1968]. Theory of Sets. Springer. ISBN 978-3540225256

外部リンク

Weisstein, Eric W. "Surjection". MathWorld (英語).
surjective - PlanetMath.（英語）

Wiktionary日本語版（日本語カテゴリ）

索引トップ用語の索引ランキング

出典：Wiktionary

全射

出典:『Wiktionary』 (2021/11/24 21:53 UTC 版)

名詞

全射（ぜんしゃ）

(集合論) 終域の全ての要素が始域の要素と対応付けされている写像。終域の各要素を像とするような一つあるいは複数の始域の要素が存在する写像。始域の集合を A とし、終域の集合を B とするとき、写像 f: A → B が全射であれば、B の任意の要素 b ∈ B に対して f(a) = b を満たす a ∈ A が存在する。

語源

全写像の略^[1]。

翻訳

英語:surjection, surjective mapping

>> 「全射」を含む用語の索引
全射のページへのリンク

辞書ショートカット

1 デジタル大辞泉
2 ウィキペディア
3 Wiktionary日本語版（日本語カテゴリ）

カテゴリ一覧

全て

＋電車

＋船

＋工学

＋建築・不動産

＋学問

＋文化

＋生活

＋ヘルスケア

＋趣味

＋スポーツ

＋生物

＋食品

＋人名

＋方言

＋辞書・百科事典

すべての辞書の索引

Weblioのサービス

「全射」の関連用語

全射性

活用形辞書

100% |||||

96% |||||

90% |||||

74% |||||

72% |||||

72% |||||

58% |||||

Wiktionary日本語版（日本語カテゴリ）

52% |||||

全単射 デジタル大辞泉

52% |||||

関数の定義、全射性、単射性

ウィキペディア小見出し辞書

52% |||||

全射のお隣キーワード

全射

検索ランキング

全射のページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。


	(C)Shogakukan Inc. 株式会社小学館
	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの全射 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Wiktionary	Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblioに掲載されている「Wiktionary日本語版（日本語カテゴリ）」の記事は、Wiktionaryの全射 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。