Fdtxjr

Running a subshell from the middle of the current command

Is it true that real estate prices mainly go up?

Does Linux have system calls to access all the features of the file systems it supports?

What Happens when Passenger Refuses to Fly Boeing 737 Max?

Silly Sally's Movie

Playing ONE triplet (not three)

Is it illegal in Germany to take sick leave if you caused your own illness with food?

What does it mean when multiple 々 marks follow a 、?

How does Dispel Magic work against Stoneskin?

Why do Australian milk farmers need to protest supermarkets' milk price?

Plywood subfloor won't screw down in a trailer home

Why doesn't the EU now just force the UK to choose between referendum and no-deal?

Question about partial fractions with irreducible quadratic factors

Can infringement of a trademark be pursued for using a company's name in a sentence?

When two POV characters meet

What is the definition of "Natural Selection"?

How to make readers know that my work has used a hidden constraint?

Rejected in 4th interview round citing insufficient years of experience

Make a transparent 448*448 image

How is the Swiss post e-voting system supposed to work, and how was it wrong?

The meaning of the "at the of"

what does the apostrophe mean in this notation?

When is a batch class instantiated when you schedule it?

How can I discourage/prevent PCs from using door choke-points?

Proving $∀ε>0:x

Proving limit using $epsilon - N$Contrapositive Epsilon-Delta Limits?An upper bound $u$ is the supremum of $A$ if and only if for all $epsilon > 0$ there is an $a in A$ such that $u-epsilon < a$Mathematical Rigor in Proving Limits by $epsilon-delta$ DefinitionLet $a,b in mathbbR^+$; prove that if $ab geqslant 1$, then $a geqslant 1$ or $b geqslant 1$Proving/disproving that √7 - √2 is irrational$Bbb Q$ is dense in $Bbb R$Let $a,b in mathbbR$ and suppose that for every $epsilon > 0$ we have $a ≥ b − ε$. Show that $a geq b $Proving $x$ between $alpha - epsilon$, if $alpha$ is supremumReal Analysis: Proving Continuity ($epsilon$ $delta$ argument)

4

$begingroup$

If $x, y in Bbb R$ and $x<y+epsilon$ for every $epsilon >0$, then $x<y$.

Okay so I went about this by proving the contrapositive.

Proof: Let $x,yinBbb R$ and let $epsilon>0$. Suppose $xge y$. Take $epsilon = x-y$. This implies that $x=y+epsilon$, as needed.

Is this a valid proof or not?

real-analysis proof-verification real-numbers

share|cite|improve this question

edited 2 days ago

Wrzlprmft

3,15111335

asked Mar 10 at 20:11

AshAsh

826

$endgroup$

• 
  
  
  

  
  5
  

  
  
  
  
  
  

  
  $begingroup$
  The conclusion should be $xleq y$.
  $endgroup$
  – gamma
  Mar 10 at 20:13
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  If $$epsilon=x-y$$ then your epsilon would be negative!
  $endgroup$
  – Dr. Sonnhard Graubner
  Mar 10 at 20:13
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Why would it be negative if $x ge y$?
  $endgroup$
  – Ash
  Mar 10 at 20:14
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  1) The statment is false so your proof must be invalid 2). If $x = y$ then $epsilon = x-y = 0 not > 0$. And that's why the statement is false. If $x=y$ then $x=y < y + epsilon$ for all $epsilon > 0$ but $x not < y$. So the statement is false. What do you think the true statement would be? (Hint: You proof does prove the true statement.)
  $endgroup$
  – fleablood
  Mar 10 at 20:23
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I do have to give you credit in that your proof is absolutely the correct idea and it WOULD have worked if the statement had been given properly.
  $endgroup$
  – fleablood
  Mar 10 at 20:32
  

  
  
  
  

add a comment | 

4

$begingroup$

If $x, y in Bbb R$ and $x<y+epsilon$ for every $epsilon >0$, then $x<y$.

Okay so I went about this by proving the contrapositive.

Proof: Let $x,yinBbb R$ and let $epsilon>0$. Suppose $xge y$. Take $epsilon = x-y$. This implies that $x=y+epsilon$, as needed.

Is this a valid proof or not?

real-analysis proof-verification real-numbers

share|cite|improve this question

edited 2 days ago

Wrzlprmft

3,15111335

asked Mar 10 at 20:11

AshAsh

826

$endgroup$

• 
  
  
  

  
  5
  

  
  
  
  
  
  

  
  $begingroup$
  The conclusion should be $xleq y$.
  $endgroup$
  – gamma
  Mar 10 at 20:13
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  If $$epsilon=x-y$$ then your epsilon would be negative!
  $endgroup$
  – Dr. Sonnhard Graubner
  Mar 10 at 20:13
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Why would it be negative if $x ge y$?
  $endgroup$
  – Ash
  Mar 10 at 20:14
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  1) The statment is false so your proof must be invalid 2). If $x = y$ then $epsilon = x-y = 0 not > 0$. And that's why the statement is false. If $x=y$ then $x=y < y + epsilon$ for all $epsilon > 0$ but $x not < y$. So the statement is false. What do you think the true statement would be? (Hint: You proof does prove the true statement.)
  $endgroup$
  – fleablood
  Mar 10 at 20:23
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I do have to give you credit in that your proof is absolutely the correct idea and it WOULD have worked if the statement had been given properly.
  $endgroup$
  – fleablood
  Mar 10 at 20:32
  

  
  
  
  

add a comment | 

$begingroup$

If $x, y in Bbb R$ and $x<y+epsilon$ for every $epsilon >0$, then $x<y$.

Okay so I went about this by proving the contrapositive.

Proof: Let $x,yinBbb R$ and let $epsilon>0$. Suppose $xge y$. Take $epsilon = x-y$. This implies that $x=y+epsilon$, as needed.

Is this a valid proof or not?

real-analysis proof-verification real-numbers

share|cite|improve this question

edited 2 days ago

Wrzlprmft

3,15111335

asked Mar 10 at 20:11

AshAsh

826

$endgroup$

share|cite|improve this question

edited 2 days ago

Wrzlprmft

3,15111335

asked Mar 10 at 20:11

AshAsh

826

share|cite|improve this question

edited 2 days ago

Wrzlprmft

3,15111335

asked Mar 10 at 20:11

AshAsh

826

edited 2 days ago

Wrzlprmft

3,15111335

edited 2 days ago

Wrzlprmft

3,15111335

asked Mar 10 at 20:11

AshAsh

826

asked Mar 10 at 20:11

AshAsh

826

3 Answers
3

active

oldest

votes

6

$begingroup$

The statement you want to prove is not true.

Take $x = y =0$. You have, for all $varepsilon > 0$, $x < y + varepsilon$ (because $varepsilon > 0$), but of course you don't have $x < y$.

share|cite|improve this answer

answered Mar 10 at 20:16

TheSilverDoeTheSilverDoe

3,837112

$endgroup$

add a comment | 

4

$begingroup$

The proof is invalid for the simple fact that the statement is false, so you cannot prove it.

The correct statement is “if, for all $varepsilon>0$, $x<y+varepsilon$, then $xle y$”.

Now your proof works! Suppose $x>y$ (that is, “not $xle y$”) and take $varepsilon=x-y$; then $varepsilon>0$ and $x=y+varepsilon$.

share|cite|improve this answer

answered Mar 10 at 20:24

egregegreg

184k1486205

$endgroup$

add a comment | 

0

$begingroup$

1) The statement is false.

Counter example: Let $x = y$. Then $x = y < y+epsilon$ for all $epsilon > 0$ but $x not < y$.

2) Your error is in claiming setting $epsilon = x - y$. If $x =y$ then that $epsilon not > 0$.

Your proof is doomed to fail for $x = y$ because the statement is false for $x =y$.

3) But you have proven that $x>y$ is impossible. That would mean if $epsilon = x - y > 0$ then $x = y + epsilon$ which contradicts our hypothesis that $x < y + epsilon$ for all $epsilon>0$.

4) So a TRUE statement would be: if $x < y + epsilon$ for all $epsilon > 0$ then $x le y$ and you successfully have proven that.

share|cite|improve this answer

answered Mar 10 at 20:31

fleabloodfleablood

72.2k22687

$endgroup$

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3142835%2fproving-%25e2%2588%2580%25ce%25b50xy-epsilon-%25e2%2587%2592-xy%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

6

$begingroup$

The statement you want to prove is not true.

Take $x = y =0$. You have, for all $varepsilon > 0$, $x < y + varepsilon$ (because $varepsilon > 0$), but of course you don't have $x < y$.

share|cite|improve this answer

answered Mar 10 at 20:16

TheSilverDoeTheSilverDoe

3,837112

$endgroup$

add a comment | 

6

$begingroup$

The statement you want to prove is not true.

Take $x = y =0$. You have, for all $varepsilon > 0$, $x < y + varepsilon$ (because $varepsilon > 0$), but of course you don't have $x < y$.

share|cite|improve this answer

answered Mar 10 at 20:16

TheSilverDoeTheSilverDoe

3,837112

$endgroup$

add a comment | 

$begingroup$

The statement you want to prove is not true.

Take $x = y =0$. You have, for all $varepsilon > 0$, $x < y + varepsilon$ (because $varepsilon > 0$), but of course you don't have $x < y$.

share|cite|improve this answer

answered Mar 10 at 20:16

TheSilverDoeTheSilverDoe

3,837112

$endgroup$

share|cite|improve this answer

answered Mar 10 at 20:16

TheSilverDoeTheSilverDoe

3,837112

answered Mar 10 at 20:16

TheSilverDoeTheSilverDoe

3,837112

answered Mar 10 at 20:16

TheSilverDoeTheSilverDoe

3,837112

4

$begingroup$

The proof is invalid for the simple fact that the statement is false, so you cannot prove it.

The correct statement is “if, for all $varepsilon>0$, $x<y+varepsilon$, then $xle y$”.

Now your proof works! Suppose $x>y$ (that is, “not $xle y$”) and take $varepsilon=x-y$; then $varepsilon>0$ and $x=y+varepsilon$.

share|cite|improve this answer

answered Mar 10 at 20:24

egregegreg

184k1486205

$endgroup$

add a comment | 

4

$begingroup$

The proof is invalid for the simple fact that the statement is false, so you cannot prove it.

The correct statement is “if, for all $varepsilon>0$, $x<y+varepsilon$, then $xle y$”.

Now your proof works! Suppose $x>y$ (that is, “not $xle y$”) and take $varepsilon=x-y$; then $varepsilon>0$ and $x=y+varepsilon$.

share|cite|improve this answer

answered Mar 10 at 20:24

egregegreg

184k1486205

$endgroup$

add a comment | 

$begingroup$

The proof is invalid for the simple fact that the statement is false, so you cannot prove it.

The correct statement is “if, for all $varepsilon>0$, $x<y+varepsilon$, then $xle y$”.

Now your proof works! Suppose $x>y$ (that is, “not $xle y$”) and take $varepsilon=x-y$; then $varepsilon>0$ and $x=y+varepsilon$.

share|cite|improve this answer

answered Mar 10 at 20:24

egregegreg

184k1486205

$endgroup$

share|cite|improve this answer

answered Mar 10 at 20:24

egregegreg

184k1486205

answered Mar 10 at 20:24

egregegreg

184k1486205

answered Mar 10 at 20:24

egregegreg

184k1486205

0

$begingroup$

1) The statement is false.

Counter example: Let $x = y$. Then $x = y < y+epsilon$ for all $epsilon > 0$ but $x not < y$.

2) Your error is in claiming setting $epsilon = x - y$. If $x =y$ then that $epsilon not > 0$.

Your proof is doomed to fail for $x = y$ because the statement is false for $x =y$.

3) But you have proven that $x>y$ is impossible. That would mean if $epsilon = x - y > 0$ then $x = y + epsilon$ which contradicts our hypothesis that $x < y + epsilon$ for all $epsilon>0$.

4) So a TRUE statement would be: if $x < y + epsilon$ for all $epsilon > 0$ then $x le y$ and you successfully have proven that.

share|cite|improve this answer

answered Mar 10 at 20:31

fleabloodfleablood

72.2k22687

$endgroup$

add a comment | 

0

$begingroup$

1) The statement is false.

Counter example: Let $x = y$. Then $x = y < y+epsilon$ for all $epsilon > 0$ but $x not < y$.

2) Your error is in claiming setting $epsilon = x - y$. If $x =y$ then that $epsilon not > 0$.

Your proof is doomed to fail for $x = y$ because the statement is false for $x =y$.

3) But you have proven that $x>y$ is impossible. That would mean if $epsilon = x - y > 0$ then $x = y + epsilon$ which contradicts our hypothesis that $x < y + epsilon$ for all $epsilon>0$.

4) So a TRUE statement would be: if $x < y + epsilon$ for all $epsilon > 0$ then $x le y$ and you successfully have proven that.

share|cite|improve this answer

answered Mar 10 at 20:31

fleabloodfleablood

72.2k22687

$endgroup$

add a comment | 

$begingroup$

1) The statement is false.

Counter example: Let $x = y$. Then $x = y < y+epsilon$ for all $epsilon > 0$ but $x not < y$.

2) Your error is in claiming setting $epsilon = x - y$. If $x =y$ then that $epsilon not > 0$.

Your proof is doomed to fail for $x = y$ because the statement is false for $x =y$.

3) But you have proven that $x>y$ is impossible. That would mean if $epsilon = x - y > 0$ then $x = y + epsilon$ which contradicts our hypothesis that $x < y + epsilon$ for all $epsilon>0$.

4) So a TRUE statement would be: if $x < y + epsilon$ for all $epsilon > 0$ then $x le y$ and you successfully have proven that.

share|cite|improve this answer

answered Mar 10 at 20:31

fleabloodfleablood

72.2k22687

$endgroup$

share|cite|improve this answer

answered Mar 10 at 20:31

fleabloodfleablood

72.2k22687

answered Mar 10 at 20:31

fleabloodfleablood

72.2k22687

answered Mar 10 at 20:31

fleabloodfleablood

72.2k22687