Topologie générale, VIII, p. 28
La sphère S5 étant considérée comme un sous-espace de C3, on considère l’application de S5 dans R7 qui à tout point x=(x1,x2,x3) de S5 (x1,x2,x3 complexes), fait correspondre le point y=(yi)1≤i≤7 de R7, tel que
y1y4=∣x1∣2−∣x2∣2,=ℜ(x1x3),y2y5=ℜ(x1x2),=ℑ(x1x3),y3y6=ℑ(x1x2),=ℜ(x2x3),y7=ℑ(x2x3). Cette fonction a la même valeur en deux points
x,x′ de
S5 tels que
x′=ζx, avec
∣ζ∣=1; montrer que, par passage au quotient, elle donne un homéomorphisme de
P2(C) sur un sous-espace de
R7.