Register to reply

Proof: if x≤y+ε for every ε>0 then x≤y

by samsun2024
Tags: ε, ε>0, proof, x≤y
Share this thread:
samsun2024
#1
Apr8-12, 10:30 AM
P: 5
let x,y,ε in ℝ.
if x≤y+ε for every ε>0 then x≤y

hints: use proof by contrapositive .

i try to proof it, and end up showing that....
if x+ε≤y for every ε>0 then x≤y
Phys.Org News Partner Science news on Phys.org
Wearable 4MM jetpack tested on speed, agility for runners (w/ Video)
How did evolution optimize circadian clocks?
Corn spots: Study finds important genes in defense response
Dickfore
#2
Apr8-12, 10:34 AM
P: 3,014
Suppose, [itex]x > y[/itex]. Then, take [itex]\epsilon = 2 (x - y)[/itex]. Is the first inequality satisfied?
oleador
#3
Apr19-12, 09:25 PM
P: 19
Quote Quote by Dickfore View Post
Suppose, [itex]x > y[/itex]. Then, take [itex]\epsilon = 2 (x - y)[/itex]. Is the first inequality satisfied?
The contrapositive is [itex]x>y \Rightarrow x>y+ε[/itex]
[itex]\epsilon = 2 (x - y)[/itex] would not work:
[itex]x>y+ε \Rightarrow x>y+2 (x - y) \Rightarrow -x>-y[/itex], a contradiction unless [itex]x=y[/itex].
[itex]\epsilon = (x - y)/2[/itex] would work though.

DonAntonio
#4
Apr19-12, 10:51 PM
P: 606
Proof: if x≤y+ε for every ε>0 then x≤y

Quote Quote by oleador View Post
The contrapositive is [itex]x>y \Rightarrow x>y+ε[/itex]


*** No, it is not. The contrapositive is [itex]x>y\Longrightarrow x\nleq y+\epsilon[/itex] , for some [itex]\epsilon > 0[/itex]

DonAntonio



[itex]\epsilon = 2 (x - y)[/itex] would not work:
[itex]x>y+ε \Rightarrow x>y+2 (x - y) \Rightarrow -x>-y[/itex], a contradiction unless [itex]x=y[/itex].
[itex]\epsilon = (x - y)/2[/itex] would work though.
....
oleador
#5
Apr19-12, 11:10 PM
P: 19
True. Confused [itex]\forallε>0[x≤y+ε]\Rightarrow x≤y[/itex] with [itex]\forallε>0[x≤y+ε\Rightarrow x≤y][/itex].
The former is true.

This, however, does not change my conclusion. [itex]ε=2(x−y)[/itex] doesn't work, while [itex]ε=(x−y)/2[/itex] does.


Register to reply

Related Discussions
Prove: (x ≤ y) → (x+z ≤ y+z) Calculus & Beyond Homework 3
If W is a subset of V, then dim(W) ≤ dim(V) Calculus & Beyond Homework 6
How to find x in -2≤x^2≤4? Calculus & Beyond Homework 2
If X ≤ Y, then E(X) ≤ E(Y) Set Theory, Logic, Probability, Statistics 6
Solve for 0 ≤ θ ≤ 2π (pi) Precalculus Mathematics Homework 7