查看“︁映射”︁的源代码

[[分类:映射]]
{{InfoBox
|name=映射
|eng_name=mapping
}}
{{InfoBox
|name=函数
|eng_name=function
}}
'''映射'''('''mapping''')指将一个[[集合]]中的任意一个元素都按某种规则唯一地对应到另一个集合的元素的对应关系。两个集合都是数集时，也称'''函数'''('''function''')。

== 定义 ==

对 <math>X</math> 到 <math>Y</math> 的二元关系 <math>R</math> ，若 <math>R</math> 是[[左全关系|左全]][[右唯一关系|右唯一]]的，即：
* 左全：<math>\forall x \exist y (x R y)</math>
* 右唯一：<math>\forall x \forall y_1 \forall y_2 ((x R y_1 \land x R y_2) \rightarrow y_1 = y_2)</math>
称是 <math>X</math> 到 <math>Y</math> 的'''映射'''('''mapping''')。
若都是数集，也称为'''函数'''('''function''')<ref>但实际并不明确区分两个词的使用，大多遵从习惯。</ref>。

{{InfoBox
|name=原像
|eng_name=preimage
}}
{{InfoBox
|name=像
|eng_name=image
}}
习惯上认为映射及函数是与关系不同的一类对象，这里重新记作 <math>f</math> ，并记 <math>x R y</math> 为 <math>y = f(x)</math>，称：
* <math>x</math> 是 <math>y</math> 的'''原像'''('''preimage''')，
* <math>y</math> 是 <math>x</math> 的'''像'''('''image''')。

=== 相关定义 ===

{{InfoBox
|name=定义域
|eng_name=domain
}}
{{InfoBox
|name=陪域
|eng_name=codomain
}}
{{InfoBox
|name=值域
|eng_name=range
|aliases=像集,image
}}
此外：
* 将关系 <math>R</math> 的前域(domain) <math>X</math> ，同时左全所以也是定义域(domain of definition) <math>\operatorname{dom}R=\{x\in X | \exist y ( x R y ) \}</math>，称为映射或函数 <math>f</math> 的'''定义域'''('''domain''', '''domain of definition''') <math>\operatorname{dom}f</math>；
* 将关系 <math>R</math> 的后域(codomain) <math>Y</math> 称为映射或函数 <math>f</math> 的'''陪域'''('''codomain''')；
* 将关系 <math>R</math> 的值域(range) <math>\operatorname{ran}R = \{y \in Y | \exist x ( x R y ) \}</math> 称为映射或函数 <math>f</math> 的'''值域'''('''range''') <math>\operatorname{ran}f = \{y \in Y | \exist x ( y = f(x) ) \}</math>，有时也记作 <math>f(X)</math> ，也称为'''像集'''('''image''')，记作 <math>\operatorname{im}f</math> 。

映射、函数一般用[[从F开始的小写拉丁字母序列|f、g、h、……]]表示。

全体有序对 <math>(x, f(x))</math> 的集合称为映射的'''图像'''('''graph''')。

注意：部分定义会要求所涉及的两个集合非空，即拒绝承认[[空映射]]。这会导致部分函数运算失去封闭性，因此这里采用映射的关系定义，以避免这个问题。

== 表示 ==

=== 箭头记号 ===

常用 <math>f: X \to Y; x \mapsto f(x)</math> 代表“'''<math>f</math> 是 <math>X</math> 到 <math>Y</math> 的映射，并将每个 <math>x</math> 映射到 <math>f(x)</math>'''('''<math>f</math> is a map / mapping from <math>X</math> to <math>Y</math>, which maps <math>x</math> to <math>f(x)</math>''')”。

=== 借用关系的表示 ===

* 表格：和关系类似，对少量有限集合上的函数，可以直接使用表格表示对应关系。由于右唯一，与普通关系的二维布尔的表格不同，两列的表格就能表达出函数。
* 关系图：映射一般按前后域不同的关系，画成二部图的形式。

=== 图像 ===

主条目：[[函数图像]]

一般用于数集，通过将函数关系的有序对对应到平面上的点来表示函数。

=== 公式 ===

==== 函数解析式 ====

对于关系是某种计算关系的，可以通过解析式的方式表达。即把 y 表达为 x 的某个代数式。

==== 隐函数 ====

通过 x 和 y 的代数式取值来表达 x 和 y 具有的关系，特别地，隐函数很多时候是。

==== 递推关系 ====

主条目：[[递推和递归]]

有些情况下，函数会通过递推关系来表达，一般会给定初始条件和递推关系。

== 集合 ==

从 <math>X</math> 到 <math>Y</math> 的[[映射的集合|全体映射的集合]]记为 <math>Y^X</math> 。

== 推广 ==

# 尽管左全是函数定义的一部分，很多时候给出所在的集合时并不会严格要求处处存在定义，只有需要明确指出定义域时才会指出实际定义域。这样仅满足右唯一的情况，类比于函数，称为[[部分函数]]。
# 在部分情况下，有些关系不能保证右唯一，这种对应多个值的情况，也可以被理解为像是一个集合的映射，称为[[多值函数]]。隐函数很多时候不是函数而是多值函数。

== 关系与运算 ==

{{映射}}

=== 全部搜索结果 ===

{{RelatedToType}}