Density of Q in R .... Sohrab Theorem 2.1.38 ....

  • Context: MHB 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Density Theorem
Click For Summary
SUMMARY

The discussion centers on Theorem 2.1.38 from Houshang H. Sohrab's "Basic Real Analysis" (Second Edition), specifically addressing the assumption that \( x > 0 \) in the proof. Peter clarifies that for sufficiently large integers \( k \), the expression \( x + k \) will always be positive. This allows for the identification of a rational number \( r \) between \( x + k \) and \( y + k \), ensuring that \( r - k \) is a rational number between \( x \) and \( y \).

PREREQUISITES
  • Understanding of real analysis concepts, particularly sequences and series.
  • Familiarity with the properties of rational numbers.
  • Basic knowledge of mathematical proofs and assumptions.
  • Ability to work with inequalities and integer manipulations.
NEXT STEPS
  • Study the implications of Theorem 2.1.38 in real analysis.
  • Explore the concept of density of rational numbers in real numbers.
  • Learn about the construction of rational numbers between two given numbers.
  • Review the proofs and assumptions in mathematical analysis literature.
USEFUL FOR

Students of real analysis, mathematicians interested in proofs involving rational numbers, and educators teaching foundational concepts in mathematical analysis.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Houshang H. Sohrab's book: "Basic Real Analysis" (Second Edition).

I am focused on Chapter 2: Sequences and Series of Real Numbers ... ...

I need help with an aspect of the proof of Theorem 2.1.38 ...

Theorem 2.1.38 reads as follows:https://www.physicsforums.com/attachments/7089In the above text by Sohrab, at the start of the proof, we read the following:

"We may assume that $$x \gt 0$$. (Why) ... ... "Can someone please explain to me why we can assume that $$x \gt 0$$?

Peter
 
Physics news on Phys.org
Peter said:
Can someone please explain to me why we can assume that $$x \gt 0$$?Peter
For a sufficiently large integer $k$, $x+k$ will be positive. If you can find a rational number $r$ between $x+k$ and $y+k$, then $r-k$ will be a rational number between $x$ and $y$.
 
Opalg said:
For a sufficiently large integer $k$, $x+k$ will be positive. If you can find a rational number $r$ between $x+k$ and $y+k$, then $r-k$ will be a rational number between $x$ and $y$.
Thanks Opalg ...

Easy when you see how it works! ... :) ...

... appreciate the help ...

Peter
 
Last edited:

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K