反射関係
反射関係（はんしゃかんけい、英: reflexive relation）は、数学における二項関係の一種。二項関係には反射性 (reflexivity) のものと非反射性 (irreflexivity) のものがある。なお、ここでの（二項）関係は X × X という形式であり、集合 X からそれ自身への関係である。
Contents
概要
集合 X における反射的な関係 R は、X の全ての元 a について、a が自分自身と R の関係を持つ。数学的記法では次のように表される。
- [math]\forall a \in X,\ a R a[/math].
非反射的な関係 R は、X の全ての元 a について、a が決して自分自身と R の関係を持たない。数学的記法では次のように表される。
- [math]\forall a \in X,\ \lnot (a R a)[/math].
反射閉包（reflexive closure）R = は、R = = {(x, x) | x ∈ X} ∪ R と定義される。これはすなわち、R を含む X 上の最小の反射関係である。これは R を含む全ての反射関係の積集合と同じと見ることができる。
なお、関係が全て反射的なものと非反射的なものに分類されるわけではない。非反射性は反射性が成り立たないという条件よりも狭い範囲に適用される。従って、二項関係は、反射的なもの、非反射的なもの、どちらでもないものに分類される。不等式“less than”や“greater than”は非反射的だが、“less than or equal to”や“greater than or equal to”は反射的である。しかし、整数に関する関係 R を a = −b であるときだけ（同値）a R b が成り立つと定義した場合、この関係は反射的でも非反射的でもない。なぜなら 0 の場合だけ自分自身との関係として成立するからである。
推移的で非反射的な関係は、非対称関係で強半順序関係である。一方、推移的で反射的な関係は、単に前順序関係である。従って、有限集合では前者よりも後者の方が多い。
Quine (1951) などは、反射関係を totally reflexive と称し、reflexive という用語は次のような弱い関係を指すとしている。
- [math]\forall a ( \exists b (aRb \lor bRa) \to aRa).[/math]
反射関係を含む属性
例
反射関係の例:
非反射関係の例:
- 「A は B と等しくない」
- 「A は B と互いに素である」
- 「A は B より大きい」
参考文献
- Lidl, R. and Pilz, G. (1998). Applied abstract algebra, Undergraduate Texts in Mathematics, Springer-Verlag. ISBN 0-387-98290-6
- Levy, A. (1979) Basic Set Theory, Perspectives in Mathematical Logic, Springer-Verlag. Reprinted 2002, Dover. ISBN 0-486-42079-5
- Quine, W. V. (1951). Mathematical Logic, Revised Edition. Reprinted 2003, Harvard University Press. ISBN 0-674-55451-5