包含関係は半順序関係
包含関係は半順序関係(反射律・反対称律・推移律)を満たす。
包含関係は半順序関係(反射律・反対称律・推移律)を満たす。
\(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ボタン |
上極限集合と下極限集合の定義
\[
\limsup_{n\rightarrow\infty}A_{n}=\bigcap_{n=1}^{\infty}\bigcup_{k=n}^{\infty}A_{k}
\]
集合列と非交和
\[
\bigcup_{k\in\left\{ 1,2,\cdots,n\right\} }A_{k}=\bigsqcup_{k\in\left\{ 1,2,\cdots,n\right\} }\left(A_{k}\setminus\bigcup_{j=1}^{k-1}A_{j}\right)
\]
集合列と和集合・積集合
\[
\bigcap_{1\leq j<k\leq n}\left(A_{j}\cup A_{k}\right)=\bigcup_{1\leq j\leq n}\bigcap_{1\leq k\leq n,k\ne j}A_{k}
\]
単調増加列・単調減少列同士の積集合と和集合
\[
A_{k}\nearrow_{k\in\mathbb{N}},B_{k}\nearrow_{k\in\mathbb{N}}\Rightarrow\bigcup_{k=1}^{\infty}\left(A_{k}\cap B_{k}\right)=\bigcup_{k=1}^{\infty}A_{k}\cap\bigcup_{k=1}^{\infty}B_{k}
\]