↓これの続き
cut-elimination.hatenablog.com
を順序集合とする。部分集合 をとる。 がすべての について のとき、 は の上界であるという。例えば順序集合 について の部分集合 をとると、 なんかはその上界である。
順序集合 と について、 を の上界をすべて集めた集合とする。 がすべての について のとき、 は の上限であるという。上限は最小の上界で、あるとすれば から一つに決まる。
一つに決まることの証明がちょっとおもしろい。数学でよくあるテクニック的なのが使われる。 と が の上限であるとする。上限ということは上界でもあるので、上限の定義から と が成り立つ。反対称律から である。このように、一つに決まることの証明は、二つ用意したらそれらが等しくなることを示せばよいことが多いんである。
の上限があれば から一つに決まるということは、 の上限は を使った記号で書いてもよいということである。なので の上限を と書くことにする。
上限が「あれば」とか書いてきたが、ない場合もある。例えば有理数をすべて集めた集合 を考えるとわかりやすい。 はもちろん順序集合になる。 の部分集合として < をとろう。 や はこの上界だが、 などと上界はどんどん小さくできて果てがない。よって < には上限がないのである。これどういうことかというと、 を上限としたいのだが、 は有理数ではないのでアカンのである。 でなく実数の集合 をとると、もちろん がこの上限になる。どんな部分集合(ただし空でなくて上界を持つ)にも上限があるかどうかというのは実は有理数集合と実数集合を分ける重要な性質である。 の部分集合として < をとったときに上限があるかどうかも考えてみてちょ。
上界に対して下界もある。 を順序集合とする。部分集合 をとる。 がすべての について のとき、 は の下界であるという。例えば順序集合 について の部分集合 をとると、 なんかはその下界である。
順序集合 と について、 を の下界をすべて集めた集合とする。 がすべての について のとき、 は の下限であるという。下限は最大の下界で、あるとすれば から一つに決まり、 と書く。