Concept
La surface de Boy, du nom de Werner Boy, mathématicien ayant été le premier à imaginer son existence en 1902, est une immersion du plan projectif réel dans l'espace usuel de dimension 3. Le plan projectif se définit comme l'espace quotient de par la relation d'équivalence qu'est la colinéarité. La surface de Boy peut aussi être « vue » comme une sphère dont on a recollé deux à deux les points antipodaux, ou encore un disque dont on a recollé deux à deux les points diamétralement opposés de son bord. On peut également la construire en recollant le bord d'un disque sur le bord d'un ruban de Möbius. Le plan projectif est une variété différentielle compacte de dimension 2 non orientable. Il n'est pas plongeable dans un espace de dimension 3 et de fait il est difficile, voire impossible, de le visualiser ; la surface de Boy est une des moins mauvaises représentations qu’on peut en donner. Elle admet un revêtement connexe orientable à deux feuillets, qui n'est autre que la sphère usuelle. Cette propriété est utilisée dans le retournement de la sphère par une homotopie d'immersions. On déforme la sphère de façon à la faire coïncider avec le revêtement à deux feuillets de la surface de Boy. Puis on fait se traverser les deux feuillets et on procède à la transformation inverse pour revenir à une sphère, retournée par rapport à la sphère initiale. La bouteille de Klein est homéomorphe à une somme connexe de deux surfaces de Boy. Le groupe fondamental de la surface de Boy est isomorphe au groupe à deux éléments . De nombreuses images de la surface de Boy peuvent être trouvées sur l'album Le Topologicon de Jean-Pierre Petit qui contient également une animation, sous forme d'un folioscope montrant comment faire croître un ruban de Möbius à trois demi-tours pour le transformer en surface de Boy, son bord circulaire convergeant vers un point. Les images ci-après correspondent à une version « lissée » d'un découpage présent dans l'album, permettant de construire la version polyédrique de la surface de Boy sous forme d'un découpage.
