# Question about proof that irrationals are dense in $\mathbb{R}$

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}$)?

• 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. – André Nicolas Jan 31 '16 at 2:49
• @AndréNicolas where $r$ is rational? – user167857 Jan 31 '16 at 2:55
• 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$"? – bof Jan 31 '16 at 2:56
• @bof Hello bof, the first one is the definition I was given – user167857 Jan 31 '16 at 2:56
• Yes, sorry, I was typing in the dark, and $r$ and $t$ are close on the keyboard. – André Nicolas Jan 31 '16 at 2:56

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.