I'm having some set theoretic qualms about the following argument for the following statement:(adsbygoogle = window.adsbygoogle || []).push({});

Let V be a vector space of dimension n and let S be a generating set for V. Prove that some subset of S is a basis for V.

The argument is as follows:

If ##V = \{ 0 \} ## then it is trivial since the null set is a basis for V. Otherwise V has dimension greater than zero, so that S is nonempty.

Given that S is nonempty, take a new set S' which is empty. Look at all the vectors in S and chuck them into S' making sure that independence of S' is preserved. A point will come where S has n vectors, at which point it is a basis.

The problem is the termination of this process and the procedure by which vectors in S are taken and chucked into S'. If S is finite, all is well, since we can search through all the elements of S in a finite amount of time. But what if S is infinite?

BiP

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Some subset of a generating set is a basis

Loading...

Similar Threads for subset generating basis |
---|

I Generating modules and sub modules Blyth Theorem 2.3 |

I Generating/spanning modules and submodules ... ... |

A On a finitely generated submodule of a direct sum of modules... |

I SU(2) generators |

**Physics Forums | Science Articles, Homework Help, Discussion**