Is there some regularizing version of Schwartz kernel theorem for topological spaces, i.e., in the form of



> 
> Every continuous linear map $A\colon C\prime(X\_2) \to C(X\_1)$ is given by a kernel $k \in C(X\_1 \times X\_2)$?
> 
> 
> 


Here $C(\cdot)$ is the space of continuous functions, equipped with a suitable topology, and $C\prime(\cdot)$ its dual space. The topological spaces $X\_1$ and $X\_2$ may be as nice as you want (e.g., locally compact Hausdorff).


Note that I need the kernel to be continuous (this is the reason why the operator $A$ is per assumption regularizing).


Or maybe I have to use other spaces like $C\_c(\cdot)$ (compactly supported continuous functions) in the formulation of the theorem? Because I'm not even sure about the right formulation of such a theorem.


Thanks in advance, Alex



Schwartz kernel theorem for topological spaces
As has been pointed out by Peter Michor above, this is false, even for compact spaces. However, it is perhaps of interest that one can characterise in a natural way those operators from $C(K\_1)'$ to $C(K\_2)$ which are represented by kernels of the above type. They are the linear operators whose restrictions to the unit ball of $C(K\_1)'$ are continuous for the weak star topology. This can be proved directly with standard methods but the following background to the result might shed more light. There is a natural locally convex topology on the dual of $C(K\_1)$
(indeed on the dual of any Banach space) which is complete and compatible with the duality 
with $C(K)$. It has many descriptions, perhaps the simplest being as the topology of uniform convergence on the compact subsets of $C(K\_1)$. Then $C(K\_1)'$ with this structure contains
$K\_1$ as a topological subspace (in the natural manner---identifying a point in $K\_1$ with the corresponding $\delta$ measure). This embedding of $K\_1$ has the universal property that each continuous mapping from $K\_1$ into a Banach space $F$ can be lifted in a unique way to a linear mapping on $C(K\_1)'$ which is continuous in the above sense. If we take $F$ to be $C(K\_2)$ then the required result pops out---use the fact that there is a natural identification between $C(K\_1\times K\_2)$ and the continuous functions from $K\_1$ into the Banach space $C(K\_2)$.


There is a natural extension to a corresponding result for bounded continuous functions on completely regular spaces but one needs some more elaborate functional analytic structures to give a precise version.


