Hey,

I have given the space:

How do I show that this space is a vector space. Should I run through various rules which must be fulfilled in order for a set to be a vector-space or is there another way of going about it?

Appreciate it.

Printable View

- Apr 5th 2010, 10:02 AMsurjectiveShowing vector space
Hey,

I have given the space:

How do I show that this space is a vector space. Should I run through various rules which must be fulfilled in order for a set to be a vector-space or is there another way of going about it?

Appreciate it. - Apr 5th 2010, 10:18 AMEnrique2
It is confusing this notation. is denoted usually by and it is the space of all bounded sequences. The space of sequences with only finite coordinates non-zero is the countable direct sum of copies of and it is usually denoted by

To show that a set is a vector space simply show that the sum of two vectors defined in a natural way is in the set and also the multiplication by a scalar, it is simply algebra, and both, and are vector spaces, the sum of two sequences which are bounded or eventually null is bounded or eventually null and the same with the multiplication by scalars. - Apr 5th 2010, 04:57 PMFancyMouse
Clearly the direct sum is a subset of direct product. So you'll only need to check that it's actually a subspace.

- Apr 5th 2010, 05:08 PMsurjectiveshowi vector space
Hey,

Thanks for the reply. Yes I know that a vector space is a nonempty set V that has been equipped with two operations, namely addition and multiplication. The thing is that in order for a set to qualify as a vector space, the mentioned operations must adhere to certain axioms. They are quite many. Therefore I would, as far as possible, like to avoid showing all of them.

But as far as I have understood from your post it would be sufficient to choose two arbitrary bounded sequences in and show that their sum is bounded as well as multiplying a scalar with an arbitrary bounded sequence in and show that it is bounded. Would that really be sufficient to show that the space mentioned is a vector-space.

Appreciate the help. - Apr 5th 2010, 05:23 PMDrexel28
Where's the confusion coming from? If I am understanding your question correctly the above space is a subset of a bigger vector space (which?) and to show that it's a vector space we must thus show it's closed under scalar mult. and addition.

But, if are eventually zero of order respectively then is eventually zero of order . etc. - Apr 6th 2010, 11:11 AMsurjectiveShowing vector space
Hey,

Thanks for your patience.

Let me try again. Looking at the previous posts I saw that I had written the space incorrectly. I have the space:

It does not state that ´is a subset of a larger space!!!?

My confusion has to do with the textbook I'm using (and have been using since I started the course on Real Analysis). It is terrible and the formulation is not clear at all.

I know that a subspace of a vector-space is a subset such that when the addition and scalar multiplication of are used to add and scalar-multiply the elements of , then is a vector-space. Hence by showing that is closed under addition and multiplication then that would show the intended (as mentioned several times now).

Appreciate the help. - Apr 6th 2010, 12:47 PMDrexel28
- Apr 6th 2010, 01:06 PMsurjectiveShowing vector space
Yes that is also what I was able to extract from the previous posts. Some general questions:

1) Is a subset of a larger vector-space?

2) When you have a set equipped with the operations of addition and multiplication, is it then a given that these operations satisfy the wellknown axioms of a vector-space?

3) Does every supspace fulfill the properties of its larger vector-space?

- Apr 6th 2010, 01:25 PMDrexel28
Probably, you can probably embed it in a larger vector space. Is there a canonical choice? Probably not. Does it matter though? For if you are trying to embed it so you only have to prove closure of scalar mult. and addition (since it's a subspace) you'd still have to prove that the space you embedded it in is a vector space

Quote:

2) When you have a set equipped with the operations of addition and multiplication, is it then a given that these operations satisfy the wellknown axioms of a vector-space?

Quote:

3) Does every supspace fulfill the properties of its larger vector-space?

- Apr 6th 2010, 01:40 PMsurjectiveshowing vector-space
I meant the following:

This is what my textbook says:

**A vectorspace is a non-empty set V that has been equipped with two operations, called addition and scalar-multiplication,**__statisfying certain rules__.

Notice the underlined. What you have helped me to show so far is that the space is closed under addition and multiplication. But what about the "certain rules" mentioned? Is is not a requirement to show them also? - Apr 6th 2010, 01:47 PMDrexel28
Yeah, but they are trivial. They are that...well I'm not going to write them all. Here they are. Personally, I would just say "it's apparent that they are satisfied" but I wouldn't do that if I were you.

- Apr 6th 2010, 02:02 PMsurjective
I'm suspecting more problems will show up :) but thank a lot for now.