1 Introduction and Main Results

In this paper we consider the relation between Möbius transformations and cross-ratios of points in the complex plane. For any four distinct points abc, and d in the extended complex plane \({\hat{\mathbb {C}}}\), their cross-ratio and absolute cross-ratio are defined by

$$\begin{aligned}{}[a,b,c,d]=\frac{(a-c)\cdot (b-d)}{(a-d)\cdot (b-c)} \end{aligned}$$

and

$$\begin{aligned} |a,b,c,d|=\frac{|a-c|\cdot |b-d|}{|a-d|\cdot |b-c|}, \end{aligned}$$

respectively. Note that |abcd| is the absolute value of [abcd], and the absolute cross-ratio is well defined for points in \({{\mathbb {R}}}^n\), whereas the cross-ratio is not.

We say a map \(f:{\hat{\mathbb {C}}}\rightarrow {\hat{\mathbb {C}}}\) preserves cross-ratios, or preserves absolute cross-ratios respectively, if for any four distinct points \(a,b,c,d\in {\hat{\mathbb {C}}}\), \([f(a),f(b),f(c),f(d)]=[a,b,c,d]\), or \(|f(a),f(b), f(c),f(d)|=|a,b,c,d|\), respectively. Obviously, a Möbius transformation

$$\begin{aligned} f(z)=\frac{a_1z+a_2}{a_3z+a_4}:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\quad (a_1,a_2,a_3,a_4\in {\mathbb {C}}, a_1a_4-a_2a_3\not =0) \end{aligned}$$

preserves cross-ratios and absolute cross-ratios. We call

$$\begin{aligned} f(z)=\frac{a_1{\bar{z}}+a_2}{a_3{\bar{z}}+a_4}:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\quad (a_1,a_2,a_3,a_4\in {\mathbb {C}}, a_1a_4-a_2a_3\not =0) \end{aligned}$$

a conjugate Möbius transformation. It preserves absolute cross-ratios but does not preserve cross-ratios.

In higher dimensions, a Möbius transformation is a homeomorphism acting on \({\hat{\mathbb {R}}}^n\), which is a finite composition of reflections (or inversions) in spheres. A Möbius transformation of \({\hat{\mathbb {R}}}^n\) onto itself preserves absolute cross-ratios.

There are many papers about Möbius invariant or rigidity properties in classes of mappings under various assumptions (see, for example, [1,2,3, 5,6,7,8,9,10,11,12,13,14,15,16]).

In 1998 Haruki and Rassias [5] obtained the following rigidity result related to the absolute cross-ratios in \({\hat{\mathbb {C}}}\).

Theorem A

[5] Let \(D\subset {\hat{\mathbb {C}}}\) be a domain. Suppose that a map \(f:D\rightarrow {\hat{\mathbb {C}}}\) is meromorphic and satisfies that \(|a,b,c,d|=1\) implies \(|f(a), f(b), f(c), f(d)|=1\) for every \(a, b, c, d\in D\). Then f is a Möbius transformation.

In 2001 Beardon and Minda [2] extended the result related to the absolute cross-ratios for all dimensions.

Theorem B

[2] Suppose that \(\Omega \subset {\hat{\mathbb {R}}}^n\) is a region and an injection \(f:\Omega \rightarrow {\hat{\mathbb {R}}}^n\) satisfies that \(|a,b,c,d|=1\) implies \(|f(a), f(b), f(c), f(d)|=1\) for every \(a, b, c, d\in \Omega \). Then f is a Möbius transformation.

In 2014 Yang [15] further extended the results to a more general setting.

Theorem C

[15] Let \(\Omega _1,\Omega _2\) be two domains in Hilbert space. Given \(k>0\), suppose that a bijection \(f:\Omega _1\rightarrow \Omega _2\) satisfies that for every \(a, b, c, d\in \Omega _1\), \(|a,b,c,d|=k\) implies \(|f(a), f(b), f(c), f(d)|=k\). Then f is a Möbius transformation.

In the case of the extended complex plane, Beardon and Minda [2] mentioned that if \(f:{\hat{\mathbb {C}}}\rightarrow {\hat{\mathbb {C}}}\) preserves all cross-ratios, then it is Möbius, but if f preserves cross-ratios with one value \(-1\) (which means that \([a,b,c,d]=-1\) implies \([f(a),f(b),f(c),f(d)]=-1\)), then f need not be Möbius. They proposed the question: “What can be said about the intermediate situations? More precisely, is it possible to characterize the subsets E of \({\mathbb {C}}\) with the property that if \([f(a),f(b), f(c),f(d)]\in E\) whenever \([a,b,c,d]\in E\), then f is Möbius?”

Definition 1.1

For a subset \(E\subset {\hat{\mathbb {C}}}\), a map \(f:{\hat{\mathbb {C}}}\rightarrow {\hat{\mathbb {C}}}\) preserves cross-ratios in E, if \([f(a),f(b),f(c),f(d)]\in E\) whenever \([a,b,c,d]\in E\).

We restate their problem as the following.

Problem 1.2

(Beardon and Minda [2]) Is it possible to characterize subsets E of \({\mathbb {C}}\) with the property that if f preserves cross-ratios in E, then f is Möbius?

We remark that since similar rigidity problems related to absolute cross-ratios are already solved in all dimensions, in the three papers above, the problem related to cross-ratios makes sense only for \({\hat{\mathbb {C}}}\).

In this paper, we shall give a positive answer to this problem by proving the following two theorems.

Theorem 1.3

Let \(E\not \subset {\hat{\mathbb {R}}}\) be an arc (or circle) and \({\bar{E}}=\{{\bar{z}}|z\in E\}\). If \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) preserves cross-ratios in E, then f is a Möbius transformation when \({\bar{E}}\not =E\) and f is a Möbius or conjugate Möbius transformation when \({\bar{E}}=E\).

Theorem 1.4

Suppose that \(E\subset {\hat{\mathbb {R}}}\) is any (open or closed) arc satisfying that the cardinal number \(\#(E\cap \{0,1,\infty \})<2\). If a map \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) preserves cross-ratios in E, then f is a Möbius or conjugate Möbius transformation.

Remark 1

The converse is true. If f is a Möbius or conjugate Möbius transformation, then f preserves cross-ratios in E.

We next show that the assumptions in our theorems are necessary and reasonable by the following example.

Example 1.5

Since the plane and the real line have the same cardinality, the classic Cantor–Schroeder–Bernstein Theorem [4] guarantees that there exists a bijection \(g:{\hat{\mathbb {C}}}\mapsto {\hat{{\mathbb {R}}}}\). Therefore g is injective and circle-into-circle, but g is not a Möbius nor a conjugate Möbius transformation. Obviously, for any four distinct points abcd, \([g(a),g(b),g(c),g(d)]\in {\mathbb {R}}\backslash \{0,1\}\), as g(a), g(b), g(c), g(d) share a common circle \({\hat{\mathbb {R}}}\).

For any set \(E\subset {\hat{\mathbb {C}}}\) satisfying that \({\mathbb {R}}\backslash \{0,1\}\subset E\), the injection \(g:{\hat{\mathbb {C}}}\mapsto {\hat{{\mathbb {R}}}}\) always preserves cross-ratios in E. Therefore one cannot expect results similar to those in the theorems for such a set E in cross-ratios preserving case.

Furthermore, if we let \(E={\hat{{\mathbb {R}}}}\), then \(\#(E\cap \{0,1,\infty \})=3\). Of course if we let \(E={\mathbb {R}}\), then \(\#(E\cap \{0,1,\infty \})=2\). Therefore the assumption that \(\#(E\cap \{0,1,\infty \})<2\) in the case \(E\subset {\hat{\mathbb {R}}}\) is necessary.

As a consequence, we have the following.

Corollary 1.6

Let \(\theta \in {\mathbb {R}}\backslash {\mathbb {Z}}\) and \(E^\theta =\{re^{i\theta \pi }\in {\mathbb {C}}:r>0\}\). If \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) preserves cross-ratios in \(E^{\theta }\), then f is a Möbius transformation. If \(\theta \in {\mathbb {Z}}\) and \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) preserves cross-ratios in \(E^{\theta }\), then f is a Möbius or conjugate Möbius transformation.

2 The Proof of Theorem 1.3

We need the following two Lemmas.

Lemma 2.1

Let E be an arc (or circle) and \(\{0,1,\infty \}\not \subset E\). If a map \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) preserves cross-ratios in E, then f is injective and circle-into-circle.

Proof

Without loss of generality, we may suppose that \(0\not \in E\) and choose \(\mu \in E\backslash \{0,1,\infty \}\). Assume that there exist two distinct points \(z_1,z_2\), such that \(f(z_1)=f(z_2)\). Choose \(w_1,w_2\in {\hat{\mathbb {C}}}\), such that \([z_1,w_1,z_2,w_2]=\mu \in E\). Then we have either \([f(z_1),f(w_1),f(z_2),f(w_2)]=0\not \in E\) or the cross-ratio is not well defined for \(f(z_1)=f(z_2)\). This is a contradiction. Therefore f is injective.

For any four distinct points abcd sharing a common circle, there exists a Möbius transformation \(\sigma \) on \({\hat{\mathbb {C}}}\), such that \(\sigma (E)\ni a,b,c,d\). Let \(z_0=\sigma (0)\), \(z_1=\sigma (1)\) and \(z_\infty =\sigma (\infty )\). Then \([z_0,z_\infty ,z,z_1]=\sigma ^{-1}(z)\), since the Möbius transformation \(\sigma \) preserves cross-ratios.

For any \(z\in \sigma (E)\), \(\sigma ^{-1}(z)\in E\) and \([z_0,z_\infty ,z,z_1]\in E\). Since f preserves cross-ratios in E, we have \([f(z_0),f(z_\infty ),f(z),f(z_1)]\in E\). On the other hand, let \(\tau \) be the Möbius transformation mapping 0, 1, \(\infty \) to \(f(z_0)\), \(f(z_1)\), \(f(z_\infty )\). Then \([f(z_0),f(z_\infty ),f(z),f(z_1)]=\tau ^{-1}(f(z))\), which means that f(z) lies in the arc \(\tau (E)\) for any \(z\in \sigma (E)\) and f(a), f(b), f(c), f(d) share a common circle, from which we conclude that f is circle-into-circle and this completes the proof. \(\square \)

Lemma 2.2

[10] Suppose that \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) is injective and circle-into-circle. If \(f({\hat{\mathbb {C}}})\) does not lie on a circle, then f is a Möbius or conjugate Möbius transformation.

Proof of Theorem 1.3

Let \(E\not \subset {\hat{\mathbb {R}}}\) be an arc (or circle). If f preserves cross-ratios in E, then f is injective and circle-into-circle by Lemma 2.1. So, for any \(z\in E\), \([f(0),f(\infty ),f(z),f(1)]\in E\) as \([0,\infty ,z,1]=z\in E\). Moreover, for any two distinct points \(z_1,z_2\in E\), \([f(0),f(\infty ),f(z_1),f(1)]\not =[f(0),f(\infty ),f(z_2),f(1)]\), since f is injective. There exists a point \(z_0\in E\), such that \([f(0),f(\infty ),f(z_0),f(1)]\not \in {\hat{\mathbb {R}}}\) by \(\#(E\cap {\hat{\mathbb {R}}})<3\). That is, f(0), \(f(\infty )\), \(f(z_0)\), f(1) do not lie in a common circle. Then f is a Möbius or conjugate Möbius transformation by Lemma  2.2.

In particular, if \({\bar{E}}=E\) and f preserves cross-ratios in E, then f is a Möbius or conjugate Möbius transformation.

If \({\bar{E}}\not =E\), then there exist \(\mu \in E\backslash {\bar{E}}\) and four distinct points a, b, c, d such that \([a,b,c,d]=\mu \). We show that f is a Möbius transformation. On the contrary assume that f is a conjugate Möbius transformation. Then \({\bar{f}}(z)\) is a Möbius transformation and \([{\bar{f}}(a),{\bar{f}}(b),{\bar{f}}(c),{\bar{f}}(d)]=\mu \). So \([f(a),f(b),f(c),f(d)]={\bar{\mu }}\not \in E\). This is a contradiction, since f preserves cross-ratios in E. Therefore f is a Möbius transformation. The proof is completed. \(\square \)

3 The Proof of Theorem 1.4

Suppose that an arc \(E\subset {\hat{\mathbb {R}}}\) satisfies that \(\{0,1,\infty \}\not \subset E\) and a map \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) preserves cross-ratios in E. Then f is injective and circle-into-circle by Lemma 2.1. Note that f is a Möbius or conjugate Möbius transformation if and only if \(f({\hat{\mathbb {C}}})\) does not lie in a circle by Lemma 2.2. Example 1.5 shows that there exists some injective and circle-into-circle map whose image lie in a circle. In this section, we shall prove that if \(\#(E\cap \{0,1,\infty \})<2\) and f preserves cross-ratios in E, then f is a Möbius or conjugate Möbius transformation.

For the sake of convenience, let \(\Gamma _{(a,b,c)}\) denote the circle determined by \(a,b,c\in {\hat{\mathbb {C}}}\) and \(\gamma _{[a,b]}^c\) denote the arc in \(\Gamma _{(a,b,c)}\) with endpoints ab and containing c. Denote the line segment with endpoints \(a,b\in {\mathbb {C}}\) by \(I_{[a,b]}\). Similarly, let \(I_{(a,b)}\) (\(I_{[a,b)}\) or \(I_{(a,b]}\)) denote an (sub-)open segment, and \(\gamma _{(a,b)}^c\) (\(\gamma _{[a,b)}^c\) or \(\gamma _{(a,b]}^c\)) denote an (sub-)open arc. Obviously, if \(\#(E\cap \{0,1,\infty \})<2\), then E must be a sub-arc of either \(\gamma _{(0,\infty )}^1\), or \(\gamma _{(1,\infty )}^0\), or \(\gamma _{(0,1)}^\infty \). We shall prove Theorem 1.4 for the case of \(E\subset \gamma _{(0,\infty )}^1\). For the other two cases, the discussions are similar and so we shall omit the details.

We need the following lemmas.

Lemma 3.1

For any \(a,b,c,d\in {\hat{\mathbb {C}}}\), \([a,b,c,d]\in \gamma _{(0,\infty )}^1\) if and only if \(c\in \gamma _{(a,b)}^d\).

Proof

Suppose that \(\sigma \) is the Möbius transformation such that \(\sigma (a)=0\), \(\sigma (b)=\infty \) and \(\sigma (d)=1\). Then \([a,b,c,d]=\sigma (c)\in \gamma _{(0,\infty )}^1\), which means \(c\in \gamma _{(a,b)}^d\). \(\square \)

Lemma 3.2

Suppose that \(E\subset \gamma _{(0,\infty )}^1\) is an arc and a map \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) preserves cross-ratios in E. Then f maps \(\gamma _{[a,b]}^d\) into \(\gamma _{[f(a),f(b)]}^{f(d)}\) for any three distinct points \(a,b,d\in {\hat{\mathbb {C}}}\).

Proof

For any \(z_0\in \gamma _{(a,b)}^d\), we prove that \(f(z_0)\in \gamma _{(f(a),f(b))}^{f(d)}\). Let I be an open segment in E containing some point \(p_0\). Let \(\sigma \) be the Möbius transformation mapping abd to \(0,\infty ,1\) respectively. Denote \(c_0=\sigma ^{-1}(p_0)\). For any \(z\in \sigma ^{-1}(E)\), \([a,b,z,d]=\sigma (z)\in E\). So \([f(a),f(b),f(z),f(d)]\in E\) and \(f(z)\in \gamma _{(f(a),f(b))}^{f(d)}\).

Let J be the closed arc in \(\gamma _{(a,b)}^d\) with endpoints \(c_0,z_0\). For any \(z\in J\), there exists a Möbius transformation \(\sigma _z\) which maps abz to \(0,\infty ,p_0\). Obviously, \(\{\sigma _z^{-1}(I)\}_{z\in J}\) is an open covering of the closed segment J, which contains a finite sub-covering. That is, there is an integer \(k>0\), and \(z_1,z_2,\ldots ,z_k\in J\), such that \(\{\sigma _{z_i}^{-1}(I)\}_{i=1}^k\) is an open covering of J. So \(\{\sigma _{z_i}^{-1}(E)\}_{i=1}^k\) covers J. Let \(d_i=\sigma _{z_i}^{-1}(1)\). For any i and \(z\in \sigma _{z_i}^{-1}(E)\), \([a,b,z,d_i]\in E\) and \([f(a),f(b),f(z),f(d_i)]\in E\), which means \(f(z)\in \gamma _{[f(a),f(b)]}^{f(d_i)}\) by Lemma 3.1. Therefore \(f(z_0)\in \gamma _{[f(a),f(b)]}^{f(d)}\). \(\square \)

Remark 2

Similarly, \([a,b,c,d]\in \gamma _{(1,\infty )}^0\) implies \(c\in \gamma _{(b,d)}^a\) and \([a,b,c,d]\in \gamma _{(0,1)}^\infty \) implies \(c\in \gamma _{(a,d)}^b\). If f preserves cross-ratios in \(E\subset \gamma _{(1,\infty )}^0\), then f maps \(\gamma _{[b,d]}^a\) into \(\gamma _{[f(b),f(d)]}^{f(a)}\). If f preserves cross-ratios in \(E\subset \gamma _{(0,1)}^\infty \), then f maps \(\gamma _{[a,d]}^b\) into \(\gamma _{[f(a),f(d)]}^{f(b)}\).

Remark 3

Let \(E^\circ \) be the set of inner points of E. The condition \(\#(E\cap \{0,1,\infty \})<2\) in Theorem 1.4 can be replaced by \(\#(E\cap \{0,1,\infty \})<3\) and \(\#(E^\circ \cap \{0,1,\infty \})<2\). For example, if \(E\subset \gamma _{[0,\infty )}^1\), then \([a,b,c,d]\in E\) implies \(c\in \gamma _{[a,b)}^d\).

Definition 3.3

A circle-into-circle injection f is separation-preserving in circle, if, for any circle \(\gamma \) and four distinct points \(a,b,c,d\in \gamma \), ab separate c and d in \(\gamma \) implies that f(a), f(b) separate f(c) and f(d) in a circle \(\Gamma \supset f(\gamma )\).

Lemma 3.4

An injection \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) maps \(\gamma _{[a,b]}^d\) into \(\gamma _{[f(a),f(b)]}^{f(d)}\) for any three distinct points \(a,b,d\in {\hat{\mathbb {C}}}\), if and only if f is separation-preserving in circle.

Proof

Assume f is separation-preserving in circle. That is, for any four distinct points abcd in a common circle satisfying that ab separate c and d, f(a), f(b) separate f(c) and f(d). Then for any \(z\in \gamma _{(a,b)}^d\), ab separate c and z and f(a), f(b) separate f(c) and f(z), which implies that \(f(z)\in \gamma _{(f(a),f(b))}^{f(d)}\) for any three distinct points \(a,b,d\in {\hat{\mathbb {C}}}\).

Assume f is not separation-preserving in circle. That is, there exist four distinct points abcd in a common circle satisfying that ab separate c and d, such that f(a), f(b) do not separate f(c) and f(d). Assume without loss of generality that f(b), f(d) separate f(a) and f(c). Then we find that \(a\in \gamma _{(b,d)}^c\) and \(f(a)\not \in \gamma _{(f(b),f(d))}^{f(c)}\). That is, f does not map \(\gamma _{[b,d]}^c\) into \(\gamma _{[f(b),f(d)]}^{f(c)}\). This completes the proof. \(\square \)

From Lemmas 2.13.2 and 3.4, we have the following lemma.

Lemma 3.5

Suppose that \(E\subset {\hat{\mathbb {R}}}\) is an arc satisfying that \(\#(E\cap \{0,1,\infty \})<2\). If \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {C}}}\) preserves cross-ratios in E, then f is separation-preserving in circle.

Let \({\text {Im}}(z)\) and \({\text {Re}}(z)\) denote the imaginary and real part of \(z\in {\mathbb {C}}\) respectively. Denote the upper half plane of \({\mathbb {C}}\) by \(H=\{z\in {\mathbb {C}}:{\text {Im}}(z)>0\}\) and the lower one by \(\Omega \). To obtain Theorem 1.4, we consider the case where \(f({\hat{\mathbb {C}}})\) lies in a circle.

Lemma 3.6

Suppose that a map \(f:{\hat{\mathbb {C}}}\mapsto {\hat{\mathbb {R}}}\) is separation-preserving in circle and fixes \(1,-1,\infty \). If there exists \(z_0\in H\) such that \(f(z_0)\in I_{(-1,1)}\), then \(f(H)\subset I_{(-1,1)}\).

Proof

Note that \(f(z)\subset I_{(-1,1)}\) for any \(z\in \gamma _{(-1,1)}^{z_0}\cup I_{(-1,1)}\). Denote the bounded component of \({\hat{\mathbb {C}}}\backslash (I_{[-1,1]}\cup \gamma _{[-1,1]}^{z_0})\) by \(D_1\). We claim that \(f(z)\subset I_{(-1,1)}\) for any \(z\in D_1\). Let u be the point of intersection of \(\gamma _{(-1,\infty )}^{z}\) and \(\gamma _{(-1,1)}^{z_0}\). So \(f(z)\in I_{(-1,f(u))}\subset I_{(-1,1)}\) (see Fig. 1).

Fig. 1
figure 1

\(f(D_1)\subset I_{(-1,1)}\)

Let \(z_1, w_1\) be points in \(\Gamma _{(-1,1,z_0)}\) satisfying that \({\text {Re}}(z_1)={\text {Re}}(w_1)=0\), \({\text {Im}}(z_1)>0\) and \({\text {Im}}(w_1)<0\), and \(o_1=(z_1+w_1)/2\) be the center of \(\Gamma _{(-1,1,z_0)}\). Let (see Fig. 2)

$$\begin{aligned} o_{n+1}=\frac{z_n+o_n}{2},\quad z_{n+1}=o_{n+1}+i\sqrt{1+{\text {Im}}(o_{n+1})^2} \end{aligned}$$

and \(w_{n+1}=2o_{n+1}-z_{n+1}\), for \(n=1,2,\ldots \). Obviously, \(o_n\) is the centre of \(\Gamma _{(-1,1,z_n)}\), and \(z_n,w_n\in \Gamma _{(-1,1,z_n)}\) satisfy \({\text {Re}}(z_n)={\text {Re}}(w_n)=0\), \({\text {Im}}(z_n)>0\) and \({\text {Im}}(w_n)<0\) for any \(n\ge 1\). We have

$$\begin{aligned} o_{n+1}=o_n+\frac{i}{2}\sqrt{1+{\text {Im}}(o_n)^2},\quad {\text {Re}}(o_n)=0 \end{aligned}$$

and the sequence \(\{{\text {Im}}(o_n)\}_{n=1}^\infty \) strictly increases. Then \({\text {Im}}(o_n)\) tends to \(+\infty \) as n tends to \(+\infty \), which is due to the fact that \({\text {Im}}(o_{n+1})-{\text {Im}}(o_n)\ge 1/2\) for any \(n\ge 1\). Therefore \({\text {Im}}(z_n)\rightarrow +\infty \) and \({\text {Im}}(w_n)=-1/{\text {Im}}(z_n)\rightarrow 0\) as n tends to \(+\infty \).

Fig. 2
figure 2

\(f(H)\subset I_{(-1,1)}\)

We shall prove that \(f(z_n)\in I_{(-1,1)}\) for all \(n\ge 1\) by induction. As \(f(z_1)\in I_{(-1,1)}\), we may suppose that \(f(z_n)\in I_{(-1,1)}\) for some n. Since f is separation-preserving in circle, \(f(w_n)\not \in I_{[-1,1]}\). If \(f(w_n)>1\) (see Fig. 2), let w be the point of intersection of \(\gamma _{(-1,1)}^{w_{n+1}}\) and \(I_{(1,w_n)}\). Then \(f(w)\in I_{(1,f(w_n))}\). If \(f(w_n)<-1\), let w be the point of intersection of \(\gamma _{(-1,1)}^{w_{n+1}}\) and \(I_{(w_n,-1)}\). Then \(f(w)\in I_{(f(w_n),-1)}\). There always exists a point \(w\in \gamma _{(-1,1)}^{w_{n+1}}\), such that \(f(w)\not \in I_{[-1,1]}\). Then \(f(z_{n+1})\in I_{(-1,1)}\) since \(z_{n+1}\) is separated with w by \(-1,1\) in the circle \(\Gamma _{(-1,1,z_{n+1})}\).

Denote the bounded component of \({\hat{\mathbb {C}}}\backslash (I_{[-1,1]}\cup \gamma _{[-1,1]}^{z_n})\) by \(D_n\). Then \(f(D_n)\subset I_{(-1,1)}\) for \(f(z_n)\in I_{(-1,1)}\) for any n, which means \(f(H)\subset I_{(-1,1)}\). \(\square \)

Proof of Theorem 1.4

It follows from Lemma 3.5 that f is separation-preserving in circle. We shall prove that \(f({\hat{\mathbb {C}}})\) does not lie in a circle. To the contrary we assume that f maps \({\hat{\mathbb {C}}}\) into \({\hat{{\mathbb {R}}}}\) and fixes 1, \(-1\) and \(\infty \) by composing some suitable Möbius transformations. Moreover, there always exists \(z_0\in H\), such that \(f(z_0)\subset I_{(-1,1)}\), since we may replace f(z) by \(f({\bar{z}})\), if necessary. Lemma 3.6 gives that \(f(z)\in I_{(-1,1)}\) for any \(z\in H\).

Without loss of generality, we may assume that \(f(z_0)\in I_{(f(0),1)}\). Let \(w_0\) be a point in \(\Gamma _{(-1,0,z_0)}\cap \Omega \). Then \(f(z_0)\not \in I_{[-1,f(0)]}\) (see Fig. 3), which means that \(f(w_0)\in I_{(-1,f(0))}\subset I_{(-1,1)}\).

Fig. 3
figure 3

Contradiction: \(\exists w_0\in \Omega \), such that \(f(w_0)\in I_{(-1,1)}\)

Again we have from Lemma 3.6 that \(f(w)\in I_{(-1,1)}\) for any \(w\in \Omega \). Meanwhile, \(w_n\in \Omega \) and \(f(w_n)\not \in I_{(-1,1)}\) for any \(n\ge 1\) as in Lemma 3.6. This is a contradiction. Therefore \(f({\hat{\mathbb {C}}})\) does not lie in a circle. It then follows from Lemma 2.2 that f is a Möbius or conjugate Möbius transformation. The proof is completed.\(\square \)