映射

维基百科,自由的百科全书
跳到导航 跳到搜索

映射,或者射影,在数学及相关的领域经常等同于函数。基于此,部分映射就相当于部分函数,而完全映射相当于完全函数

在很多特定的数学领域中,这个术语用来描述具有与该领域相关联的特定性质函数,例如,在拓扑学中的连续函数线性代数中的线性变换等等。

定义[编辑]

形式逻辑[编辑]

这个术语有时用来表示函数谓词(Functional predicate),在那里函数是集合论谓词模型

集合论[编辑]

是两个非空集合,若对中的任一元素, 依照某种规律(或法则), 恒有中的唯一确定的元素与之对应,则称对应规律为一个从映射

记作:,有时记:

,记作, 并称原像。集合称为映射定义域,集合称为像集

集合称为映射 f 的值域

参见[编辑]