If so, how might I be able to prove it?

EDIT: OK, thanks to many answers especially spin's and Micah's explanations. All of the answers were extremely helpful in understanding -- I have accepted Micah's because it seems the most complete, but all answers provide helpful additions/perspectives! I have tried to summarize:

$\phi$ is an isomorphism between the groups if and only if $\phi(x) = e^{f(x)}$ where $f$ is an isomorphism from $(\mathbb{R},+)$ back to $(\mathbb{R},+)$.

Of course there are lots of such $f$, especially when we take the Axiom of Choice.

However, it seems from the answers and Micah's link (Cauchy functional equation) that the only "nice" solutions are $f(x) = cx$ for a constant $c$. It seems that all others must be "highly pathological" (in fact $\{(x,f(x))\}$ must be dense in $\mathbb{R}^2$).

A remaining question is, how strong is the statement

All such isomorphisms have the form $e^{cx}$ for some $c \in \mathbb{R}$

or its negation? Or what is required for each to hold?

One answer seems to be that supposing the reals have the Baire property is sufficient to rule out other solutions (as is assuming every subset of the reals is measurable, assuming the Axiom of Determinacy, and it holds in Solovay's model). For more, see this question, this question, and this mathoverflow question.

  • 1
    $\begingroup$ well you could aslo have $e^{nx}$ for positive $n$. Or $a^nx$. $\endgroup$ – Joe Tait Feb 13 '13 at 16:35
  • $\begingroup$ Ah, good point. I think the question is still interesting when we exclude that case though! $\endgroup$ – usul Feb 13 '13 at 16:37
  • $\begingroup$ As I just added, it also works for any number positive number instead of $e$. Still interesting excluding that though :( $\endgroup$ – Joe Tait Feb 13 '13 at 16:39
  • $\begingroup$ See @GEdgar's comment below. $\endgroup$ – copper.hat Feb 13 '13 at 16:41
  • 1
    $\begingroup$ I think the negation of the last one is only a consequence, because it is a statement about the subsets of $\mathbb R$. It cannot imply statements about arbitrary sets.... It follows from the fact that $\mathbb R$ has a $\mathbb Q$-basis. $\endgroup$ – N. S. Feb 13 '13 at 21:06

Let $f:\mathbb{R} \to \mathbb{R}^+$ be an isomorphism. Then $g=\log f$ is an automorphism of $(\mathbb{R}, +)$: that is, it satisfies $$ g(x+y)=g(x)+g(y) \, . $$ This is Cauchy's functional equation. The only continuous (or even measurable) solutions are the trivial ones (which correspond to $f(x)=e^{cx}$), but there are also exotic solutions that require some version of the axiom of choice to construct — which would yield similarly exotic $f$s.

  • $\begingroup$ Very helpful, thanks! My question now (last question?) is how "strong" is the axiom that such solutions exist, or the axiom that they don't? $\endgroup$ – usul Feb 13 '13 at 21:08
  • $\begingroup$ @usul: I'm sorry, I'm not enough of a set theorist to give a good answer to that question. (Though many people here are; you'd probably get good answers if you asked it as a separate question!) $\endgroup$ – Micah Feb 13 '13 at 21:15
  • $\begingroup$ no problem, a search turned up several relevant threads and I have linked to them in my edited question! $\endgroup$ – usul Feb 13 '13 at 21:20

Once you have an isomorphism, there are plenty. Take two Hamel bases of $\mathbf{R}$, say $(b_i)$ and $(c_i)$, and define $f$ by $$ f(b_i) = e^{c_i}, $$ extending it by $\mathbf{Q}$-linearity to all of $\mathbf{R}$.

PS Of course I am implicitly using here the argument of @Micah and @spin.

  • 1
    $\begingroup$ And this is where the axiom of choice comes in. $\endgroup$ – Asaf Karagila Feb 13 '13 at 16:50
  • $\begingroup$ @AsafKaragila, precisely! $\endgroup$ – Andreas Caranti Feb 13 '13 at 16:53

$f:\mathbb{R}\rightarrow\mathbb{R}^{+} \text{ satisfying } f(x+y)=f(x)f(y)$, $f$ continuous, then $f(x)=e^{cx}$

Try to solve this problem Any Lie Group Homomorphism from $\mathbb{R}\rightarrow S^1$ is of the form $e^{iax}$ for some $a\in\mathbb{R}$ and every such homomorphism is smooth.

  • $\begingroup$ (+1). Any ideas if $f$ is discontinous? $\endgroup$ – Amr Feb 13 '13 at 16:38
  • $\begingroup$ Does it really have to be $e$? Why not $a>0$. $\endgroup$ – Joe Tait Feb 13 '13 at 16:40
  • $\begingroup$ Any Lie group Homomorphism is smooth $\endgroup$ – Marso Feb 13 '13 at 16:43
  • $\begingroup$ @Joe Tait $\forall a>0 \exists c\in\mathbb{R} [a=e^c]$ $\endgroup$ – Amr Feb 13 '13 at 16:46

Suppose that $G \cong H$ as groups and that $f: G \rightarrow H$ is an isomorphism. Then every isomorphism $G \rightarrow H$ is of the form $f \circ g$, where $g: G \rightarrow G$ is an isomorphism. So to determine every isomorphism $G \rightarrow H$, it suffices to find just one and then the rest are given by composing with automorphisms of $G$.

Because $x \mapsto e^x$ is an isomorphism $(\mathbb{R}, +) \rightarrow (\mathbb{R}_{>0}, \cdot)$, every isomorphism $(\mathbb{R}, +) \rightarrow (\mathbb{R}_{>0}, \cdot)$ is of the form $x \mapsto e^{\varphi(x)}$, where $\varphi$ is an automorphism of $(\mathbb{R}, +)$.

  • $\begingroup$ Dear spin, many thanks for your nice answer! $\endgroup$ – shankfei Feb 13 '13 at 20:10
  • $\begingroup$ Thanks, this was very helpful/clear! $\endgroup$ – usul Feb 13 '13 at 20:57

$e^{2x}$ is another one. In general if $\phi:\mathbb{R}\rightarrow\mathbb{R}$ is a group isomorphism, then $e^{\phi(x)}$ is another one.

One should also note that if $\phi$ is a group isomorphism between $(\mathbb{R},+)$ and $(\mathbb{R}_{>0},*)$, then $\log(\phi)$ is an automorphism of $(\mathbb{R},+)$. Now the question is to determine the group automorphisms of $\mathbb{R}$ as a group under addition

  • 2
    $\begingroup$ And (by Axiom of Choice) there are discontinuous homomorphisms. $\endgroup$ – GEdgar Feb 13 '13 at 16:40
  • $\begingroup$ @GEdgar and therefore isomorphisms, right? $\endgroup$ – usul Feb 13 '13 at 16:43
  • $\begingroup$ @Amr: Every isomorphism $\mathbb{R} \rightarrow \mathbb{R}_{>0}$ is of the form $e^{\phi(x)}$, see my answer $\endgroup$ – spin Feb 13 '13 at 16:53
  • $\begingroup$ @GEdgar I think that I heard before that there are discontinuous homomorphisms(I didnt see the construction though). Are there discontinuous isomorphisms ? $\endgroup$ – Amr Feb 13 '13 at 17:59
  • $\begingroup$ @Amr I think the answer is given by Micah's link? Cauchy's functional equation $\endgroup$ – usul Feb 13 '13 at 20:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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