「映射」：各本之異
| [底本] | [底本] |
刪去的內容 新增的內容
細 →定義 |
|||
第二四行：
答曰：映射乃甲乙之[[關係 (數學)|關係]]<ref>[[關係 (數學)|關係]]者，直積之子集也。</ref>也。甲取物曰乾（<math>a</math>），射乙之一物，曰乾之'''象'''（記曰「<math>f(a)</math>」）。乾與其象，合成一對（記曰「<math>(a, f(a))</math>」），聚以成集，即為映射耳（記曰「<math>f = \{ (a, f(a)) : a \in A \}</math>」）。甲曰'''定義域'''，乙曰'''陪域'''，而象之集（記曰「<math>f(A) = \{ f(a) : a \in A \}</math>」）曰'''值域'''。
=== 高等數學教材之釋（大學通用） ===
二非空集<math>X,Y</math>，以法則<math>f</math>，使<math>X</math>集之每壹元素<math>x</math>，皆對應於唯一確定之元素<math>y</math>於<math>Y</math>集，則謂<math>f</math>爲其之映射自<math>X</math>至<math>Y</math>。記曰
<math>f:X\rightarrow Y</math>
其<math>y</math>謂之'''像'''之于斯映射，且記作<math>f(x)</math>，<math>y=f(x)</math>；<math>x</math>謂之'''原像'''之于斯映射。
==== 限格 ====
# 組成：定義域<math>D_{f}=X</math>，值域<math>R_{f}\subset Y</math>，法則<math>f</math>，定義域之每元素<math>x</math>皆有唯一確定元<math>y</math>對應之。
# <math>x</math>之像<math>y</math>惟一，而<math>y</math>之原像<math>x</math>或惟一或不唯一。值域<math>R_{f}</math>爲<math>Y</math>之子集，記之<math>R_{f}\subset Y</math>。、
==== 殊類 ====
# 集合<math>R_{f}=Y</math>，謂之'''滿射'''
# <math>X</math>中任意<math>f(x_{1})\not=f(x_{2})</math>，則謂之'''單射。'''
# 滿射且單射，則謂之一一映射（雙射）
==== 辡名 ====
映射亦名算子，泛函，<math>X</math>上的變换。實數應射則謂之函數，亦可拓至複數<math>a+bi</math>。
== 例 ==
| |||