14-240/Tutorial-October7: Difference between revisions

From Drorbn
Jump to navigationJump to search
Line 60: Line 60:


Can you spot the subtle error in each?
Can you spot the subtle error in each?


=====Error in Proof 1=====

The error in the proof is the logical equivalence of these two statements.

(1) Let <math>x \in W_1, y \in W_2</math>. ... Then <math>x \in W_2 \or y \in W_1</math>.

(2) Then <math>W_1 \subset W_2 \or W_2 \subset W_1</math>.

=====Error in Proof 2=====


==Nikita==
==Nikita==

Revision as of 15:55, 13 October 2014

Boris

Subtle Errors in Proofs

Check out these proofs:

Proof 1

Let , be subspaces of a vector space . We show that is a subspace

.

Assume that is a subspace.
Let , .
Then .
Then .
Then .
Case 1: :
Since and has additive inverses, then .
Then .
Case 2: :
Since and has additive inverses, then .
Then .
Then .
Then . Q.E.D.
Proof 2

Let . Then , define

and . We show that is not a vector

space over .

We show that is not commutative.
Let .
Then .
Then is not commutative.
Then is not a vector space. Q.E.D.


Can you spot the subtle error in each?

Nikita