Re: variants of Pontryagin duality





John Baez <baez@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
Suppose A is an abelian locally compact Hausdorff topological
group, and let

A' = hom(A,C*)

be the set of continuous homomorphisms from A to the invertible
complex numbers. A' is an abelian group, and it becomes a
topological group with the compact-open topology.

Is A' again locally compact Hausdorff?

If A is an infinite direct sum of copies of the integers, with the
discrete topology, then I think that the Pontrjagin dual of A is
an infinite direct product of copies of U(1), with the product topology,
but I think that hom(A,C^*) with the compact-open topology turns out to be an
infinite product of copies of C^*, with the product topology, and this
won't be locally compact---an infinite product of locally compact
spaces is, I think, only locally compact when all but a finite number
are compact.

Another question: if A is second-countable, is A'?

(I don't even know this for U(1) replacing C*

Me neither.

Kevin
.



Relevant Pages

  • Re: Compact open topology
    ... For a category C, I denote by Cthe set of morphisms from X to ... topology. ... If X is locally compact, the image of the set map ...
    (sci.math)
  • Re: Compact open topology
    ... For a category C, I denote by Cthe set of morphisms from X to ... topology. ... If X is locally compact, the image of the set map ... homeomorphism Hom= Hom). ...
    (sci.math)
  • variants of Pontryagin duality
    ... Suppose A is an abelian locally compact Hausdorff topological ... topological group with the compact-open topology. ... Is A' again locally compact Hausdorff? ...
    (sci.math.research)
  • Re: Compact-open topology
    ... with the compact-open topology. ... the equicontinuity of the basic open set at x. ... Of course we know that the dual group G* of a locally compact abelian group ...
    (sci.math)
  • Re: Topology question
    ... Now in the space H x R (with the product topology) consider the ... If X is a complete, path-connected, locally compact and noncompact ... for every compact subset K of X there exists an open subset ...
    (sci.math)

Loading