行列の指数関数を考えます。それは普通の指数関数のTaylor展開からの類推で定義できて \[A \in M_n(\mathbb{C})\] とするとき(\(M_n(\mathbb{C})\)はn次複素正方行列全体の集合) \[ \exp(A)=\sum_{k=0}^\infty \frac{(A)^k}{k!} \]で定義されます。これがう…