Proving V1 is Not a Vector Space

In summary, the two closure axioms must be satisfied in order to prove that V_1 is a vector space. The attempt at a solution is to find a vector in V1 and a vector in V2 such that the addition of these two vectors does not lie within V1 or V2.
  • #1
hms.tech
247
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: 413
Physics news on Phys.org
  • #2
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?​
 
  • #3
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
\\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.
 
  • #4
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: 448
  • #5
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:
  • #6
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 ?
 
  • #7
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.
 
  • #8
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 ?
 
  • #9
[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.
 

FAQ: Proving V1 is Not a Vector Space

What is V1 and why does it need to be proven as not a vector space?

V1 is a mathematical set of vectors that is being studied for its properties. It needs to be proven as not a vector space in order to understand its limitations and potential applications.

What are the requirements for a set to be considered a vector space?

A set must follow a set of axioms, including closure under vector addition and scalar multiplication, in order to be considered a vector space.

How do you prove that V1 does not satisfy the axioms of a vector space?

A proof would involve finding a counterexample that violates one or more of the axioms, thus showing that V1 does not satisfy all the requirements of a vector space.

Can a subset of a vector space also be proven as not a vector space?

Yes, a subset of a vector space can also be proven as not a vector space if it does not satisfy the axioms of a vector space.

How does proving V1 is not a vector space impact its usefulness in scientific research?

Proving V1 is not a vector space can help researchers understand its limitations and potential applications, potentially leading to new discoveries and advancements in the field.

Similar threads

Replies
4
Views
2K
Replies
6
Views
5K
Replies
14
Views
2K
Replies
9
Views
2K
Replies
2
Views
9K
Back
Top