Der projektive Raum/Offene Standardüberdeckung mit affinen Räumen/Fakt

Es sei ${}K$ ein Körper und sei ${}{\mathbb {P} }_{K}^{n}$ ein projektiver Raum. Es sei ${}i\in \{0,1,\ldots ,n\}$ fixiert.

Dann gibt es eine natürliche Abbildung

$\varphi _{i}\colon {{\mathbb {A} }_{K}^{n}}\longrightarrow {\mathbb {P} }_{K}^{n},\,(u_{1},\ldots ,u_{n})\longmapsto (u_{1},\ldots ,u_{i},1,u_{i+1},\ldots ,u_{n}).$

Diese Abbildung ist injektiv und induziert eine Bijektion zu denjenigen Punkten des projektiven Raumes, bei denen die ${}i$-te homogene Koordinate nicht ${}0$ ist. Die Umkehrabbildung wird durch

${\mathbb {P} }_{K}^{n}\supset D_{+}(X_{i}):={\left\{(x_{0},x_{1},\ldots ,x_{n})\mid x_{i}\neq 0\right\}}\longrightarrow {{\mathbb {A} }_{K}^{n}},\,(x_{0},x_{1},\ldots ,x_{n})\longmapsto {\left({\frac {x_{0}}{x_{i}}},{\frac {x_{1}}{x_{i}}},\ldots ,{\frac {x_{i-1}}{x_{i}}},{\frac {x_{i+1}}{x_{i}}},\ldots ,{\frac {x_{n}}{x_{i}}}\right)},$

gegeben.

Der projektive Raum wird überdeckt von diesen ${}n+1$ affinen Räumen. Das Komplement eines solchen affinen Raumes ${}{{\mathbb {A} }_{K}^{n}}\cong D_{+}(X_{i})\subset {\mathbb {P} }_{K}^{n}$ ist ein ${}(n-1)$-dimensionaler projektiver Raum.

Zum Beweis, Alternativen Beweis erstellen