多変数の写像
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/29 18:27 UTC 版)
多変数の写像 f(x1, …, xn) は直積集合上の写像 f((xi)i∈I) として理解できる。 二項演算あるいは一般に多項演算は多変数の写像として定式化できる。 二変数の写像 f: A × B → X の一変数化 gb(a) ≔ f(a, b) (a ∈ A, b ∈ B) は集合の圏における等式 XA×B = (XA)B を与える。これにより、集合の直積は配置集合をとる操作の左随伴となる。
※この「多変数の写像」の解説は、「直積集合」の解説の一部です。
「多変数の写像」を含む「直積集合」の記事については、「直積集合」の概要を参照ください。
- 多変数の写像のページへのリンク