空集合の定義と性質
空集合の定義と性質
空集合の定義
要素を1つも持たない集合を空集合といい\(\emptyset\)で表す。
空集合は
\[ \emptyset=\left\{ \right\} \] である。
空集合の性質
空集合の定義
要素を1つも持たない集合を空集合といい\(\emptyset\)で表す。
空集合は
\[ \emptyset=\left\{ \right\} \] である。
空集合の性質
(1)
空集合は唯1つ存在する。任意の元\(x\)に対し、\(x\notin\emptyset\)となる。
任意の集合\(A\)に対し、\(\emptyset\subseteq A\)となる。
任意の集合\(A\)に対し、\(\emptyset\subseteq A\)となる。
(1)
空集合が\(\emptyset_{1},\emptyset_{2}\)の2つあり\(\emptyset_{1}\ne\emptyset_{2}\)と仮定する。このとき、任意の集合\(A\)に対し\(\emptyset_{1}\subseteq A\)が成り立つので\(A\)に\(\emptyset_{2}\)を代入すると、\(\emptyset_{1}\subseteq\emptyset_{2}\)となる。
同様に\(\emptyset_{2}\subseteq\emptyset_{1}\)が成り立つ。
これより、\(\emptyset_{1}\subseteq\emptyset_{2}\)かつ\(\emptyset_{2}\subseteq\emptyset_{1}\)なので\(\emptyset_{1}=\emptyset_{2}\)となるので矛盾。
従って、背理法より\(\emptyset_{1}=\emptyset_{2}\)となり、空集合は唯1つ存在する。
ページ情報
| タイトル | 空集合の定義と性質 |
| URL | https://www.nomuramath.com/z4pn0ulj/ |
| SNSボタン |
偶数ゼータの通常型母関数
\[
\sum_{k=1}^{\infty}\zeta(2k)x^{2k}=\frac{1}{2}\left(1-\pi x\tan^{-1}\left(\pi x\right)\right)
\]
(*)ベルヌーイ多項式の微分・積分
\[
B_{n}^{\left(k\right)}\left(x\right)=P\left(n,k\right)B_{n-k}\left(x\right)
\]
第3種・第4種チェビシェフ多項式の漸化式
\[
V_{k+1}(x)=2xV_{k}(x)-V_{k-1}(x)
\]
多重対数関数を含む積分
\[
\int\Li_{n}\left(z\right)dz=\sum_{k=0}^{n-2}\left\{ \left(-1\right)^{n-k}z\Li_{k+2}\left(z\right)\right\} -\left(-1\right)^{n}\left(z-\left(1-z\right)\Li_{1}\left(z\right)\right)+C
\]