Is this an accurate statement of the limit definition? (quantifiers/connectives)

[anonymity]

\forall\epsilon\exists\delta[( (\epsilon\wedge\delta) > 0) \wedge ((| x - t| < \delta)\Rightarrow (|f(x) - f(t)|< \epsilon))]


The part that seems wrong is the placement of the statement "delta is greater than zero" and "epsilon is greater than zero". It seems like these statements may need to be placed separately after their respective quantifiers for this to be an accurate statement...

 

[micromass]

Well, first of all

(\epsilon\wedge \delta)>0

makes no sense. \wedge is an operator that takes in truth values and returns a truth value. For example "true \wedge true is true". But \epsilon and \delta are not truth values.

Second point: you never stated what x or t was. I expect another quantifier \forall t in there.

 

[anonymity]

Okay. Thanks.

So if I break (\epsilon\wedge\delta > 0) up into (\delta > 0) \wedge (\epsilon > 0) then THAT part will be okay left inside of the two quantifiers as it is above?

edit: thanks for pointing that out...it seems so obvious now -.-

 

[micromass]

Okay. Thanks.

So if I break (\epsilon\wedge\delta > 0) up into (\delta > 0) \wedge (\epsilon > 0) then THAT part will be okay left inside of the two quantifiers as it is above?

edit: thanks for pointing that out...it seems so obvious now -.-

It will be syntactically ok, but it won't have the meaning you want it to have.
With your changes, the statement will be always true. Indeed, you can choose \delta=-1 each time. Then

(\epsilon>0)\wedge (\delta >0)\wedge (|x-t|<\delta)

will be false. So the implication will be true. So your statement will always be true! This is clearly not what you want.

 

[anonymity]

thank you

 

[anonymity]

If I changed it to \forall\epsilon[\epsilon > 0]\exists\delta[\delta > 0]

Would that be logically correct?

edit: by logically correct, I really mean to ask "would that logically read: for all epsilon greater than zero, there exists delta greater than zero". It seems to me that it would logically mean that, but I don't want to assume. For the time being I am past trying to get the logical structure of the statement...taking a step back for a minute =0

 

[micromass]

If I changed it to \forall\epsilon[\epsilon > 0]\exists\delta[\delta > 0]

Would that be logically correct?

edit: by logically correct, I really mean to ask "would that logically read: for all epsilon greater than zero, there exists delta greater than zero". It seems to me that it would logically mean that, but I don't want to assume. For the time being I am past trying to get the logical structure of the statement...taking a step back for a minute =0

You're on the right track, but it is not syntactically correct what you're stating.

Try to do something as follows:

\forall \epsilon ((\epsilon >0)~\Rightarrow~\exists \delta ((\delta>0)\wedge (...

This is essentially what you mean. But this is syntactically correct.

 

[anonymity]

That is very close to what I just did while waiting for you to reply. Combined with what you just said it is:

\forall\epsilon[(\epsilon > 0) \Rightarrow \exists\delta((\delta>0) \wedge ((|x-t| < \delta) \Rightarrow (|f(x)-f(t)|<\epsilon))]

This feels much better on an intuitive level, but (aside from asking you "IS THIS RIGHT?") how can I test it to be sure? Is a truth table the only way?

Also, I am certian that it will change the meaning, but if i combined the "delta greater than zero" and the "|x-t| < delta" into ((0&lt;|x-t|&lt;\delta) \Rightarrow (|f(x)-f(t)|&lt;\epsilon)), would it still be correct (assuming that I have it right above)?

 

[micromass]

That is very close to what I just did while waiting for you to reply. Combined with what you just said it is:

\forall\epsilon[(\epsilon &gt; 0) \Rightarrow \exists\delta((\delta&gt;0) \wedge ((|x-t| &lt; \delta) \Rightarrow (|f(x)-f(t)|&lt;\epsilon))]

This feels much better on an intuitive level, but (aside from asking you "IS THIS RIGHT?") how can I test it to be sure? Is a truth table the only way?

This seems correct. However, you still didn't introduce t (or x) in here. You're missing a quantifier.
As for checking that it is correct. Well, perhaps a truth table should work...

Also, I am certian that it will change the meaning, but if i combined the "delta greater than zero" and the "|x-t| < delta" into ((0&lt;|x-t|&lt;\delta) \Rightarrow (|f(x)-f(t)|&lt;\epsilon)), would it still be correct (assuming that I have it right)?

No, you need to state separately that \delta&gt;0. Otherwise, you can choose \delta=-1 and you'll see that it's always true.

 

[anonymity]

Okay. Thanks for your help micro. I should be able to figure the rest out.

Thanks again

-anonymous