_30的子集赋予相对拓扑，formula_30是所有formula_2复矩阵集合，本身同构于formula_33维欧几里得空间。作为一个拓扑空间，formula_3是紧连通空间。因为formula_3是formula_30的一个有界闭子集，然后海涅-博雷尔定理可知紧性。欲证formula_3是连通的，回忆到任何酉矩阵formula_11能被另一个酉矩阵formula_39对角化。任何对角酉矩阵的对角线上都是绝对值为1的复数。从而我们可以写成formula_3中从单位到formula_11的一条道路由