Théorème de prolongement de Tietze

Soit $(X,d)$ un espace métrique, $Y$ un fermé de $X$, $g_0 :Y\rightarrow\mathbb{R}$ continue, alors $g_0$ admet un prolongement continu $f_0:X\rightarrow\mathbb{R}$.\r