需要正規(guī)陣的一個充要條件:
X 是正規(guī)陣的充要條件是 X 所有元素的模的平方和等于 X 的所有特征值的模的平方和,即
||X||_F^2 = sum |\lambda_i(X)|^2.
先證明 ||AB||_F=||BA||_F,因為
tr[(AB)*AB] = tr[B*A*AB] = tr[A*ABB*] = tr[AA*B*B] = tr[A*B*BA] = tr[(BA)*BA]
再注意到 AB 和 BA 所有的特征值都相等,利用前面的充要條件即得結(jié)論.