結びと交わり

半順序集合  において、部分集合  の結び (join) と交わり (meet) はそれぞれ  の上限（最小上界） と  の下限（最大下界） である。一般に、半順序集合の部分集合の結びや交わりは存在するとは限らない；存在するときには、それらは  の元である。

結びと交わりは  の元の対上の可換結合的冪等部分二項演算として定義することもできる。 と  が  の元であるとき、結びは  と書かれ、交わりは  と書かれる。

結びと交わりは順序の反転に関して対称である。全順序集合の部分集合の結び/交わりは単にその極大/極小元である。

すべての対が結びを持つような半順序集合は  である。双対的に、すべての対が交わりを持つような半順序集合は  である。join-semilattice でも meet-semilattice でもあるような半順序集合は束である。単にすべての対ではなくすべての部分集合が結びと交わりを持つような束は完備束である。すべての対が結びや交わりをもつわけではないがその演算が（定義されるときに）ある公理を満たすような  を定義することもできる。

半順序からのアプローチ
 を半順序  を持った集合とし、 と  を  の2つの元とする。 の元  が  と  の交わり（あるいは最大下界あるいは下限）であるとは、以下の2条件が満たされることをいう。
  かつ （すなわち  は  と  の下界である）。
  かつ  なる  の任意の  に対して、 となる（すなわち  は  と  の任意の他の下界よりも大きいか等しい）。
 と  の交わりが存在すれば、一意である。なぜならば  と  がともに  と  の最大下界とすると、 かつ  だから  となるからである。交わりが存在するとき、 と書かれる。 の元の対には交わりを持たないものがあるかもしれない。それは、そもそも可解を持たないからか、あるいはどの下界も他の全てより大きくないからである。元のすべての対が交わりを持つとき、交わりは  上の二項演算であり、この演算が以下の3つの条件を満たすことを見るのは容易である。 の任意の元  に対して、
a.  （可換性）、
b.  （結合性）、
c.  （冪等性）。

普遍代数学からのアプローチ
定義により、集合  上の二項演算  が交わりとは、3条件 a, b, c を満たすことをいう。このとき対  はである。さらに、次のようにして  上の二項関係  を定義できる：。実は、この関係は  上の半順序である。実際、 の任意の元  に対して、
 、なぜならば c により ;
  かつ  ならば、a により ;
  かつ  ならば 、なぜならば b により 。

結びと交わりはともにこの定義を満たすことに注意。同伴な交わりと結びの対は互いに逆順序となる半順序を定める。それらの順序のうちの一方を主（正順）として選んで、その順序を与える演算を交わり、他方を結びと定義しなおすこともできる。

2つのアプローチの同値性
 が半順序集合であって、 の元の各対が交わりを持つとき、確かに  であるのは  のとき、かつそのときに限る。なぜならば後者のとき  はたしかに  と  の下界であり、明らかに  が最大下界であるのはそれが下界であるとき、かつそのときに限る。したがって、普遍代数学からのアプローチにおける交わりによって定義された半順序はもともとの半順序と一致する。

逆に、 が  で、半順序  が普遍代数学からのアプローチのように定義され、 のある元  と  に対して  であるとき、 は  に関する  と  の最大下界である。なぜならば

でありしたがって  だからである。同様に、 であり、 が  と  の別の下界であるとき、 であり、したがって

である。したがって、もともとの交わりによって定義される半順序によって定義される交わりがあり、その2つの交わりは一致する。

言い換えると、この2つのアプローチは本質的に同値な概念を定めている。それは1つの二項関係および1つの二項演算（それぞれ半順序および交わりの条件を満足する）を備えた集合であって、この2つの構造の各々一方が他方を決定するようなものである。

一般の部分集合の交わり
 が meet-semilattice であるとき、交わりは  に書かれている手法で任意の空でない有限集合の well-defined な交わりに拡張できる。あるいは、交わりが半順序を定義するあるいは半順序によって定義されているとき、 のある部分集合はこれについての下限をもち、そのような下限をその部分集合の交わりを考えることは合理的である。空でない有限部分集合に対して、2つのアプローチは同じ結果を生み出し、したがっていずれをも交わりの定義として取ることができる。 のすべての部分集合が交わりを持つ場合、 は実は完備束である。詳細はを参照。

脚注

参考文献

Category:二項演算
Category:束論
Category:順序集合論
Category:数学に関する記事