包含関係は半順序関係
包含関係は半順序関係
包含関係は半順序関係(反射律・反対称律・推移律)を満たす。
包含関係は半順序関係(反射律・反対称律・推移律)を満たす。
\(A,B,C\)を集合とする。
反射律
\(\forall x\left(x\in A\rightarrow x\in A\right)\Rightarrow A\subseteq A\)なので\(A\subseteq A\)となり反射律を満たす。反対称律
\(A=B\Leftrightarrow A\subseteq B\land B\subseteq A\)なので\(A\subseteq B\land B\subseteq A\Rightarrow A=B\)となり、反対称律を満たす。推移律
\begin{align*} A\subseteq B\land B\subseteq C & \Leftrightarrow\forall x\left(x\in A\rightarrow x\in B\right)\land\forall x\left(x\in B\rightarrow x\in C\right)\\ & \Leftrightarrow\forall x\left(x\in A\rightarrow x\in B\right)\land\left(x\in B\rightarrow x\in C\right)\\ & \Leftrightarrow\forall x\left\{ \left(\lnot x\in A\lor x\in B\right)\land\left(\lnot x\in B\lor x\in C\right)\right\} \\ & \Rightarrow\forall x\left\{ \lnot x\in A\lor x\in B\lor\lnot x\in B\lor x\in C\right\} \\ & \Leftrightarrow\forall x\left\{ \lnot x\in A\lor x\in C\right\} \\ & \Rightarrow\forall x\left(x\in A\rightarrow x\in C\right)\\ & \Leftrightarrow A\subseteq C \end{align*} となるので\(A\subseteq B\land B\subseteq C\Rightarrow A\subseteq C\)より、推移律を満たす。-
これらより、反射律・反対称律・推移律を満たすので半順序関係を満たす。ページ情報
タイトル | 包含関係は半順序関係 |
URL | https://www.nomuramath.com/v6yqewcp/ |
SNSボタン |
第1種・第2種不完全ガンマ関数の基本性質
\[
\Gamma\left(1,x\right)=e^{-x}
\]
ヘヴィサイドの階段関数とクロネッカーのデルタの関係
\[
H_{a}\left(n\right)-H_{b}\left(n-1\right)=a\delta_{0,n}+\left(1-b\right)\delta_{1,n}
\]
カントール集合の数式表示
[2022年関西大学文系数学]3角関数の分数の最小値問題
$-\frac{\pi}{2}<\theta<\pi$のとき、$\frac{2\sin\theta+4\cos\theta+5}{\sin\theta+\cos\theta+1}$の最小値。