# Slick proof?: A vector space has the same dimension as its dual if and only if it is finite dimensional

A very important theorem in linear algebra that is rarely taught is:

A vector space has the same dimension as its dual if and only if it is finite dimensional.

I have seen a total of one proof of this claim, in Jacobson's "Lectures in Abstract Algebra II: Linear Algebra". The proof is fairly difficult and requires some really messy arguments about cardinality using, if I remember correctly, infinite sequences to represent $\mathbb{N}\times\mathbb{N}$ matrices. Has anyone come up with a better argument in the 57 years since Jacobson's book was published, or is the noted proof still the only way to prove this fact?

Edit: For reference, the proof is on pages 244-248 of Jacobson's

Lectures in Abstract Algebra: II. Linear Algebra.

-
"very important theorem" - I disagree. –  darij grinberg Jan 29 '10 at 12:48
@darij: You're entitled to disagree, but saying so, without any justification whatsoever, is not a positive contribution. –  Pete L. Clark Jan 29 '10 at 12:58
This theorem proves that we cannot ever under any circumstances extend the results of finite dimensional linear algebra without considering topology. I think that's pretty important. =p –  Harry Gindi Jan 29 '10 at 13:23
My comment was mainly a reply to at least 2 people here overestimating the impact of the original question. If it wouldn't have been called a "very important theorem" by the author or a "'well known' thing that a lot of people seem not to know", I wouldn't have objected. It's not like I wouldn't value actual mathematics over discussions about importance. –  darij grinberg Jan 29 '10 at 19:43
Your comments seem disrespectful to Harry and especially to Mariano and Andrea, who have taken time to write out very interesting and instructive answers. Please refrain from making purely negative remarks. –  Pete L. Clark Jan 29 '10 at 21:18

Here is a simple proof I thought, tell me if anything is wrong.

First claim. Let $k$ be a field, $V$ a vector space of dimension at least the cardinality of $k$ and infinite. Then dim $V^{*} >$ dim $V$.

Indeed let $E$ be a basis for $V$. Elements of V* correspond bijectively to functions from $E$ to $k$, while elements of $V$ correspond to such functions with finite support. So the cardinality of $V^{*}$ is $k^E$, while that of $V$ is, if I'm not wrong, equal to that of $E$.

Indeed $V$ is a union parametrized by $E$ of sets of cardinality equal to $E$. In particular card $V <$ card $V^{*}$, so the same inequality hols for the dimensions.

Second claim. Let $h \subset k$ two fields. If the thesis holds for vector spaces on $h$, then it holds for vector spaces on $k$.

Indeed let $V$ be a vector space over $k$, $E$ a basis. Functions with finite support from $E$ to $h$ form a vector space $W$ over $h$ such that $V$ is isomorphic to the extension of $W$. Every functional from $W$ to $h$ extends to a functional from $V$ to $k$, hence

dim $V =$ dim $W <$ dim $W^* \leq$ dim $V^*$

Putting the two claims together and using the fact that every field contains a field at most denumerable yields the thesis.

-
You can extend functionals, but you must also show that if they were linearly independent over the base then they remain linearly independent after the extension. Once you fill in that detail, I think you have a full proof. –  Pace Nielsen Jan 29 '10 at 18:40
Take a linear combination = 0 with coefficients in k. That involves finitely many functionals which are independent over h. Take elements of W which are dual to this functionals. Now evaluate the linear combination at each of these vectors to find that all coefficients are zero. –  Andrea Ferretti Jan 29 '10 at 19:20
I nominate this answer for a hypothetical future "Best of MO" collection. I find it almost magical, and with a moral -- don't just stick with the field you're given! -- that I find very appealing. –  Pete L. Clark Jan 29 '10 at 21:45
@Andrew: Sorry to resurrect an old answer you probably haven't thought about since January; I was looking for an easy proof of precisely the statement in the title. This looks very nice, but I'm having trouble seeing how to justify the existence in W of elements that are dual to a given (finite) set of functionals. I assume you mean that given $f_1,\ldots,f_n$ distinct elements of $h^E$ with finite support, you will find elements $v_j$ in $W$ (or $V$) with $f_i(v_j)=\delta_{ij}$. But I don't see how to justify that such elements exist. –  Arturo Magidin Sep 24 '10 at 20:41
@Andrea, @Arturo: functionals in $W^*$ need not have finite support. I would argue instead as follows. Given $h$-lin. indep. $f_1,...,f_n$ in $W^*$, consider $h$-linear map $W \rightarrow h^n$ where $w \mapsto (f_1(w),...,f_r(w))$. To show this is onto we show the only vector in $h^n$ orthogonal to image is $(0,...,0)$. If $(c_1,...,c_n)$ in $h^n$ is orthogonal to image then for all $w$ in $W$, $c_1f_1(w) + ... + c_nf_(w) = 0$. Thus $c_1f_1 + ... + c_nf_n$ is 0 in $W^*$, so each $c_i$ is 0 by $h$-lin. indep. of the $f_i$'s. Now use $w_j$ giving image $(0,...,1,...,0)$ with 1 in j-th slot. –  KConrad May 8 '11 at 23:42

I know a fairly elementary proof in the case when the field is countable.

First, you prove that $Hom(\bigoplus_{i\in I}A_{i},B)\cong \prod_{i\in I}Hom(A_{i},B)$, where all terms are $R$-modules. (This should be fairly intuitive. A homomorphism from a direct sum is determined by its actions on each piece individually.)

Second, specialize $A_{i}$ and $B$ to equal your field. So the direct product is over a bunch of pieces (all isomorphic to your field).

Third, use the standard cardinality argument to show that a direct product of $I$ non-empty pieces has cardinality strictly greater than $I$.

This argument doesn't quite work when your field has large cardinality, but I still think it is nice. (Basically, this is thinking about the first part of Andrea's proof a little differently.)

-

It is clearly enough to show that an infinite dimensional vector space $V$ has smaller dimension that its dual $V^*$.

Let $B$ be a basis of $V$, let $\mathcal P(B)$ be the set of its subsets, and for each $A\in\mathcal P(B)$ let $\chi_A\in V^*$ be the unique functional on $V$ such that the restriction $\chi_A|_B$ is the characteristic function of $A$. This gives us a map $\chi:A\in\mathcal P(B)\mapsto\chi_A\in V^*$.

Now a complete infinite boolean algebra $\mathcal B$ contains an independent subset $X$ such that $|X|=|\mathcal B|$---here, that $X$ be independent means that whenever $n,m\geq0$ and $x_1,\dots,x_n,y_1,\dots,y_m\in X$ we have $x_1\cdots x_n\overline y_1\cdots\overline y_n\neq0$. (This is true in this generality according to [Balcar, B.; Franěk, F. Independent families in complete Boolean algebras. Trans. Amer. Math. Soc. 274 (1982), no. 2, 607--618. MR0675069], but when $\mathcal B=\mathcal P(Z)$ is the algebra of subsets of an infinite set $Z$, this is a classical theorem of [Fichtenholz, G. M; Kantorovich L. V. Sur les opérations linéaires dans l'espace des fonctions bornées. Studia Math. 5 (1934) 69--98.] and [Hausdorff, F. Über zwei Sätze von G. Fichtenholz und L. Kantorovich. Studia Math. 6 (1936) 18--19])

If $X$ is such an independent subset of $\mathcal P(B)$ (which is a complete infinite boolean algebra), then $\chi(X)$ is a linearly independent subset of $V^*$, as one can easily check. It follows that the dimension of $V^*$ is at least $|X|=|\mathcal P(B)|$, which is strictly larger than $|B|$.

Later: The proof of the existence of an independent subset is not hard; it is given, for example, in this notes by J. D. Monk as Theorem 8.9. In any case, I think this proof is pretty because it captures precisely the intuition (or, rather, my intuition) of why this is true. I have not seen the paper by Fichtenhold and Kantorovich (I'd love to get a copy!) but judging from its title one sees that they were doing similar things...

-
Is it easier to prove the relevant results about boolean algebras, or does that also rely on a proof like Jacobson's? –  Harry Gindi Jan 29 '10 at 4:26
Nice proof! Thanks! –  Harry Gindi Jan 29 '10 at 4:32
The paper by G. Fichtenholz and L. Kantorovitch can be found here : matwbn.icm.edu.pl/ksiazki/sm/sm5/sm519.pdf . –  Ady Jan 29 '10 at 11:58
Thanks, Ady! (SILLY CHARACTER FILLER) –  Mariano Suárez-Alvarez Jan 29 '10 at 19:40