3.3
は順序集合
の部分集合とする.
がどの
よりも大きいとき
は
で最大,または
は
の最大元といい,
がどの
より小さいとき、
は
で最小,または
は
の最小元
という.
がどの
より大きいとき
は
の上界といい,
の上界の集合が最小元を持てばそれを
の上端という.
がどの
よりも小さければ
は
の下界といい,
の下界の集合が最大元を持てばそれを
の下端という.
の任意の部分集合が上端を持つとき
は上に完備,
の任意の部分集合が下端を持つとき
は下に完備という.
が上と下に完備のとき
は(単に)完備という.
の任意の有限部分集合が上端を持つとき
は上に有限完備といい,
下に有限完備,(単なる)有限完備も同様に定義する.
3.2の内容は半束
が上記の関係
で順序集合となり,
その任意の二元部分集合に上端がある(略して任意の二元に上端があるという)ことを意味するが,
ここに次の主張が成り立つ.
補題
任意の二元に上端のある順序集合は上に有限完備である.
証明
三元集合
については
の上端
と
との上端がこの集合の上端となる.
元部分集合については数学的帰納法によればよい.(証明終)
系
半束
は
のとき
と定義すれば関係
について上に有限完備な順序集合となる.
逆に
が上に有限完備な順序集合のとき二元
の上端を
とすれば
はこの演算について半束となる.
後半の証明も容易である
[11].
3.4
を集合とする.一般に
の元と
の元との間の関係
に対して,
の元と
の元の間の関係
で
であるとき,かつそのときに限って
となるようなものを
の逆関係,または略して逆という.特に
のとき,
の上の関係
の逆はまた
の双対ともいう.
の双対が
と一致するための必要十分条件は
が対称律をみたすことで,従って同値関係はその双対と一致する.
順序関係の双対はまた新しい順序関係となる.順序集合
にその双対順序を入れて作った
順序関係をもとの順序集合の双対という.
を順序集合に関するある概念とする.
を双対順序の中で考えると
新しい概念
になるとき
を
の双対という.
このとき
はまた
の双対となる.例えば 3.3 で述べた
上界,上端,上に完備の双対はそれぞれ下界,下端,下に完備で,完備の双対はそれ自身である.その双対と
一致する概念は自己双対であるという.
ある記述,または定理において,その中に現れるすべての概念をその双対でおきかえて作った記述,定理は
もとのものの双対という.ある定理が順序集合の中で一般的に成り立つとき,その双対定理も一般的に成り立つ.
もとの定理の証明の中の概念をすべてその双対で置き換えれば双対定理の証明となるからである.
例えば 3.3 の補題に対してその双対補題
補題
任意の二元に下端のある順序集合は下に有限完備である.
は一般に正しい.
3.5
は二つの演算
について束であるとする(1.8を参照).
は
について半束だから
のとき
とすれば
は
上の順序となる.
同様に
のとき
とすれば
も
上の順序であるが,
ならば
であるから,吸収律の第一式より
で
.
同様にして吸収律の第二式から
ならば
となり
[12],
この二つの順序は
上で一致する.すなわち
定理
束
において
のとき
と定義すれば,
は
上の順序で,これにより
は有限完備で,
はそれぞれ二元
の上端と下端とを与える.
逆に有限完備な順序集合
において二元
の上端,下端をそれぞれ
とすれば
は演算
により束となる.
3.6
順序という概念は数学や実世界の各所に現れる具体的な現象である大小関係,支配関係等を抽象化,
一般化して統一的に取り扱おうとする考えである.しかしこのような抽象概念を抽象的なまま考察するのは難しい.
もしどのような抽象的順序集合でも,これを性質のよくわかった具体的な順序を持つ対象にひき戻すことができて,
このような具体的な順序に関する考察や定理が,そのまま一般の抽象的順序に適用できることが示されたなら便利である.
このような考え方を順序の,あるいはさらに一般の抽象概念の,表現という.
順序集合
の各元
に対して
とおく.このとき
ならば
で,逆に
ならば
であるから
である
[13].
特に
ならば
.
よって
の各元と
の各元とは一対一対応し,
内で
であることと,
内で
であることとは同等である.この
を
の下界による表現という.
この表現は
の順序を
の包含関係で表現したわけであるが,
さらに
の二元の下端が
内の集合論的交で表現されている.
実際
の中で二元
の下端
があれば,
内で
かつ
であることと
であることとは同等であるから,
(ただし
では任意の二元
に対して必ず
は存在するが,これがある
について
となっているとは限らない).しかし
内の
は
内の
で表現されていはいない.
が存在しても
と
とは一般に相異なるものである.
3.7
最後に後に参照するいくつかの概念の定義を述べておく.
を順序集合,
はその部分集合とする.
で
ならば必ず
となるとき
は上に閉じているという.各
に対して
である
が見出されるときは
は
に共終であるといい,
さらに強く,各
に対し
である
が存在して
の上界がすべて
に入るとき,
は
に等終であるという.
が
に共終で上に閉じていれば
に等終となる.
上に閉じている,共終,等終の双対はそれぞれ下に閉じている,共始,等始という.
順序集合
の任意の二元が上界を持つとき
は有向集合であるという.
有向集合は位相論など極限概念を取り扱うときには基本になる概念である.
半束は 3.2で考えた順序によって有向集合である.
有向集合
の部分集合
は必ずしも有向集合ではないが,
が
に共終ならば有向集合となる.
上に述べた共終,等終などの概念は普通は有向集合の部分集合に対して考えられるのであるが,
定義だけならば一般の順序集合の中で考えても差し支えない.
順序集合
の空でない部分集合が常に最小元を持つとき,
は整列集合という.特に整列集合
の二元
のうちどちらかが集合
の最小元で,よって整列集合は全順序集合である.
整列集合の部分集合はまた整列集合である.
正整数の集合
は整列集合であるが,さらに
なども実数の部分集合として整列である.集合論の適当な公理系のもとに任意の濃度の整列集合の存在することが知られている.
officious[編集]
- ^
「
でも
でもない」がありえないことをいう.「
かつ
」 は反対称律よりありうる.
- ^
反対称律を満たすことから、等号を含む。
- ^
関係
の間の強弱関係は、
の包含関係となるから。
- ^
は
の倍数であるとき
とすると
は順序である.反射律・
推移律 ・反対称律 は成立するするが,全律 はあてはまらない.
- ^
集合
を複素平面上とし、
を
上の各要素を
その絶対値で比較する関係とするとき、
は擬順序。2つの複素数
の絶対値が
等しいからといって、
とは限らない。すなわち反対称律は満たさない。
は
複素平面上の絶対値が等しいことを示し、これは原点を中心とする複素平面の同心円上に同値類を作る。
この同心円と x 軸との交点を代表元として x 軸上の点(ただし
)を
とすると、
は
の骨格となる。なおこの例では
上の
は
全順序でもある.
- ^
半束
は可換な半群であるから
.
- ^ 反射律・推移律・反対称律
- ^
のとき
- ^
すなわち
かつ
をみたす
の中で最小のものが
.この節の式変形では
あるいは
のどちらかの仮定を使用した式変形は使われていない.
- ^
上にて演算
を
は
の最小公倍数と定義した場合,
は
について半束であり,
関係
を 「
ならば
」 とした場合
は順序で,
ならば
は
の約数である.
- ^ .
- ^
であれば
,よって
は可換
,
この値は吸収律第二式により
、すなわち
よって
.
- ^
すなわち