Source: https://download.tuxfamily.org/mathcluses/2013-14/termS4/cours/espace1.pdf