直積の普遍性

ウィキペディア小見出し辞書

直積の普遍性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/24 08:31 UTC 版)

「直積集合」の記事における「直積の普遍性」の解説

任意の集合 Y と任意の写像の族 (fi: Y → Xi)i∈I が与えられたとき、写像 f: Y → X := ∏i∈I Xi で fi = πi ∘ f を満たすものがただ一つ存在する。