Proving Existence of Rationals: x in R & ε>0

  • Thread starter Thread starter Zhalfirin88
  • Start date Start date
  • Tags Tags
    Existence
Zhalfirin88
Messages
137
Reaction score
0

Homework Statement


Prove that if x in R and epsilon > 0 are arbitrary, then there exist r in Q such that |x - r | < epsilon

Homework Equations


The Attempt at a Solution



I'm stumped on this one. I tried using the reverse triangle inequality, but I seemingly hit dead ends with it.
 
Physics news on Phys.org
Can you use the fact that the rationals are dense in the reals? This means that any real number can be approximated by a rational number.
 
I know what you are saying, but how do I write that (this is my first proofs class).

By the denseness of Q, you can say that epsilon < p < q < ... < r < x

But I'm not sure how you get the inequality in there. Feel like I'm missing something
 
Zhalfirin88 said:
I know what you are saying, but how do I write that (this is my first proofs class).

By the denseness of Q, you can say that epsilon < p < q < ... < r < x

But I'm not sure how you get the inequality in there. Feel like I'm missing something

The assumption is that you are given an x \in \mathbb{R} and an \varepsilon &gt; 0. Using the fact that the rationals are dense in the reals, any real number can be approximated by a rational number. In other words, there exists a r \in \mathbb{Q} such that r is arbitrarily close to x, or |x - r| &lt; \varepsilon.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top