行列A^∞＝lim(n->∞)A^nと定義したら定義できると思うんだけど。