Negating a statement: is there indeed a quantifier missing?
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
There is this homework assignment that I seem to keep getting wrong. The question is:
Negate the following statement:
"For every positive number $epsilon$, there is a positive number $delta$ such that |x-a| < $delta$ implies |f(x)-f(a)| < $epsilon$".
My answer was:
"There exists a positive number $epsilon$, such that for every positive number $delta$, there exists an x such that |x-a| < $delta$ and |f(x)-f(a)| $geqslant epsilon$".
In math symbols this is
$exists epsilon > 0, forall delta >0, exists x, (|x-a|<delta) wedge(|f(x)-f(a)|geqslantepsilon)$
But then the answer I got back from my teacher, was "for which x,a? Is this true for all x,a such that |x-a|<$delta$ or just for one set of x.a?"
I just can't seems to figure out exactly what I'm missing. A quantifier for a?
Can anybody help me, please?
logic
New contributor
add a comment |Â
up vote
3
down vote
favorite
There is this homework assignment that I seem to keep getting wrong. The question is:
Negate the following statement:
"For every positive number $epsilon$, there is a positive number $delta$ such that |x-a| < $delta$ implies |f(x)-f(a)| < $epsilon$".
My answer was:
"There exists a positive number $epsilon$, such that for every positive number $delta$, there exists an x such that |x-a| < $delta$ and |f(x)-f(a)| $geqslant epsilon$".
In math symbols this is
$exists epsilon > 0, forall delta >0, exists x, (|x-a|<delta) wedge(|f(x)-f(a)|geqslantepsilon)$
But then the answer I got back from my teacher, was "for which x,a? Is this true for all x,a such that |x-a|<$delta$ or just for one set of x.a?"
I just can't seems to figure out exactly what I'm missing. A quantifier for a?
Can anybody help me, please?
logic
New contributor
In the first statement, there is no quantifier for $a$. So $a$ is a free variable in that sentence. In its negation $a$ should be still a free variable.
â ajotatxe
1 hour ago
@Caroline You negated the statenent. It seems from their comment that the wanted you yo do more, that is to specify $x $ and $a $. Was the function given? Did you know which $a $ it was?
â AnyAD
1 hour ago
Why did you write $exists x$ but not $exists x,a$ in your negation? What made you treat $x,a$ differently?
â Michal Adamaszek
1 hour ago
See Continuous function : definition.
â Mauro ALLEGRANZA
42 mins ago
add a comment |Â
up vote
3
down vote
favorite
up vote
3
down vote
favorite
There is this homework assignment that I seem to keep getting wrong. The question is:
Negate the following statement:
"For every positive number $epsilon$, there is a positive number $delta$ such that |x-a| < $delta$ implies |f(x)-f(a)| < $epsilon$".
My answer was:
"There exists a positive number $epsilon$, such that for every positive number $delta$, there exists an x such that |x-a| < $delta$ and |f(x)-f(a)| $geqslant epsilon$".
In math symbols this is
$exists epsilon > 0, forall delta >0, exists x, (|x-a|<delta) wedge(|f(x)-f(a)|geqslantepsilon)$
But then the answer I got back from my teacher, was "for which x,a? Is this true for all x,a such that |x-a|<$delta$ or just for one set of x.a?"
I just can't seems to figure out exactly what I'm missing. A quantifier for a?
Can anybody help me, please?
logic
New contributor
There is this homework assignment that I seem to keep getting wrong. The question is:
Negate the following statement:
"For every positive number $epsilon$, there is a positive number $delta$ such that |x-a| < $delta$ implies |f(x)-f(a)| < $epsilon$".
My answer was:
"There exists a positive number $epsilon$, such that for every positive number $delta$, there exists an x such that |x-a| < $delta$ and |f(x)-f(a)| $geqslant epsilon$".
In math symbols this is
$exists epsilon > 0, forall delta >0, exists x, (|x-a|<delta) wedge(|f(x)-f(a)|geqslantepsilon)$
But then the answer I got back from my teacher, was "for which x,a? Is this true for all x,a such that |x-a|<$delta$ or just for one set of x.a?"
I just can't seems to figure out exactly what I'm missing. A quantifier for a?
Can anybody help me, please?
logic
logic
New contributor
New contributor
New contributor
asked 1 hour ago
Caroline
161
161
New contributor
New contributor
In the first statement, there is no quantifier for $a$. So $a$ is a free variable in that sentence. In its negation $a$ should be still a free variable.
â ajotatxe
1 hour ago
@Caroline You negated the statenent. It seems from their comment that the wanted you yo do more, that is to specify $x $ and $a $. Was the function given? Did you know which $a $ it was?
â AnyAD
1 hour ago
Why did you write $exists x$ but not $exists x,a$ in your negation? What made you treat $x,a$ differently?
â Michal Adamaszek
1 hour ago
See Continuous function : definition.
â Mauro ALLEGRANZA
42 mins ago
add a comment |Â
In the first statement, there is no quantifier for $a$. So $a$ is a free variable in that sentence. In its negation $a$ should be still a free variable.
â ajotatxe
1 hour ago
@Caroline You negated the statenent. It seems from their comment that the wanted you yo do more, that is to specify $x $ and $a $. Was the function given? Did you know which $a $ it was?
â AnyAD
1 hour ago
Why did you write $exists x$ but not $exists x,a$ in your negation? What made you treat $x,a$ differently?
â Michal Adamaszek
1 hour ago
See Continuous function : definition.
â Mauro ALLEGRANZA
42 mins ago
In the first statement, there is no quantifier for $a$. So $a$ is a free variable in that sentence. In its negation $a$ should be still a free variable.
â ajotatxe
1 hour ago
In the first statement, there is no quantifier for $a$. So $a$ is a free variable in that sentence. In its negation $a$ should be still a free variable.
â ajotatxe
1 hour ago
@Caroline You negated the statenent. It seems from their comment that the wanted you yo do more, that is to specify $x $ and $a $. Was the function given? Did you know which $a $ it was?
â AnyAD
1 hour ago
@Caroline You negated the statenent. It seems from their comment that the wanted you yo do more, that is to specify $x $ and $a $. Was the function given? Did you know which $a $ it was?
â AnyAD
1 hour ago
Why did you write $exists x$ but not $exists x,a$ in your negation? What made you treat $x,a$ differently?
â Michal Adamaszek
1 hour ago
Why did you write $exists x$ but not $exists x,a$ in your negation? What made you treat $x,a$ differently?
â Michal Adamaszek
1 hour ago
See Continuous function : definition.
â Mauro ALLEGRANZA
42 mins ago
See Continuous function : definition.
â Mauro ALLEGRANZA
42 mins ago
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
3
down vote
The original statement is
$$forall epsilon > 0quad exists delta >0 :quad P(x,a)$$
and the negation is
$$existsepsilon > 0quad forall delta >0: quad lnot P(x,a)$$
add a comment |Â
up vote
2
down vote
A function $f:DtoBbb R$ is continuous at $ain D$ if $$forall epsiloninBbb R^+~exists deltainBbb R^+~forall xin D~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 1$$
So a function $f:DtoBbb R$ is discontinuous at $ain D$ if $$exists epsiloninBbb R^+~forall deltainBbb R^+~exists xin D~~(lvert x-arvert<delta~land~lvert f(x)-f(a)rvert geqslantepsilon)tag 2$$
However, while (2) is the negation of (1), (1) is not the statement which you quoted:$$forall epsiloninBbb R^+~exists deltainBbb R^+~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 3$$
$x$ and $a$ are free variables in that statement. They should still be free variables in its negation.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
The original statement is
$$forall epsilon > 0quad exists delta >0 :quad P(x,a)$$
and the negation is
$$existsepsilon > 0quad forall delta >0: quad lnot P(x,a)$$
add a comment |Â
up vote
3
down vote
The original statement is
$$forall epsilon > 0quad exists delta >0 :quad P(x,a)$$
and the negation is
$$existsepsilon > 0quad forall delta >0: quad lnot P(x,a)$$
add a comment |Â
up vote
3
down vote
up vote
3
down vote
The original statement is
$$forall epsilon > 0quad exists delta >0 :quad P(x,a)$$
and the negation is
$$existsepsilon > 0quad forall delta >0: quad lnot P(x,a)$$
The original statement is
$$forall epsilon > 0quad exists delta >0 :quad P(x,a)$$
and the negation is
$$existsepsilon > 0quad forall delta >0: quad lnot P(x,a)$$
answered 54 mins ago
gimusi
77.5k73889
77.5k73889
add a comment |Â
add a comment |Â
up vote
2
down vote
A function $f:DtoBbb R$ is continuous at $ain D$ if $$forall epsiloninBbb R^+~exists deltainBbb R^+~forall xin D~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 1$$
So a function $f:DtoBbb R$ is discontinuous at $ain D$ if $$exists epsiloninBbb R^+~forall deltainBbb R^+~exists xin D~~(lvert x-arvert<delta~land~lvert f(x)-f(a)rvert geqslantepsilon)tag 2$$
However, while (2) is the negation of (1), (1) is not the statement which you quoted:$$forall epsiloninBbb R^+~exists deltainBbb R^+~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 3$$
$x$ and $a$ are free variables in that statement. They should still be free variables in its negation.
add a comment |Â
up vote
2
down vote
A function $f:DtoBbb R$ is continuous at $ain D$ if $$forall epsiloninBbb R^+~exists deltainBbb R^+~forall xin D~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 1$$
So a function $f:DtoBbb R$ is discontinuous at $ain D$ if $$exists epsiloninBbb R^+~forall deltainBbb R^+~exists xin D~~(lvert x-arvert<delta~land~lvert f(x)-f(a)rvert geqslantepsilon)tag 2$$
However, while (2) is the negation of (1), (1) is not the statement which you quoted:$$forall epsiloninBbb R^+~exists deltainBbb R^+~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 3$$
$x$ and $a$ are free variables in that statement. They should still be free variables in its negation.
add a comment |Â
up vote
2
down vote
up vote
2
down vote
A function $f:DtoBbb R$ is continuous at $ain D$ if $$forall epsiloninBbb R^+~exists deltainBbb R^+~forall xin D~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 1$$
So a function $f:DtoBbb R$ is discontinuous at $ain D$ if $$exists epsiloninBbb R^+~forall deltainBbb R^+~exists xin D~~(lvert x-arvert<delta~land~lvert f(x)-f(a)rvert geqslantepsilon)tag 2$$
However, while (2) is the negation of (1), (1) is not the statement which you quoted:$$forall epsiloninBbb R^+~exists deltainBbb R^+~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 3$$
$x$ and $a$ are free variables in that statement. They should still be free variables in its negation.
A function $f:DtoBbb R$ is continuous at $ain D$ if $$forall epsiloninBbb R^+~exists deltainBbb R^+~forall xin D~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 1$$
So a function $f:DtoBbb R$ is discontinuous at $ain D$ if $$exists epsiloninBbb R^+~forall deltainBbb R^+~exists xin D~~(lvert x-arvert<delta~land~lvert f(x)-f(a)rvert geqslantepsilon)tag 2$$
However, while (2) is the negation of (1), (1) is not the statement which you quoted:$$forall epsiloninBbb R^+~exists deltainBbb R^+~~(lvert x-arvert<delta~to~lvert f(x)-f(a)rvert <epsilon)tag 3$$
$x$ and $a$ are free variables in that statement. They should still be free variables in its negation.
answered 50 mins ago
Graham Kemp
82.6k43378
82.6k43378
add a comment |Â
add a comment |Â
Caroline is a new contributor. Be nice, and check out our Code of Conduct.
Caroline is a new contributor. Be nice, and check out our Code of Conduct.
Caroline is a new contributor. Be nice, and check out our Code of Conduct.
Caroline is a new contributor. Be nice, and check out our Code of Conduct.
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2961966%2fnegating-a-statement-is-there-indeed-a-quantifier-missing%23new-answer', 'question_page');
);
Post as a guest
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
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
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
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
In the first statement, there is no quantifier for $a$. So $a$ is a free variable in that sentence. In its negation $a$ should be still a free variable.
â ajotatxe
1 hour ago
@Caroline You negated the statenent. It seems from their comment that the wanted you yo do more, that is to specify $x $ and $a $. Was the function given? Did you know which $a $ it was?
â AnyAD
1 hour ago
Why did you write $exists x$ but not $exists x,a$ in your negation? What made you treat $x,a$ differently?
â Michal Adamaszek
1 hour ago
See Continuous function : definition.
â Mauro ALLEGRANZA
42 mins ago