数学宣戦布告
A、Bが行列のとき
B=expA
定義
B=∑[n=0,∞]A^n/n!
A=E、のとき、B=e*E、 eは自然対数の底
Bが収束するAの必要十分条件はどうなるか
現象が一つみつかったら、その現象が成り立つ必要十分条件を追及するのが普通
この場合
(A->B)and(B->A) のとき、AとBとは必要十分条件(同値)であるという
A->B、 のとき、Aを十分条件というが、すべての十分条件を網羅してORで連ねたものが、必要十分条件となる
A->B、のとき、Bを必要条件というが、すべての必要条件をANDで連ねたものが、必要十分条件となる