Ladies and gentlemen!
I was hoping you'd might be able to clear something that should be minor out for me since I've been getting a bit confused over seemingly contradictory statements as to whether varieties are open or closed sets, a situation not made any easier by the fact that it is perfectly possible for them to be both.
Such as I was taught basic algebraic geometry, affine algebraic sets are the closed sets of the Zariski topology. Nevertheless, on Wikipedia, I read that "every open subset of a variety is a variety".
I decided to try to look at a simple example, but matters just got more confusing there. For example, consider the affine algebraic set $V_1 = V((x^2+2x-1)(y-1)-z) \subset \mathbb{C}^3$ with the algebraic subset $V_2 = V(y, x^2+2x+z-1)$. In as far as I can tell, $V_2$ would have to be open, since it is a neighbourhood for every point in it (unless I am making some serious mistake). But it would have to be simultaneously closed since it is an algebraic subset?
Am I right, wrong? In either case, how?
If neither $V_1$ or $V_2$ are open, can someone please provide me with some reasonably good examples of open subsets of $\mathbb{C}^3$ in the Zariski topology.
Thank you in advance.
Neither $V_1$ nor $V_2$ are open in $\Bbb C^3$. They're closed (since they're $V$ of some ideal), so if either of them were open, they would be a connected component of $\Bbb C^3$ with nontrivial complement (the origin isn't in either of them). This would imply that $\Bbb C^3$ is disconnected in the Zariski topology, which is false ($\Bbb C^3$ has coordinate algebra $\Bbb C[x,y,z]$, which is an integral domain, so it's irreducible and in particular connected).
As for an example of an open subset of $\Bbb C^3$ in the Zariski topology, here are a few:
As for what's going on with wikipedia, I'd say you're meeting up with a couple different issues at the same time. First, the concept of a variety as you're describing it in your post (closed algebraic set in $k^n$ for an integer $n$ and a field $k$) gets upgraded pretty quickly to something more sophisticated, so some things one reads about "varieties" make more or less sense (or, indeed aren't totally correct) depending on where the reader and the writer are on the continuum of definitions for varieties. Secondly, sometimes people have actually different definitions - this shows up a lot once people start phrasing variety as "scheme + adjectives". For instance, in much of Hartshorne, a variety is (or is equivalent to) an integral separated scheme of finite type over a field, while other books or papers drop any number of those assumptions, allowing for example reducible varieties, non-reduced varieties, etc. Thirdly, people often aren't super precise about what their definition of "variety" actually is, which can lead to more confusion amongst readers, especially those who are newer to the subject. I'll just say that once you adopt the idea that a variety is a scheme with some adjectives, the statement on Wikipedia is correct and very quick from the definitions (assuming you've chosen the right adjectives).