大学数学

集合.10 直和(非交和、無縁和)

直和(非交和、無縁和)


Def.SetTop.2.10.1.

I を集合、(A_i)_{ i \in I を集合族とする。
和集合 \bigcup_{i \in I } A_i に関し、任意の i,j \in I に対して A_i \cap A_j = \emptyset が成り立つとき、和集合は直和(非交和、無縁和)であるといい、\bigcup_{i \in I } A_i\amalg_{i \in I } A_i と表す。


和集合をなすそれぞれの集合が互いに交わらない(共通部分を持たない)とき、和集合を直和と呼ぶと言う約束をします。

しかしながら、一般には集合が交わる(共通部分を持つ)ケースも考えられます。このような場合にも直和を考えたいときがあり、テクニカルですが次のようにします。

例えば、集合 A,B を考えます。一般的には A \cap B = \emptyset とは限らないわけですが、A,B添字を付けたコピーを作ることで「ずらします」。

A のコピーとして A \times \{1 \}B のコピーとして B \times \{ 2 \} を考えると、  (A \times \{1 \}) \cap (B \times \{ 2 \}) = \emptyset となります。したがって、

 (A \times \{1 \}) \cup (B \times \{ 2 \}) \subset (A \cup B) \times \{ 1,2 \}

はDef.SetTop.2.10.1.の意味での直和となります。

このようにして、人為的に直和を作り出すことができます。

一般の集合族  (A_i)_{ i \in I に対しては、それぞれの A_ii を添字したコピーを作って「ずらします」。


Def.SetTop.2.10.2.

I を集合、(A_i)_{ i \in I を集合族とする。
(A_i)_{ i \in I の直和を

  \amalg_{i \in I } A_i  \overset{\mathrm{def}}{=} \{ (x,i) \mid \forall i \in I, x \in A_i \} \subset \bigcup_{i \in I } A_i \times I

と定義する。


集合 A_iA_i \times \{ i \} と同一視して考えると、任意の i,j について A_i \cap A_j = \emptyset が成り立つときは、Def.SetTop.2.10.1.の意味での直和と同一視して考えることができます。

 

集合.11へ>

<集合.9へ

記事一覧(大学数学.1)に戻る

関連記事

  1. 大学数学

    集合.23 ツォルンの補題

    ツォルンの補題代数学などにおいてよく用いられる選択公理と同値な…

  2. 大学数学

    集合.5 添字集合と集合族

    添字集合と集合族より一般の場合の共通集合や和集合を考えるために…

  3. 大学数学

    写像.13 集合の準同型定理、引き起こされる写像

    集合の準同型定理Prop.SetTop.3.12.1.を応用す…

  4. 大学数学

    集合.21 上界、下界、上限、下限、最大元、最小元、極大元、極小元

    上界、下界、上限、下限、最大元、最小元、極大元、極小元整列可能…

  5. 大学数学

    写像.1 写像の定義

    今回から写像についてやっていきます写像は関数を一般化した概念で…

  6. 大学数学

    集合.13 同値類と集合の分割

    同値類同値関係 \( \sim \) で結ばれているということ…

コメント

  1. この記事へのコメントはありません。

  1. この記事へのトラックバックはありません。

アーカイブ

  1. 大学数学

    集合.6 共通集合と和集合(一般の場合)
  2. 大学数学

    集合.2 部分集合、べき集合
  3. 大学数学

    写像.8 単射の性質
  4. 大学数学

    集合.8 「同一視する」という考え方
  5. 大学数学

    集合.16 集合の濃度.1 濃度の定義と比較方法
PAGE TOP
error: Content is protected !!