Surface (topology)In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solid figures; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.
Pair of pants (mathematics)In mathematics, a pair of pants is a surface which is homeomorphic to the three-holed sphere. The name comes from considering one of the removed disks as the waist and the two others as the cuffs of a pair of pants. Pairs of pants are used as building blocks for compact surfaces in various theories. Two important applications are to hyperbolic geometry, where decompositions of closed surfaces into pairs of pants are used to construct the Fenchel-Nielsen coordinates on Teichmüller space, and in topological quantum field theory where they are the simplest non-trivial cobordisms between 1-dimensional manifolds.
Torevignette|Modélisation d'un tore Un tore est un solide géométrique représentant un tube courbé refermé sur lui-même. Le terme « tore » comporte différentes acceptions plus spécifiques selon le contexte : en ingénierie ou en géométrie élémentaire, un tore est un solide de révolution de l'espace obtenu à partir d'un cercle, ou bien sa surface. Une chambre à air, une bouée, certains joints d'étanchéité ou encore certains beignets (les donuts nord-américains) ont ainsi une forme plus ou moins torique ; en architecture, un tore correspond à une moulure ronde, semi-cylindrique.
Variété riemannienneEn mathématiques, et plus précisément en géométrie, la variété riemannienne est l'objet de base étudié en géométrie riemannienne. Il s'agit d'une variété, c'est-à-dire un espace courbe généralisant les courbes (de dimension 1) ou les surfaces (de dimension 2) à une dimension n quelconque, et sur laquelle il est possible d'effectuer des calculs de longueur. En termes techniques, une variété riemannienne est une variété différentielle munie d'une structure supplémentaire appelée métrique riemannienne permettant de calculer le produit scalaire de deux vecteurs tangents à la variété en un même point.
Groupe fondamentalEn mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique. Le groupe fondamental d'un espace topologique pointé (X, d) est, par définition, l'ensemble des classes d'homotopie de lacets (chemins fermés) de X de base d. C'est un groupe dont la loi de composition interne est induite par la concaténation (juxtaposition) des arcs. L'examen des groupes fondamentaux permet de prouver que deux espaces particuliers ne peuvent être homéomorphes (c'est-à-dire topologiquement équivalents).
Récursivement énumérableEn théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si : il existe un algorithme qui prend un entier naturel en entrée, et qui s'arrête exactement sur les entiers de ; ou, de manière équivalente : il existe un procédé algorithmique qui, au cours de son fonctionnement, énumère en sortie tous les entiers de et seulement ceux-ci (il est possible, et même nécessaire quand est infini, qu'il ne s'arrête pas).
