All Questions
Tagged with real-numbers proof-writing
127
questions
1
vote
2
answers
216
views
Show that rational cosets are either identical or disjoint
Let $\mathbb{Q}$ denote the set of rational numbers.
Let $x,y \in \mathbb{R}$. Let $A_x = x+ \mathbb{Q} , A_y = y+ \mathbb{Q} $
Can someone help me in simple arguments prove that cosets $A_x, A_y$ ...
1
vote
1
answer
27
views
Conditions required for Inequality to hold
Given that $0 \leq X \leq x \leq y \leq Y < \infty$, I am interested to know the condition whereby $\frac{\sqrt{y}-\sqrt{x}}{\sqrt{y}+\sqrt{x}} \leq \frac{\sqrt{Y}-\sqrt{X}}{\sqrt{Y}+\sqrt{X}} $ ...
0
votes
2
answers
99
views
Cardinality proof verification
Problem:
Let $C \subset (0,1)$ be the set of all numbers whose unique decimal representation contains the number seven. Show that the number of elements in $C$ must be the same as the number of ...
2
votes
1
answer
434
views
How to construct binary sequences associated to points of the Cantor set?
Let $C\subset \mathbb{R}$ be the Cantor set, obtained from the interval $[0,1]\subset \mathbb{R}$ by removing the middle thirds of successive subintervals. That is, assuming $C_n$ constructed we let $...
1
vote
1
answer
365
views
(Ir)rationality of Real Numbers
I am working on this proof and this is what I got so far, can someone help me verify if what I have done is right?
For all real numbers $x$ and $y$, if $x+y$ is rational and $x-y$ is irrational
...
1
vote
4
answers
8k
views
Prove $(-x)y=-(xy)$ using axioms of real numbers
Working on proof writing, and I need to prove
$$(-x)y=-(xy)$$
using the axioms of the real numbers. I know that this is equivalent to saying that the additive inverse of $xy$ is $(-x)y$ but I am ...
1
vote
1
answer
54
views
My proof of: $|x - y| < \varepsilon \Leftrightarrow y - \varepsilon < x < y + \varepsilon$
Is it reasonable to prove the following (trivial) theorem?
If yes, is there a better way to do it?
Let $x, y \in \mathbb{R}$.
Let $\varepsilon \in \mathbb{R}$ with $\varepsilon > 0$.
$\textbf{...
0
votes
1
answer
104
views
$xy \le xz$ if both $y \le z$ and $0 \le x$. (very easy proof exercise)
As an exercise, I tried to prove the following theorem.
Please share your thoughts about what I wrote.
(The proof only uses the utensils which are listed below.)
Theorem
Let $x,y,z \in \mathbb{R}$.
...
3
votes
1
answer
2k
views
$x^n y^n = (xy)^n$, proof exercise
As an exercise, I tried to prove the following theorem.
Please share your thoughts about what I wrote.
(The proof only uses the utensils which are listed below.)
Theorem
\begin{equation*}
x^n y^n ...
3
votes
2
answers
1k
views
$x,y$ are real, $x<y+\varepsilon$ with $\varepsilon>0$. How to prove $x \le y$? [closed]
$x,y \in \mathbb R$ are such that $x \lt y + \epsilon$ for any $\epsilon \gt 0$ Then prove $x \le y$.
1
vote
4
answers
120
views
Proof: For every $x \in \mathbb R\,\exists n\in\mathbb Z,\,r\in[0,1):x=n+r.$
I still do not understand how to approach proofs. Any help would be appreciated.
For every real number $x$, there exists an integer $n$ and a real number $r\in [0,1)$ such that $x = n + r$.
Hint: ...
1
vote
2
answers
4k
views
An upper bound $u$ is the supremum of $A$ if and only if for all $\epsilon > 0$ there is an $a \in A$ such that $u-\epsilon < a$
Problem:
Let $u$ be an upper bound of non-empty set $A$ in $\mathbb{R}$.
Prove that $u$ is the supremum of $A$
if and only if for all $\epsilon > 0$ there is an $a \in A$ such that
$u-\epsilon &...
2
votes
3
answers
75
views
If $x>y$, then $\lfloor x\rfloor\ge \lfloor y\rfloor$, formal proof
For x ∈ ℝ, define by: ⌊x⌋ ∈ ℤ ∧ ⌊x⌋ ≤ x ∧ (∀z ∈ ℤ, z ≤ x ⇒ z ≤ ⌊x⌋).
Claim 1.1: ∀x ∈ ℝ, ∀y ∈ ℝ, x > y ⇒ ⌊x⌋ ≥ ⌊y⌋.
Assume, x, y ∈ ℝ # Domain assumption
...
1
vote
1
answer
2k
views
There exists a positive real number $u$ such that $u^3 = 3$
Modify the Theorem that states There exists a positive real number x such that $x^2 = 2$.
Show that there exists a positive real number $u$ such that $u^3 = 3$.
So far, I have come up with the ...
0
votes
1
answer
236
views
Identify a countable union of nested intervals using the Archimedean principle [closed]
$\displaystyle\bigcup_{n=2}^\infty \left[\frac1n,3-\frac 2n\right]=(0,3)$. I can't prove using limits. I have to use the Archimedean principle and I don't know how to go about doing that..
2
votes
3
answers
85
views
$a > b+1 \Rightarrow a>x>b$?
If I have $a,b \in \mathbb R$ such that $$a > b+1 $$
It is assured that $\exists\space x \in \mathbb Z: a>x>b$
Does this property have some special name?
How can this be proved?
This idea ...
0
votes
1
answer
43
views
Proving of Inequalities
How to prove:
If $a>0$ and $b>0$, and $a^2>b^2$, then $a>b.$
I've tried different methods but I really can't prove this one. Thank you for your help!
2
votes
2
answers
704
views
How to show that an infinite decimal is equal to a unique real number?
I don't understand how the proof above shows that two distinct real numbers correspond to different infinite decimal.
All I got out of the explanation is given any two distinct real numbers $a$ and $...
0
votes
1
answer
73
views
Help with 2 questions my professor gave us
I was wondering how to solve these two proofs my professor put on the blackboard today. He said they were pretty easy but i'm still unsure how to prove them. ANy help would be greatly appreciated!
(i)...
0
votes
3
answers
72
views
Help solving a proof
My professor put this up on the blackboard and I was wondering how to solve it.
Let $x,y \in \mathbb{R}$. Then |$x$|< |$y$| if and only if $x^2 < y^2$.
0
votes
3
answers
381
views
Having trouble understanding Cantors proof that real numbers are uncountable
I found this video very easy to follow and understood the proof.
https://www.youtube.com/watch?v=mEEM_dLWY0g
However, I am still having trouble understanding the proof presented to me in my csmath ...
2
votes
1
answer
398
views
My first proof employing the pigeonhole principle / dirichlet's box principle - very simple theorem on real numbers. Please mark/grade.
What do you think about my first proof employing the pigeonhole principle? What mark/grade would you give me? Besides, I am curious about whether you like the style.
Theorem
Among three elements of ...
3
votes
0
answers
190
views
My first simple direct proof (very simple theorem on real numbers). Please mark/grade.
What do you think about my first simple direct proof? What mark/grade would you give me? Besides, I am curious about whether you like the style.
Theorem
Let $I = [a,b]$ be a non-empty closed ...
1
vote
1
answer
125
views
Possible book correction or am I missing something?
Hi I am teaching myself analysis and bought "Analysis - With an introduction to Proof" by Steven R. Lay. Now one of the practice problems is "Determine the truth value of each statement, assuming x, y ...
3
votes
3
answers
467
views
Formal proof of: $x>y$ and $b>0$ implies $bx>by$?
Property: If $x,y,b \in \mathbb{R}$ and $x>y$ and $b>0$, then $bx>by$.
What is a formal (low-level) proof of this result? Or is this property taken as axiomatic?
The motivation for this ...
0
votes
1
answer
82
views
Math proof involving open and closed intervals
So this is a multipart question, and I have a couple "theories" on how to attack it but still stuck in the infancy stages. Basically, not very far.
For each real $r>0$ let $I_r$ denote the open ...
5
votes
1
answer
6k
views
For every $\epsilon >0$ , if $a+\epsilon >b$ , can we conclude $a>b$?
If $a+\epsilon > b$ for each $\epsilon >0$, can we conclude that $a>b$?
Please help me to clarify the above. Thanks in advance.