Question

In: Advanced Math

Let x,y ∈ R satisfy x < y. Prove that there exists a q ∈ Q...

Let x,yR satisfy x < y. Prove that there exists a qQ such that x < q < y.

Strategy for solving the problem

  1. Show that there exists an nN+ such that 0 < 1/n < y - x.
  2. Letting A = {k : Z | k < ny}, where Z denotes the set of all integers, show that A is a non-empty subset of R with an upper bound in R. (Hint: Use the Archimedean Property to show that A ≠ ∅.)
  3. By the Completeness Axiom, A has a least upper bound in R, which we shall denote by m. Show that mA. (Hint: Refer to Problem 3 of Homework Assignment 3.)
  4. Finally, show that x < m/n < y. (Hint: It is immediate from Step 3 that m/n < y. To show that x < m/n, assume that m/nx and then derive a contradiction.)

Solutions

Expert Solution


Related Solutions

. Let x, y ∈ R \ {0}. Prove that if x < x^(−1) < y...
. Let x, y ∈ R \ {0}. Prove that if x < x^(−1) < y < y^(−1) then x < −1.
Let R[x, y] be the set of polynomials in two coefficients. Prove that R[x, y] is...
Let R[x, y] be the set of polynomials in two coefficients. Prove that R[x, y] is a vector space over R. A polynomial f(x, y) is called degree d homogenous polynomial if the combined degree in x and y of each term is d. Let Vd be the set of degree d homogenous polynomials from R[x, y]. Is Vd a subspace of R[x, y]? Prove your answer.
Let p, q, g : R → R be continuous functions. Let L[y] := y'' +...
Let p, q, g : R → R be continuous functions. Let L[y] := y'' + py' + qy. (i) Explain what it means for a pair of functions y1 and y2 to be a fundamental solution set for the equation L[y] = 0. (ii) State a theorem detailing the general solution of the differential equation L[y] = g(t) in terms of solutions to this, and a related, equation.
Let x, y ∈ R. Prove the following: (a) 0 < 1 (b) For all n...
Let x, y ∈ R. Prove the following: (a) 0 < 1 (b) For all n ∈ N, if 0 < x < y, then x^n < y^n. (c) |x · y| = |x| · |y|
Prove: Let A be an mxm nonnegative definite matrix with rank(A)=r Then there exists an mxr...
Prove: Let A be an mxm nonnegative definite matrix with rank(A)=r Then there exists an mxr matrix B having rank of r, such that A=BBT
Let X and Y be T2-space. Prove that X*Y is also T2
Let X and Y be T2-space. Prove that X*Y is also T2
Let x, y ∈ Z. Prove that x ≡ y + 1 (mod 2) if and...
Let x, y ∈ Z. Prove that x ≡ y + 1 (mod 2) if and only if x ≡ y + 1 (mod 4) or x ≡ y + 3 (mod 4)
Let R be a commutative ring with unity. Prove that f(x) is R[x] is a unit...
Let R be a commutative ring with unity. Prove that f(x) is R[x] is a unit in R[x] iff f(x)=a is of degree 0 and is a unit in R.
Let A = R x R, and let a relation S be defined as: “(x​1,​ y​1)​...
Let A = R x R, and let a relation S be defined as: “(x​1,​ y​1)​ S (x​2,​ y​2)​ ⬄ points (x​1,​ y​1)​ and (x​2,​ y​2)​are 5 units apart.” Determine whether S is reflexive, symmetric, or transitive. If the answer is “yes,” give a justification (full proof is not needed); if the answer is “no” you ​must​ give a counterexample.
Let x, y, z be a primitive Pythagorean triple with y even. Prove that x+y ≡...
Let x, y, z be a primitive Pythagorean triple with y even. Prove that x+y ≡ x−y ≡ ±1 mod 8.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT