Bourbaki

Exercice 5, § 4

Topologie générale, VIII, p. 28

La sphère S5S_5 étant considérée comme un sous-espace de C3\mathbf{C}^3, on considère l’application de S5S_5 dans R7\mathbf{R}^7 qui à tout point x=(x1,x2,x3)x = (x_1, x_2, x_3) de S5S_5 (x1,x2,x3x_1, x_2, x_3 complexes), fait correspondre le point y=(yi)1≤i≤7y = (y_i)_{1 \leq i \leq 7} de R7\mathbf{R}^7, tel que

y1=∣x1∣2−∣x2∣2,y2=ℜ(x1x‾2),y3=ℑ(x1x‾2),y4=ℜ(x1x‾3),y5=ℑ(x1x‾3),y6=ℜ(x2x‾3),y7=ℑ(x2x‾3). \begin{align*} y_1 &= |x_1|^2 - |x_2|^2, & y_2 &= \Re(x_1 \overline{x}_2), & y_3 &= \Im(x_1 \overline{x}_2), \\ y_4 &= \Re(x_1 \overline{x}_3), & y_5 &= \Im(x_1 \overline{x}_3), & y_6 &= \Re(x_2 \overline{x}_3), & y_7 &= \Im(x_2 \overline{x}_3). \end{align*}
Cette fonction a la même valeur en deux points x,x′x, x' de S5S_5 tels que x′=ζxx' = \zeta x, avec ∣ζ∣=1|\zeta| = 1; montrer que, par passage au quotient, elle donne un homéomorphisme de P2(C)P_2(\mathbf{C}) sur un sous-espace de R7\mathbf{R}^7.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.