由不定标量积定义的结构化矩阵集合中可对角化矩阵的稠密性

对于$\mathbb{C}^n \times \mathbb{C}^n$上由$B= \pm B^H \in Gl_n(\mathbb{C})$给出的（不定）标量积$[x,y]_B = x^HBy$，我们证明可对角化矩阵的集合在所有$B$-自伴、$B$-斜自伴、$B$-酉和$B$-正规矩阵的集合中是稠密的。