Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

$\left(\forall \varepsilon >0: |a-b| < \varepsilon\right) \iff a=b$ vs. $\left(\forall \varepsilon > 0: a \le b + \varepsilon \right) \iff a \le b$

+0
−2

How does $\left(\forall \varepsilon >0: |a-b| < \varepsilon\right) \iff a=b$ relate to $\left(\forall \varepsilon > 0: a \le b + \varepsilon \right) \iff a \le b$? Does one equivalence imply the other? Are they equivalent?

I feel they're related because they're both equivalences, they both involve $\varepsilon > 0$, and they both involve inequalities.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.
Why should this post be closed?

0 comment threads

1 answer

+2
−0

The absolute value version is equivalent to having both $a < b + \varepsilon$ and $a > b - \varepsilon$, both for all positive epsilons. To see this, use the definition of the absolute value.

Also, $a < b + \varepsilon$ for all $\varepsilon > 0$ and $a \le b + \varepsilon$ for all $\varepsilon > 0$ are equivalent. Clearly the strict version implies the non-strict one. For the other way, since the claims hold for all positive epsilons, putting $\varepsilon/2$ in the non-strict inequality implies the strict one with epsilon. Arbitrary epsilon, holds for all of them, as usual.

To get a handle on these, I recommend studying any course or book in rigorous analysis with the epsilon-delta method. These are very standard arguments.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.

0 comment threads

Sign up to answer this question »