Analysis question regarding the relationship between open and closed intervals

Click For Summary

Homework Help Overview

The discussion revolves around the relationship between open and closed intervals in the context of real numbers. The original poster presents a problem requiring proof that a number x, belonging to an open interval defined by two real numbers a and b, must also belong to the corresponding closed interval [a, b].

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss various methods of proof, including examining the implications of x being outside the closed interval and how that relates to the open interval. Questions arise about the validity and efficiency of different arguments presented.

Discussion Status

The conversation is ongoing, with some participants affirming the validity of certain arguments while others explore alternative reasoning. There is a focus on clarifying the assumptions underlying the problem and the implications of the definitions of open and closed intervals.

Contextual Notes

Participants are navigating the constraints of the problem, particularly the requirement to prove the relationship without assuming prior knowledge of specific properties of intervals. The discussion highlights the importance of ε in the context of open intervals.

Arkuski
Messages
38
Reaction score
0
Let a and b be real numbers with a<b, and let x be a real number. Suppose that for each ε>0, the number x belongs to the open interval (a-ε, b+ε). Prove that x belongs to the interval [a, b].
 
Physics news on Phys.org
Arkuski said:
Let ##a## and ##b## be real numbers with ##a<b##, and let ##x## be a real number. Suppose that for each $\epsilon >0$, the number ##x## belongs to the open interval ##(a-\epsilon , b+\epsilon )##. Prove that ##x## belongs to the interval ##[a, b]##.
Use double $ signs for LaTeX . Double # signs for inline LaTeX .

What have you tried?

Where are you stuck?
 
I tried showing that if y was in the compliment of the set then the closed interval would follow. For example, y≤a-ε and y+ε≤a. Since ε>0, we know that y<a. Thus x≥a. I used a similar proof for the upper bound. Is there a better way to do this?
 
I think your argument works, but the one which certainly works is this:

If x &lt; a, then there exists some \epsilon &gt; 0 such that x \notin (a - \epsilon, b + \epsilon). For example, if \epsilon = (a - x)/2 then a - \epsilon = (a + x)/2 &gt; x.

Similarly, if x &gt; b then x \notin (a -\epsilon, b + \epsilon) when \epsilon = (x - b)/2 &gt; 0.

Hence if x \in (a -\epsilon, b + \epsilon) for all \epsilon &gt; 0 then x \geq a and x \leq b. Thus x \in [a,b].
 

Similar threads

Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
32
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K