4
$\begingroup$

I was thinking a bit about isometric embeddings into Hilbert spaces and got the following idea.

First, as we recall, many vector spaces over the reals are isomorphic to $\mathbb{R}^{\alpha}$ for some cardinal number $\alpha$. [EDIT: As Carl Mummert remarked below, not every vector space is of this form, as I had erroneously supposed; see comments.] So if we want to embed every single set-dimensional vector space in some kind of vector space, it would be nice to have something like $\mathbb{R}^\mathbf{ON} = \lbrace f:\mathbf{ON}\to\mathbb{R}|\textrm{ }\mathtt{True}\rbrace$ with operations defined as usual. Here $\mathbf{ON}$ is the class of all ordinal numbers. So my question is:

Does the notion of class-dimensional vector space make sense in some appropriate variant of set theory?

Next, we could possibly modify this definition a bit, definining a class-dimensional Hilbert space: $\ell^2(\mathbf{ON})= \lbrace f:\mathbf{ON}\to\mathbb{R}|\textrm{ }\sum_{\alpha\in\mathbf{ON}}f(\alpha)^2<\infty\rbrace$, where the sum is as usual taken to be the supremum of the finite sums and the other operations are defined as usual. So if such a definition made sense, we would perhaps be able to isometrically embed every set-dimensional Hilbert space in such a space. Therefore I ask also for this case:

Is it possible to consistently define such spaces? If such a definition is consistent, is there some literature in which a theory of such spaces is developed?

Thank you in advance.

[ADDED: As Asaf Karagila remarks below, every $\mathbb{R}$-linear space is of the form $\bigoplus_{\kappa}\mathbb{R}$ for some cardinal $\kappa$. So by analogy, I might also be interested in $\bigoplus_{\mathbf{ON}}\mathbb{R}$.]

  • 0
    @Dejan: Well, the first step would be to reify the notion of class and class function: it is useful to use something like NBG set theory for this. But why would anyone care about vector spaces which form a proper class?2012-03-05
  • 2
    I don't think every vector space over $\mathbb{R}$ is isomorphic to a space of the form $\mathbb{R}^\alpha$. Suppose that the space had dimension exactly $c = |\mathbb{R}|$ over $\mathbb{R}$. Then it would have cardinality $|[\mathbb{R}\times\mathbb{R}]^{<\omega}| = c$. Now if $\alpha < c$ then $\mathbb{R}^\alpha$ has dimension $\alpha$, which is too small, but if $\alpha \geq c$ then $|\mathbb{R}^\alpha| \geq |2^c| > c$, so the cardinality is too big. Did I miss something there?2012-03-05
  • 0
    @CarlMummert: I think you're right! I'll have to edit that part. Btw, did you mean $c=|\mathbb{N}|$? Since as written, I think $\mathbb{R}^{\aleph_0}$ is a counter-example ...2012-03-05
  • 0
    @AsafKaragila: Yes, but if I'm not mistaken, its basis (basis of $\mathbb{R}^\mathbb{N}$, that is) has cardinality $c=|\mathbb{R}|$, so in order for the argument to work, we'd have to work with an $\aleph_0$-dimensional space instead. Or am I missing something fundamental?2012-03-05
  • 0
    I am somewhat sleep deprived and could somehow have misread Carl's comment.2012-03-05
  • 3
    Do note, regardless of Carl's comment every vector space has the form $\mathbb R^{(\kappa)}$, that is $\bigoplus_\kappa\mathbb R$ (functions from $\kappa$ into $\mathbb R$ which has finitely many non-zero coordinates).2012-03-05
  • 0
    @AsafKaragila: No problem, being sleep deprived is a mathematician's job. =) [Added: thanks for the suggestion! That's exactly what I had in mind when I made my original mistake.]2012-03-05
  • 0
    !Dejan Govc and @Asaf Karagila : My original argument is flawed, for the reason that Dejan Govc pointed out, namely that the dimension of $\mathbb{R}^\alpha$ might be larger than $\alpha$. Here is a corrected argument that Dejan Govc suggests: if $\alpha < \omega$ then $\mathbb{R}^\alpha$ has finite dimension. On the other hand, if $\alpha \geq \omega$ then the dimension of $\mathbb{R}^\alpha$ is no smaller than that of $\mathbb{R}^\omega$, and the latter has uncountable dimension over $\mathbb{R}$. So no space of the form $\mathbb{R}^\alpha$ can have countable dimension over $\mathbb{R}$.2012-03-05

2 Answers 2

3

It is well definable within ZFC the class of all finite functions from ordinals into $\mathbb R$. These would simply be finite sets of pairs $(\alpha,r)$ with addition of $(\alpha,r)+(\alpha,t)=(\alpha,r+t)$.

If we add two "vectors" then we take pointwise addition on common domain and union of the disjoint parts, so for example:

$$\{(\omega,5),(\omega_3+\omega+4,\pi)\}{\ \large+}\ \{(\omega,5)\}=\{(\omega,10),(\omega_3+\omega+4,\pi)\}$$

The definition of scalar multiplication is similar.

Indeed every real vector space is of the form $\bigoplus_\alpha\mathbb R$ for some ordinal $\alpha$ can be embedded naturally into this space. The problem with this sort of vector space is that one of the common construction - the dual space - becomes problematic.

This is because $\mathbb R^{(\mathbf{Ord})}$ is spanned by $\{(\alpha,1)\}$ for $\alpha\in\mathbf{Ord}$. The dual space would be functions from all ordinals into $\mathbb R$. That would be a collection of classes, not of sets. We can define each "vector" but not the whole space.

Similarly for $\ell_2(\mathbf{Ord})$ as you defined it. You cannot have a collection of functions from all the ordinals into $\mathbb R$. Furthermore the sum of a proper class of indices is an abomination. If we have uncountably many elements we already require all but countably many to be zero - so this would just be a very very long string of mostly zeros. Even if we instead of finite functions take countable functions and require them to converge, we again run into the problem of dual space; endomorphisms of the space; etc.

I'd think that it is better to simply assume the existence of an inaccessible cardinal and consider the universe below it as your model - and functions from the cardinal itself as $\mathbb R^{(\mathbf{Ord})}$. From there it's a reasonable leap of faith to take Tarski-Grothendieck axiom of universes as well.

  • 0
    Thanks, in case I ever need such spaces, I'll know where to look. Tarski-Grothendieck set theory sounds pretty cool.2012-03-06
  • 0
    @Dejan: I actually don't know much about it except that it is equiconsistent with ZFC+2-inaccessible (an inaccessible cardinal which is itself a limit of inaccessible cardinals). I hope you never need a class-sized vector space (from my little experience with forcing, when it's a set it's fine and dandy but once you go class forcing everything goes haywire and you can easily find yourself in a world of gum if you don't pay ultra-close attention to details).2012-03-06
3

The following is not so hard. Let $C$ be the class of all finite sets of pairs $(s, r)$ where $s$ is a set and $r$ is a real. Then $C$ is a sort of class-sized vector space over the entire universe of sets. To add two elements of $C$, or perform scalar multiplication, just treat elements of $C$ as formal $\mathbb{R}$-linear combinations of sets and add accordingly. The class $C$ itself is easily definable in ZFC, as are the classes that encode the addition and scalar multiplication operations. Moreover, any basis of a vector space over $\mathbb{R}$ induces an embedding of that space into $C$. I don't know why this space would be very interesting, however.