Talk:Examples of vector spaces

From Wikipedia, the free encyclopedia

[edit] Unbounded sequences

in section "infinite coordinate space" there is a slight confusion about "unbounded sequences" which seem here to refer to infinite sequences while it usually means that the image of the sequence is unbounded (i.e. the set of all elements { x_i ; i\in\N } is unbound in F (whatever its topology may be), e.g. for C that (lim)sup|x_i|=∞). — MFH: Talk 19:27, 27 May 2005 (UTC)

Yes, unbounded is probably not the right word. I not sure what the proper language is for distinguishing between

  1. a finite sequence
  2. an infinite sequence with only finitely many nonzero terms
  3. an infinite sequence with infinitely many nonzero terms.

I suppose one could gloss over the distinction between the first two items (which strictly speaking have different function domains) and call both finite sequences although that doesn't quite seem right to me. -- Fropuff 20:14, 2005 May 27 (UTC)

[edit] Fields

Why does this article talk so much about fields? the set of integers over the integers is a vector space, but not a field.. maybe this should be made clear (even though they aren't that common in usage) --yoshi 23:06, 11 January 2006 (UTC)

Fields are included in the definition of a vector space. Generalizations to commutative rings are called modules. The integers are indeed a Z-module, but that is not what this page is discussing. -- Fropuff 23:24, 11 January 2006 (UTC)
In that case I'm gonna add a see also section --yoshi 02:25, 12 January 2006 (UTC)
The vector space article already discusses modules in the section on generalizations. The link is somewhat out of place here. If there were an article on examples of modules, it might be appropriate to link it from here (I'm not claiming such an article should exist). -- Fropuff 02:41, 12 January 2006 (UTC)

[edit] Function spaces and generalized coordinate spaces

In this article, the notation FX is used for the set of maps from X to the field F with finitely many nonzero terms (aka, the generalized coordinate space with basis isomorphic to X). I believe this is a bad idea: the notation YX is standard in set theory for the set of all maps from X to Y, and gives rise to the notion of an exponential object in category theory. In fact, in this article, the notation FN is already mentioned as a notation for the set of all maps from the natural numbers to F.

I think the notation VX should be given as a notation for the function space of all maps from X to V, then specialized to the case V=F. Then the generalized coordinate space should be defined as a subspace of FX, with a different notation. I guess the correct notation would be to use the direct sum \bigoplus_X \mathbf F or coproduct. Comments? Geometry guy 15:55, 12 February 2007 (UTC)

Really? I don't see where that notation is used. The only thing I see is F∞ used to mean \bigoplus_{i=1}^\infty \mathbf F rather than FN. I believe this notation is somewhat standard (note that ∞ is not a set here, just a symbol). I agree that VX should be used to mean the set of all maps from X to V. -- Fropuff 18:47, 12 February 2007 (UTC)
I must be hallucinating! You are right FX does not seem to appear anywhere. I guess what disconcerted me was that I was expecting to find a discussion of Fn and FN as special cases of FX, instead of which, I saw Fn and F∞ as special cases of the direct sum over X (what do you think of a notation like \mathbf F^{\oplus X} for this?). Anyway, there is nothing wrong with that approach - certainly I'm happy with the notation F∞ - but I still think it would be nice to mention FX explicitly and give some subexamples. Do you agree? Geometry guy 19:07, 12 February 2007 (UTC)
You're probably not the only one to hallucinate here. We should definitely clear things up and mention the notation FX explicitly. The only notations I've seen used for generalized coordinate space are \bigoplus_X \mathbf F or (FX)0. I'd be happy with either, although the first is more transparent. I'm okay with \mathbf F^{\oplus X} too, but I don't ever recall seeing it before. We should stick with standard notation (if it exists). -- Fropuff 19:32, 12 February 2007 (UTC)
Yeah, we should, and I know the subscript zero is standard in this field, but \mathbf F^{\oplus X} is surely as standard a translation of \bigoplus_X \mathbf F as E^{\otimes n} is a translation of \bigotimes_{i=1}^n E. Anyway, I'm sure one (or both) of us will edit this article in the near future. Geometry guy 22:29, 12 February 2007 (UTC)
(Re edit.) Nicely done! This adds something to the whole article. Geometry guy 09:28, 13 February 2007 (UTC)
I'm new to adding comments to Wikipedia, my apologies if I screw anything up. Here's my question...There seems to be an ambiguous statement in the Field vector space example. The article states that the basis of a field is the identity element, but it does not specify whether it is the multiplicitive identity element, or the additive identity element. Later in the article the basis is expressed as the set {0), but I don't see how a linear combination of zeros could result in any non-zero element of the field. Shouldn't the basis be {1}?