Say $k$ is an algebraically closed field and define the equivalence relation on $k^{n+1}$ given by $x \sim y \iff x=\lambda y $ for some $\lambda \in \mathbb{k}^{\times}$. Clearly $\mathbb{P}^{n} = k^{n+1}/\sim$. Let the map $q:k^{n+1} \setminus 0 \longrightarrow \mathbb{P}^{n}$ be the quotient map that sends $x$ to its equivalence class. I have to show that it is an open map (for the Zariski topology). Any hint is appreciated.

  • $\begingroup$ What is your definition for the topology on $\mathbb{P^n}$? $\endgroup$ – trii Jan 25 at 16:07
  • $\begingroup$ Quotient topology $\endgroup$ – Dalamar Jan 25 at 16:12


  1. $q^{-1}(q(U))=\bigcup_{\lambda\in k^{\times}}\lambda U$

  2. Multiplication by $\lambda\neq 0$ is a homeomorphism as for basic opens $\lambda D(f)=D(f(\frac{1}{\lambda}(\cdot))) $


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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