Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top



$L_1=\lbrace x \in C; e^{x} \in L_0 \rbrace$

$L_{-1}=\lbrace x \in C; \ln{x} \in L_0 \rbrace$

$L_{n+1}=\lbrace x \in C; e^{x} \in L_n \rbrace$

$0$ is in $L_1$ and $L_0$. Do any other numbers belong to more than one of these sets? Are all complex numbers in at least one of the sets?

share|cite|improve this question
The sets are all countable, right? So their union is countable? So it can't be $\bf C$? – Gerry Myerson Dec 4 '11 at 12:37
I believe it is unknown whether, say, $\log\log2$ is irrational, which means pretty much nothing is known about intersections of your sets. – Gerry Myerson Dec 4 '11 at 12:40
See the discussion of… for some thoughts on what is and what isn't known about these sets. – Gerry Myerson Dec 4 '11 at 12:52
This set of tags is just off. – Asaf Karagila Dec 4 '11 at 13:49
It is (in my humble opinion) substandard to use $\Bbb C$ for anything. Real mathematicians (and complex ones, too) use $\bf C$. – Gerry Myerson Dec 4 '11 at 23:05
up vote 1 down vote accepted

Collecting my comments into an answer:

The rationals are countable, so all the sets $L_n$ are countable, so their union is countable, but the complex numbers are uncountable, so not every complex number is in at least one of the sets. That being said, I'm not sure there's even a single number $x$ of which one could say that it has been proven that $x$ is not in the union of the $L_n$.

For a number $x$ to be in more than one of the sets, there would have to be a rational number $y$ such that at least one of the numbers $\exp(y),\exp(\exp(y)),\exp(\exp(\exp(y))),\dots$ is rational. It is known that $y$ and $e^y$ are both rational if and only if $y=0$. To the best of my knowledge, no one knows whether there is any rational $y$ such that some iterated exponential of $y$ is rational. For example, I believe it is unknown whether $e^e=\exp(\exp(1))$ is rational.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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