空集合は任意の集合の部分集合
空集合は任意の集合の部分集合
任意の集合\(A\)に対し\(\emptyset\subseteq A\)が成り立つ。
任意の集合\(A\)に対し\(\emptyset\subseteq A\)が成り立つ。
\(\emptyset\subseteq\emptyset\)や\(A\subseteq A\)も常に成り立つ。
また任意の集合\(A\)に対し、\(\emptyset\subseteq A\)であるが、\(\emptyset\in A\)ではない。
-
\(A=\left\{ a\right\} \)のとき、\(a\in A\)であるが\(\left\{ a\right\} \in A\)ではない。また\(\left\{ a\right\} \subseteq A\)であるが、\(a\subseteq 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ボタン |
開基の基本性質
櫛型関数のフーリエ級数展開とフーリエ変換
\[
\mathrm{comb}_{T}\left(x\right)=\frac{1}{T}\sum_{n=-\infty}^{\infty}e^{i\frac{2\pi}{T}nx}
\]
(*)スターリング数と2項係数
\[
C\left(k,m\right)S_{1}\left(n,k\right)=\sum_{j=k-m}^{n-m}C\left(n,j\right)S_{1}\left(n-j,m\right)S_{1}\left(j,k-m\right),m\leq k
\]
剰余演算の引数
\[
\mod\left(\alpha,\beta,\gamma\right):=\mod\left(\alpha-\gamma,\beta\right)+\gamma
\]