複製鏈接
請複製以下鏈接發送給好友

單射

鎖定
設f是由集合A到集合B的映射,如果所有x,y∈A,且x≠y,都有f(x)≠f(y),則稱f為由A到B的單射。 [1] 
在數學裏,單射函數為一函數,其將不同的引數連接至不同的值上。更精確地説,函數f被稱為是單射時,對每一值域內的y,存在至多一個定義域內的x使得f(x) = y。
另一種説法為,f為單射,當f(a) = f(b),則a = b(若a≠b,則f(a)≠f(b)),其中a、b屬於定義域。
單射在某些書中也叫入射,可理解成“原不同則像不同”。
中文名
單射
外文名
injective
相關術語
單射函數
別    名
入射
定    義
當f(a) = f(b),則a = b
應用學科
數學

單射例子反例

對任一集合X,X上的恆等函數為單射的。 [2] 
函數f : R → R,其定義為f(x) = 2x + 1,是單射的。
函數g : R → R,其定義為g(x) = x^2,不是單射的,因為g(1) = 1 = g(−1)。但若將g的定義域限在非負數[0,+∞)內或非正數(-∞,0]內,則g是單射的。
指數函數exp:R → R+:x → e^x(e的x次方)是單射的。
自然對數函數ln:(0,+∞) → R:x → ln x是單射的。
函數g : R → R,其定義為g(x) = x^3 − x,不是單射的,因為 g(0) = g(1)。
更一般地説,當X和Y都是實數線 R',則單射函數f : R → R為一絕不會與任一水平線相交超過一點的圖。

單射可逆函數

另一單射函數的定義為其作用可取消的函數。更精確地説,f : X → Y為單射,若存在一函數g : Y → X,使得對所有X內的x,g(f(x)) = x,亦即g o f 等同於X上的恆等函數
注意,g不一定是一f的完全反函數,因為其他順序的複合f o g不一定是在X上的恆等函數。
事實上,將一單射函數f : X → Y變成一雙射函數,只需要將其陪域Y替換成其值域J = f(X)就行了。亦即,令g : X → J,使其對所以X內的x,g(x) = f(x);如此g便為單射的了。確實,f可以分解成inclJ,Yog,其中inclJ,Y來由J至Y的內含映射

單射其他性質

若f和g皆為單射的,則f o g亦為單射的。
若g o f為單射的,則f為單射的(但g不必然要是)。
f : X → Y是單射的當且僅當給定兩函數g、h : W → X會使得f o g = f o h時,則g = h。
若f : X → Y為單射的且A為X的子集,則f −1(f(A)) = A。所以,A可以從其值域f(A)找回。
若f : X → Y是單射的且A和B皆為X的子集,則f(A ∩ B) = f(A) ∩ f(B)。
任一函數 h : W → Y 皆可分解為 h = f o g 其中 f 是單射而 g 是滿射。此分解至多差一個自然同構, f 可以設想為從 h(W) 到 Y 的內含映射
若 f : X → Y 是單射,則在基數的意義下 Y 的元素數量不少於 X。
若 X 與 Y 皆為有限集,則 f : X → Y 是單射當且僅當它是滿射。
內含映射總是單射。

單射範疇論的觀點

範疇論的語言來説,單射函數恰好是集合範疇內的單態射
參考資料
  • 1.    injection - 嵌射;單射,國家教育研究院雙語詞彙、學術名詞暨辭書資訊網
  • 2.    Bartle, Robert G., The Elements of Real Analysis 2nd, New York: John Wiley & Sons, 1976, ISBN 978-0-471-05464-1, p. 17 ff.