A First Course in Modular Forms
《A First Course in Modular Forms》 · 第 7 页 · Section 1.1「First definitions and examples」
It follows that the modular function $j$ is holomorphic on $\mathcal H$; since its numerator and denominator have the same weight, $j$ is $SL_2(\mathbb Z)$-invariant.