大学数学

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

添字集合と集合族

より一般の場合の共通集合や和集合を考えるために、添字集合および集合族という概念を導入します。

添字集合は普通 I,J などで表されます。

ここでは、I を添字集合としましょう。

I の各元 i に対して、それぞれ集合 A_i を割り当てます。これを集合族(族は英語でclass)と言い、(A_i)_{i \in I },\{A_i \}_{i \in I } などと書きます。

I は、文脈上 I が具体的に何であるか明らかなとき、あるいは I が任意の集合であるときなどには、しばしば省略されます。そういった場合、(A_i)_{i },\{A_i \}_{i } などと書きます。


Ex.SetTop.2.5.1.

簡単な場合から順に例を示していきます。

I = \{ 1,2 \} とすれば、(A_i)_{i \in I} とは A_1,A_2 のことを表します。

I = \{ 1,2, \dots , n \} とすれば、(A_i)_{i \in I} とは A_1,A_2, \dots , A_n のことを表します。

I = \mathbb{N} とすれば、(A_i)_{i \in \mathbb{N} とは A_0,A_1, \dots , A_n, \dots のことを表します。この場合、特に (A_i)_{i=0}^{ \infty } とも書きます。

I = [0,1] とすれば、(A_i)_{i \in I} を具体的に書き表すことはもはやできません。例えば、A_0, A_{0.5},A_{0.33 \cdots }, A_{ \sqrt{2} / 2 } などが (A_i)_{i \in I} に属する集合です。

I = \mathbb{R} とすれば、(A_t)_{t \in \mathbb{R} とは、実数 t によってパラメータ付けられた集合族などと言うことがあります。例えば、A_e,A_{ \pi } などもこの族に属します。


 

集合.6へ>

<集合.4へ

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

関連記事

  1. 大学数学

    論理記号.4 ~がただ一つ存在する、定義

    \( \exists ! \) ~がただ一つ存在する\( \e…

  2. 大学数学

    集合.20 選択公理

    選択公理実は今までも暗に使っていたのですが、次のことは公理とみ…

  3. 大学数学

    写像.8 単射の性質

    単射の性質単射であることを同値な条件で言い替えることで特徴付け…

  4. 大学数学

    写像.1 写像の定義

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

  5. 大学数学

    集合.7 積集合(n個の場合)

    積集合( \(n \) 個の場合)例えば、\( x,y \in…

  6. 大学数学

    写像.7 全射の性質

    全射の性質全射であることを同値な条件で言い替えることで特徴付け…

コメント

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

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

アーカイブ

  1. 大学数学

    論理記号.4 ~がただ一つ存在する、定義
  2. 大学数学

    集合.10 直和(非交和、無縁和)
  3. 大学数学

    論理記号.6 否定の作り方
  4. 大学数学

    大学数学概説.3 大学3、4年生レベルの科目(代数)
  5. 大学数学

    写像.6 標準的な写像の例
PAGE TOP
error: Content is protected !!