互いに素な集合と対角集合の関係
互いに素な集合と対角集合の関係
集合\(X\)の部分集合\(A,B\subseteq X\)に対し、以下が成り立つ。
\[ A\cap B=\emptyset\Leftrightarrow\left(A\times B\right)\cap\Delta_{X}=\emptyset \]
集合\(X\)の部分集合\(A,B\subseteq X\)に対し、以下が成り立つ。
\[ A\cap B=\emptyset\Leftrightarrow\left(A\times B\right)\cap\Delta_{X}=\emptyset \]
-
\(\Delta_{X}\)は\(X\)の対角集合\(\Rightarrow\)
\(A\cap B=\emptyset\)のとき、\begin{align*} \left(A\times B\right)\cap\Delta_{X} & =\left(A\times B\right)\cap\left\{ \left(x,y\right)\in X\times X;x=y\right\} \\ & \subseteq\left\{ \left(x,y\right)\in A\times B;x\ne y\right\} \cap\left\{ \left(x,y\right)\in X\times X;x=y\right\} \\ & =\emptyset \end{align*} となるので、\(\left(A\times B\right)\cap\Delta_{x}=\emptyset\)となる。
従って\(\Rightarrow\)が成り立つ。
\(\Leftarrow\)
対偶で示す。\(A\cap B\ne\emptyset\)のとき、\(\left(A\times B\right)\cap\Delta_{X}\ne\emptyset\)を示せばいい。
\(A\cap B\ne\emptyset\)なのである元\(a\in X\)が存在し\(a\in A\land a\in B\)となる。
このとき、\(\left(a,a\right)\in A\times B\)となり、対角集合の定義より、\(\left(a,a\right)\in\Delta_{X}\)なので、\(\left(a,a\right)\in\left(A\times B\right)\cap\Delta_{X}\ne\emptyset\)となる。
故に対偶が示されたので\(\Leftarrow\)が成り立つ。
-
これより\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)が成り立つ。ページ情報
タイトル | 互いに素な集合と対角集合の関係 |
URL | https://www.nomuramath.com/xi8h5cg6/ |
SNSボタン |
位相空間での位相と開集合閉集合の定義
\[
\forall\mathcal{A}\subseteq\mathcal{O},\bigcup_{A\in\mathcal{A}}A\in\mathcal{O}
\]
ベッセル関数のポアソン積分表示
\[
J_{\nu}(z)=\frac{1}{\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}\left(\frac{z}{2}\right)^{\nu}\int_{-1}^{1}(1-t^{2})^{\nu-\frac{1}{2}}e^{izt}dt
\]
集合が同じで位相が異なる空間
$\left(X,\mathcal{O}_{1}\right),\left(X,\mathcal{O}_{2}\right)$が位相空間ならば$\left(X,\mathcal{O}_{1}\cap\mathcal{O}_{2}\right)$も位相空間になる。
連結空間の閉包・内部
連結であれば閉包も連結になる。