上界、下界、上限、下限、最大元、最小元、極大元、極小元
整列可能定理もツォルンの補題も順序に関連する概念を用いて述べられます。そこで、いくつか順序に関係する用語を定義しておきます。
◆Def.SetTop.2.21.1.
を集合、
を
上の順序とし、
とする。
・ は
の上界である
・ は
の下界である
・ は
の最大元である
・ は
の最小元である
・ は
の上限である
は集合
は
の上界
の最小元である
・ は
の下限である
は集合
は
の下界
の最大元である
・ は
の極大元である
かつ
となる
は存在しない
・ は
の極小元である
かつ
となる
は存在しない
の上限を
、下限を
と書く。また、
の最大元を
、最小元を
と書く。
Rem.1. これらは必ずしも存在するとは限りません。
Rem.2. もし に最大元が存在すれば、それは
の上限であり極大元にもなっています。同様に、
に最小元が存在すれば、それは
の下限であり極小元にもなっています。このことは定義から直ちに確かめられます。
◇Ex.SetTop.2.21.2.
の区間
について考えてみましょう。順序としては通常の大小関係を考えます。
・ は
の上界です。
も
の上界です。
は
の上界ではありません。
・ は
の下界です。
も
の下界です。
は
の下界ではありません。
・ の最大元は
です。最大元が存在するため、上限も極大元も
となります。
・ の最小元は
です。最小元が存在するため、下限も極小元も
となります。
次に、区間 について考えてみましょう。
・ は
の上界です。
も
の上界です。
は
の上界ではありません。
・ は
の下界です。
も
の下界です。
は
の下界ではありません。
・ の最大元は存在しません。任意の
に対して、例えば
とすれば、
かつ
であり、
より大きくて
に属する元が必ず存在するからです。 同様の議論により、極大元も存在しません。
・ の最小元は存在しません。任意の
に対して、例えば
とすれば、
かつ
であり、
より小さくて
に属する元が必ず存在するからです。同様の議論により、極小元も存在しません。
・ の上限は
です。実際、
は上界になっており、
より小さな数は最大元における議論から上界にはなり得ないからです。
・ の下限は
です。実際、
は下界になっており、
より大きな数は最小元における議論から下界にはなり得ないからです。
◇Ex.SetTop.2.21.3.
のべき集合
の部分集合
を次のように定めます。
ただし、 すなわち
は
の倍数全体の集合とする。
に包含関係
によって順序を定めます。すなわち、
として、
のとき
と定めます。
例えば、 の倍数は
の倍数であることから、
となります。
の倍数は
の倍数かつ
の倍数であることから、
と
が言えます。
このようにして考えていくと、 には極大元が存在し、それは
を任意の素数として
であることがわかります。
実際、 を割り切るのは
か
自身しかありませんが、
の定義で
としているため
は
の元ではないので、
より真に大きい
の元は存在しません。
一方で は
の最大元ではありません。
と異なる素数
について、
かつ
であるためです。
この記事へのコメントはありません。