Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$$ \mathbb{P}^n=\bigcup_{j=1}^{n} U_j,$$ where $$U_j=\{[x_0:\dots,x_n]\in \mathbb{P}^n : x_j\neq 0\}=\{[x_0:\dots,x_n]\in \mathbb{P}^n : x_j=1\}$$ can be identified with $\mathbb{C}^n.$ In fact we need not use the complements of the hyperplanes defined by $x_i$ to define a cover $\{U_i\}$.Given any set of $n+1$ linearly independent hyperplanes not passing through the origin, the lines in $\mathbb{C}^{n+1}$ intersecting the $i'th$ hyperplane form a set $U_i$ that can be identified with $\mathbb{C}^n,$ and together these give a cover of $\mathbb{P}^n$ that differs from the one we first described only by a change of coordinates in $\mathbb{C}^{n+1}.$ Note that there is a natural Eucidean topology on $\mathbb{P}^n$ induced by virtue of the fact that $\mathbb{P}^n$ is a quotient of $\mathbb{C}^{n+1}\setminus\{0\}$. In particular, two points of $\mathbb{P}^n$ are close together if the corresponding lines in $\mathbb{C}^{n+1}$ have small angle between them. in this Eucledian topology on $\mathbb{P}^n$, each of the sets $U_i$ is open, and identification of $U_i$ with $\mathbb{C}^n$ descriebd above defines a homeomorphism of topological spaces when $\mathbb{C}^n$ considered with its Euclidean topology.

Why each $U_i$ is dense in $\mathbb{P}^n?$ and in fact, its complement is a lower dimensional space (namely, $\mathbb{P}^{n-1}$.)The intersection of $U_i$ with $U_j$ when $i\neq j$ is also dense.

share|cite|improve this question
Where is the question? – martini Mar 13 '12 at 7:26
Why $ecah$ $U_i$ $is$ $dense$ $in$ $\mathbb{P}^n$ ?, and why its complement is a lower dimensional space (namely, $\mathbb{P}^{n-1}$.The intersection of $U_i$ with $U_j$ when $i\neq j$ is also dense? thank you dear sir – Un Chien Andalou Mar 13 '12 at 7:29

We show first that $\mathbb P^n \setminus U_j$ can be identified with $\mathbb P^{n-1}$. By definition we have $$ \mathbb P^n \setminus U_j = \{[x_0: \cdots : x_{j-1} : 0 : x_{j+1} : \cdots : x_n] \in \mathbb P^n \mid [x_0: \cdots : x_{j-1} : x_{j+1} : \cdots : x_n] \in \mathbb P^{n-1} \}. $$ So $\mathbb P^n \setminus U_j$ consists of the lines, which ly in the hyperplane $\{x_j = 0\}$ and can so be indentified with $\mathbb P^{n-1}$.

For denseness: Let $x \in \mathbb P^n \setminus U_j$ and $U$ an open subset contatining $x$, choose $i$ with $x \in U_i$. Write $x = [x_0 :\cdots: x_n]$. Then $x_j = 0$, $x_i = 1$. As $U \cap U_i$ is open in $U_i \cong \mathbb C^n$, there is some $y \in U\cap U_i$ with $y_j \ne 0$. Then $y \in U_j \cap U$, so each open subset containing $x$ intersects $U_j$.

share|cite|improve this answer
thank you sir ... – Un Chien Andalou Mar 13 '12 at 9:02
It would be nice if you could accept the answer ... :) – martini Mar 13 '12 at 9:16
@martini, I also had that weird problem with the set braces {}. Using \\{ instead of \{ helped me :) – InvisiblePanda Mar 13 '12 at 9:47
I used \\{ first and the braces showed up ... now I reset it to \{ and it worked again :) – martini Mar 13 '12 at 9:48
Now that's strange oO – InvisiblePanda Mar 13 '12 at 10:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.