14-240/Tutorial-October7

From Drorbn
Revision as of 00:35, 12 October 2014 by Bug (talk | contribs) (→‎Boris)
Jump to navigationJump to search

Boris

Subtle Problems in Proofs

Check out these proofs:

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

Assume that is a subspace.
Let .
Then and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x + y \in W_1 \cup W_2} .
Then .
Case 1: :
Since and has additive inverses, then .
Then .
Case 2: :
Since and has additive inverses, then .
Then .
Then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \in W_2 \or y \in W_1} .
Then . Q.E.D.


(2) Let . Then , define and . We show that is not a vector space over .

Nikita