1
vote
4answers
56 views

Real Between Rationals

Let $x$ be a real number. Show that, for any $\varepsilon>0$, there exist two rationals $q$ and $q'$ such that $q<x<q'$ and $|q-q'|<\varepsilon$ How should I approach this prove?
0
votes
3answers
53 views

Find all $n\in \mathbb N$ such that $\sqrt{n+7}+\sqrt{n}$ is rational.

Find all $n\in \mathbb N$ such that $\sqrt{n+7}+\sqrt{n}$ is rational. By inspection it is pretty easy to see that the only $n$ that will work is $n=9$. Because the distance between perfect squares ...
-1
votes
0answers
40 views

Proving irrational number between two rational numbers. [duplicate]

Does this proof make sense? Show that between any two real numbers there is an irrational number. ∃ x,y ∈Q ∋:x Consider the number n/√2 where n is a natural number and n/√2>1/(y-x). This means ...
3
votes
3answers
69 views

The supremum of rationals that are less than a given number is equal to that number

I have the following theorem to prove. Given a real number $a$, define the set $S$ such that $S = \{x \in \mathbb Q: x < a\}$. Show that $a = \sup S$. My attempt at a proof is as follows ...
0
votes
1answer
26 views

Given that $a>1$, show that the exponential function $a^x$ is increasing for $x\in\mathbb{Q}$

The assumption one can make here is that it is increasing for $x\in\mathbb{Z}$. I have tried to make a proof but I'm not sure if it is valid. Here it goes. Say $x,y\in\mathbb{Q}$. Then they can be ...
0
votes
3answers
47 views

Correctness of proof that every positive rational with square $>2$ is an upper bound for those with square $<2$

I would like to know whether my proof makes sense or not, and if not where should it be corrected. Let $E=\{x \text{ is rational }: x>0 \text{ and } x^2<2\}.$ Claim: Every member of $F=\{x ...
0
votes
2answers
55 views

Correctness of the proof that the set $\{x \in \mathbb{Q} : x>0 \text{ and } x^2>2\}$ does not have a smallest element

Let $F=\{x \in \mathbb{Q} : x>0 \text{ and } x^2>2\}$. I am asked to show that $F$ does not have a smallest element. The hint is to simply prove the claim: 'If $p$ is a rational number in ...
3
votes
4answers
111 views

Is there a bijection from a bounded open interval of $\mathbb{Q}$ onto $\mathbb{Q}$?

It is easy to create a bijection between two bounded open intervals of $\mathbb{R}$, such as: $$ \begin{align} f : (a,b) &\to (\alpha,\beta) \\ x &\mapsto \alpha+(x-a)(\beta-\alpha). ...
2
votes
0answers
40 views

Approximating real vectors in the unit hypercube by rational vectors in the unit hypercube

I am currently looking for an error bound for an problem where I have to approximate a real vector in the unit hypercube using a rational vector in the unit hypercube. Specifically: given a ...
0
votes
3answers
45 views

Rationals over an interval

Suppose $I$ is an interval $[a,b]$. It is noted that $a$ and $b$ are real integers. Divide the interval into $n$ parts with step size $h=(b-a)/n$. Clearly all the points $a$, $a+h$, ...
2
votes
2answers
58 views

Question about the density of Q in R

So I was looking over a density that shows that the rational numbers are dense in the real numbers. If $0< a <b$, with with $a,b$ real numbers, then I understood why we can chose n such that: ...
1
vote
0answers
48 views

Rational approximation bound for real numbers in (0,1)

I am working on a problem that related to rational approximation of real numbers. I am looking for a bound of the form: Given a positive real number, $\alpha \in (0,1)$, there exist positive ...
2
votes
1answer
60 views

Limit of function defined on the rational numbers

Let $f$ the function defined on $\mathbb Q$ by : $ f(n/m) = n $. I would like to know whether it is true that : $ \forall q\in \mathbb Q - \{ 0 \} \quad \forall R>0 \quad \exists \delta >0\quad ...
7
votes
3answers
460 views

Sequences of Rationals and Irrationals

Let $(x_n)$ be a sequence that converges to the irrational number $x$. Must it be the case that $x_1, x_2, \dots$ are all irrational? Let $(y_n)$ be a sequences that converges to the rational number ...
3
votes
1answer
101 views

Can the rational numbers be specified as an ordered field with <order property>?

In other words, (the opposite of my question is) does there exist an ordered field which is isomorphic as (as an ordered SET) to $\mathbb{Q}$? If not, does there exist an order property which ...
0
votes
1answer
101 views

Epsilon Neighborhoods of the Rationals

What is meant when someone discusses an epsilon neighborhood of $\mathbb{Q}$?. Naturally the rationals are dense in $[0,1]$, so what is the epsilon neighborhood? More importantly, what does the ...
3
votes
2answers
73 views

Existence of five real numbers satisfying a given condition.

Let $a_1,\dots,a_5$ be five distinct non-zero real numbers. Suppose that for $i\neq j$ either $a_i+a_j$ or $a_ia_j$ or both are rational numbers, does it implies that $a_i^2$ are rational numbers for ...
0
votes
3answers
124 views

When proving that there is not rational number $m/n$ equal to $\sqrt{2}$, why does $m$ and $n$ must be not both even?

I've read this on Rudin's Principles of Mathematical Analysis: 1.1 Example We now show that the equation $$p^2=2$$ is not satisfied by any rational $p$. If there were such a $p$, we ...
0
votes
1answer
69 views

For any $a \in \mathbb R$ and any $n \in \mathbb N^+$ there exists $q \in \mathbb Q$ such that $|a-q|< \frac{1}{n}$.

For any $a \in \mathbb R$ and any $n \in \mathbb N^+$ there exists $q \in \mathbb Q$ such that $|a-q|< \frac{1}{n}$. I think i can prove this is false, let $a=2,n=2,q=1/2$ so $|2-\frac{1}{2}|< ...
1
vote
2answers
115 views

supremum of rational numbers true or false

I'm trying to figure out if this is false or true. $\sup \{a \in \mathbb{Q} : 0 \le a <1\} = 1$ I'd say it's false because we can $a=1/2$ $\sup\{1/2\}= 1/2$
1
vote
3answers
280 views

Proving supremum for non-empty, bounded subsets of Q iff supremum in R is rational

Let E be a nonempty bounded subset of ℚ. Prove that E has a supremum in ℚ if and only if its supremum in ℝ is rational and that in this case, the two are equal. This seems intuitive enough, and I ...
6
votes
4answers
305 views

Is there a bijection $f: \mathbb{Q} \to \mathbb{Q}_{>0}$?

For $\mathbb{R}$, we have the exponential function. Is there also a bijection $f: \mathbb{Q} \to \mathbb{Q}_{>0}$ or to $\mathbb{Q}_{\geq 0}$?
4
votes
2answers
678 views

Proving the rationals are dense in R

I know this is a common proof. I'm following Rudin's proof and I'm following everything except for one step. Suppose $x, y \in \Bbb R$ and $x < y$. Then there exists an $n \in \Bbb N$ such that ...
2
votes
1answer
58 views

Analysis, Density of Rational Numbers

Suppose p/q and k/l are rational numbers with abs(p/q - k/l) < 1/ql. Prove p/q = k/l. Similarly, let p/q be a fixed rational number and suppose k/l is a rational number with 0 < abs(p/q - k/l) ...
-2
votes
2answers
199 views

Generalization: $x=\text{sup}\{q\in \mathbb{Q}:q<x\}$

How do I prove that $x=\text{sup}\{q\in \mathbb{Q}:q<x\}$? Provided that $x\in\mathbb{R}$...
5
votes
2answers
151 views

Problem from Hardy's _Pure Mathematics_

If $a$, $b$, $x$, $y$ are rational numbers such that $$(ay-bx)^2+4(a-x)(b-y) = 0 $$ then either (i) $x = a, y = b$ or (ii) $1-ab$ and $1-xy$ are squares of rational numbers. (Math. Trip. 1903) ...
12
votes
4answers
4k views

Is there a rational number between any two irrationals?

Suppose $i_1$ and $i_2$ are distinct irrational numbers with $i_1 < i_2$. Is it necessarily the case that there is a rational number $r$ in the interval $[i_1, i_2]$? How would you construct such ...
0
votes
3answers
183 views

I'm just curious, what exactly is $\mathbb{R}\setminus\mathbb{Q}$? [duplicate]

What exactly is $\mathbb{R}\setminus\mathbb{Q}$? How many different kinds of things live in this place? For $n>1$ how does $$ q_1x_1+\cdots+q_nx_n=p $$ have a solution for $q_i,p\in \mathbb{Q}$ ...
3
votes
7answers
343 views

Doubt on rational and real numbers

I am going through the numbers system from an analysis book. It is written that: 1) there is no rational number $p \ ( > 0)$ which satisfies $p^2=2$. 2) The set $\{p: p^2 < 2\}$ does not have ...
1
vote
2answers
110 views

Proof by contradiction - help!?

I need to prove that the set of rational numbers in the closed interval 0,1 has a supremum and infimum. I know that they exist and I also know that I need to use proof by contradiction but I don't ...
4
votes
2answers
5k views

Is a non-repeating and non-terminating decimal always an irrational?

We can build $\frac{1}{33}$ like this, $.030303$ $\cdots$ ($03$ repeats). $.0303$ $\cdots$ tends to $\frac{1}{33}$. So,I was wondering this: In the decimal representation, if we start writing the ...
2
votes
2answers
796 views

In every interval there is a rational and an irrational number.

When the interval is between two rational numbers it is easy. But things get complicated when the interval is between two irrational numbers. I couldn't prove that.
1
vote
1answer
35 views

Function of a rational number

Let a function exist such that $f(a+b)=f(a)+f(b)$. We have already shown that for any integer n, $f(nx)=n f(x)$. Now we must show that for any rational number $n/m$, $f(n/m)=n/m f(1)$. The problem is ...
3
votes
1answer
113 views

Analytical function taking rationals to rationals.

Suppose $f:I \rightarrow \Bbb R$ is an analytic function defined on the interval $I\subset \Bbb R$ with the property that for every $q \in \Bbb Q:f(q)\in \Bbb Q$. Does this already imply that $f\in ...
9
votes
3answers
241 views

Half the rationals?

Let $\mathbb{Q}[n]$ be the set of rational numbers with denominator $\le n$ and for any $X\subseteq \mathbb{Q}$, let $X[n]=X\cap \mathbb{Q}[n]$. Is there a set of rational numbers, X, such that for ...
1
vote
1answer
222 views

Let $r_n$ be an enumeration of the rationals in $[0,1]$, does the sequence $\{B_{\frac{1}{n}}(r_n)\}_{n=k}^m$ cover $[0,1]$ for $m-k$ finite?

Let $r_n$ be an enumeration of the rationals in $[0,1]$, does the sequence $\{B_{\frac{1}{n}}(r_n)\}_{n=k}^m$ cover $[0,1]$ for $m-k$ finite? This came up while trying to solve a different problem, ...
1
vote
3answers
2k views

Dedekind Cut Proof

I am greatly confused with Dedekind cuts... I am trying to prove that this is a Dedekind cut: If $D$ and $E$ are in $\mathbb{Q}$ and are Dedekind cuts, then prove that $$D*E=(-\infty, 0] \cup ...
7
votes
2answers
933 views

How can we find and categorize the subgroups of R?

$\newcommand{\R}{\Bbb R}\newcommand{\Q}{\Bbb Q}\newcommand{\Z}{\Bbb Z}$ What are all the subgroups of R = $(\R, +)$ and how can we categorize them? I started thinking about this question last night ...
17
votes
4answers
456 views

What do the cosets of $\mathbb{R} / \mathbb{Q}$ look like?

$\newcommand{\R}{\Bbb R}\newcommand{\Q}{\Bbb Q}$ Looking at the group of real numbers under addition $(\R, +)$ it contains the (normal) subgroup of rational numbers $(\Q, +)$. I am wondering how to ...