一类对称空间中元素的标准化

给出典型域ＨＱ中元素的一种标准化表示，ＨＱ＝｛Ｗ１，Ｗ２｝∈Ｃ＾２ｐ×ｅｑ│１／２（Ｗ１，Ｗ１＾－‘）－Ｗ２Ｗ＾－２’〉０，Ｋ＾（２ｐ）０（Ｗ１，Ｗ２）＝（Ｗ２１，Ｗ２）ｋ＾（２ｐ）０｝，其中Ｗ１是一２ｐ阶方阵，Ｗ２是一２ｐ×２（ｐ－ｑ）矩阵，这里ｑ≥ｐ。