Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $V$ be a vector space over a field $K$. Call a linear map $F : V^* \to K$ representable if there is some $v \in V$ such that $F(w) = \langle w,v \rangle$ for all $w \in V^*$. Here, $\langle w,v \rangle := w(v)$. Remark that this representing vector $v$ is then uniquely determined.

Remark the similarity to category theory: A functor $F : C^{\mathrm{op}} \to \mathrm{Set}$ is representable if there is an object $v \in C$ such that $F \cong C(-,v)$. By the Yoneda Lemma, this object is uniquely determined up to canonical isomorphism. Now there are various theorems which say when a certain functor is representable. Often we require that $F$ preserves limits and satisfies some finiteness condition.

Now back to linear algebra, is there a criterion when a linear map $V^* \to K$ is representable? In other words, is there an intrinsic description of the image of $V \to V^{**}$? If $V$ is finite-dimensional, then we get representability for free. I'm interested in the general case. I would like to mimic somehow the category theoretic conditions.

// Moosbrugger has given below the following nice characterization: Give $K$ the discrete topology, $K^V$ the product topology, and $V^* \subseteq K^V$ the subspace topology. Then a linear map $V^* \to K$ is representable iff it is continuous! However, the proof is rather trivial, except that it uses the result for finite-dimensional vector spaces. So in practise, I doubt that this will be a good criterion. Therefore I would add the following requirement to the criterion: it should be useful in practise (whatever this means) or linear algebraic / geometric: When is a hyperplane in $V^*$ cut out by a single vector $v \in V$?

share|improve this question
    
The image is contained, at least, in the annihilator of the annihilator of $V$. –  Mariano Suárez-Alvarez Nov 7 '11 at 15:03
3  
Continuity is equivalent to representability (in both cases). –  Moosbrugger Nov 7 '11 at 15:06
1  
@Moosbrugger: Not every continuous functor $C^{op} \to \mathrm{Set}$ is representable. For example, $\lim_i \hom(-,x_i)$ is continuous, but is representable iff $\lim_i x_i \in C$ exists. However, there many categories with this property, called SAFT by Theo Johnson-Freyd (mathoverflow.net/questions/49175/…). When is a linear map $V^* \to K$ called continuous? Do you assume that $K$ is a topological field, or even $\mathbb{R}$ or alike? –  Martin Brandenburg Nov 7 '11 at 15:27
    
@Mariano: The annihilator of $V$ is the zero subspace of $V^*$. Perhaps I misunderstand your comment. –  Martin Brandenburg Nov 7 '11 at 15:32
1  
My answer was meant as a bit of a joke: certainly one requires hypotheses for such representability theorems. The one I know is called "presentable." But anyway, it's a precise statement for vector spaces for any field $K$. You topologize the dual as a subset of $\prod_{v\in{V}}{K}$, where the latter has the usual ("Tychonoff") topology (and the map $V^*\to\prod_{v\in{V}}{K}$ is $\lambda\mapsto (\lambda(v))_{v\in{V}}$). –  Moosbrugger Nov 7 '11 at 18:33

1 Answer 1

Moosbrugger has given an excellent answer to the question on which I'll elaborate a bit.

A similar result holds in functional analysis:
Let $V$ be a Banach space and $V'=hom(V,\mathbb C)$its dual (i.e., the set of continuous linear functionals from $V$ to $\mathbb C$). If you equip $V'$ with the norm topology, then its dual is typically bigger than $V$. However, if you equip it with the weak-star topology, then its dual is exactly $V$. In other words, $V\subset V''$ is the subset of weak-star continuous functionals (and the norm on $V$ is induced by that on $V''$). In that way, you can recover $V$ from $V'$ if you known its weak-star topology.

Now, for the sake of completess, let me also say what the weak-star topology on $V'$ is: it's the topology under which which a net $\{\varphi_i\}_{i\in I}$ converges to some element $\varphi$ if and only if $\{\varphi_i(v)\}_{i\in I}$ converges to $\varphi(v)$ for every $v\in V$.

share|improve this answer
    
Thanks! So the weak-star topology is just the topology of pointwise-convergence. –  Martin Brandenburg Nov 7 '11 at 20:38
    
@Martin: Correct. –  André Henriques Nov 8 '11 at 9:33

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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