7

I read the following in my textbook:

Find as small a set of vectors that span the row space of $A$ as you can. Such a set is called a minimal spanning set.

Is this terminology synonymous with the basis of the vector space? A basis is also made up of the largest set of linearly independent vectors that span a vector space.

Mirrana
  • 9,009
  • They are the same. Also, as you noted, you could refer to the basis as the maximal linearly independent set. – tylerc0816 Sep 26 '13 at 01:35

1 Answers1

12

Yes. The following three terms are equivalent (for a vector space!):

  1. A linearly independent spanning set.
  2. A minimal spanning set.
  3. A maximal linearly independent set.

The first obviously implies the second and third. To see that 2. implies 1., suppose that if $\{x_1,\ldots,x_m\}$ is a minimal spanning set, but not a basis. Then, for some constants $\alpha_1,\ldots,\alpha_m$, not all zero, we have that

$$\displaystyle \alpha_1 x_1+\cdots+\alpha_m x_m=0$$

So, assume that $\alpha_1\ne 0$. Then,

$$x_1=\frac{-\alpha_2}{\alpha_1}x_2+\cdots+\frac{-\alpha_m}{\alpha_1}x_m$$

Thus, $\{x_2,\ldots,x_m\}$ is a spanning set (why?) and thus this contradicts minimality.

You and try to prove that 3 implies 1.

Alex Youcis
  • 54,059
  • 1
    $\alpha_1 \neq 0$ is a bit of an unnecessary condition, no? Just consider the convention that: $\text{span}() = {0}$. – St Vincent Sep 26 '13 at 02:21
  • @StVincent I don't follow. The zero space has an empty set as a spanning set, but in that case $\alpha_1$ doesn't even make sense! – Alex Youcis Sep 26 '13 at 02:23
  • If $\alpha_1 = 0$ then surely it can be linearly dependent in a list of length $1$, and as a result, can be thrown out, and still have span the set (even though it is empty) that still spans $0$. – St Vincent Sep 26 '13 at 02:26
  • Wait, sorry I was confusing $\alpha_1$ with a vector for some reason, very silly. See this post: http://math.stackexchange.com/questions/492989/linear-dependence-lemma – St Vincent Sep 26 '13 at 02:28
  • 1
    You should be a bit more careful with your proof of "(2) implies (1)" since a minimal spanning set may not be finite. – user21820 Apr 26 '15 at 11:05