Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let M_0\subseteq M_1 be two real ordered fields where M_0 is dense in M_1. Then is the real closure of M_0 dense in the real closure of M_1?

share|improve this question

1 Answer 1

Suppose there were a nonempty open set that intersected the closure of $M_1$ but not the closure of $M_0$. Take a point in that set and look at its minimal polynomial over $M_1$. A sufficiently small neighborhood of the coefficients of that polynomial should produce only polynomials that have a root in that set, since roots of polynomials are continuous. Choose a point in $M_0$ in each of those neighborhoods, look at the polynomial with those coefficients, and find a root in that open set.

share|improve this answer
    
Is it clear that the last polynomial should have a root? –  mosen Jan 17 '12 at 17:02
    
If the coefficients do not change too much then it should still have a root. Let $r$ be the root, and assume $a<r<b$ with, wlog $f(a)<0$ and $f(b)>0$. Then if the coefficients change so little that no point between $a$ and $b$ changes by more then $min(|f(a)|,|f(b)|)$, then there will still be a root in that interval. –  Will Sawin Jan 17 '12 at 20:19

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.