Holomorphic function with a unique fixed point Let $\omega \subset \mathbb C$ be a simple connected set and $\,f:\omega \to A$ is an analytic function where $A \subset \omega$ is compact. Show that $f$ has an unique fixed point.
I think we can reduce the problem by helping from Riemann open mapping theorem to unit disk but I can't prove the existence of fixed point.
 A: I imagine that the domain $\omega$ of $f$ is open. 
If $f$ is constant, then it has a unique fixed point and we are done. Assume that $f$ is not constant, and hence an open map (cf. Open Mapping Theorem).
Let $K=\overline{f(\omega)}$. Then $K\subset A\subset \omega$, and as $A$ is compact, so is $K$. Thus
$$
\omega\supset K\supset f(\omega)\supset f(K)\supset \cdots\supset f^{n}(\omega)\supset
f^{n}(K)\supset\cdots,
$$
and hence
$$\bigcap_{n\in\mathbb N}f^{n}(\omega)=\bigcap_{n\in\mathbb N}f^{n}(K)=L.$$ 
Clearly, $L$ is compact and non-empty, as the intersection of a decreasing sequence of non-empty compact sets.
Next, define the sequence $f_1=f$, $\,f_2=f\circ f$, and $f_{n+1}=f\circ f_n$.
Clearly, $\{\,f_n\}_{n\in\mathbb N}$ is a sequence of bounded holomorphic functions, and by virtue of Montel's Theorem, there is a subsequence $\{\,f_{k_n}\}$ converging uniformly in the compact subsets of $\omega$ to say $g\in\mathcal H(\omega)$. Also, as the image of $f^n$ is $f^n(\omega)$, then the image of $g$ is a subset of $L$. We shall show that $g(\omega)=L$, which implies that $g$ is constant (otherwise $g(\omega)$ would be an open set). If $z_0\in L$, then, 
$$
z_0\in f^{n+1}(\omega)=f^n\big(\,f(\omega)\big)\subset f^n(K),
$$ 
for every $n\in\mathbb N$, and hence there exists a $w_n\in K$, such that
$z_0=f^n(w_n).$ 
But $\{w_{k_n}\}_{n\in\mathbb N}\subset K$ has a convergent subsequence 
$\{w_{\ell_n}\}_{n\in\mathbb N}$, with $w_{\ell_n}\to w_0$. Now we have that
$$
z_0=f^{\ell_n}(w_{\ell_n})\to g(w_0).
$$
Indeed, $g$ is constant. Let $g(z)=z_0$, for all $z\in\omega$. Then 
$$
f(z_0)=f\big(g(z_0)\big)=\lim_{n\to\infty} f\big(\,f^{k_n}(z_0)\big)
=\lim_{n\to\infty} f^{k_n}\big(\,f(z_0)\big)=g\big(f(z)\big)=z_0.
$$
Thus $z_0$ is a fixed point for $f$. If $f$ had a second fixed point, say $z_1$,
then 
$$
z_1=f(z_1)=f^2(z_1)=\cdots=f^{k_n}(z_1)\to g(z_1)=z_0.
$$
Indeed, $f$ has a unique fixed point.
Note. The domain $\omega$ does not have to be simply connected. 
