6
$\begingroup$

Suppose $V$ is a vector space over a scalar field $F$. If $\dim(V)=n$, then $|V|=|F|^n$. How can I rigorously determine the cardinality of $V$ when $V$ is infinite dimensional?

My thought was that if $\mathscr{B}$ is an ordered basis for $V$, then the cardinality of $V$ is given by the set of functions from $\mathscr{B}\to F$, by identifying elements of $V$ with their $\mathscr{B}$-coordinate vector. However, I feel that we should only count functions with finite support since infinite sums don't make sense.

Is this correct? If so, how does one find the cardinality of $\{f\colon\mathscr{B}\to F\mid \mathrm{supp }(f)<\infty\}$, in terms of say $|F|$ and $|\mathscr{B}|$? Thanks.

  • 1
    Can you find the number of functions from $\mathscr{B}$ to $F$ with support of size at most $n$?2012-09-11
  • 0
    @ChrisEagle Wouldn't that require choosing $n$ vectors in $\mathscr{B}$ to send to nonzero elements of $F$? That seems like it would already be very large since $\mathscr{B}$ is infinite.2012-09-11
  • 0
    @Nastassja But what would the infinite cardinal be?2012-09-11
  • 1
    @Nastassja The point is that the set of functions from $\mathscr B$ to $F$ with support at most $n$ is a union of at most $|\mathscr B|^n$ copies of $F^n$. This lets you calculate the cardinality using cardinal arithmetic.2012-09-11
  • 0
    @AlexBecker Thanks. May I check if I did this right? Since $B$ is infinite, $|B|^n=|B|$ for all $n$. Also, $|B||F|^n=\max\{|B|,|F|^n\}=\max\{|B|,|F|\}$ regardless of whether $F$ is finite or infinite. Doing this for all $n$, the cardinality of $V$ is $\max\{|B|,|F|\}\cdot\aleph_0=\max\{|B|,|F|\}$ anyway since $|B|\geq\aleph_0$?2012-09-11
  • 0
    @Nastassja Looks good to me!2012-09-11

1 Answers 1

7

Suppose that $V$ is a vector space over $F$ and $V$ has a basis $B$.

From the definition of a basis every $v\in V$ can be written as a unique sum of basis elements and scalars. That is, there is a finite subset of $B\times (F\setminus\{0\})$ whose sum is $v$, and if we require that this set is a function on its domain, then this set is unique.

This gives a well-defined injection from $V$ into finite subsets of $B\times(F\setminus\{0\})$. Assuming the axiom of choice we have that, $$|V|\leq\left|[B\times(F\setminus\{0\})]^{<\omega}\right|=|B\times F|=\max\{|B|,|F|\}\leq|V|\implies|V|=\max\{|B|,|F|\}.$$

  • 0
    The question asks what is the cardinality of $V$, given the dimension of $V$ and the cardinality of the scalar field.2012-09-11
  • 0
    Thanks, but I don't see how this applies. I'm already assuming a basis is known to exist, and trying to compute the cardinality of the vector space.2012-09-11
  • 1
    Writing and revising while drinking and using iPhone keyboard is just hellish!! :-)2012-09-11
  • 0
    Thanks Asaf, I think this is a much neater presentation than what I said above.2012-09-11
  • 0
    @Nastassja: Well to be fair I just finished my M.Sc. thesis and I had to write something like that there... :-)2012-09-11
  • 0
    I edited to fix some typos and hopefully didn't break anything. That said, I am not sure I believe the argument as written. Certainly the map you describe is a surjection from $[B \times (F \setminus \{0\})]^{<\omega}$ to $V$. But I don't think it's an injection. If $v \in B$, don't $\{ (v,3) \}$ and $\{(v,1), (v,2)\}$ both map to $3v$?2014-07-11
  • 0
    @Nate: You're right, except in the case that $F=\{0,1\}$. But for the sake of the argument it is sufficient. I'll correct this shortly. Thank you!2014-07-11
  • 0
    Oh right, it still gives us $|V| \le \max(|B|, |F|)$. But $|B| \le |V|$ and $|F| \le |V|$ are immediate.2014-07-11