1
$\begingroup$

Notation question (I believe the notes that I'm reading uses pretty common notation):

Let $V $ be a vector space over a field $K$. What is $V^\mathbb{N}$? Is it a vector space of infinite dimensions? What are the elements of $V^\mathbb{N}$? Are they infinite length tuples?

  • 0
    BTW I'd have preferred to ask this question on chat.math.stackexchange.com but it's not setup yet.2010-10-26

3 Answers 3

6

In my opinion, this notation is ambiguous (edit: but maybe I'm wrong). It could mean two things: it could mean the space of functions $\mathbb{N} \to V$, which is a vector space in the obvious way. This is the countable product in the category of vector spaces. This vector space is very large; in particular, it has uncountable dimension and it is not spanned by the functions $e_i$ which are equal to $1$ at $i$ and equal to $0$ elsewhere.

Or it could mean the space of functions $\mathbb{N} \to V$ which are zero except at finitely many places, which is also a vector space in the obvious way, but countable-dimensional, and this is the vector space spanned by the $e_i$. This is the countable coproduct in the category of vector spaces. (Note that it is not necessary to distinguish between finite products and finite coproducts because they are the same.)

If I had to guess, I would guess that it means the former. Can you give a link to the notes? It might be possible to figure out which one is meant from context.

  • 1
    @Arturo: Thanks for the link. I'm not very well-versed in infinite-dimensional vector spaces, so it will take me a while to digest that proof. @Qiaochu: Ah, I see; I was forgetting that the span is composed of linear combinations, which by definition involve only *finitely* many vectors.2010-10-26
1

It would be the vector space consisting of an infinite product V × V × ... of copies of V.

More generally: for two sets A and B, AB often denotes the set of functions f : B → A. (The only exception I'm aware of is when the sets A and B happen to be ordinals, in set theory; then a different notion of exponentiation is often used.)

How are these two concepts related? Well: as a vector space, V is also a set of vectors. And so a function f : ℕ → V is essentially a block-vector description of a vector v = (f(0), f(1), ...) ∈ V × V × ... .

  • 1
    @Willie Wong: that's right, silly mistake.2010-10-26
1

I'd think of it as the set of sequences of elements of $V$, i.e.

$ V^\mathbb{N} = \prod_{n=1}^\infty V.$

But I don't think there is a really nice description. In the case where $V$ is finite-dimensional, it'd just be $K^\mathbb{N}$ in a clever (and non-canonically isomorphic) disguise, but if $V$ were to be infinite-dimensional, $V^\mathbb{N}$ could be rather ugly. E.g. $\ell_1^\mathbb{N}$: sequences of absolutely summable sequences. Then a sequence of sequences would converge to a sequence iff it converged coordinatewise. Complicated and very confusing.

Following Munkres' "Topology", I prefer to use $V^\infty$ for set of sequences in $V$ for which only finitely many elements are nonzero, i.e.

$V^\infty = \bigoplus_{n=1}^\infty V = \left\lbrace (v_n) \in V^\mathbb{N} \;{\large\mid}\; \text{$v_n = 0$ from some index onwards}\right\rbrace. $