Take the 2-minute tour ×
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.

Consider the Zariski Topology on $\mathbb{C}^n.$ Then is it true that for every non-empty Zariski open set $U,$ $U \cap \mathbb{R}^n$ is open dense in $\mathbb{R}^n$?

share|improve this question
    
you have to precise the topology used in $\mathbb{R}^n$. –  Abdelmajid Khadari Apr 9 '12 at 16:19
    
The topology on $\mathbb{R}^n$ is the usual topology. –  Suresh Apr 9 '12 at 16:26
    
if $U$ is open for the Zariski topology in $\mathbb{C}^n$, can we conclude that $U$ is open for the usual topology in $\mathbb{C}^n$ ? –  Abdelmajid Khadari Apr 9 '12 at 16:33
    
Yes. It is not difficult to see that a Zariski closed is closed in usual topology. Hence a Zariski open set is open in usual topology. –  Suresh Apr 9 '12 at 16:35
1  
@Matrix: No. Consider $U_x = \mathbb{R}^2 \backslash Z(x) $, the complement of a line in $\mathbb{R}^2$. Not bounded. –  Fredrik Meyer Apr 9 '12 at 17:12
show 1 more comment

1 Answer

Well I believe this should be the way to go ahead. Suppose $V:=U \cap \mathbb{R}^n$ is not open dense in $\mathbb{R}^n,$ then there is an open set $\mathcal{O}\subset\mathbb{R}^n$ such that $V\cap \mathcal{O} =\emptyset.$ In particular, $\mathcal{O} \subset U^c. $

Let $U^c = \bigcap_{m=1} ^ M \{f_m = 0\}.$ Consider an arbitrary $m$ and let $f_m= \sum_{a}c_ax^a = \sum_a \{Re(c_a)x^a + i \times Im(c_a)c^ax^a\}.$

The fact that $f_m = 0$ on $\mathcal{O}$ now essentially shows that $c_a = 0$ $ \forall a.$ This implies $f_m$ is the identically zero polynomial. Since $f$ was arbitrary, this means $U^c = C^n,$ contradicting $U$ is non-empty.

share|improve this answer
    
The writing could be better, but I think the ideas are correct. –  Cantlog Oct 8 '13 at 20:04
add comment

Your Answer

 
discard

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.