カテゴリー: 数学
有向集合と有向点列の定義
\[
\forall a,b\in\Lambda,\exists c\in\Lambda,a\preceq c\land b\preceq c
\]
量化子(全称命題・存在命題)の順序変更
\[
\exists x\forall y,P\left(x,y\right)\Rightarrow\forall y\exists x,P\left(x,y\right)
\]
量化子(全称命題・存在命題)と和集合
\[
\forall x\in A\cup B,P\left(x\right)\Leftrightarrow\left(\forall x\in A,P\left(x\right)\right)\land\left(\forall x\in B,P\left(x\right)\right)
\]
量化子(全称命題・存在命題)と空集合と命題変数
\[
\forall x\in\emptyset,P\left(x\right)\Leftrightarrow\top
\]
線形写像の合成と表現行列の積
\[
A_{g\circ f}=A_{g}A_{f}
\]
表現行列の定義とベクトルの成分
\[
\left(f\left(\boldsymbol{v}_{1}\right),f\left(\boldsymbol{v}_{2}\right),\cdots,f\left(\boldsymbol{v}_{m}\right)\right)=\left(\boldsymbol{w}_{1},\boldsymbol{w}_{2},\cdots,\boldsymbol{w}_{n}\right)A
\]
線形写像・零写像・線形変換・ 恒等変換の定義と性質
\[
\begin{cases}
f\left(\boldsymbol{x}+\boldsymbol{y}\right)=f\left(\boldsymbol{x}\right)+f\left(\boldsymbol{y}\right)\\
f\left(c\boldsymbol{x}\right)=cf\left(\boldsymbol{x}\right)
\end{cases}
\]
基底の性質
$K^{n}$空間では$\boldsymbol{a}_{1},\boldsymbol{a}_{2},\cdots,\boldsymbol{a}_{n}$が基底であることと、$\det\left(\boldsymbol{a}_{1},\boldsymbol{a}_{2},\cdots,\boldsymbol{a}_{n}\right)\ne0$であることは同値である。
和空間・積集合の次元
\[
\dim W_{1}+\dim W_{2}=\dim\left(W_{1}+W_{2}\right)+\dim\left(W_{1}\cap W_{2}\right)
\]
ベクトルの基底と成分の変換
\[
\left(\boldsymbol{y}_{1},\boldsymbol{y}_{2},\cdots,\boldsymbol{y}_{n}\right)=\left(\boldsymbol{x}_{1},\boldsymbol{x}_{2},\cdots,\boldsymbol{x}_{n}\right)P
\]
ベクトルの基底に関する成分
\[
\boldsymbol{v}=\left(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\right)\left(\begin{array}{c}
a_{1}\\
a_{2}\\
\vdots\\
a_{n}
\end{array}\right)
\]
和空間・積集合・部分集合から生成・像・逆像と部分空間
部分空間の和空間・積集合・像・逆像は部分空間になる。
生成される部分空間
\[
W=\left\langle \boldsymbol{x}_{1},\boldsymbol{x}_{2},\cdots,\boldsymbol{x}_{n}\right\rangle _{K}
\]
1次従属・1次独立の基本性質
ベクトル$\boldsymbol{a}_{1},\boldsymbol{a}_{2},\cdots,\boldsymbol{a}_{m}$が1次従属であれば$\boldsymbol{a}_{1},\boldsymbol{a}_{2},\cdots,\boldsymbol{a}_{m+1}$も1次従属である。
1次関係と1次独立と1次従属の定義
\[
\sum_{k=1}^{n}c_{k}\boldsymbol{x}_{k}=\boldsymbol{0}\Rightarrow c_{1}=c_{2}=\cdots=c_{n}=0
\]
部分ベクトル空間(線形部分空間)の定義と性質
\[
\boldsymbol{x},\boldsymbol{y}\in W\rightarrow\boldsymbol{x}+\boldsymbol{y}\in W
\]
零ベクトル・逆ベクトルの性質
ベクトル空間の零ベクトルは一意的である。
ベクトル空間(線形空間)の定義
\[
\boldsymbol{x}+\left(\boldsymbol{y}+\boldsymbol{z}\right)=\left(\boldsymbol{x}+\boldsymbol{y}\right)+\boldsymbol{z}
\]
ブロック対角行列の最小多項式
\[
m\left(x\right)=\lcm\left(m_{1}\left(x\right),m_{2}\left(x\right),\cdots,m_{r}\left(x\right)\right)
\]
ブロック対角行列の固有空間と広義固有空間
\[
W\left(\lambda\right)=\prod_{k\in\left\{ 1,2,\cdots,r\right\} }W_{k}\left(\lambda\right)
\]
ブロック対角行列の固有多項式と固有値
\[
p_{A}\left(\lambda\right)=\prod_{k\in\left\{ 1,2,\cdots,r\right\} }p_{A_{k}}\left(\lambda\right)
\]
ブロック対角行列の逆行列
\[
\left(\begin{array}{cccc}
A_{1,1} & O & \cdots & O\\
O & A_{2,2} & \ddots & O\\
\vdots & \ddots & \ddots & \vdots\\
O & O & \cdots & A_{p,p}
\end{array}\right)^{-1}=\left(\begin{array}{cccc}
A_{1,1}^{-1} & O & \cdots & O\\
O & A_{2,2}^{-1} & \ddots & O\\
\vdots & \ddots & \ddots & \vdots\\
O & O & \cdots & A_{p,p}^{-1}
\end{array}\right)
\]
対称ブロック分けのトーレス
\[
\tr\left(\begin{array}{cccc}
A_{1,1} & A_{1,2} & \cdots & A_{1,p}\\
A_{2,1} & A_{2,2} & \ddots & A_{2,p}\\
\vdots & \ddots & \ddots & \vdots\\
A_{p,1} & A_{p,2} & \cdots & A_{p,p}
\end{array}\right)=\sum_{k=1}^{p}\tr\left(A_{k,k}\right)
\]
ブロック対角行列の和・積・べき乗
\[
\left(\begin{array}{cccc}
A_{11} & O & \cdots & O\\
O & A_{22} & \ddots & O\\
\vdots & \ddots & \ddots & \vdots\\
O & O & \cdots & A_{pp}
\end{array}\right)^{k}=\left(\begin{array}{cccc}
A_{11}^{k} & O & \cdots & O\\
O & A_{22}^{k} & \ddots & O\\
\vdots & \ddots & \ddots & \vdots\\
O & O & \cdots & A_{pp}^{k}
\end{array}\right)
\]
ブロック3角行列の行列式
\[
\det\left(\begin{array}{cccc}
A_{1,1} & O & \cdots & O\\
A_{1,2} & A_{2,2} & \ddots & O\\
\vdots & \ddots & \ddots & \vdots\\
A_{1,p} & A_{2,p} & \cdots & A_{p,p}
\end{array}\right)=\prod_{k=1}^{p}\det\left(A_{k,k}\right)
\]