# Thread: Linear algebra : base, vector space, prove that.

1. ## Linear algebra : base, vector space, prove that.

Hi MHF,
I don't know how to prove what I must prove, but I've done something.
Let $\bold{B}$ be a base of the vector space $V$ which has a finite dimension. Let $S \subseteq V$ such that $\bold{B} \subseteq \text{span } (S)$. Prove that $\text{span } (S)=V$.
My attempt : We have that $\dim S \leq \dim V$. And also that $\dim \bold{B} \leq \dim S$, but as $\dim \bold{B}=\dim V$ we have $\dim S=\dim V$. So the conclusion follows. Am I right?

2. Originally Posted by arbolis
Hi MHF,
I don't know how to prove what I must prove, but I've done something.
Let $\bold{B}$ be a base of the vector space $V$ which has a finite dimension. Let $S \subseteq V$ such that $\bold{B} \subseteq \text{span } (S)$. Prove that $\text{span } (S)=V$.
My attempt : We have that $\dim S \leq \dim V$. And also that $\dim \bold{B} \leq \dim S$, but as $\dim \bold{B}=\dim V$ we have $\dim S=\dim V$. So the conclusion follows. Am I right?
hmmm,

here is some nice way..
note that every element of $V$ can be written as a linear combination of the elements in $B$.. but since $B \subseteq \mbox{span }{S}$, then every element in $B$ can be written as a linear combination of the elements in $S$... thus every element in $V$ can be written as a linear combination of the elements in $S$.

3. We suppose $S=\{ \vec{v}_1 \cdots \vec{v}_m \cdots \vec{v}_n \}, \mathfrak{B}=\{ \vec{v}_1 \cdots \vec{v}_m \}, \mathfrak{B}\subseteq span(S)$
$\because V=span(\mathfrak{B})\ and\ S \subseteq V \therefore S=span(\mathfrak{B}), \{ \vec{v}_{m+1} \cdots \vec{v}_n \}\$ $are\ linearly\ dependent\ elements\therefore span(S)=span(\mathfrak{B})=V$

4. Originally Posted by math2009
We suppose $S=\{ \vec{v}_1 \cdots \vec{v}_m \cdots \vec{v}_n \}, \mathfrak{B}=\{ \vec{v}_1 \cdots \vec{v}_m \}, \mathfrak{B}\subseteq span(S)$
$\because V=span(\mathfrak{B})\ and\ S \subseteq V \therefore S=span(\mathfrak{B}), \{ \vec{v}_{m+1} \cdots \vec{v}_n \}\ are\ linearly\ dependent$

and what do you want to show with this?

5. I didn't finish writing, please refresh web page.

6. actually, there is no need to say that the the latter set is a lin. dep set.. as long as you can show that span B = span S, your done..