15
$\begingroup$

I am interested in generalizations of the following fact (known as automatic continuity, as pointed out below). I am especially looking for references to papers dating back to 1920’s. I feel that question like these have been well-studied when people were still interested in set-theoretic aspects of analysis...

(Cauchy) Any measurable automorphism $ (\Bbb{R},+) \to (\Bbb{R},+) $ is necessarily a linear function, and any measurable homomorphism $ (\Bbb{R},+) \to (\Bbb{R}^{\times},\times) $ is necessarily an exponential function $ x \mapsto e^{a x} $.

Is something similar true for homomorphisms $ f: (\Bbb{C},+) \to (\Bbb{C},+) $ or $ f: (\Bbb{C},+) \to (\Bbb{C}^{\times},\times) $ (assuming that $ \ker(f) = \Bbb{Z} $ in the latter)? (Yes, see answers below.)

That is, I am interested in facts which follow the following rough pattern:

If a map is not set-theoretically wild, e.g. it is measurable or Borel, and satisfies some identities, then it is in fact continuous, and, furthermore, it can be given by an explicit formula.

$\endgroup$
2
  • $\begingroup$ topological groups tag is appropriate too. $\endgroup$ May 8, 2015 at 1:02
  • $\begingroup$ "Measurable", with no qualification, means: inverse images of an open set is a Lebesgue measurable set. Did I guess what you mean? $\endgroup$ May 8, 2015 at 13:23

3 Answers 3

18
$\begingroup$

The general phenomenon you're looking for is called automatic continuity. This is the line of research that stemmed from results regarding the continuity of homomorphisms from (R,+) to (R,+). The two principal general results illustrating the phenomenon of automatic continuity are the following.

Theorem (S. Banach). Any Baire measurable homomorphism between Polish groups is continuous.

Theorem (A. Weil). Any Haar measurable homomorphism from a locally compact Polish group into a Polish group is continuous.

Both of these theorems apply to the locally compact Polish group (C,+).

Automatic continuity is still an active area of research, see this recent survey by Christian Rosendal.

$\endgroup$
4
  • $\begingroup$ I apologize for the significant overlap between your answer and mine. I hadn't seen your post until submitting my answer. $\endgroup$ Mar 7, 2011 at 0:54
  • $\begingroup$ Thanks for pointing out that the first theorem is due to Banach for Polish groups. Pettis generalized the result to a larger class of groups in his classic 1950 paper On continuity and openness of homomorphisms in topological groups. $\endgroup$ Mar 7, 2011 at 1:02
  • $\begingroup$ Thank you for your answer. Theorem by Weil does solve my particular question about homomorphisms (C,+)-->(C,*). Although it would be nice to have a reference to the original paper, perhaps found in the book by Dales ot aumatic continuity. $\endgroup$
    – mmm
    Mar 7, 2011 at 1:13
  • $\begingroup$ @mmm: I'm pretty sure Weil's theorem is in his 1940 book L'intégration dans les groupes topologiques et ses applications, Actualités Scientifiques et Industrielles, 869, Paris: Hermann. $\endgroup$ Mar 7, 2011 at 1:23
10
$\begingroup$

On page 23 of his 1932 book Sur la théorie des opérations linéaires Banach proves:

Theorem. A Baire measurable homomorphism between Polish groups is continuous.

Note that Banach writes $+$ for the composition but neither does he assume nor use that a group is abelian. He proves the result first for Borel measurable homomorphisms and remarks immediately afterwards that the same argument even shows that a Baire measurable homomorphism between Polish groups is continuous, a fact usually attributed to Pettis for reasons that are unclear to me.

Recall that a topological group is Polish if its topology is second countable and metrizable with respect to a complete metric. The Baire $\sigma$-algebra is the $\sigma$-algebra generated by the Borel sets and the meager sets (beware that there are other uses of the term "Baire measurable" in the literature -- there are even published papers whose authors fell for this trap).

In particular, the specific question you ask about the real and complex numbers has a positive answer in all cases.

There is an entire industry, called automatic continuity, asking the question whether homomorphisms/derivations etc are continuous only due to their algebraic property. The easiest result in that direction states that a $*$-homomorphism between $C^{\ast}$-algebras is a linear contraction. One of the major players of that topic, H.G. Dales, has recently written a voluminous book of the same title, containing many results of that spirit and many historical remarks.

$\endgroup$
4
  • $\begingroup$ Thank you for your answer, especially the reference to H.G.Dales, Banach algebras and automatic continuity, 2000. I shall look whether it has a reference to the particular question about homomorphisms (C,+)-->(C,*). $\endgroup$
    – mmm
    Mar 7, 2011 at 1:12
  • $\begingroup$ mmm: Yes, that's the book. I'm not sure whether that specific question is addressed there. I doubt it. $\endgroup$ Mar 7, 2011 at 1:16
  • 1
    $\begingroup$ To avoid confusion, instead of "Baire measurable" we can say "a map with the property of Baire". $\endgroup$ May 8, 2015 at 13:27
  • $\begingroup$ As a further note, the theorem corresponds to Thm.4 on p.15 of the English translation published by North-Holland. $\endgroup$
    – Alp Uzman
    Sep 6, 2022 at 6:47
5
$\begingroup$

I just thought that I should mention a result that considerably strengthens André Weil’s result mentioned by François in his answer above.

Adam Kleppner, in his 1989 paper Measurable Homomorphisms of Locally Compact Groups, proved that any Borel-measurable homomorphism between locally compact (Hausdorff) groups is continuous. It does not matter whether or not any one of the groups is Polish.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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