対角集合の定義
対角集合の定義
集合\(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ボタン |
『ファンデルモンドの畳み込み定理と第1引数の畳み込み』を更新しました。
ライプニッツの法則
\[
\left(fg\right)^{(n)}=\sum_{k=0}^{n}C(n,k)f^{(k)}g^{(n-k)}
\]
対数の指数exp(Log(z))と指数の対数Log(exp(z))の違い
\[
\Re\left(z\right)+i\mod\left(\Im\left(z\right),-2\pi,\pi\right)=\Log\left(\exp\left(z\right)\right)
\]
連結と非連結の定義
\[
\exists O_{1},O_{2}\in\mathcal{O},X=O_{1}\cup O_{2}\land O_{1}\cap O_{2}=\emptyset\land O_{1}\ne\emptyset\land O_{2}\ne\emptyset
\]