« Home

Proposition. U3U_3 is open [math-4M36]

Let U3RP2U_3 \subset \mathbb{R}P^2 the set of those lines that intersect P3:={(x1,x2,x3)x3=1}P_3 := \{(x_1,x_2,x_3) \mid x_3 = 1\}.

Proof. [local-0]

By definition, U3RP2U_3 \subset \mathbb{R}P^2 is open if and only if its preimage in S2S^2 is open (its preimage under the map p:S2RP2p : S^2 \to \mathbb{R}P^2).

V3:=p1(U3)={(x1,x2,x3)S2x30} V_3 := p^{-1}(U_3)= \{ (x_1,x_2,x_3)\in S^2 \mid x_3 \ne 0 \}

Hence, we want to prove V3V_3 is open in S2S^2. Because V3=S2{(x1,x2,x3)R3x30}V_3 = S^2 - \{(x_1,x_2,x_3) \in \mathbb{R}^3 \mid x_3 \ne 0\}, and S2S^2 inherits the topology of R3\mathbb{R}^3, so if we can show an open set WR3W \subset \mathbb{R}^3 such that WS2=V3W \cap S^2 = V_3, then V3V_3 is an open set. Then we can see if we define W:=R3{(x1,x2,x3)R3x30}W := \mathbb{R}^3 - \{(x_1,x_2,x_3) \in \mathbb{R}^3 \mid x_3 \ne 0\}, it's open and WS2=V3W \cap S^2 = V_3, so V3V_3 is open in S2S^2 and U3U_3 is open in RP2\mathbb{R}P^2.