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

The following is a question from a textbook for one of my university classes called computational logic. The class is actually being offered as a philosophy class and since I have no real mathematical background I don't really know how to proceed. any help would be appreciated.

"Show that the set of real numbers is equinumerous with the the set of points on a semicircle from a circle with a diameter of 1."

EDIT: I can now add that the semicircle given in the diagram that accompanied the question is the bottom half of the circle described by $0.25=(x-0.5)^2+(y-0.5)^2$. though I dont know if that really matters.

share|cite|improve this question
Welcome to math.SE: since you are new, I wanted to let you know a few things about the site. In order to get the best possible answers, it is helpful if you say in what context you encountered the problem, and what your thoughts on it are; this will prevent people from telling you things you already know, and help them give their answers at the right level. Also, many find the use of imperative ("Prove", "Solve", etc.) to be rude when asking for help; please consider rewriting your post. – Julian Kuelshammer Feb 24 '13 at 9:40
up vote 1 down vote accepted

I think this picture will make the bijection clear enough. We map the black dots together, where the red line roots from $(0,1)$. By making a detailed drawing, you can get an explicit expression in terms of trigonometric formulas. To be more explicit about how the mapping works, when you make the red line turn with center in $(0,1)$, you connect a point in the semicircle (which, as you ask in the edit, doesn't matter either radius or center, since we can just first map it to the "canonical" unit circle, and then apply this map) with a point in the real line. Because of how we make this connection, you can see points are mappen in a one-one fashion (no two points have the same image) and all points in the circle are mapped to the real line, that is, the map is onto.

$\hspace{2 cm}$ enter image description here

share|cite|improve this answer

HINT: Assuming that it’s an open semicircle (i.e., one that does not include its endpoints), let the semicircle be the set of points on the circle $x^2+(y-1)^2=1$ with $y$-coordinate less than $1$, and map each point to its projection on the $x$-axis when the centre of projection is the point $\langle 0,1\rangle$.

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.