aslinda burdaki fonksiyonu su sekilde tanimlayabiliriz:
$f: (1,\infty) \rightarrow \mathbb{R}$
$g: \mathbb{R} \rightarrow (-3,2]$
fonksiyonlarindan $g \circ f$ istedigimiz fonksiyonu verir.
Yani sadece bunlari $\mathbb{R}$'ya goturen birebir orten fonksiyonu (ve tersini) bulsak yeterli.. Bunu da biliyoruz. Yani ispatini okudugumuzda gorebilecegimiz fonksiyon, ki kendimiz de tanimlayabiliriz.
Ben aklimda boyle tuttugumdan bunu soyledim, yoksa direk de yazilabilir diye dusunuyorum. Herhangibir araligin kardinali $\mathbb{R}$ ile esdeger. O zaman iki farkli $\mathbb{R}$'ye esdeger olan kumeler de esdeger olmali. Yani aralarinda birebir ve orten fonksiyon olmali.