直積
#Fleeting_Notes
直積(ちょくせき、direct product)
集合と集合を掛けて組(ペア)の集合を作る操作
組の部分は$ (x, y)
集合と集合を書ける操作部分は$ A \times B
$ A \times B = \{ (a,b) \mid a \in A, b \in B \}
関連: 集合演算、直積集合
いろいろ呼び方がある
デカルト積(Cartesian product)
カルテシアン積
直積の操作で作られた集合を直積集合
集合からは一つずつ取り出して組を作る
圏論関連
積
モノイド積
余直積
余積
確認用
Q. 直積
関連
(論理) 論理積、連言
(集合) 直積
(圏論) 積
(型理論) 直積型(product type)
調査用
Google.icon 直積(日)
Google.icon Direct product(英)
Wikipedia.icon
直積 - Wikipedia(日)
直積(検索) - Wikipedia(日)
Wikipedia.icon
Direct product - Wikipedia(英)
Direct product(検索) - Wikipedia(英)