How to define a bijection between $(0,1)$ and $(0,1]$?

Question

How to define a bijection between $(0,1)$ and $(0,1]$? Or any other open and closed intervals?

If the intervals are both open like $(-1,2)\text{ and }(-5,4)$ I do a cheap trick (don't know if that's how you're supposed to do it): I make a function $f : (-1, 2)\rightarrow (-5, 4)$ of the form $f(x)=mx+b$ by \begin{align*} -5 = f(-1) &= m(-1)+b \\ 4 = f(2) &= m(2) + b \end{align*} Solving for $m$ and $b$ I find $m=3\text{ and }b=-2$ so then $f(x)=3x-2.$

Then I show that $f$ is a bijection by showing that it is injective and surjective.

Answer 1

Choose an infinite sequence $(x_n)_{n\geqslant1}$ of distinct elements of $(0,1)$. Let $X=\{x_n\mid n\geqslant1\}$, hence $X\subset(0,1)$. Let $x_0=1$. Define $f(x_n)=x_{n+1}$ for every $n\geqslant0$ and $f(x)=x$ for every $x$ in $(0,1)\setminus X$. Then $f$ is defined on $(0,1]$ and the map $f:(0,1]\to(0,1)$ is bijective.

To sum up, one extracts a copy of $\mathbb N$ from $(0,1)$ and one uses the fact that the map $n\mapsto n+1$ is a bijection between $\mathbb N\cup\{0\}$ and $\mathbb N$.

Answer 2

Let $A=\{\frac{1}{2},\frac{1}{3},...\}$,$B=\{1,\frac{1}{2},\frac{1}{3},...\}$. Define $f:A\rightarrow B$ such that $f(\frac{1}{n})=\frac{1}{n-1}$.It is easy to show that $f$ is a bijection. Then define a function $g:(0,1) \rightarrow (0,1]$ such that

$g(x)=x$ if $x$ is not in $A$ , otherwise $g(x)=f(x)$.

Then $g$ is a required bijection from $(0,1)$ to $(0,1]$.

Remark: We can always solve this kind of question by picking a countable proper subset from (say) $(0,1)$ and then define a bijection $f$ so that the image of $f$ is a little bit bigger than its domain and then define a function which is equal to $f$ on the picked countable set and identity function outside that set.

Answer 3

Try something like the function in the following picture:

---

If you only have to show that such bijection exists, you can use Cantor-Bernstein theorem and $(0,1)\subseteq (0,1] \subseteq (0,2)$. See also open and closed intervals have the same cardinality at PlanetMath.

Answer 4

We will show that both sets are in bijection with $S^1\times \mathbb{Z}$.

Consider $(0,1)$. This is in bijection with $\mathbb{R}$ (for example, scale the interval to $(-\pi/2, \pi/2)$ and apply the tangent function). We can map $\mathbb{R}$ to $S^1\times \mathbb{Z}$ bijectively using the map $t\rightarrow (e^{2\pi i t},\lfloor t \rfloor)$.

Any set homeomorphic to $(0,1]$ can be put into bijection with $S^1$ using the map $t\rightarrow e^{2\pi i t}$. It remains to show that $(0,1]$ is in bijection with countably many copies of itself. To see this, note that the map $x\rightarrow -\frac{1}{x}$ takes $(0,1]$ to $(-\infty, -1]$, and consider the partition

$$\cdots (-4,-3],\ (-3,-2],\ (-2,-1].$$

This seems unnecessarily complicated, and I think you can just map both sets to $\mathbb{R}$ and circumvent the circle stuff, but this is how I figured it out.

Answer 5

I thought to supplement Did's answer with this picture that I sketched.

The blue line represents the set $\color{#0073CF}{(0,1) - \{x_n\}^{\infty}_{n \geq 1}}$.
The orange circles are elements of the infinite sequence $\color{#FF4F00}{X = \{x_n\}^{\infty}_{n \geq 1}}$, but I plotted only 4 (I chose 4 arbitrarily) circles because it is impossible to plot all elements of an infinite sequence.
Subscripts (The order of the points) were arbitrarily assigned to each orange points.
So the depiction above of $f : (0,1] \rightarrow (0,1) $ can be defined with this formula:

$f(\color{#FF4F00}{x_n}) = \color{#FF4F00}{x_{n + 1}} \quad \forall \;n \geq 0$ and
$f(\color{#0073CF}{x}) = \color{#0073CF}{x} \qquad \quad \forall \; \color{#0073CF}{x \in {(0,1) - \{x_n\}^{\infty}_{n \geq 1}}}$.

Answer 6

The technique here is to apply the (abstract) proof of the Schröder–Bernstein theorem to this situation.

Let $A = (0,1)$ and $B = (0,1]$. Let $f: A \to B$ be the inclusion mapping $f(x) = x$ and $g: B \to A$ be given by

$$ g(x) = \frac{x}{2}$$

Both of these mappings are injective, so we can use the proof technique to build a bijective mapping $h$ between $A$ and $B$.

The number $1 \in B = (0,1]$ is a B-stopper; let

$$ D = \{\, \frac{1}{2^n} \, | \, n \text{ is a positive integer}\,\}$$

Let $h$ multiply each number in $D$ by $2$ and be equal to $f$ at all other numbers.

The function $h: A \to B$ is a bijection.

Answer 7

Clearly, $(\mathbb{R}-\mathbb{Q})\cap [0,1]=(\mathbb{R}-\mathbb{Q})\cap (0,1)$.

So, set some enumeration for the rationals on $[0,1]$, $(r_{n})_{n \ge 1}$, with $r_1 = 0$ and $r_2 = 1$.

Thus, define a function $f:(0,1) \to (0,1]$ to act like the identity on the set of irrationals and, on the set of rationals, set $f(r_j)=r_{j-1}$ for all $j \ge 3$.

This is of course a bijection.

Answer 8

Note that:

If A is a countable infinite set and a is any element in A, then: there's a bijection for A \ {a} and A;

Or, equivalently if A is contained strictly in B, b is in B \ A, A is countably infinite then: there's a bijection for A $\bigcup$ {b} and A;

To prove the second claim, for example: denote A = {an| n is in $N$}, let: b = f(a0), and an = f(an + 1) for n >= 0. then f is a bijection.

(Similar to a previous answer for your question)

If A is uncountable, you can choose a subset in A as A' that is countable, and do a similar thing to add element to A'. (similar proof for removing element from A, by choosing the element you wish to remove in A')

By this, you can add \ remove as many finite element to an infinite set A as possible, and still have a bijection between them. This is a famous question, called "Hilbert's Hotel", to the name of German Mathematician David Hilbert, you can see more on wiki.

(In fact, (1) if A is countably many, you can even add countably infinite elements to A, and there's still a bijection; and sometimes, you can also do this for removing (2) if A is uncountable, you can always do this for both add/remove a coutably many set to/from A)

Answer 9

Write $$(0,1)=\bigcup_{n\geq1}\ \left(1-\frac{1}{n},1-\frac{1}{n+1}\right]$$ and $$(0,1]=\bigcup_{n\geq1} \left(\frac{1}{n+1},\frac{1}{n}\right]$$

Thus, both are countable union of disjoint intevals of type $(a,b]$ for wich the user1411893 knows how to prove that they are in bijection with each other.