Physics Forums

Recognitions:
Gold Member

## Un-spannable vector space?

If you have a vector space you can find a set of elements and consider their span, and then look for elements that cannot be spanned by them and so add them to the set, if you can't add anymore then you have a basis.
My question is what happens if this process continues forever, do you automatically call it infinite dimensional or is there such a thing as an unspannable space.

Also what happens if there is a set but it cannot be labeled nicely such as {sin(nx)}..

Thanks!!

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Mentor  Such spaces are said to be infinite-dimensional. Every vector space has a basis, so there's no need for terms like unspannable. You can use a notation like $\{\mathbb R\ni x\mapsto \sin nx\in\mathbb R|n\in\mathbb Z^+\}$, or be less formal and shorten it to $\{\sin nx|n\in\mathbb Z^+\}$. You can also e.g. define, for each n=1,2,..., $u_n:\mathbb R\rightarrow\mathbb R$, by $u_n(x)=\sin nx$ for all $x\in \mathbb R$, and write the set as $\{u_n|n\in\mathbb Z^+\}$.

there's a theorem out there that says every finite dimensional vector space must have a basis ( and it uses Zorns lemma ) , so that should clear things up for oyu

Mentor

## Un-spannable vector space?

In the finite-dimensional case, the existence of a basis follows immediately from the definition of "basis" and "finite dimensional". So you only need Zorn when the vector space is infinite dimensional.

Blog Entries: 8 				 				 				 				         Recognitions:      Gold Member        Science  Advisor     Staff Emeritus  Like Frederik has already said: using Zorn's lemma, we can show that every possible vector space has a basis. But this uses the axiom of choice and is highly unconstructive. If we do not assume the axiom of choice, then there may be some vector spaces without a basis (for example: consider $$\mathbb{R}$$ as $$\mathbb{Q}$$-vector space).  So while we can show (using choice) that every vector space has a basis, there is something undesirable about this. Namely the fact that we can never write down the basis in any way. But the entire point of having a basis is so that we can use it to know more about the vector space. Thus having a basis of an infinite dimensional vector space seems to be a little useless. That's why some people proposed things which weren't a basis, but which did have some desirable properties. For example, a Schauder-basis is a set of elements such that every element can be written as an infinite linear combination of basis elements. In infinite-dimensional (separable) spaces, the concept of Schauder basis is a good replacement for the concept of basis...

Recognitions:
Science Advisor

Quote by alemsalem 					 				 				If you have a vector space you can find a set of elements and consider their span, and then look for elements that cannot be spanned by them and so add them to the set, if you can't add anymore then you have a basis. My question is what happens if this process continues forever, do you automatically call it infinite dimensional or is there such a thing as an  unspannable space.  Also what happens if there is a set but it cannot be labeled nicely such as {sin(nx)}..  Thanks!!
There is no general algorithm for finding the basis of an infinite dimensional vector space. In this case a basis means a set of independent vectors that span the entire space by finite linear combination. That means that an arbitrary vector in the space is a linear combination of finitely many basis vectors. Since there is no algorithm one must make a postulate that allows one to conclude that there is a basis. A typical such postulate is the Axiom of Choice.

If there is a metric then one can talk about infinite linear combinations of basis vectors that converge to an arbitrary vector in the space. The classic examples are L^2 normed function spaces. This is a different idea of basis.

Recognitions:
Gold Member
Science Advisor
Staff Emeritus

Quote by micromass 					 				 				But this uses the axiom of choice and is highly unconstructive.
It is an eye of the beholder thing. e.g. with the well-ordering theorem* in hand, the algorithm quoted in the opening post can be continued transfinitely to produce a basis. I wouldn't call it highly unconstructive, but I know opinion differs on such points.

*: For the OP, the well-ordering theorem is equivalent to the axiom of choice and to Zorn's lemma

Recognitions:
Gold Member
Science Advisor
Staff Emeritus

Quote by dexdt 					 				 				there's a theorem out there that says every finite dimensional vector space must have a basis ( and it uses Zorns lemma ) , so that should clear things up for oyu
More correctly, Zorn's Lemma shows that every vector space has a basis but isn't really needed for finite dimensional vector spaces. Did you mean to say "infinite dimensional"?

alemsalem, the definition of "finite dimensional" is that the space can be spanned by some finite set of vectors. So any "unspannable space" would be infinite dimensional.

Yes, there do exist spaces with uncountable bases. "What happens"? You avoid them like the plague!

Recognitions:      Homework  Help     Science  Advisor  every vector space spans itself, so strictly speaking "unspannable spaces" (with no mention of independence) do not exist.

Recognitions:
Gold Member
Science Advisor
Staff Emeritus

Quote by mathwonk 					 				 				every vector space spans itself, so strictly speaking "unspannable spaces" (with no mention of independence) do not exist.
Absolutely true. But since alemsalem said "If you have a vector space you can find a set of elements and consider their span, and then look for elements that cannot be spanned by them and so add them to the set, if you can't add anymore then you have a basis." I assumed he was referring to spanning by a finite set.

Recognitions:      Homework  Help     Science  Advisor  yes indeed halls, your answer was more useful whereas mine was just picky.  but thats my strong suit!

Thread Tools

|                                                 |                            |         |
|-------------------------------------------------|----------------------------|---------|
| Similar Threads for: Un-spannable vector space? |                            |         |
| Thread                                          | Forum                      | Replies |
|                                                 | Calculus & Beyond Homework | 5       |
|                                                 | Linear & Abstract Algebra  | 1       |
|                                                 | Calculus & Beyond Homework | 2       |
|                                                 | Classical Physics          | 0       |
|                                                 | Calculus & Beyond Homework | 9       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 6, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9333885908126831, "perplexity_flag": "head"}