|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 集 : [しゅう] 【名詞】 1. collection ・ 集合 : [しゅうごう] 1. (n,vs) (1) gathering 2. assembly 3. meeting 4. (2) (gen) (math) set ・ 合 : [ごう] 【名詞】 1. go (approx. 0.18l or 0.33m)
数学の集合論関連分野における集合族(しゅうごうぞく、)は集合の「あつまり」である。特に与えられた集合 の部分集合のみを考えるとき、部分集合の集まり は「 の部分集合族」あるいは「 上の集合族」などと呼ぶ。 ここで「集合の集合」といわず「集合のあつまり」としているのは、文脈によっては集合族が同じ集合をいくつも重複して持つ場合があったり、別の文脈では集合でない真の類 (proper class) となる場合があるなどの理由による。 グラフ理論の文脈では集合族はハイパーグラフとも呼ばれる〔〕。 == 定義 == 全体集合 が与えられたとき、 上の集合族とは の冪集合の部分集合 : のことを言う。即ち、 上の集合族 はその任意の元が の部分集合であるような集合の集合である。 集合族 が特定の集合演算(合併、交叉、補集合など)に関して (closed) あるいは安定 (stable) であるまたは完備 (complete) であるとは、 の任意の元にその演算を施した結果が必ずまた の元となっていることを言う。しばしば集合族は、それが何らかの演算に関して閉じていることを示す修辞を付けて呼ばれる。例えば * 乗法的 (-完備, π-系): * 加法的 (-完備): * σ-乗法的: * σ-加法的: * -完備: * 補完備: 可算無限回の合併で閉じている集合族を σ-系、可算無限回の交叉で閉じている集合族を δ-系と呼ぶこともある。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「集合族」の詳細全文を読む スポンサード リンク
|