Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

I'm struggling to prove that $\mathbb CP^n$ is 2n-manifold.

We can defined the $\mathbb CP^n$ as the equivalence relation $(z_1,z_1,...,z_{n+1})\sim(w_1,w_1,...,w_{n+1})$ iff $z_i=\lambda w_i$, $i=1,2,...,n+1$.

In order to prove that $\mathbb CP^n$ is a $2n$-manifold, we need to define a function $f_i:U_i\to \mathbb C^n$ defined by $f_i([z_1,...,z_{n+1}])=\left(\frac{z_1}{z_i},...,\frac{z_{i-1}}{z_i},\frac{z_{i+1}}{z_i},..., \frac{z_{n+1}}{z_i}\right)$, where each $U_i$ is defined as $U_i = \{[z_0,z_1,...,z_n];z_i\neq 0\}$.

If we prove that this function is an homeomorphism, we're done.

It's easy to prove that each $f_i$ is well-defined, continuous and have this inverse $g_i:\mathbb C^n\to U_i$, defined by $g_i(z_1,...,z_n)=[z_1,...,z_{i-1},1,z_i,...,z_n]$

In order to prove that $\mathbb CP^n$ is a $2n$-manifold, it miss just the continuity of $g$, I need help in this part.


share|cite|improve this question
There is an obvious candidate for the inverse of your map, and it is very easy to show that they are in fact inverse to each other. Can you show that either of them is continuous? – Mariano Suárez-Alvarez Oct 10 '12 at 6:02
but that function is not continuous! It is not even well defined. – Mariano Suárez-Alvarez Oct 11 '12 at 15:56
@MarianoSuárez-Alvarez I've found the inverse $g$ of $f$ and I showed it's continuous, can you help me with the continuity of $g$? – user42912 Nov 23 '12 at 5:21
Look at $g_{1}(z_2,\dots,z_n)=[1,z_2,\dots,z_n]$. Observe we can write it as $g_{1}(z)=[1,\mathrm{id}(z)]$. You can use the definition of continuity from analysis, using $\varepsilon-\delta$ proof taking $\delta=\varepsilon$ you have it immediately... – Alex Nelson Nov 23 '12 at 5:54
up vote 2 down vote accepted

Firstly, you need to prove that $\mathbb{C}P^n$ is Hausdorff. It is proved here.

Let $X = \mathbb{C}^{n+1} - \{0\}$. Let $\pi \colon X \rightarrow \mathbb{C}P^n$ be the canonical map. Let $h_0\colon \mathbb{C}^n \rightarrow X$ be the map defined by $h_0(z_1,\dots,z_n) = (1,z_1,\dots,z_n)$. Clearly $h_0$ is continuous. Since $g_0 = \pi h_0$ and $\pi$ is continuous , $g_0$ is continuous. Similarly $g_i$ is continuous for $i \neq 0$.

For the sake of completeness, I will prove that $f_i$ is continous. Since $f_0\pi(z_0,z_1,\dots,z_n) = (z_1/z_0,\dots, z_n/z_0)$, $f_0\pi\colon \pi^{-1}(U_0) \rightarrow \mathbb{C}^n$ is continous. Let $V$ be an open subset of $\mathbb{C}^n$. Since $(f_0\pi)^{-1}(V) = \pi^{-1}(f_0^{-1}(V))$ is open in $\pi^{-1}(U_0)$, it is open in $X$. Hence $f_0^{-1}(V)$ is open. Hence $f_0$ is continous. Similarly $f_i$ is continuous for $i \neq 0$.

share|cite|improve this answer

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.