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

辞書 類語・対義語辞典 英和・和英辞典 日中中日辞典 日韓韓日辞典 古語辞典

その他の辞書▼
- フランス語辞典
- インドネシア語辞典
- タイ語辞典
- ベトナム語辞典

Weblio 辞書ヘルプ

556の専門辞書や国語辞典百科事典から一度に検索!

無料の翻訳ならWeblio翻訳！

初めての方へ参加元一覧

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 全射的の意味・解説

ウィキペディア

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

全射

(全射的から転送)

出典: フリー百科事典『ウィキペディア（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.（英語）

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

辞書ショートカット

1 ウィキペディア

カテゴリ一覧

全て

＋電車

＋船

＋工学

＋建築・不動産

＋学問

＋文化

＋生活

＋ヘルスケア

＋趣味

＋スポーツ

＋生物

＋食品

＋人名

＋方言

＋辞書・百科事典

すべての辞書の索引

Weblioのサービス

「全射的」の関連用語

18% |||||

16% |||||

onto

日本語表現辞典

8% |||||

全射

百科事典

6% |||||

関係代数 (数学)

百科事典

6% |||||

トーリック多様体

百科事典

4% |||||

関数 (数学)

百科事典

2% |||||

全射的のお隣キーワード

全射的

検索ランキング

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

All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの全射 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
 文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典