族 (数学)のソースを表示

{{参照方法|date=2024-03}}
[[数学]]における'''族'''（ぞく、<em lang="en">family</em>）とは、添字付けされた[[集合|元]]（要素）の（一般には非可算無限個の）集まり<ref>明示的に「添字付けられた族」{{lang|en|(indexed family)}} という場合もある。また、暗に適当な[[濃度 (数学)|濃度]]の集合を添字集合として添字付けることができるような集まり、という意味で「族」という術語を用い、必ずしもはじめから族が添字付けられていない場合もある。添字があらかじめ与えられていない場合でも、族に対して何らかの操作を考えるときなどには添字があったほうが都合がよく、必要な基数をもつ集合をとって添字付けを与えるのが通例である。</ref>で、[[順序対|対]]、''n''-[[タプル|組]]、[[列 (数学)|列]]などの概念の一般化である。'''系'''（けい、<em lang="en">collection</em>）と呼ぶこともある。元がどのような対象であるかによって、'''点族'''、'''[[集合族]]'''（集合系）、'''関数族'''（関数系）などと呼ばれる。

== 定義 ==
[[集合]] ''I'' から集合 ''X'' への[[写像]] ''A'': ''I'' &rarr; ''X'' が与えられたとき、これを ''X'' の元の集まりとみなしたものを、''I'' を[[添字集合]] {{lang|en|(index set)}} とする ''X'' の元の'''族'''という<ref>''I'' を添字集合とする ''X'' の元の族とは、配置集合 ''X''<sup>''I''</sup> の元のことである。</ref>。添字集合 ''I'' の元を[[添字]] {{lang|en|(index)}} という。''I'' の要素を仮に ''i'', ''j'', ... と表すとき、''A''(''i''), ''A''(''j''), ... の代わりに、通例 ''A''<sub>''i''</sub>, ''A''<sub>''j''</sub>, ... といった記法を用い、この族を
:<math>(A_i\mid i \in I),\quad (A_i)_{i\in I},\quad
  \{A_i\mid i \in I\},\quad \{A_i\}_{i\in I}
</math>
などであらわす<ref name="notation">{''x''<sub>''i''</sub> | ''i'' &isin; ''I''} という記法を、添字付けられた元を全て含む集合に対して用い、族 (''x''<sub>''i''</sub> | ''i'' &isin; ''I'') と区別する流儀もある。この立場では、{''x''<sub>''i''</sub> | ''i'' &isin; ''I''} は添字や元の[[順列|並べ替え]]に関して不変であり、また、''x''<sub>''i''</sub> (''i'' &isin; ''I'') の中に重複する元が複数存在しても、一つ存在するのと同じであると見なされる。また、{''x''<sub>''i''</sub>}<sub>''i''&isin;''I''</sub> という記法を多重集合に対して用い、通常の集合 {''x''<sub>''i''</sub> | ''i'' &isin; ''I''} や族 (''x''<sub>''i''</sub>)<sub>''i''&isin;''I''</sub> と区別する場合などもある。著者によってはこれらの区別に意識的でないこともあり、文献を参照する際は文脈に注意を要する。
</ref>。これを[[添字記法]]などと呼ぶこともある。

== 列 ==
{{main|列 (数学)}}
添字集合として[[可算無限集合|高々可算な集合]]、殊に正の整数全体の集合 '''N''' をとるような、集合 ''X'' の要素の族は、通例、''X'' 内の[[列 (数学)|列]]あるいは'''点列'''と呼ばれる。可算無限点列 (''x''<sub>''i''</sub>)<sub>''i''&isin;'''N'''</sub> は、添字の可算性（数を数えながら並べられるということ）を反映して
:<math>(x_1, x_2, \ldots),\quad (x_i)_{i=1,2,\ldots}</math>
などで表すこともしばしばである。特に添字集合が有限順序数 {1, 2, ..., ''n''} となる列（有限列、''n''-組）は
:<math>(x_1, x_2, \ldots, x_n),\quad (x_i)_{i=1,2,\ldots,n},\quad (x_i)_{i=1}^n</math>
などの記法が用いられる。記号を流用して可算無限列を
:<math>(x_n)_{n=1}^\infty</math>
のような形に書くこともある。

== 元の重複と添字の入れ替え ==
二つの族が等しいとは、それらが写像として等しいこととして定められる。つまり、ある族に属する、値としては同じ元であっても、対応する添字が異なればそれらは区別される。たとえば、12 と 57 という二つの数からなる集まりを考えるとき、集合としては
:<math>\{12,57\} = \{12,57,57\}</math>
というように、たとえ表記上 57 が二回属しているように見えても「一回属している」ものと等しいが、一方で、[[自然数]]の族としては ''I'' = {1, 2} を添字集合とする ''f''(1) = 12, ''f''(2) = 57 と、''I''={1,2,3} を添字集合とする ''g''(1) = 12, ''g''(2) = 57, ''g''(3) = 57 は別の写像であるから、
:<math>(12,57) \ne (12,57,57)</math>
と区別を受ける。元の順序をはっきりさせるために、族を元に添字のついた集合として
:<math>\{12_{(1)}, 57_{(2)}, 57_{(3)}\}</math>
などと表すこともある。このとき元の添字を変えない限り元の並べ替えは自由に行ってよいが、添字の付け替えでは異なる族をあらわすことがあり、例えば
:<math>\{12_{(1)}, 57_{(2)}, 57_{(3)}\} \ne \{12_{(2)}, 57_{(1)}, 57_{(3)}\} = \{57_{(1)}, 12_{(2)}, 57_{(3)}\}</math>
と区別される。

この区別を無くして 12 が一つ、57 が二つというように、元が重複度を持つ集合の概念を考えることもあり、それを[[多重集合]]（たじゅうしゅうごう）と呼ぶ<ref name="notation" />。

== 注記 ==
<references />

== 関連項目 ==
* [[配列]]
* [[連想配列]]
* [[配置集合]]
* [[多重集合]]
* [[添字記法]]
* [[有向点族]]

== 参考文献 ==
{{No footnotes|section=1|date=2024-03}}
*日本数学会 「岩波数学辞典」岩波書店、1985年
*齋藤正彦　「数学の基礎」東京大学出版会、2002年
*R・J・ウィルソン　「グラフ理論入門　原著第4版」西関隆夫・西関裕子訳、近代科学社、2001年

{{DEFAULTSORT:そく}}
[[Category:数学の表記法]]
[[Category:数学に関する記事]]
[[Category:変数 (数学)]]