#群論入門_剰余類編 10
#非交和(ひこうわ，disjoint union)
https://ja.wikipedia.org/wiki/...
#集合論 において
集合族の #直和(direct sum)は，
交わりを持たない和(disjoint union).
すなわち
その族に属する部分集合の
どの2つも #互いに素(pairwise disjoint)
である時の，通常の合併を指す.
@gunron-tan.bsky.social
@gunron-tan.bsky.social#群論入門_剰余類編 10
#非交和(ひこうわ，disjoint union)
https://ja.wikipedia.org/wiki/...
#集合論 において
集合族の #直和(direct sum)は，
交わりを持たない和(disjoint union).
すなわち
その族に属する部分集合の
どの2つも #互いに素(pairwise disjoint)
である時の，通常の合併を指す.
@gunron-tan.bsky.social集合論的 #直和:
https://ja.wikipedia.org/wiki/...
互いに交わらない
(＝共通部分が空である，#互いに素 である)
ような集合どうしの
合併(disjoint union，#非交和).
直和を表すのに用いられる記号は
⊕ circled plus, oplus
∐ coproduct
⊔ square cup
など.