対角集合の定義
対角集合の定義
集合\(X\)が与えられているとする。直積集合\(X\times X\)の部分集合\(\Delta_{X}=\left\{ \left(x,y\right)\in X\times X;x=y\right\} =\left\{ \left(x,x\right)\in X\times X\right\} \subseteq X^{2}\)を\(X\times X\)の対角集合または対角線集合という。
集合\(X\)が与えられているとする。直積集合\(X\times X\)の部分集合\(\Delta_{X}=\left\{ \left(x,y\right)\in X\times X;x=y\right\} =\left\{ \left(x,x\right)\in X\times X\right\} \subseteq X^{2}\)を\(X\times X\)の対角集合または対角線集合という。
\(X=\left\{ a,b\right\} \)とすると\(\Delta_{X}=\left\{ \left(a,a\right),\left(b,b\right)\right\} \)となる。
ページ情報
| タイトル | 対角集合の定義 |
| URL | https://www.nomuramath.com/stzx0gqp/ |
| SNSボタン |
2乗のルート
\[
\sqrt{\alpha^{2}}=\left|\alpha\right|\sqrt{\sgn^{2}\left(\alpha\right)}
\]
2つの集合上の二項関係(一意性・全域性)の定義
\[
aRc\land bRc\Rightarrow a=b
\]
有理数全体の集合のデデキント切断と最大元・最小元
整徐関係と半順序関係