函數術語
外觀
註︰蓋當今數學之事,誠難僅以文述,而無符號,故凡數學之文,咸有漢字、拉丁字相易之事,以合文言、數學,則無論文理之人,皆可明之也。
函數之事,術語繁多,兹聊列之。
甲映射乙(記曰「f:A→B」)。
甲(A)曰定義域,乙(B)曰陪域。
甲之屬乾(a),所射者,曰乾之象(記曰「f(a)」)。
甲之子集丙(C),其屬之象,聚以成集,曰丙之象(記曰「f(C)={ f(c) | c ∈ C }」)。值域者,甲之象也。
乙之屬坤(b),甲之物射坤者,聚以成集,曰坤之原象(記曰「f-1(b)={ a | f(a)=b }」)。若原象惟一物(a),亦曰坤之原象也(a=f-1(b))。
乙之子集丁(D),甲之物射丁之屬者,聚以成集,曰丁之原象(記曰「f-1(D)={ a | f(a)∈D }」)。
若甲單射乙,則值域之屬射其原象,為值域映射甲也(記曰「f-1:f(A)\rarr;A」),曰單射之逆。
若惟用甲之子集丙,曰限于丙之映射(記曰「f|C:C→B」)。
有甲映射乙曰子(f),乙映射戉曰丑(g)。凡甲之物乾,射其象之象(g(f(a)),得一複合函數,曰丑複合子(記曰「g o f」),乃甲映射戉也。