Métrique sur le fibré unitaire tangent au plan hyperbolique

RÉSUMÉ: Toute variété différentiable $M$ admet une métrique dite métrique riemannienne.\\ En définissant $\mathbb{H}=\lbrace z\in\mathbb{C}: Im(z)>0\rbrace$, on peut munir de $\mathbb{H}$ d'une métrique riemannienne $ds^{2}=\frac{dzd\bar{z}}{(Im(z))^{2}}=\frac{dx^{2}+dy^{2}}{y^{2}}$.\\ Muni de cette métrique, $\mathbb{H}$ est une variété riemannienne à la quelle on associe le fibré tangent, $T\mathbb{H}$ ainsi que le fibré unitaire tangent, $T^{1}\mathbb{H}$. Les éléments de $T^{1}\mathbb{H}$ peuvent être exprimés, de façon bijective, en termes des éléments du groupe PSL(2,$\mathbb{R}$) dont l'action sur $T^{1}\mathbb{H}$ est transitive et libre.\\ La métrique définie sur $M$ (en particulier sur $M=\mathbb{H}$) permet de définir sur $TM$ (en particulier sur $T^{1}\mathbb{H}$) une métrique connue sous le nom de métrique de Sasaki.