I want to prove that an irreducible affine variety is connected in the Zariski topology. Actually this is an exercise from Dummit and Foote's Abstract Algebra. However, I have two questions:
- Is the nonempty open set mentioned in problem 12(also mentioned in problem 11) corresponding to the whole space $\Bbb A^n$ or the variety itself? It's hard for me to figure out what author mean.
- I have tried to think about it for a long while. My attempt was proof by contradiction(I assumed the nonempty "open" sets is open with respect to the whole space $\Bbb A^n$). Let $V$ be an irreducible affine variety, $A,~B$ be open in $\Bbb A^n$ and $V\subseteq A\cup B$, $A\cap B=\emptyset$, $A\cap V\neq\emptyset$, and $B\cap V\neq\emptyset$. I want to deduce a contradiction, but fail.
Your question is purely topological and has nothing to do with algebraic varieties.
$\bullet$ A topological space is said to be connected if it is impossible to write it as the union of two disjoint non-empty open subsets.
$\bullet \bullet$ A topological space is said to be irreducible if it is non-empty and if any two non-empty open subsets have non-empty intersection connected.
It is then obvious that every irreducible topological space is connected.
The simplest connected but not irreducible topological space is $X=\{f,o,o'\}$ endowed with the topology whose open sets are: $$X,\emptyset, \{o\},\{o'\},\{o,o'\}.$$
The celebrated Professor Grossmaulkleinesgehirn has proved the fundamental classification theorem:
The irreducible Hausdorff topological spaces are exactly the one point spaces.