基本解行列

$n\times n$ 行列値関数 $\Phi:I\to M_n(\mathbb{K})$ が $\Phi'=A(t)\Phi$ を満たし、各 $t$ で $\Phi(t)$ が可逆であるとき、$\Phi$ を $x'=A(t)x$ の基本解行列という。列ベクトルは $V$ の基底をなす。とくに $\Phi(t_0)=I$ のものを $t_0$ での正規化された基本解行列という。