隣接関係の定義
隣接関係の定義
集合\(X\)上の2項関係\(\sim\)が非反射律・対称律を満たすとき、すなわち\(\forall x,y\in X,x\nsim x\land\left(x\sim y\rightarrow y\sim x\right)\)となるとき、\(\sim\)は\(X\)上の隣接関係という。
集合\(X\)上の2項関係\(\sim\)が非反射律・対称律を満たすとき、すなわち\(\forall x,y\in X,x\nsim x\land\left(x\sim y\rightarrow y\sim x\right)\)となるとき、\(\sim\)は\(X\)上の隣接関係という。
非反射律とは、任意の\(x\in X\)について\(x\nsim x\)が成り立つことをいう。
対称律とは、任意の\(x,y\in X\)について\(x\sim y\)ならば\(y\sim x\)が成り立つことをいう。
隣接関係とは隣同士の関係で、\(x\)から見て\(y\)が隣なら、\(y\)から見ても\(x\)が隣となり、自分自身とは隣ではないということを表している。
対称律とは、任意の\(x,y\in X\)について\(x\sim y\)ならば\(y\sim x\)が成り立つことをいう。
隣接関係とは隣同士の関係で、\(x\)から見て\(y\)が隣なら、\(y\)から見ても\(x\)が隣となり、自分自身とは隣ではないということを表している。
\(X=\emptyset\)のとき、隣接関係となる。
\(X=\left\{ a\right\} \)のとき2項関係\(\sim\)を\(\sim=\emptyset\)とすると隣接関係となる。
\(X=\left\{ a,b\right\} \)のとき2項関係\(\sim\)を\(\sim=\left\{ \left(a,b\right),\left(b,a\right)\right\} \)とすると隣接関係となる。
\(X=\mathbb{Z}\)のとき2項関係\(\sim\)を\(\sim=\left\{ \left(a,b\right)\in X^{2};\left|b-a\right|=1\right\} \)とすると隣接関係となる。
\(X=\mathbb{R}\)のとき2項関係\(\sim\)を\(\sim=\left\{ \left(a,b\right)\in X^{2};\left|b-a\right|\ne0\right\} \)とすると隣接関係となる。
\(X=\left\{ a\right\} \)のとき2項関係\(\sim\)を\(\sim=\emptyset\)とすると隣接関係となる。
\(X=\left\{ a,b\right\} \)のとき2項関係\(\sim\)を\(\sim=\left\{ \left(a,b\right),\left(b,a\right)\right\} \)とすると隣接関係となる。
\(X=\mathbb{Z}\)のとき2項関係\(\sim\)を\(\sim=\left\{ \left(a,b\right)\in X^{2};\left|b-a\right|=1\right\} \)とすると隣接関係となる。
\(X=\mathbb{R}\)のとき2項関係\(\sim\)を\(\sim=\left\{ \left(a,b\right)\in X^{2};\left|b-a\right|\ne0\right\} \)とすると隣接関係となる。
ページ情報
タイトル | 隣接関係の定義 |
URL | https://www.nomuramath.com/w7jfsnja/ |
SNSボタン |
2項関係の性質
\[
a=b\Rightarrow aRb\land bRa
\]
同値関係と順序関係(前順序・弱順序・半順序・全順序・整列順序・狭義半順序・狭義全順序)の定義
2つの集合上の二項関係(一意性・全域性)の定義
\[
aRc\land bRc\Rightarrow a=b
\]
自明な同値関係と相等関係
\[
\forall x,y\in X,x\sim y
\]