「函數術語」：各本之異

[底本]

刪去的內容新增的內容

行內

二〇〇七年一二月九日（日）〇二時五六分之今審

註︰蓋當今數學之事，誠難僅以文述，而無符號，故凡數學之文，咸有漢字、拉丁字相易之事，以合文言、數學，則無論文理之人，皆可明之也。

函數之事，術語繁多，兹聊列之。

甲映射乙（記曰「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」），乃甲映射戉也。

@@ 第一二行： / 第一二行： @@
 乙之屬坤（b），甲之物射坤者，聚以成集，曰坤之'''原象'''（記曰「f<sup>-1</sup>(b)={ a | f(a)=b }」）。若原象惟一物（a），亦曰坤之原象也（a=f<sup>-1</sup>(b)）。
-乙之子集丁（D），甲之物射丁之屬者，聚以成集，曰丁之原象（記曰「f<sup>-1</sup>(b)={ a | f(a)=b }」）。
+乙之子集丁（D），甲之物射丁之屬者，聚以成集，曰丁之原象（記曰「f<sup>-1</sup>(D)={ a | f(a)&isin;D }」）。
 若甲單射乙，則值域之屬射其原象，為值域映射甲也（記曰「f<sup>-1</sup>:f(A)\rarr;A」），曰單射之'''逆'''。