空集合は任意の集合の部分集合
空集合は任意の集合の部分集合
任意の集合\(A\)に対し\(\emptyset\subseteq A\)が成り立つ。
\(\emptyset\subseteq\emptyset\)や\(A\subseteq A\)も常に成り立つ。
-
\(A=\left\{ a\right\} \)のとき、\(a\in A\)であるが\(\left\{ a\right\} \in A\)ではない。また\(\left\{ a\right\} \subseteq A\)であるが、\(\left\{ a\right\} \in A\)ではない。
また任意の集合\(A\)に対し、\(\emptyset\subseteq A\)であるが、\(\emptyset\in A\)ではない。
任意の\(x\in\emptyset\)は常に偽なので、\(\emptyset\subseteq A\Leftrightarrow\forall x\left(x\in\emptyset\rightarrow x\in A\right)\)は真になる。
故に題意は成り立つ。
ページ情報
タイトル | 空集合は任意の集合の部分集合 |
URL | https://www.nomuramath.com/xiaki13l/ |
SNSボタン |
完全・増分・差分バックアップについて解説
増分・差分バックアップの違いについて解説
偶数ゼータの通常型母関数
\[
\sum_{k=1}^{\infty}\zeta(2k)x^{2k}=\frac{1}{2}\left(1-\pi x\tan^{-1}\left(\pi x\right)\right)
\]
集合族・添字集合・部分族の定義
\[
\left\{ A_{\lambda}\right\} _{\lambda\in\Lambda}
\]
ファンデルモンドの畳み込み定理と第1引数の畳み込み
\[
\sum_{j=0}^{k}C(x,j)C(y,k-j)=C(x+y,k)
\]