Meromorphe Modulfunktion/Schwach/Gewicht k/Erzeuger/Fakt

Es sei ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ eine meromorphe Funktion auf der oberen Halbebene ${}{\mathbb {H} }$.

Dann ist ${}f$ genau dann schwach modular vom Gewicht ${}k$, wenn sie die beiden Bedingungen ${}f(z+1)=f(z)$ und ${}f{\left(-{\frac {1}{z}}\right)}=z^{k}f(z)$ für alle ${}z\in {\mathbb {H} }$ erfüllt.

Einen Beweis erstellen