43
$\begingroup$

Around these parts, the aphorism "A gentleman never chooses a basis," has become popular.

Question. Is there a gentlemanly way to prove that the natural map from $V$ to $V^{**}$ is surjective if $V$ is finite-dimensional?

As in life, the exact standards for gentlemanliness are a bit vague. Some arguments seem to be implicitly picking a basis. I'm hoping there's an argument which is unambiguously gentlemanly.

$\endgroup$
10
  • 20
    $\begingroup$ I'm having trouble coming up with a sufficiently patriarchal argument. Does "these parts" refer to the pre-suffrage era? $\endgroup$
    – S. Carnahan
    Oct 13, 2009 at 3:31
  • 6
    $\begingroup$ That's fair. I should have gone for something more gender neutral. Although "gentlemanly/ladylike" is a bit awkward, and something like "classy" doesn't have the same anachronistic feel. Any suggestions? $\endgroup$ Oct 13, 2009 at 18:50
  • 18
    $\begingroup$ My personal preference is to avoid any reference to gender or class (or indeed membership in any group associated to historical persecution - e.g., we don't say that bases are for Jewish or homosexual people). This may make your question seem less colorful, but I think it is worthwhile to make mathematics more welcoming to people of all kinds. If you're still looking for an obnoxious elitist tone, I suggest replacing "gentleman" with "true mathematician" and "gentlemanly" with "mathematically cultured". $\endgroup$
    – S. Carnahan
    Oct 14, 2009 at 1:55
  • 61
    $\begingroup$ In my mind, "gentleman" refers to politeness rather than social class, but I can see where the problem comes from. Perhaps a good alternative is "my mommy said it's not polite to choose a basis." My mom didn't tell me that, so as a kid, I chose bases left and right; now I regret it. $\endgroup$ Oct 14, 2009 at 14:33
  • 2
    $\begingroup$ This doesn't constitute a proof, but: Suppose that the result of a certain proof looks obvious in notation A, but deep and mysterious in notation B. This is usually a reason to prefer notation A. In Penrose's abstract index notation, which doesn't require a choice of basis, mapping one-dimensional space V to V* takes element $x_a$ to element $x^a$. If you then continue with V* to V**, you take $x^a$ to (drumroll, plese) $x_a$. If the mapping from V to V** wasn't surjective (and, in fact, an isomorphism) then abstract index notation would be inconsistent. $\endgroup$
    – user21349
    Sep 18, 2012 at 4:12

6 Answers 6

39
$\begingroup$

Following up on Qiaochu's query, one way of distinguishing a finite-dimensional $V$ from an infinite one is that there exists a space $W$ together with maps $e: W \otimes V \to k$, $f: k \to V \otimes W$ making the usual triangular equations hold. The data $(W, e, f)$ is uniquely determined up to canonical isomorphism, namely $W$ is canonically isomorphic to the dual of $V$; the $e$ is of course the evaluation pairing. (While it is hard to write down an explicit formula for $f: k \to V \otimes V^*$ without referring to a basis, it is nevertheless independent of basis: is the same map no matter which basis you pick, and thus canonical.) By swapping $V$ and $W$ using the symmetry of the tensor, there are maps $V \otimes W \to k$, $k \to W \otimes V$ which exhibit $V$ as the dual of $W$, hence $V$ is canonically isomorphic to the dual of its dual.

Just to be a tiny bit more explicit, the inverse to the double dual embedding $V \to V^{**}$ would be given by

$$V^{\ast\ast} \to V \otimes V^* \otimes V^{\ast\ast} \to V$$

where the description of the maps uses the data above.

$\endgroup$
10
  • 2
    $\begingroup$ OK, great! So you can define finite-dimensionality without mentioning bases (or chains of subspaces). The answer to the question is then easy. But this recasting of the definition of finite-dimensionality is, I think, much the most interesting thing. $\endgroup$ Oct 21, 2009 at 22:54
  • 1
    $\begingroup$ Here's one way: the condition says that the functor V \otimes - is left adjoint to the functor W \otimes -. But it's also left adjoint to hom(V, -), hence we have a canonical iso W \otimes - \cong hom(V, -). In particular, hom(V, -) preserves all colimits. Now V is the union, i.e., the filtered colimit of the system of inclusions V_i \to V_j of its finite-dimensional subspaces. So hom(V, V) is the filtered colimit (union) of subspaces hom(V, V_i). In particular, the identity map 1_V must factor through one of the V_i, hence is finite-dimensional. $\endgroup$
    – Todd Trimble
    Oct 23, 2009 at 14:54
  • 1
    $\begingroup$ When you say "isomorphic to its double dual" you presumably mean its algebraic double dual. $\endgroup$ Nov 8, 2009 at 21:26
  • 1
    $\begingroup$ Presumably Andrew means that one almost never talks about unadorned infinite-dimensional vector spaces. An analyst naturally thinks of the dual of a finite-dimensional vector space as a special case of the continuous dual of a topological vector space, and in this situation spaces are rarely isomorphic to their double duals. $\endgroup$ Nov 23, 2009 at 15:24
  • 2
    $\begingroup$ I guess Andrew also means that, for example, Hilbert spaces <em>are</em> isomorphic to their continuous double duals. $\endgroup$ Nov 23, 2009 at 15:26
23
$\begingroup$

Perhaps it would be most appropriate to answer your question with another question: how do you distinguish a finite-dimensional vector space from an infinite-dimensional one without talking about bases?

$\endgroup$
6
  • 11
    $\begingroup$ Every increasing (or decreasing) sequence of subspaces stabilizes in finitely many steps. $\endgroup$ Oct 14, 2009 at 4:57
  • 5
    $\begingroup$ Let me suggest the following strategy, then: to any chain of subspaces in V there is associated a dual chain in V*. If one can show that strict inclusions are sent to strict inclusions, then V and V* have the same dimension. $\endgroup$ Oct 15, 2009 at 18:22
  • 2
    $\begingroup$ @QiaochuYuan, these (strict) inclusions are sent to (strict) surjections, no? $\endgroup$ Oct 9, 2016 at 5:00
  • 7
    $\begingroup$ Yeah, that's what I meant, sorry. In my defense it's been 7 years since I could edit that comment. $\endgroup$ Oct 10, 2016 at 21:48
  • 2
    $\begingroup$ Quaochu: here is an answer to your question! You find down the back of your sofa a function which sends a vector space to a cardinal, and a theorem saying that the function sends V to the cardinality of any basis of V. You choose to discard the theorem and then you define a vector space to be finite-dimensional if the cardinal returned by the function is finite. You decide not to investigate how the function was defined. $\endgroup$ Oct 5, 2018 at 17:01
19
$\begingroup$

At the price of being too categorical for the question, one can follow up Todd's answer as follows. Consider any closed symmetric monoidal category $\mathcal{V}$ with product $\otimes$ and unit object $k$, such as vector spaces over a field $k$. Let $V$ be an object of $\mathcal{V}$ and let $DV = Hom(V,k)$. Just from formal properties of $\mathcal{V}$, there are canonical maps $\iota\colon k\to Hom(V,V)$ and $\nu\colon DV\otimes V\to Hom(V,V)$, which are the usual things for vector spaces. Say that $V$ is dualizable if there is a map $\eta\colon k\to V\otimes DV$ such that $\nu \circ \gamma \circ \eta = \iota$, where $\gamma$ is the commutativity isomorphism. Formal arguments show that $\nu$ is then an isomorphism and if $\epsilon\colon DV\otimes V \to k$ is the evaluation map (there formally), then, with $W=DV$, $\eta$ and $\epsilon$ satisfy the conditions Todd stated for $e$ and $f$. This is general enough that it can't have anything to do with bases. But restricting to vector spaces, we can choose a finite set of elements $f_i\in DV$ and $e_i\in V$ such that $\nu(\sum f_i\otimes e_i) = id$. Then it is formal that $\{e_i\}$ is a basis for $V$ with dual basis $\{f_i\}$. This proves that $V$ is finite dimensional, and the converse is clear as in Todd's answer. There is a result in Cartan-Eilenberg called the dual basis theorem that essentially points out that the precisely analogous characterization holds for finitely generated projective modules over a commutative ring $k$, with the same proof.

Still in a general symmetric monoidal category, if $V$ is dualizable, then a formal argument also shows that the canonical map $V \to V^{**}$ (again defined formally) is an isomorphism. Also, in answer to Peter Samuelson, while the name ``dual basis theorem'' dates from long before my time, it does have some justification. When $\mathcal{V}$ is modules over a commutative ring $k$, if one takes a dualizable $V$ and constructs the free module $F$ on basis $\{d_i\}$ in 1-1 correspondence with the $e_i$ in my previous post, then $\alpha(v) = \sum f_i(v) d_i$ specifies a monomorphism $\alpha\colon V\to F$ such that $\pi\alpha = id$, where $\pi(d_i) = e_i$. This completes the proof that dualizable implies finitely generated projective, with a relevant basis in plain sight.

$\endgroup$
2
  • $\begingroup$ Yes, this is a nice argument, Peter. $\endgroup$
    – Todd Trimble
    Sep 17, 2012 at 18:52
  • 2
    $\begingroup$ To be pedantic, in the case of f.g. projective modules over a commutative ring, "dual basis theorem" is a slightly unfortunate name, since neither $\{e_i\}$ or $\{f_i\}$ are necessarily bases of $V$ or $DV$. $\endgroup$ Sep 17, 2012 at 22:54
3
$\begingroup$

Over real or complex (or other similar) field, where we know that for a finite-dimensional vector space all reasonable vector-space topologies coincide... V is dense in V** in the weak topology, hence in all topologies, but the (unique) topology is also complete, so V = V** (I think this works and avoids choosing a basis. Of course you would have to prove those other facts also without choosing a basis.)

$\endgroup$
0
$\begingroup$

there is a canonical map $ev:V \to V^{**}$ defined by $ev(v)(\phi) = \phi(v)$. to check that it is an isomorphism in the finite dimensional setting you can just check that it is injective and this is evident from the definition.

$\endgroup$
1
  • 6
    $\begingroup$ How do you know it's surjective though? You have to know they're the same dimension. I don't know how to prove that without getting dirty with a basis. $\endgroup$ Oct 13, 2009 at 18:46
0
$\begingroup$

Some kind of solution proposal:

Let V be a n-dimensional vector space over a field (or a free R-module, where R is a commutative unital ring).

There is a morphism V tensor V* to End(V), which sends each v tensor lambda to the endomorphism of V that sends each w to lambda(w)v. It is an epimorphism since it's image are all finite rank endomorphisms, so it's surjective. It is a monomorphism as you can check by calculation. So this is an isomorphism.

We can calculate the dimensions: dim(V tensor V* ) = dim(End(V)), where dim(V tensor V* ) = dimV * dimV* and dim(End(V))=(dimV)^2. So the result is n * dimV* = n^2 and we get dimV* = n = dimV.

Now notice that every short exact sequence in our category splits. That implies for every monomorphism V to W, that W is isomorphic to a direct sum of V and W/V and therefore we have a dimension formula dimV + dim(V/W) = dim W. We get the result that every monomorphism from V to W with dimW=dimV is an isomorphism.

Look at the linear map ev : V to V**, which sends v to ev_v : (lambda mapsto lambda(v)), the evaluation-at-v-map. Now we make an induction: for dimV=0, the map ev is trivially an isomorphism. For dimV=n, the kernel of ev is a subspace, so we have V = ker(ev) + W with some complement W and either ker(ev)=V or ker(ev)=0 or the two subspaces have strictly smaller dimension. That would mean, by induction hypothesis, that their evaluation map, which is the restriction of the evaluation map of V, has no kernel and so we get ker(ev)=0. The case ker(ev)=V remains, where we get that V*=0 which contradicts n=dimV=dimV*.

Now ev is a monomorphism and dim(V** )=dim(V* )=dim(V), therefore ev is an isomorphism. One can check easily that this is "functorial", that is: we have a natural transformation from the identity functor to the bidual functor.

One could object that I have chosen an arbitrary flag, when I take the complement of the kernel in the induction step... but I guess without that you wouldn't use the "free" property of the modules in question, and for non-free modules there are counter-examples.

If I did something wrong, please tell me.

$\endgroup$
1
  • 1
    $\begingroup$ How do you prove that dim(End(V)) = n^2 without choosing a basis? $\endgroup$ Oct 23, 2009 at 5:31

Not the answer you're looking for? Browse other questions tagged or ask your own question.