Proving Subsets of Intervals in $\mathbb{R}$

  • Context: MHB 
  • Thread starter Thread starter NoName3
  • Start date Start date
  • Tags Tags
    intervals Subsets
Click For Summary
SUMMARY

This discussion focuses on proving properties of intervals in the real number system, specifically that if \( x, y \in I \) and \( x \le y \), then the closed interval \([x,y]\) is a subset of \( I \). Additionally, it establishes that for any open interval \( I \) containing \( x \), there exists a \( \delta > 0 \) such that the closed interval \([x-\delta, x+\delta]\) is also contained within \( I \). The conversation also emphasizes the importance of demonstrating progress in mathematical proofs to facilitate effective assistance.

PREREQUISITES
  • Understanding of real number intervals
  • Familiarity with the properties of open and closed intervals
  • Knowledge of the Axioms of Ordered Fields
  • Basic proof techniques in real analysis
NEXT STEPS
  • Study the Axioms of Ordered Fields in detail
  • Learn about the properties of open and closed intervals in real analysis
  • Explore the concept of density of real numbers
  • Practice constructing proofs involving intervals and subsets
USEFUL FOR

Mathematics students, particularly those studying real analysis, and educators looking to enhance their understanding of interval properties and proof techniques.

NoName3
Messages
24
Reaction score
0
Let $I \subseteq \mathbb{R}$ be an interval. Prove that

1. If $x, y \in I$ and $ x \le y$ then $[x,y] \subseteq I$.

2. If $I$ is an open interval, and if $x \in I$, then there is some $\delta > 0 $ such that $[x-\delta, x+\delta] \subseteq I$.
 
Physics news on Phys.org
Hello and welcome to MHB, NoName! :D

We ask that our users show their progress (work thus far or thoughts on how to begin) when posting questions. This way our helpers can see where you are stuck or may be going astray and will be able to post the best help possible without potentially making a suggestion which you have already tried, which would waste your time and that of the helper.

Can you post what you have done so far?
 
Hello greg1313, and thanks for the warm welcome. So far I've figured that I'm probably supposed to use part (3) of http://mathhelpboards.com/analysis-50/using-axioms-ordered-field-18031.html#post82951 exercise.

If I understand correctly, that exercise says given any two real numbers $a, b$ such that $a < b$ we can always find a third $c$ such that $a < c < b$ and in particular $c = \frac{1}{2}(a+b)$, but I'm unable to prove it. I'll post an update if I make a progress/figure it out however.
 

Similar threads

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