Hallo,
dei Behauptung ist, dass für im(z)>0 das Bild von z unter f erfüllt: |f(z)|<1. Um Schreibarbeit zu sparen: Dies ist äquivalent zu \(|f(z)|^2<1\). Für \(z=x+yi\) gitl:
$$|f(z)|^2= \frac{|z-i|^2}{|z+i|^2}=\frac{x^2+(y-1)^2}{x^2+(y+1)^2}=\frac{x^2+y^2-2y+1}{x^2+y^2+2y+1}$$
Und man sieht: Der Bruch ist kleiner als 1 genau dann, wenn y>0.
Die Frage der Bijektivität klären wir durch direkte Berechnung der Umkehrfunktion: Für \(z,w \in \mathbb{C}\) gilt:
$$f(z)=w \iff z-i=w(z+i) \iff (1-w)z=iw+i \iff z=\frac{i+iw}{1-w}$$
Einzige Ausnahme ist w=1, aber das liegt ja nicht im Inneren des Einheitskreises.
Gruß