Algebra:Chapter 0 - 集合间的函数 - 定义

集合间的函数

定义

对于后面出现的结构，我们要理解结构的类型和给定的结构之间可能的交互方式。

集合之间的交互是通过函数（$functions$）进行的。从集合$A$到集合$B$上的函数可以用一种“动态的”方式，就像“从$A$到$B$的路”一样。就像关系一样，可以很直接的给出正规化的记号并不需要很深的含义：给定$A$中的任意元素能通过$f$在$B$中找到一个元素作为像。这种信息只是$A\times B$的一个子集而已： Γ f ≔ { ( a , b ) ∈ A × B ∣ b = f ( a ) } ⊆ A × B \Gamma_{f}\coloneqq\{(a,b)\in A\times B\mid b = f(a)\}\subseteq A\times B Γf​:={(a,b)∈A×B∣b=f(a)}⊆A×B集合${\Gamma }_f$就是$f$的$graph$。

并不是所有的$A\times B$的子集$\Gamma$都能对应一个函数：我们对于函数的$graph$需要加一点限制，$$(\forall a\in A)(\exists !b\in B)(a,b)\in {\Gamma }_f$$就是说，函数必须将$A$中每个元素唯一地对应到$B$中的一个元素。像$\pm \sqrt{x}$这种“多值函数”在这种意义上就不能称之为函数。

$\exists$表示存在，$!$表示唯一，所以$\exists !$表示有且仅有一个的意思。

为了声明$f$是集合$A$到$B$上的函数可以记作：$f:A\to B$，或者像下面这样，$$A\stackrel{f}{⟶}B$$函数$f:A\to B$对元素$a\in A$上的动作有时会用一个被修饰的箭头，比如，$$a\mapsto f(a)$$从集合$A$到集合$B$上的所有函数也构成了一个集合，用$B^A$表示。我们可以将$B^A$看作$A\times B$的幂集的子集。

每个集合$A$都有一个特殊的函数：$A$上的等价函数，$${\mathrm{i}\mathrm{d}}_A:A\to A$$它的定义是$(\forall a\in A){\mathrm{i}\mathrm{d}}_A(a)=a$。更一般的，一个集合$A$中的任意子集$S$都有一个函数$S\to A$，就是把$S$中的每个元素映射到在$A$中的对应元素。

如果$S$是$A$的一个子集，我们用$f(S)$来表示$B$的子集： f ( S ) ≔ { b ∈ B ∣ ( ∃ a ∈ A )   b = f ( a ) } f(S)\coloneqq \{b\in B \mid(\exist a \in A)\ b=f(a)\} f(S):={b∈B∣(∃a∈A) b=f(a)}$f(S)$是$B$的子集，集合$S$通过函数$f$生成的像。最大的子集是$f(A)$，称作$f$的像（$image$），记作“$\mathrm{i}\mathrm{m}f$”。

同样的，$f{|}_S$表示子集$S$对于$f$的限制：$S\to B$的函数记作，$$(\forall s\in S):f{|}_S(s)=f(s)$$所以$f{|}_S$可以看作是一种复合$f\circ i$，其中$i:S\to A$ 是一种包含关系。注意$f(S)=\mathrm{i}\mathrm{m}(f{|}_S)$。

解读

给出了一堆定义。

单词

• tempting: 吸引人的;诱人的;有吸引力的