Fixed Point Theorems – Continuous Bijections from Open Unit Disc

analysisexamples-counterexamplesfixed-point-theoremsreal-analysis

I'm wondering about the following:

Let $f:D \mapsto D$ be a continuous real-valued bijection from the open unit disc $\{(x,y): x^2 + y^2 <1\}$ to itself. Does f necessarily have a fixed point?

I am aware that without the bijective property, it is not necessarily true – indeed, I have constructed a counterexample without any trouble. However, I suspect with bijectivity it may be the case. I'm aware of the Brouwer Fixed Point Theorem and I imagine these two are intricately linked. However, i'm not certain where the bijectivity comes in – I believe we can argue something along the lines f now necessarily maps boundary to boundary – something about how if $x^2+y^2 \to 1$, $\|f(x,y)\| \to 1$ maybe. However, how does this help? Even if we could definitely define a limit to f(x,y) along the whole boundary and apply Brouwer, we can't guarantee the fixed points aren't all on the boundary anyway.

Conversely however, I still can't construct a counterexample. Could anyone help me finish this off please? Thanks!

Best Answer

Let $D$ be open disk with center $0$ of radius $1$ in complex plane. Consider holomorphic automorphism of $D$ given by formula $z \mapsto \frac{z+a}{1+\bar a z}$ with $a\in D$. Does it have fixed point if $a\neq 0$ ? [You must solve $z=\frac{z+a}{1+\bar a z}$]

You can also biholomorphically send $D$ to right half plane $H$ of $\mathbb C$ by $z \mapsto \frac{1+z}{1-z}$ and then apply Chris Eagle comment to $H$.

Related Question