反射関係のソースを表示

'''反射関係'''（はんしゃかんけい、{{lang-en-short|reflexive relation}}）は、[[数学]]における[[二項関係]]の一種。二項関係には'''反射性''' (reflexivity) のものと'''無反射性''' (irreflexivity) のものがある（無反射性の事を非反射性とよぶ文献もある）。なお、ここでの（二項）関係は ''X'' × ''X'' という形式であり、[[集合]] ''X'' からそれ自身への関係である。

== 概要 ==
集合 ''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''&nbsp;<sup>=</sup> は、''R''&nbsp;<sup>=</sup> = {(''x'', ''x'') | ''x'' ∈ ''X''} ∪ ''R'' と定義される。これはすなわち、''R'' を含む ''X'' 上の最小の反射関係である。これは ''R'' を含む全ての反射関係の[[共通部分|交叉]]と同じと見ることができる。

'''無反射核'''（irreflexive kernel）''R''<sup>≠</sup> は、
{{Math|1=<span style="font-size:120%">''R''<sup>≠</sup> = ''R'' \ {(''x'', ''x'') {{!}} ''x'' ∈ ''X''<nowiki>}</nowiki></span>}}あるいは、関係Rにおいて無反射的な最大の部分集合として定義される。これはすなわち関係Rの無反射な部分関係すべての[[和集合|合併]]に等しい。

なお、関係が全て反射的なものと無反射的なものに分類されるわけではない。無反射性は反射性が成り立たないという条件よりも狭い範囲に適用される。従って、二項関係は、反射的なもの、無反射的なもの、どちらでもないものに分類される。[[不等式]]“less than”や“greater than”は無反射的だが、“less than or equal to”や“greater than or equal to”は反射的である。しかし、整数に関する関係 ''R'' を ''a'' = −''b'' であるときだけ（[[同値]]）''a R b'' が成り立つと定義した場合、この関係は反射的でも無反射的でもない。なぜなら 0 の場合だけ自分自身との関係として成立するからである。

[[推移関係|推移的]]で無反射的な関係は、[[非対称関係]]で強半順序関係である。一方、推移的で反射的な関係は、単に{{仮リンク|前順序|en|preorder}}関係である。従って、[[有限集合]]では前者よりも後者の方が多い。

Quine (1951) などは、反射関係を '''totally reflexive''' と称し、''reflexive'' という用語は次のような弱い関係を指すとしている。
:<math>\forall a ( \exists b (aRb \lor bRa) \to aRa).</math>

== 反射関係を含む属性 ==
; [[前順序]]（[[擬順序]]） : [[推移関係|推移的]]でもある反射関係。したがって、前順序の特殊な例である[[順序集合|半順序]]や[[同値関係]]も反射的である。

== 例 ==
'''反射関係の例:'''
* 「A は B と等しい」（[[等式]]）
* 「A は B の[[部分集合]]である」（集合の包含関係）
* 「A は B で割り切れる」（[[約数]]）
* 「A は B 以下である」/「A は B 以上である」

'''無反射関係の例:'''
* 「A は B と等しくない」
* 「A は B と[[互いに素]]である」
* 「A は B より大きい」

==参考文献==
{{参照方法|date=2023年12月|section=1}}
* 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

{{DEFAULTSORT:はんしやかんけい}}
[[Category:反射関係|*]]
[[Category:二項関係]]
[[Category:集合論]]
[[Category:数理論理学]]
[[Category:数学に関する記事]]