0
$\begingroup$

I'm looking at Bungo's answer in: Proof that the set of irrational numbers is dense in reals

and in the last step it says: "Since $\mathbb{Q}+\sqrt{2}$ is a subset of the irrationals, we conclude that the irrationals are also dense in $\mathbb{R}$.

$Q1$: What result was used in this step? Is it "If a set $X$ contains a subset dense in $\mathbb{R}$, then $X$ is also dense in $\mathbb{R}$?" How would we show this?

$Q2$: Is $\mathbb{Q}+\sqrt{2}$ the same set as the field extension $\mathbb{Q}(\sqrt{2})$ (the field obtained by adjoining $\sqrt{2}$ to $\mathbb{Q}$)?

$\endgroup$
  • 1
    $\begingroup$ Here $\mathbb{Q}+\sqrt{2}$ means all reals of the form $r+\sqrt{2}$, where $t$ is rational. No significant connection to the field extension. $\endgroup$ – André Nicolas Jan 31 '16 at 2:49
  • $\begingroup$ @AndréNicolas where $r$ is rational? $\endgroup$ – user167857 Jan 31 '16 at 2:55
  • $\begingroup$ What is your definition of "$X$ is dense in $\mathbb R$"? Is it "for any $a,b\in\mathbb R$ with $a\lt b$ there is an $x\in X$ such that $a\lt x\lt b$"? Is it "Every nonempty open subset of $\mathbb R$ contains an element of $X$? Is it "the closure of $X$ is equal to $\mathbb R$"? $\endgroup$ – bof Jan 31 '16 at 2:56
  • $\begingroup$ @bof Hello bof, the first one is the definition I was given $\endgroup$ – user167857 Jan 31 '16 at 2:56
  • $\begingroup$ Yes, sorry, I was typing in the dark, and $r$ and $t$ are close on the keyboard. $\endgroup$ – André Nicolas Jan 31 '16 at 2:56
2
$\begingroup$

His logic is that $A= \mathbb Q + \sqrt 2 = \{q + \sqrt 2| q \in \mathbb Q\}$.

A is a set consisting entirely of irrationals. $A$ is dense in $\mathbb R$ because $\mathbb Q$ is and $A$ is really just a shift.

Q1) Yes if $X \subset Y \subset Z$ and $X$ dense in $Z$ then $Y$ is dense in $Z$. Every neighborhood in $Z$ contains a point of $X$ so every neighborhood in $Z$ contains a point of $Y$. So $Y$ is dense in $Z$.

Q2) No. It's important that $A$ is a subset of the irrationals so that it doesn't contain any rationals. Other wise it wouldn't prove anything.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.