infinite dim vector space

**Ratzinger** · Dec14-05, 07:37 AM

We have x=x1(1,0,0) + x2(0,1,0) + x3(0,0,1) to represent R^3. That's a finite dimensional vector space. So what do we need infinite dimensional vector space for? Why do we need (1,0,0,...), (0,1,0,0,...), etc. bases vectors to represent R^1 ?

TD · Dec14-05, 07:55 AM

Originally Posted by Ratzinger

We have x=x1(1,0,0) + x2(0,1,0) + x3(0,0,1) to represent R^3. That's a finite dimensional vector space. So what do we need infinite dimensional vector space for? Why do we need (1,0,0,...), (0,1,0,0,...), etc. bases vectors to represent R^1 ?

To represent R^1, you only need 1 vector. A vector space of dimension n is spanned by a basis of n vectors, just as in your example of R^3. This is because a basis needs to span the vector space (which means you need *at least* n vectors) and has to be linearly independant (which means you can only have *at most* n vectors) which makes the number of vectors in the basis exactly n.

Then, what do we need vector spaces with infinite dimension? Consider the vectorspace $LaTeX Code: \\mathbb{R}\\left[ X \\right]$ which is the vector space of all polynomials in x over R. This is trivially an infinite dimensional vector space since a finite number of vectors in a basis contains a vector with a maximum degree r, meaning that x^(r+1) and higher cannot be formed.

**HallsofIvy** · Dec14-05, 08:14 AM

"Functional Analysis" makes intensive use of "function spaces"- infinite dimensional vector spaces of functions satisfying certain conditions. TD gave a simple example- the space of all polynomials. Perhaps the most important is L²(X), the vector space of all functions whose squares are Lebesque integrable on set X.

**NateTG** · Dec14-05, 11:14 AM

Another familiar example of an infinite dimensional vector space is functions from an infinite domain to a ring
Consider that the space of functions
$LaTeX Code: f:A \\rightarrow R$
from some set

to a ring

is a vector space with dimensions indexed on

since we have a vector

or

Scalar multiplication, and vector addition are performed using the ring.

**matt grime** · Dec14-05, 11:27 AM

I think you should reconsider that example, NateTG. How is *a* function a vector space? Over what field? And what are its elements