空集合は任意の集合の部分集合
空集合は任意の集合の部分集合
任意の集合\(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ボタン |
連立1次方程式と拡大係数行列の定義と性質
\[
\left(A,\boldsymbol{b}\right)=\left(\begin{array}{cccc|c}
a_{11} & a_{12} & \cdots & a_{1n} & b_{1}\\
a_{21} & a_{22} & \cdots & a_{2n} & b_{2}\\
\vdots & \vdots & \ddots & \vdots & \vdots\\
a_{m1} & a_{m2} & \cdots & a_{mn} & b_{m}
\end{array}\right)
\]
(*)階数の性質
\[
\rank\left(AB\right)\leq\min\left(\rank\left(A\right),\rank\left(B\right)\right)
\]
行列の簡約化と階数(ランク)の定義
\[
\rank\left(\begin{array}{ccc}
1 & 0 & 1\\
0 & 1 & 0
\end{array}\right)=2
\]
主成分・階段行列・簡約行列の定義
\[
\left(\begin{array}{cccc}
1 & 2 & 0 & 2\\
0 & 0 & 1 & 2\\
0 & 0 & 0 & 0
\end{array}\right)
\]