相似标准型引发的一些思考

今天遇到一道习题：

一个实矩阵能正交相似于上三角矩阵的充要条件是它的特征值均为实数。

这个命题的模式就是：一类矩阵(特征值均为实数的实矩阵)，与另一类矩阵(上三角矩阵)，可以建立某种关系(正交相似)。换个理解方式，就是特征值均为实数的实矩阵，一定能通过某个正交相似关系得到一个上三角矩阵。

这个命题的模式是这样的：对于每个满足条件P的矩阵，在所有与它满足关系Q的矩阵中，是否一定有一个满足条件R的矩阵？

把握了这个模式，可以平行的提出很多命题。

考虑问题的范围可以从所有C上的矩阵、R上的矩阵，换成所有上三角矩阵、实对称矩阵、幂等矩阵·······

要求建立的关系，可以考虑相似、正交相似、合同、上三角相似、上三角合同(随便说说啊)······

留下几个例子吧。

实对称矩阵在正交相似变换下一定能化成对角阵。

对于每个实对称矩阵，在所有它正交相似的矩阵组成的集合A中必有一个对角矩阵。

对于每个特征值均实数的实矩阵，在所有与它正交相似的矩阵的集合里必有一个上三角矩阵。

对于每个实矩阵，在所有与它正交相似的矩阵的集合里必有一个_______矩阵？

·······

如果是我当老师，可能要出这样的考题：

        对于每个满足条件P的矩阵，在所有与它满足关系Q的矩阵中，是否一定有一个满足条件R的矩阵？请你给出尽可能多的、有意义的(P,Q,R)三元组。