问答题 证明矩阵 是具有相容次序的。

问答题 证明：若系数矩阵A是严格对角占优的或不可约对角占优的，且松弛因子ω∈（0，1），则SOR收敛。

问答题 设A是n阶方阵，则A可逆AT可逆。此命题对吗，并说明理由。