有向集合のソースを表示

[[数学]]における'''有向集合'''（ゆうこうしゅうごう、<em lang="en">directed set</em>）、'''有向前順序集合''' {{lang|en|(''directed preordered set'')}} あるいは'''フィルター付き集合''' {{lang|en|(''filtered set'')}} とは、空でない[[集合]] ''A'' と[[反射関係|反射的]]かつ[[推移関係|推移的]]な[[二項関係]]（つまり[[順序集合#前順序・半順序・全順序|前順序]]）&le; との組 (''A'', &le;) であって、さらに任意の二元が[[順序集合#上界|上界]]を持つ、すなわち ''A'' の任意の元 ''a'', ''b'' に対して、''A'' の元 ''c'' で ''a'' ≤ ''c'' かつ ''b'' ≤ ''c'' を満たすものが必ず存在するものをいう{{sfn|Kelley|1975|p={{google books quote|id=-goleb9Ov3oC|page=65|65}}}}。

有向集合は空でない[[全順序集合]]の一般化、すなわち任意の全順序集合は有向集合となるが、一方で必ずしも全ての[[半順序集合]]が有向集合となるわけではない。[[位相空間論]]において有向集合は[[列 (数学)|列]]の概念を一般化する[[有向点族]]（ネット）の概念を定義するのに用いられ、それにより[[解析学]]で用いられる様々な[[極限]]の概念を統一的に扱うことが可能になる。有向集合から[[抽象代数学]]あるいはもっと一般の[[圏論]]における[[直極限]]の概念が生じる。

== 同値な定義 ==
上記のものとは同値だが別な定義の仕方もある。すなわち、前順序集合 ''A'' の任意の有限集合が上界を持つとき、''A'' は有向集合であるという。先の定義はこの定義を含意する。実際、[[空集合]]に対しては、''A'' が空でないから ''A'' に存在する任意の元が[[空集合]]の上界になるし、空でない有限集合については、二元ごとの上界を求める操作を繰り返せば、その元の数に関する帰納法で上界の存在を示せる。

== 例 ==
有向集合の例には以下のようなものが挙げられる。
* [[自然数]]全体の成す集合 '''N''' に通常の大小関係による順序 ≤ を入れたものは有向集合である（さらに[[全順序集合]]でもある）。
* 自然数の対全体の成す集合 '''N''' &times; '''N''' に順序を<div style="margin:1ex 2em;"><math>(n_0, n_1) \le (m_0, m_1) \iff n_0 \le m_0 \wedge n_1 \le m_1</math></div>で定めると有向集合にすることができる。
* [[実数]] ''x''<sub>0</sub> に対して、それ以外の実数全体の成す集合 '''R''' &#x2216; {''x''<sub>0</sub>} は<div style="margin:1ex 2em;"><math>a\le b\iff |a - x_0| \ge |b - x_0|</math></div>とおくことにより有向集合となる。この状況は実数が「''x''<sub>0</sub> へ向かう向き」を持つという。これは[[半順序]]でも[[全順序]]でもないような有向集合の例になっている。
* 半順序集合だが有向集合で'''ない'''ような（自明な）例として、集合 {''a'', ''b''} に順序関係として ''a'' ≤ ''a'' および ''b'' ≤ ''b'' のみが成り立つものが挙げられる。もう少し自明でないような例としては、先に挙げた「''x''<sub>0</sub> へ向き付けられた実数」の例を少し変更して、''x''<sub>0</sub> に関して同じ側にある二元のみに順序関係を制限したものを考えればよい。
* ''T'' が[[位相空間]]で、''x''<sub>0</sub> が ''T'' の元とすると、''x''<sub>0</sub> の[[近傍 (位相空間論)|近傍]]全体の成す集合は ''U'' ≤ ''V'' &hArr; ''U'' &supe; ''V'' とおくことにより有向集合となる。つまり、
** 任意の ''U'' に対して ''U'' は自分自身を含むから ''U'' ≤ ''U'' が成り立つ。
** 任意の ''U'', ''V'', ''W'' に対して、''U'' が ''V'' を含み ''V'' が ''W'' を含むならば ''U'' は ''W'' を含むから、''U'' ≤ ''V'' かつ ''V'' ≤ ''W'' ならば ''U'' ≤ ''W'' が成り立つ。
** 任意の ''U'', ''V'' に対して、''U'' も ''V'' も ''U'' &cap; ''V'' を含むから、''U'' &le; ''U'' &cap; ''V'' かつ ''V'' &le; ''U'' &cap; ''V'' を満たす集合 ''U'' &cap; ''V'' が取れる。
* [[半順序集合]] ''P'' において、各元の任意の下方閉包、すなわち ''P'' の固定された元 ''x'' に対して {''a'' &isin; ''P'' | ''a'' ≤ ''x''} の形に書ける集合は全て、有向集合である。

== 半束との対比 ==
[[File:Directed_set,_but_no_join_semi-lattice.png|thumb|x100px|right]]
有向集合は（結び）半束よりも一般の概念である。すなわち、任意の[[半束|結び半束]]は、二元の結びをそれらの上限とみることにより有向集合となる。しかし逆は成り立たない。例えば 
{1000, 0001, 1101, 1011, 1111} にビットごとの順序（例えば 1000 &le; 1011 は成り立つが 1000 &le; 0001 は成り立たない）を入れた順序集合において、二元集合 {1000, 0001} は三つの上界を持つが、その中で最小のものは存在しない。

== 有向部分集合 ==
有向集合における順序関係は、[[反対称関係|反対称]]であることを要求されないから、従って有向集合は必ずしも[[半順序]]ではない。しかし「有向集合」という用語を半順序集合の文脈で用いることも多く、その場合に半順序集合 (''P'', &le;) の部分集合 ''A'' が'''有向部分集合''' {{lang|en|(''directed subset'')}} であるというのを、''P'' における順序によって ''A'' 自身が有向集合となることと定める。言い換えれば、有向部分集合とは、[[空集合|空]]でない部分集合で、任意の二元が上界を持つものをいう（ここで、''A'' の元についての順序関係は ''P'' からくるものであるから、反射性と推移性を明示的に要求せずとも、実際にはそれらの性質が成り立っている）。

半順序集合の有向部分集合は[[下方集合|下方閉]]であることは要求しない。半順序集合の部分集合が有向部分集合であるための必要十分条件は、その下方閉包が[[イデアル (順序集合論)|イデアル]]となることである。有向集合の定義は「上に有向な」集合（任意の二元が上界を持つ）に対するものになっているけれども、同様に任意の二元が下界を持つという「下有向集合」を定義することもできる。半順序集合の部分集合が下有向集合となるための必要十分条件は、その上方閉包が[[フィルター (数学)|フィルター]]となることである。

有向部分集合は、[[有向完備半順序]]を研究する[[領域理論]]において用いられる{{sfn|Gierz|p=2}}。有向完備半順序とは、その任意の上方有向集合が[[上限 (数学)|上限]]を持つような半順序集合である。この文脈では、部分有向集合はやはり収斂列の一般化を与える。

== 関連項目 ==
* [[フィルター付き圏]]
* [[Centered set]]
* [[Linked set]]

== 注記 ==
{{reflist|2}}

== 参考文献 ==
* {{cite book|author=John L. Kelley|authorlink=ジョン・リロイ・ケリー|title=General topology|series=Graduate Texts in Mathematics, No. 27|publisher=Springer-Verlag, New York-Berlin|year=1975|origyear=1955|isbn=978-0387901251}}日本語訳: {{cite book|和書|translator=児玉之宏|title=位相空間論|series=数学叢書|publisher=吉岡書店|year=1968}}
* Gierz, Hofmann, Keimel, ''et al.'' (2003), ''Continuous Lattices and Domains'', Cambridge University Press. ISBN 0521803381.

{{DEFAULTSORT:ゆうこうしゆうこう}}
[[Category:数学的関係]]
[[Category:順序集合論]]
[[Category:位相空間論]]
[[Category:数学に関する記事]]