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

Given a subset of the hyperbolic upper half plane, say an ideal triangle (so with vertices on the boundary), what is the cardinality of all points contained in the interior?

share|cite|improve this question
You might as well just ask: what is the cardinality of an open subset of $\mathbb{R}^2$? This is more general, and makes clear that there is not really any hyperbolic geometry in the question. – Pete L. Clark Feb 15 '11 at 11:02

Uncountably infinite. For example, considered as a subset of the plane, it contains the set $\{(x+t,y) | 0 \leq t \leq \epsilon\}$ for some $x,y \in \mathbb{R}$ and $\epsilon>0$. Such a set can be easily put in bijection with $\mathbb{R}$.

share|cite|improve this answer
There is not just one cardinality that is "uncountably infinite;" after all, the various iterated power sets of the reals are all uncountable and infinite, but different sizes nonetheless. You should instead say that the desired cardinality here is "size continuum," or $\beth_1$, since that is what your argument is aimed at establishing. – JDH Feb 15 '11 at 5:16
But is there a specific aleph number? – user7485 Feb 15 '11 at 5:47
@anon: Sure, whatever $\aleph_\epsilon$ the number $\beth_1$ happens to be. The issue is that the usual axioms of set theory do not suffice to answer the question of what this is. The continuum hypothesis says that $\epsilon=1$. Other assumptions give different values. – Andrés E. Caicedo Feb 15 '11 at 5:57
Thanks Andres :) – user7485 Feb 15 '11 at 11:20

Your Answer


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