Physics Forums

vector space proof

how do you prove that if v is an element of V (a vector space), and if r is a scalar and if rv = 0, then either r = 0 or v = 0... it seems obvious, but i have no idea how to prove it...

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

If v is the vector (a, b, c), then the vector that results from the multiplication rv is (ra, rb, rc). If the result is equal to 0, the zero vector, then (ra, rb, rc) = (0, 0, 0). If we write this formally we get: $$ra = 0$$ $$rb = 0$$ $$rc = 0$$ The solution is that either r equals 0, or a, b, and c all equal 0. And if a, b, and c are 0 then the vector v is (0, 0, 0) which is the zero vector.  Is this proof satisfactory? There are probably a lot of ways to prove this.

Recognitions:      Homework  Help     Science  Advisor  That proof requires you to pick a basis. If I pick a different basis, do you know that it still holds?  Here's the basis free proof. Suppose rv=0, then if r is zero we are done, if not multiply rv=0 by 1/r and we see v=0.

vector space proof

Quote by matt grime 					 				 				That proof requires you to pick a basis. If I pick a different basis, do you know that it still holds?
Yes... if you pick your basis at (A, B, C) then the vector v becomes (a - A, b - B, c - C) and the zero vector is now (A, B, C).
$$r(a - A) = A$$
$$r(b - B) = B$$
$$r(c - C) = C$$
For this to be true for r <> 0, a must equal A, b must equal B and c must qual C, and thus the vector v becomes (A, B, C) which is again the zero vector.

Recognitions:      Homework  Help     Science  Advisor  No, that isn't how one does a change of basis (of a vector space: the origin isn't fixed.)

Recognitions:      Homework  Help     Science  Advisor  It's also dimension dependent. The result is true for every vector space, even those where picking a basis, never mind solving an uncountable set of linear equations requires the axiom of choice.

Thread Tools

|                                         |                            |         |
|-----------------------------------------|----------------------------|---------|
| Similar Threads for: vector space proof |                            |         |
| Thread                                  | Forum                      | Replies |
|                                         | Linear & Abstract Algebra  | 5       |
|                                         | Classical Physics          | 0       |
|                                         | Calculus & Beyond Homework | 8       |
|                                         | Linear & Abstract Algebra  | 8       |
|                                         | Calculus & Beyond Homework | 9       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 6, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9065698385238647, "perplexity_flag": "middle"}