反射関係の整礎性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/05/14 21:22 UTC 版)
関係 R が反射律を満たすとは、R の始域の任意の元 a に対して a R a が満たされることである。任意の定値列は(広義の)降鎖であるから、始域が空でない任意の反射関係は無限降鎖をもつ。例えば、自然数の全体に通常の大小関係による順序 ≤ を考えれば 1 ≥ 1 ≥ 1 ≥ ⋯ は無限降鎖になる。反射関係 R を扱う際には、この手の自明な降下列を取り除くために、普通は(しばしば陰伏的に) a R′ b ⇔ a R b かつ a ≠ b で定義される関係 R′ を代わりに利用する。先ほどの自然数の例で言えば、反射的順序関係 ≤ を考える代わりに、整礎関係となる < を用いるということである。文献によっては、整礎関係の定義として、本項におけるものの代わりに、このような規約を設けることによって反射関係をも含めるものもあるので注意を要する。
※この「反射関係の整礎性」の解説は、「整礎関係」の解説の一部です。
「反射関係の整礎性」を含む「整礎関係」の記事については、「整礎関係」の概要を参照ください。
- 反射関係の整礎性のページへのリンク