定義だけだったら
まぁ相似な対角行列の（複素数の場合も含む）pべき(これも複素数もあり得る）
を引き戻したものが自然な定義じゃね？
対角化不能な場合でも、近傍に対角化可能な奴がありそうだから極限を取るとか...
しかしwell-definedであるかチェックするのは大変そう