出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(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 → B について、f の値域 f(A) ? {f(a) | a ∈ A} が終域(余域)B を含む(つまり B ⊆ f(A))ならば、写像 f: A → B は 全射 (surjection) であるという。f は余域 B への全射的 (surjective) な写像である、B の上への (onto) 写像であるなどともいう[注釈 1]。記号で書けば、f: A → B が全射であるとは ∀b ∈ B, ∃a ∈ A, f(a) = b を満足することである。このとき、しばしば鏃が二つの矢印を使って f : A ↠ B {\displaystyle f\colon A\twoheadrightarrow B} と表す。 写像が双射(全単射)となるのは、それが単射かつ全射となることと同値である。 函数を(よくやるように)そのグラフと同一視して考えるとき、単射性とは異なり、全射性を函数のグラフのみから読み取ることはできない。全射性は函数自体の性質というよりは函数と余域との関係性と見るべきものである。 写像 g: Y → X が写像 f: X → Y の右逆写像であるとは、f(g(y)) = y(つまり g の効果が f によって打ち消される)が Y の各元 y で成り立つときに言う。言葉を変えれば、g と f とのこの順番での合成 f ? g が g の定義域 Y 上の恒等写像 idY となるとき、g が f の右逆であるという。
定義
全射であり単射でない
単射であり全射でない
全単射
全射でも単射でもない
例
実数 x に対し、その自乗 x2 を対応させる非負実数値写像 f : R ∋ x ↦ x 2 ∈ R + {\displaystyle f\colon \mathbb {R} \ni x\mapsto x^{2}\in \mathbb {R} _{+}} は全射である。ただし R+ で非負実数全体の集合を表している。実際、x ≥ 0 に対し、その非負平方根 √x をとれば、f(√x) = x とすることができる(負の平方根 −√x をとっても構わない)。終域を変更して、単に実関数 f : R ∋ x ↦ x 2 ∈ R {\displaystyle f\colon \mathbb {R} \ni x\mapsto x^{2}\in \mathbb {R} } と考えたのでは全射にはならない。自乗して負になる実数は存在しないからである。
任意の集合 X において、X 上の恒等変換 id X : X ∋ x ↦ x ∈ X {\displaystyle {\text{id}}_{X}\colon X\ni x\mapsto x\in X} は全射(実は双射)である。
デカルト積 A × B の各成分への射影 p A : A × B ∋ ( a , b ) ↦ a ∈ A , p B : A × B ∋ ( a , b ) ↦ b ∈ B {\displaystyle p_{A}\colon A\times B\ni (a,b)\mapsto a\in A,\ p_{B}\colon A\times B\ni (a,b)\mapsto b\in B} は全射である。
実2次多項式全体 R 2 [ x ] := { a x 2 + b x + c ; ( a , b , c ) ∈ ( R ∖ { 0 } ) × R × R } {\displaystyle \mathbb {R} _{2}[x]:=\{ax^{2}+bx+c\ ;\ (a,b,c)\in (\mathbb {R} \setminus \{0\})\times \mathbb {R} \times \mathbb {R} \}} から R {\displaystyle \mathbb {R} } への写像 D を D ( a x 2 + b x + c ) := b 2 − 4 a c {\displaystyle D(ax^{2}+bx+c):=b^{2}-4ac} と定義すると、D は全射である(任意の r ∈ R {\displaystyle r\in \mathbb {R} } に対して、例えば x 2 − r / 4 ↦ r {\displaystyle x^{2}-r/4\mapsto r} である)。
正の整数 n に対し、 det : M n ( R ) ∋ A ↦ det A ∈ R {\displaystyle \det \colon M_{n}(\mathbb {R} )\ni A\mapsto \det A\in \mathbb {R} } は全射である(ここで M n ( R ) {\displaystyle M_{n}(\mathbb {R} )} は実 n 次正方行列全体であり, det A {\displaystyle \det A} は行列式を表す).実際,任意の実数 r に対して、対角行列 diag(r, 1, …, 1) の行列式は r である。
指数関数 exp : R ∋ x ↦ e x ∈ ( 0 , ∞ ) {\displaystyle \exp \colon \mathbb {R} \ni x\mapsto e^{x}\in (0,\infty )} は全射である.実際,任意の y ∈ ( 0 , ∞ ) {\displaystyle y\in (0,\infty )} に対して, x := log y {\displaystyle x:=\log y} ととれば exp ( x ) = e x = y {\displaystyle \exp(x)=e^{x}=y} である.
複素数に対してその実部,虚部,絶対値を与える写像 ℜ : C ∋ z ↦ ( z + z ¯ ) / 2 ∈ R , ℑ : C ∋ z ↦ ( z − z ¯ ) / 2 i ∈ R , 。 ⋅ 。 : C ∋ z ↦ ℜ ( z ) 2 + ℑ ( z ) 2 ∈ R {\displaystyle \Re \colon \mathbb {C} \ni z\mapsto (z+{\overline {z}})/2\in \mathbb {R} ,\ \Im \colon \mathbb {C} \ni z\mapsto (z-{\overline {z}})/2i\in \mathbb {R} ,\ |\cdot |\colon \mathbb {C} \ni z\mapsto {\sqrt {\Re (z)^{2}+\Im (z)^{2}}}\in \mathbb {R} } はいずれも全射である.
平面上に表した全射の模式図。函数 f: X → Y; y = f(x)(X = 函数の定義域, Y = 函数の値域)。値域の各元の上に定義域の元が規則 f に従って写される(定義域の複数の元が値域の同じ元に写ってもよい)。左: f が全射になるような定義域の一つ。右: 二つの定義域 X1, X2 が示されているが、何れの場合も f は全射になる。平面上に表した全射でない場合の模式図。余域 Y の一部の元 y は適当な x ∈ X をとって y = f(x) と書けるが、そうは書けない部分もある。左: y0 は Y に属すが、y0 = f(x0) となる x0 ∈ X がない。右: y1, y2, および y3 は Y の元だが、y1 = f(x1), y2 = f(x2), および y3 = f(x3) となるような x1, x2, および x3 は X の中には無い。
性質
右可逆性
Size:27 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef