U(2).formula_30 一个一般矩阵元素形如这里 formula_32 使得 formula_33。我们考虑如下映射 formula_34，（这里 formula_35 表示 2×2 复矩阵集合），定义为考虑到 formula_37微分同胚于 formula_38 和 formula_35 同胚于 formula_40，我们可看到 formula_41 是一个实线性单射，从而是一个嵌入。现在考虑 formula_41 限制在三维球面上，记作 formula_43，我们可发现这是三维球面到