Intereting Posts

Extending a Homeomorphism between open ball and open box of $R^n$
Prove of Nesbitt's inequality in 6 variables
Name for matrices with orthogonal (not necessarily orthonormal) rows
Why is the sum of the rolls of two dices a Binomial Distribution? What is defined as a success in this experiment?
Prove that $\lim_{n\to\infty}a_n\le \lim_{n\to\infty}b_n$
Do groups of order $p^3$ have subgroups of order $p^2$?
Fourier transform of fourier transform?
Let $g_n= {2^2}^n +1 $. Prove $g_0 · g_1 · · · g_{n−1} = g_{n} − 2$
Prove surface area of a sphere using solid of revolution surface area formula.
How to prove by arithmetical means that $\sum\limits_{k=1}^\infty \frac{((k-1)!)^2}{(2k)!} =\frac{1}{3}\sum\limits_{k=1}^{\infty}\frac{1}{k^{2}}$
How to use well-ordering to form a “least counterexample derived contradiction” to prove rule for obtaining the remainder when dividing $3^n$ by 13?
Show how to calculate the Riemann zeta function for the first non-trivial zero
How to find solutions in set of intgers?
Deduction Theorem Intuition
Jacobson radical of upper triangular matrix rings

Recently, I answered to this problem:

Given $a<b\in \mathbb{R}$, find explicitly a bijection $f(x)$ from

$]a,b[$ to $[a,b]$.

using an “iterative construction” (see below the rule).

- How to prove that $\sum _{k=0}^{2n-1} \frac{(-2n)^k}{k!}<0 $
- Limit of an integral question: $\lim \limits _{h \to \infty} h \int \limits _0 ^\infty e ^{-hx} f(x) \, d x = f(0)$
- Derivative of a function is the equation of the tangent line?
- Need help unpacking definitions of $\limsup$, $\liminf$
- Using substitution while using taylor expansion
- Is this a valid proof for ${x^{x^{x^{x^{x^{\dots}}}}}} = y$?

My question is: is it possible to solve the problem finding a less *exotic* function?

I mean: I know such a bijection cannot be monotone, nor globally continuous; but my $f(x)$ has *a lot of* jumps… Hence, can one do without so many discontinuities?

W.l.o.g. assume $a=-1$ and $b=1$ (the general case can be handled by translation and rescaling).

Let:

(**1**) $X_0:=]-1,-\frac{1}{2}] \cup [\frac{1}{2} ,1[$, and

(**2**) $f_0(x):=\begin{cases}

-x-\frac{3}{2} &\text{, if } -1<x\leq -\frac{1}{2} \\ -x+\frac{3}{2} &\text{,

if } \frac{1}{2}\leq

x<1\\ 0 &\text{, otherwise} \end{cases}$,

so that the graph of $f_0(x)$ is made of two segment (parallel to the line $y=x$) and one segment laying on the $x$ axis; then define by induction:

(**3**) $X_{n+1}:=\frac{1}{2} X_n$, and

(**4**) $f_{n+1}(x):= \frac{1}{2} f_n(2 x)$

for $n\in \mathbb{N}$ (hence $X_n=\frac{1}{2^n} X_0$ and $f_n=\frac{1}{2^n} f_0(2^n x)$).

Then the function $f:]-1,1[\to \mathbb{R}$:

(**5**) $f(x):=\sum_{n=0}^{+\infty} f_n(x)$

is a bijection from $]-1,1[$ to $[-1,1]$.

*Proof*: **i**. First of all, note that $\{ X_n\}_{n\in \mathbb{N}}$ is a pairwise disjoint covering of $]-1,1[\setminus \{ 0\}$. Moreover the range of each $f_n(x)$ is $f_n(]-1,1[)=[-\frac{1}{2^n}, -\frac{1}{2^{n+1}}[\cup \{ 0\} \cup ]\frac{1}{2^{n+1}}, \frac{1}{2^n}]$.

**ii**. Let $x\in ]-1,1[$. If $x=0$, then $f(x)=0$ by (**5**). If $x\neq 0$, then there exists only one $\nu\in \mathbb{N}$ s.t. $x\in X_\nu$, hence $f(x)=f_\nu (x)$. Therefore $f(x)$ is *well defined*.

**iii**. By **i** and **ii**, $f(x)\lesseqgtr 0$ for $x\lesseqgtr 0$ and the range of $f(x)$ is:

$f(]-1,1[)=\bigcup_{n\in \mathbb{N}} f(]-1,1[) =[-1,1]$,

therefore $f(x)$ is surjective.

**iv**. On the other hand, if $x\neq y \in ]-1,1[$, then: if there exists $\nu \in \mathbb{N}$ s.t. $x,y\in X_\nu$, then $f(x)=f_\nu (x)\neq f_\nu (y)=f(y)$ (for $f_\nu (x)$ restrited to $X_\nu$ is injective); if $x\in X_\nu$ and $y\in X_\mu$, then $f(x)=f_\nu (x)\neq f_\mu(y)=f(y)$ (for the restriction of $f_\nu (x)$ to $X_\nu$ and of $f_\mu(x)$ to $X_\mu$ have disjoint ranges); finally if $x=0\neq y$, then $f(x)=0\neq f(y)$ (because of **ii**).

Therefore $f(x)$ is injective, hence a bijection between $]-1,1[$ and $[-1,1]$. $\square$

- Log-concave functions whose sums are still log-concave: possible to find a subset?
- Trying to derive an inverse trigonometric function
- Evaluate $\int x^2e^{x^2} dx$
- Is there an easier way of finding a Taylor series than just straight computing the formula?
- How to show $ \sin x \geq \frac{2x}{\pi}, x \in $?
- Criteria for formally derived Euler-Maclaurin-type formula
- This integral is defined ? $\displaystyle\int_0^0\frac 1x\:dx$
- show that $f^{(3)}(c) \ge 3$ for $c\in(-1,1)$
- Limit of $\prod\limits_{k=2}^n\frac{k^3-1}{k^3+1}$
- Prove that $\int_0^x f^3 \le \left(\int_0^x f\right)^2$

It seems that your construction is fine, however coarse and crude. We usually give this question in the introductory course of set theory, the solution is quite elegant too.

Firstly, it is very clear that this function cannot be continuous. Consider a sequence approaching the ends of the interval, the function cannot be continuous there.

Secondly, without the loss of generality assume the interval is $[0,1]$. Define $f(x)$ as following:

$$f(x) = \left\{

\begin{array}{1 1}

\frac{1}{2} & \mbox{if } x = 0\\

\frac{1}{2^{n+2}} & \mbox{if } x = \frac{1}{2^n}\\

x & \mbox{otherwise}

\end{array}

\right.$$

It is relatively simple to show that this function is as needed.

Define a bijection $f:(-1,1)\rightarrow[-1,1]$ as follows: $f(x)=2x$ if $|x|=2^{-k}$ ($k\in\mathbb{N}$); otherwise $f(x)=x$.

Here you have simpler construction.

Let $(a_n)$ be the sequence in $(a,b)$ defined by $a_n = a + \frac{b-a}{2^n}$. Then let $f\colon [a,b] \to (a,b)$ be given by

$$

f(x) = \begin{cases}

a_1, & x = a,\\

a_2, & x = b,\\

a_{n+2}, & x = a_n, n = 1,2,\dots\\

x, & x \in [a,b] \setminus \{a,b,a_1,a_2,\dots\}.

\end{cases}

$$

Of course definition of $(a_n)$ could be different. The only important thing is that it is a sequence in $(a,b)$.

- How to prove $\inf(S)=-\sup(-S)$?
- I want to find all pairs of integer $ (x, y)$
- What is the origin of the formula: $\rho_x (x)=\left|\frac{{d}x}{{d}\alpha}\right|^{-1}\rho_\alpha(\alpha)$ that relates random variables?
- Find the coefficient of $x^m$ in the expansion $(1 + ax + bx^2)^n$
- Every closed $C^1$ curve in $\mathbb R^3 \setminus \{ 0 \}$ is the boundary of some $C^1$ 2-surface $\Sigma \subset \mathbb R^3 \setminus \{ 0 \}$
- Function doesn't increase distance
- Why every map $f : S^n \to T^n (n>1)$ has topological degree zero?
- Coupon collector problem doubts
- Question on Comaximal Ideals
- What is Fourier Analysis on Groups and does it have “applications” to physics?
- simplifying equations
- The last digit of $n^5-n$
- Show that $\lim_{n\to \infty} (\sqrt{n+1} – \sqrt n) = 0$ using the definition of a limit
- Can you make sense of roots of unity in modular arithmetic?
- Why is the following NOT a proof of The Chain Rule?