Let $X\subseteq \mathbb{P}^n(\mathbf{C})$ be a quasi-projective variety.
Q: Is $X$ necessarily quasi-compact in the Zariski topology (if yes then how to prove it)?
$\begingroup$
$\endgroup$
0
asked Jan 26, 2014 at 21:14
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
5
Say, any subset of a Noetherian topological space is quasi-compact with respect to the induced topology.
-
$\begingroup$ yes you're right, that was a dumb question $\endgroup$ Commented Jan 26, 2014 at 22:11
-
1$\begingroup$ @HugoChapdelaine no problem, happens to all of us $\endgroup$ Commented Jan 26, 2014 at 22:28
-
$\begingroup$ nevertheless, your solution gives the right point of view. $\endgroup$ Commented Jan 26, 2014 at 22:40
-
$\begingroup$ In fact Noetherian is equivalent to "hereditarily compact." $\endgroup$ Commented Jan 26, 2014 at 22:59
-
$\begingroup$ @QiaochuYuan sure, that's actually a criterion. Thank you for the term though, have never heard of this one. $\endgroup$ Commented Jan 26, 2014 at 23:03