球体S5被视为C3的子空间,将S5的映射考虑到R7,将S5(x1,x2,x3复数)的每个点x=(x1,x2,x3)发送到点 y=(yi)1≤i≤7 / R7,其中
y1=∣x1∣2−∣x2∣2,y2=R(x1x2),y3=J(x1x2),y4=R(x1x3),y5=J(x1x3),y6=R(x2x3),y7=J(x2x3). 该函数在
S5的两个点
x,x′处具有相同的值,使得
x′=ζx,其中
∣ζ∣=1。证明,通过经过商,诱导是
P2(C) 到
R7 的子空间的同胚。