14-240/Tutorial-October7: Difference between revisions

From Drorbn
Jump to navigationJump to search
Line 49: Line 49:
::Let <math>(a_1, a_2) = (0, 0)</math>.
::Let <math>(a_1, a_2) = (0, 0)</math>.


::Then <math>(0, 0) + (b_1, b_2) = (2b_1, 3b_2) \neq (b_1, b_2)</math>.
::Then <math>(0, 0) + (b_1, b_2) = (2b_1, 3b_2) \neq (b_1, b_2) = (b_1, b_2) + (0, 0)</math>.


::Then <math>V</math> is not commutative.
::Then <math>V</math> is not commutative.

Revision as of 00:35, 12 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 and .
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?

Comments for Proof 1
Comments for Proof 2

Nikita