|
Author |
hbghlyj
Post time 2023-4-26 04:32
对于$[1,x_1,x_2]∈ℂℙ^2$,
\begin{cases}
1=z_0 w_0\\
x_1=-z_0 w_1-z_1 w_0\\
x_2=z_1 w_1
\end{cases}
有一组解
\begin{cases}
z_0=1\\z_1={-x_1-\sqrt{x_1^2-4x_2}\over2}\\w_0=1\\w_1={-x_1+\sqrt{x_1^2-4x_2}\over2}
\end{cases}对于$[0,x_1,x_2]∈ℂℙ^2$,
\begin{cases}
0=z_0 w_0\\
x_1=-z_0 w_1-z_1 w_0\\
x_2=z_1 w_1
\end{cases}
有一组解
\begin{cases}
z_0=0\\z_1=1\\w_0=-x_1\\w_1=x_2
\end{cases}
对于$f:ℝℙ^1×ℝℙ^1→ℝℙ^2$好像应该是$$\operatorname{Im}f=\{[1,x_1,x_2]:x_1^2-4x_2\ge0,x_1,x_2\inℝ\}\cup\{[0,x_1,x_2]:x_1,x_2\inℝ\}$$
因为$f$连续, 且$ℝℙ^1×ℝℙ^1$是紧的、连通的, 所以推出$\operatorname{Im}f$是紧的、连通的 |
|