the dual space of C(X) (X is noncompact metric space) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T17:47:22Z http://mathoverflow.net/feeds/question/89274 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/89274/the-dual-space-of-cx-x-is-noncompact-metric-space the dual space of C(X) (X is noncompact metric space) yaoxiao 2012-02-23T11:50:19Z 2012-11-01T13:21:56Z <p>It is well known that when X is compact space (or locally compact space), $C(X)={f:f X\rightarrow X \text{is continous,and bounded} }$ ,the dual space of $C(X) C(X)^{*}$is correspond to $M(X)$ space of Radon measure with bounded variation.</p> <p>However according to my knowledge. there are few books discuss case that when X is noncompact, for example complete vsperable metric space.</p> <p>even for the simplest example, when taking X is R, means real line, what does $(C(X))^{*}$ mean.</p> <p>Any advice and reference will be appreaciated.</p> http://mathoverflow.net/questions/89274/the-dual-space-of-cx-x-is-noncompact-metric-space/89278#89278 Answer by Matthew Daws for the dual space of C(X) (X is noncompact metric space) Matthew Daws 2012-02-23T12:57:46Z 2012-02-23T12:57:46Z <p>What you state in the first paragraph is the Riesz Representation Theorem (see <a href="http://en.wikipedia.org/wiki/Riesz_representation_theorem#The_representation_theorem_for_linear_functionals_on_Cc.28X.29" rel="nofollow">http://en.wikipedia.org/wiki/Riesz_representation_theorem#The_representation_theorem_for_linear_functionals_on_Cc.28X.29</a>) This is valid for all locally compact Hausdorff spaces; so in particular for $\mathbb R$ (ah, I guess, if you look at $C_0(\mathbb R)^*$).</p> <p>If $X$ is any topological space, then of course we can talk of $C^b(X)$ (the bounded continuous functions on $X$). This is still a commutative C$^*$-algebra, and so is isomorphic to $C(K)$, where $K$ is some compact Hausdorff space. The process of moving from $X$ to $K$ is functorial; purely at the topological level it corresponds to constructing the Stone-Cech compactification (see <a href="http://en.wikipedia.org/wiki/Stone_cech_compactification" rel="nofollow">http://en.wikipedia.org/wiki/Stone_cech_compactification</a> ) Point evaluation at $x\in X$ induces a character on $C^b(X) = C(K)$ and hence a point $k$ of $K$; we thus get a (continuous) map $X\rightarrow K$. This is injective if $X$ is completely regular; but it can fail to be injective (basically, we might lack enough continuous functions to separate points of $X$).</p> <p>Back to your question: $C^b(X)^* = C(K)^* = M(K)$. For $\mathbb R$, we find that $K$ is nothing but $\beta\mathbb R$ the Stone-Cech compactification (quite a large space!)</p> http://mathoverflow.net/questions/89274/the-dual-space-of-cx-x-is-noncompact-metric-space/89294#89294 Answer by Gerald Edgar for the dual space of C(X) (X is noncompact metric space) Gerald Edgar 2012-02-23T15:35:33Z 2012-02-23T15:35:33Z <p>A nice reference, taken from my answer to <a href="http://mathoverflow.net/questions/86191" rel="nofollow">another question</a>: </p> <p>V. S. Varadarajan, MEASURES ON TOPOLOGICAL SPACES, AMS Transl. 48 (1965) 161--228.</p> <p>Measures on topological spaces as dual to continuous functions on the space, or to bounded continuous functions on the space. (Also, beware of an error in the appendix.)</p> http://mathoverflow.net/questions/89274/the-dual-space-of-cx-x-is-noncompact-metric-space/111149#111149 Answer by jbc for the dual space of C(X) (X is noncompact metric space) jbc 2012-11-01T12:21:18Z 2012-11-01T13:21:56Z <p>The problem of obtaining a useful generalisation of the Riesz representation theorem for non-compact spaces was addressed in the 50's by R.C. Buck, amongst others. It was clear that it was necessary to leave the context of Banach spaces for a nice theory. Buck introduced the so-called strict topology on the space of bounded, continuous functions on a locally compact space and showed that the dual is the space of bounded Radon measurs on the underlying space. This was generalised to the case of completely regular spaces in the 60's using the theory of mixed topologies or Saks spaces which had been developed by the Polish school. The most succinct definition of the resulting topology on the above space is that it is the finest locally convex topology which agrees with compact convergence on bounded sets. There is a relatively complete theory---in particular, the Riesz representation theorem holds in its natural form.</p>