映射的集合

来自GSXAB的知识库

请注意,这个条目所介绍的术语没有标准称呼。仅仅是为了便于描述建立条目取了一个名字。

对集合 [math]\displaystyle{ X }[/math][math]\displaystyle{ Y }[/math] ,全体从 [math]\displaystyle{ X }[/math][math]\displaystyle{ Y }[/math] 的映射可以看作对 [math]\displaystyle{ X }[/math] 中的每个元素都有一个 [math]\displaystyle{ Y }[/math] 进行笛卡尔积 [math]\displaystyle{ \prod_{x \in X} Y }[/math] ,类比与累乘和乘方的关系,可以简写为 [math]\displaystyle{ Y^X }[/math] '。即 [math]\displaystyle{ Y^X = \{ f \mid f: X \to Y \} }[/math]

注:顺序上,定义域在指数位置,陪域在底数位置。

注:也有人称叠集