2項関係の定義

2項関係の定義
任意の集合\(A,B\)があり、直積集合\(A\times B\)の部分集合\(R\)を\(R\subseteq A\times B\)とすると、順序3つ組\(\left(A,B,R\right)\)を2項関係という。
\(a\in A,b\in B\)とすると、\(\left(a,b\right)\in R\)のとき\(aRb\)は真となり、逆も成り立つ。
すなわち、\(\left(a,b\right)\in R\Leftrightarrow aRb\)となる。
\(aRb\)は\(R\left(a,b\right)\)とも表される。
\(A=\left\{ a,b\right\} ,B=\left\{ c,d\right\} ,R=\left\{ \left(a,c\right),\left(b,d\right)\right\} \)とすると、\(aRc,bRd\)が真となり、\(aRd,bRc\)は偽となる。
大小関係は\(R=\left\{ \left(a,b\right)\in\mathbb{R}^{2};x\leq y\right\} \)となる。

(1)空関係

集合\(X\)があり、関係を\(R=\emptyset\subseteq X\times X\)として2項関係を\(\left(X,X,R\right)\)とする。
このとき、任意の元\(a,b\in X\)について、\(aRb\)は偽となり、この関係を空関係という。

(2)等号関係

集合\(X\)があり、関係を対角集合\(R=\left\{ \left(x,x\right);x\in X\right\} \)として、2項関係を\(\left(X,X,R\right)\)とする。
この関係を等号関係という。

(3)大小関係

実数全体の集合\(\mathbb{R}\)があるとき、\(R=\left\{ \left(a,b\right)\in\mathbb{R}^{2};a\leq b\right\} \)として、2項関係を\(\left(\mathbb{R},\mathbb{R},R\right)\)とする。
このとき、この関係を大小関係という。

(4)包含関係

集合\(X\)の部分集合を\(A,B\subseteq2^{X}\)として、関係を\(R=\left\{ \left(A,B\right)\in2^{X}\times2^{X};A\subseteq B\right\} \)とする。
このときの2項関係\(\left(A,B,R\right)\)を包含関係という。

ページ情報
タイトル
2項関係の定義
URL
https://www.nomuramath.com/os07dook/
SNSボタン