Proving V1 is Not a Vector Space

Click For Summary

Homework Help Overview

The discussion revolves around proving that the set V1, defined as the span of the vectors b1, b2, b3, and b4, is not a vector space. Participants are exploring the properties and definitions related to vector spaces and spans.

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Some participants question the definition of span and its implications for vector spaces. Others discuss the closure axioms necessary for proving V1 is a vector space, with attempts to demonstrate violations of these axioms.

Discussion Status

Participants are actively engaging with the problem, raising questions about definitions and exploring different interpretations of the original question. Some have suggested methods for proving that V1 is not a vector space, while others are clarifying their understanding of vector space properties.

Contextual Notes

There appears to be some confusion regarding the definitions and properties of vector spaces, particularly in relation to the closure under addition and scalar multiplication. The discussion includes attempts to clarify these concepts and their application to the problem at hand.

hms.tech
Messages
246
Reaction score
0

Homework Statement



V1 is defined as the span of the vectors b1,b2,b3,b4

Prove that V1 is not a vector space.


Homework Equations



A set of axioms :
If u and v are tow vectors in the span of b1,b2,b3,b4 then:
1. u + v belongs to V1
2. ku also belongs to V1

The Attempt at a Solution


Don't know how to prove 1. wrong !
 

Attachments

  • Capture.PNG
    Capture.PNG
    3.4 KB · Views: 466
Physics news on Phys.org
hi hms.tech! :smile:
hms.tech said:
V1 is defined as the span of the vectors b1,b2,b3,b4

Prove that V1 is not a vector space.

i'm confused :redface:

i thought span is defined as the smallest vector subspace that (etc) :confused:

what definition of span have you been given?​
 
To prove that [itex]V_1[/itex] is a vector space, the two closure axioms must be satisfied, as stated in your relevant equations.
[tex]V_1= \left ( b_1,b_2,b_3,b_4 \right )[/tex]
[tex]V_1= \left ( \begin{bmatrix}1 \\ 0 \\ 0\\0 \end{bmatrix}, \begin{bmatrix}1 \\ 1 \\ 0\\0 \end{bmatrix},\begin{bmatrix}1 \\ 1 \\1\\0 \end{bmatrix},\begin{bmatrix}1 \\ 1 \\ 1\\1 \end{bmatrix} \right )[/tex]
According to the two properties:
[tex]1.\;b_1+b_2\not=b_3<br /> \\2.\;k\times b_1\not=b_2[/tex]Also, if you write the 4 vectors as a matrix and reduce to its row echelon form, you will see that it has no free variables, meaning, all the 4 vectors are linearly independent.
 
I think i might have to rephrase the question. Becuase i think i interpreted it wrongly.
so again :

Here is the complete question :
 

Attachments

  • up.PNG
    up.PNG
    13.1 KB · Views: 498
hms.tech said:
I think i might have to rephrase the question. Becuase i think i interpreted it wrongly.
so again :

Here is the complete question :

That's a completely different question from your post #1.[tex]V_1= \left ( \begin{bmatrix}1 \\ 0 \\ 0\\0 \end{bmatrix}, \begin{bmatrix}1 \\ 1 \\ 0\\0 \end{bmatrix},\begin{bmatrix}1 \\ 1 \\ 1\\0 \end{bmatrix} \right )= \begin{bmatrix}1 & 1 & 1 \\ 0 & 1 & 1 \\ 0 & 0 & 1\\ 0 & 0 & 0 \end{bmatrix}[/tex]
[tex]V_2= \left ( \begin{bmatrix}1 \\ 0 \\ 0\\0 \end{bmatrix}, \begin{bmatrix}1 \\ 1 \\ 0\\0 \end{bmatrix},\begin{bmatrix}1 \\ 1 \\ 1\\1 \end{bmatrix} \right )= \begin{bmatrix}1 & 1 & 1 \\ 0 & 1 & 1 \\ 0 & 0 & 1\\ 0 & 0 & 1 \end{bmatrix}[/tex]Note: vector spaces are sometimes called linear spaces.
 
Last edited:
yes, i know that vector space is the same thing as a linear space, but again, how to we prove that V1 union V2 is not a vector space ?
 
hms.tech said:
how to we prove that V1 union V2 is not a vector space ?
[tex]V_1+V_2\not=kV_1\;or\;V_1+V_2\not=kV_2[/tex]where k is a scalar multiple.
 
sharks said:
[tex]V_1+V_2\not=kV_1\;or\;V_1+V_2\not=kV_2[/tex]where k is a scalar multiple.

what axiom is that, i can't recall any such axiom of a vector space ?
 
[itex]V_1\cup V_2[/itex] is the sum of all corresponding elements of [itex]V_1[/itex] and [itex]V_2[/itex]. Therefore, it is [itex]V_1 + V_2[/itex].

The result of the vector addition, let's call it, [itex]V_3[/itex], is to be tested against the closure axioms to verify if it is a vector space of either [itex]V_1[/itex] or [itex]V_2[/itex].

Now, according to the closure axiom of scalar multiplication, if [itex]V_3[/itex] is a scalar multiple of [itex]V_1[/itex] or [itex]V_2[/itex], then the former is a vector space. You can get the answer easily from here.
 
  • #10
the simplest way is to find a in V1 and b in V2 such that a+b is not in V1 and is not in V2 :wink:

(and the simplest choices for a and b would be one 1 and three 0s)
 
  • #11
yeah i got it, thanks for the explanation. I took the vectors b3 and b4, added them together and proved that the resultant vector does not lie in v3.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
9K