Prove the impossible?
So I've just started a linear algebra course, and this is my first exposure to formal proofs.
Here is a question from my book:
Prove the following by contrapositive: Let X be a vector in R^n. If XdotY=0 for every vector Y in R^n, then X=0.
So the contrapositive is: If X=/=0, then XdotY=/=0 for every vector Y in R^n. Right?
But if Y can be every vector in R^n, then couldn't Y be the zero vector, hence XdotY=0.
I can't figure out anyway around this fact. I have been specifically told not to alter any restrictions (ie "for every vector Y in R^n") when using the contrapositive.
Thanks in advance.
Your statement of the contrapositive is incorrect. The only way to state the contrapositive is to have the "not" affect the entire "if" part. The correct contrapositive statement would be the following:
Let . If , then it is not the case that for every , we have .
The way you worded the contrapositive, the "not" applied only to the inequality of the dot product, and it did not apply to the quantifier "for all". Do you see what I mean?
I assume that it would have been stated in the beginning that
Originally Posted by CropDuster
Ugh! Of course! (smacks palm against head) that makes perfect sense. Thank you so much!
Originally Posted by Ackbeet
And no, it was not stated that
You're very welcome. Have fun!
No, it said "for all y" which includes y=0 but also includes y not equal to 0.
Originally Posted by Prove It