คำศัพท์คณิตศาสตร์
It is well known that commuting matrices A, B ∈ Mn(C) can be reduced to triangular form by the same
unitary similarity transformation. (To be definite, we consider the upper triangular and block triangular
forms.) We then need the following real analog of the above complex result.