Warning: Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning: Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning: session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning: session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning: session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46 http:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=114.49.2.201miniwiki - 利用者の投稿記録 [ja]2024-05-26T22:51:30Z利用者の投稿記録MediaWiki 1.31.0反射関係2017-04-17T10:54:02Z<p>114.49.2.201: rvv: 133.11.86.30 (会話) による ID:63783628 の版を取り消し</p>
<hr />
<div>'''反射関係'''(はんしゃかんけい、{{lang-en-short|reflexive relation}})は、[[数学]]における[[二項関係]]の一種。二項関係には'''反射性''' (reflexivity) のものと'''非反射性''' (irreflexivity) のものがある。なお、ここでの(二項)関係は ''X'' × ''X'' という形式であり、集合 ''X'' からそれ自身への関係である。<br />
<br />
== 概要 ==<br />
集合 ''X'' における'''反射的'''な関係 ''R'' は、''X'' の全ての元 ''a'' について、''a'' が自分自身と ''R'' の関係を持つ。数学的記法では次のように表される。<br />
<br />
:<math>\forall a \in X,\ a R a</math>.<br />
<br />
'''非反射的'''な関係 ''R'' は、''X'' の全ての元 ''a'' について、''a'' が決して自分自身と ''R'' の関係を持たない。数学的記法では次のように表される。<br />
<br />
:<math>\forall a \in X,\ \lnot (a R a)</math>.<br />
<br />
'''反射閉包'''(reflexive closure)''R''&nbsp;<sup>=</sup> は、''R''&nbsp;<sup>=</sup> = {(''x'', ''x'') | ''x'' ∈ ''X''} ∪ ''R'' と定義される。これはすなわち、''R'' を含む ''X'' 上の最小の反射関係である。これは ''R'' を含む全ての反射関係の積集合と同じと見ることができる。<br />
<!-- 訳語不明のため訳せず The '''reflexive reduction''' of a binary relation R on a set is the irreflexive relation R' with xR'y iff xRy for all x≠y. --><br />
<br />
なお、関係が全て反射的なものと非反射的なものに分類されるわけではない。非反射性は反射性が成り立たないという条件よりも狭い範囲に適用される。従って、二項関係は、反射的なもの、非反射的なもの、どちらでもないものに分類される。[[不等式]]“less than”や“greater than”は非反射的だが、“less than or equal to”や“greater than or equal to”は反射的である。しかし、整数に関する関係 ''R'' を ''a'' = −''b'' であるときだけ([[同値]])''a R b'' が成り立つと定義した場合、この関係は反射的でも非反射的でもない。なぜなら 0 の場合だけ自分自身との関係として成立するからである。<br />
<br />
[[推移関係|推移的]]で非反射的な関係は、[[非対称関係]]で強半順序関係である。一方、推移的で反射的な関係は、単に{{仮リンク|前順序|en|preorder}}関係である。従って、[[有限集合]]では前者よりも後者の方が多い。<br />
<br />
Quine (1951) などは、反射関係を '''totally reflexive''' と称し、''reflexive'' という用語は次のような弱い関係を指すとしている。<br />
:<math>\forall a ( \exists b (aRb \lor bRa) \to aRa).</math><br />
<br />
== 反射関係を含む属性 ==<br />
* {{仮リンク|前順序|en|preorder}}(擬順序) - [[推移関係|推移的]]でもある反射関係。従って、前順序の特殊な例である[[順序集合|半順序]]や[[同値関係]]も反射的である。<br />
<br />
== 例 ==<br />
'''反射関係の例:'''<br />
* 「A は B と等しい」([[等式]])<br />
* 「A は B の[[部分集合]]である」(集合の包含関係)<br />
* 「A は B で割り切れる」([[約数]])<br />
* 「A は B 以下である」/「A は B 以上である」<br />
<br />
'''非反射関係の例:'''<br />
* 「A は B と等しくない」<br />
* 「A は B と[[互いに素]]である」<br />
* 「A は B より大きい」<br />
<br />
==参考文献==<br />
* Lidl, R. and Pilz, G. (1998). ''Applied abstract algebra'', Undergraduate Texts in Mathematics, Springer-Verlag. ISBN 0-387-98290-6<br />
* Levy, A. (1979) ''Basic Set Theory'', Perspectives in Mathematical Logic, Springer-Verlag. Reprinted 2002, Dover. ISBN 0-486-42079-5<br />
* Quine, W. V. (1951). ''Mathematical Logic'', Revised Edition. Reprinted 2003, Harvard University Press. ISBN 0-674-55451-5<br />
<br />
{{DEFAULTSORT:はんしやかんけい}}<br />
[[Category:集合論]]<br />
[[Category:数理論理学]]<br />
[[Category:数学に関する記事]]</div>114.49.2.201 Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46