Théorème de la divergenceEn analyse vectorielle, le théorème de la divergence (également appelé théorème de Green-Ostrogradski ou théorème de flux-divergence), affirme l'égalité entre l'intégrale de la divergence d'un champ vectoriel sur un volume dans et le flux de ce champ à travers la frontière du volume (qui est une intégrale de surface). L'égalité est la suivante : où : est le volume ; est la frontière de est le vecteur normal à la surface, dirigé vers l'extérieur et de norme égale à l'élément de surface qu'il représente est continûment dérivable en tout point de ; est l'opérateur nabla ; (valable uniquement en coordonnées cartésiennes).
Inégalité torique de LoewnerEn géométrie différentielle, l'inégalité torique de Loewner est une inégalité établie par le mathématicien américain Charles Loewner. Elle relie la systole et l'aire d'une métrique riemannienne quelconque d'un tore de dimension 2. thumb|La plus petite boucle d'un tore. En 1949, Charles Loewner démontre que chaque métrique d'un tore de dimension 2 () satisfait l'inégalité optimale : où sys est sa systole. La constante figurant dans le membre de droite de l'inégalité est la constante d'Hermite en dimension 2
Systole (mathématiques)Dans un espace métrique compact, la systole est la longueur minimale d'un lacet non contractile, c'est-à-dire d'une courbe fermée qu'on ne peut déformer continûment pour l'amener en un point. En géométrie des nombres, la systole d'un réseau dans un espace euclidien désigne la norme du plus petit vecteur non nul de ce réseau. Cette notion intervient en particulier dans le , également connu sous le nom de « critère de Mahler ». La systole est donc la longueur minimum d'un lacet représentant une classe non nulle d'homologie première du tore quotient du réseau.
Courbure scalaireEn géométrie riemannienne, la courbure scalaire (ou scalaire de Ricci) est un des outils de mesure de la courbure d'une variété riemannienne. Cet invariant riemannien est une fonction qui affecte à chaque point m de la variété un simple nombre réel noté R(m) ou s(m), portant une information sur la courbure intrinsèque de la variété en ce point. Ainsi, on peut décrire le comportement infinitésimal des boules et des sphères centrées en m à l'aide de la courbure scalaire.
HolonomieEn mathématiques, et plus précisément en géométrie différentielle, l'holonomie d'une connexion sur une variété différentielle est une mesure de la façon dont le transport parallèle le long de boucles fermées modifie les informations géométriques transportées. Cette modification est une conséquence de la courbure de la connexion (ou plus généralement de sa "forme"). Pour des connexions plates, l'holonomie associée est un type de monodromie, et c'est dans ce cas une notion uniquement globale.
HélicoïdeUn hélicoïde est une surface s'appuyant sur une hélice et sur un axe. Elle fut découverte par Jean-Baptiste Marie Meusnier de La Place en 1776. C'est, avec le plan, la seule surface minimale réglée (c'est-à-dire pouvant être obtenue par déplacement d'une droite dans l'espace). Paramétrage : C'est par ailleurs la seule famille de solutions de la forme à l'équation locale d'Euler-Lagrange qui caractérise les surfaces minimales. On a longtemps cru que la caténoïde, l’hélicoïde et le plan étaient les seules surfaces minimales sans intersections.
Pseudosphèrethumb|right|La pseudosphère étudiée par Eugenio Beltrami En géométrie, le terme de pseudosphère est utilisé pour décrire diverses surfaces dont la courbure de Gauss est constante et négative. Selon le contexte, il peut se référer soit à une surface théorique de courbure négative (une variété riemannienne), soit à une surface effectivement réalisée de l'espace, telle qu'une tractricoïde. Dans son acception la plus générale, une pseudosphère de rayon R est une surface (complète et simplement connexe) de courbure totale en tout point égale à , par analogie à la sphère de rayon R dont la courbure est .
Théorème isopérimétriqueEn mathématiques, et plus précisément en géométrie, un théorème isopérimétrique est une généralisation des résultats plus élémentaires d'isopérimétrie montrant par exemple que le disque est, à périmètre donné, la figure ayant la plus grande aire. Les questions traitées par cette généralisation concernent les compacts d'un espace métrique muni d'une mesure. Un exemple simple est donné par les compacts d'un plan euclidien. Les compacts concernés sont ceux de mesures finies ayant une frontière aussi de mesure finie.
Métrique de PoincaréEn mathématiques, et plus précisément en géométrie différentielle, la métrique de Poincaré, due à Henri Poincaré, est le tenseur métrique décrivant une surface de courbure négative constante. C'est la métrique naturelle utilisée pour des calculs en géométrie hyperbolique ou sur des surfaces de Riemann.
Surface régléeEn géométrie, une surface réglée est une surface par chaque point de laquelle passe une droite, appelée génératrice, contenue dans la surface. On peut décrire une surface réglée S en la considérant comme la réunion d'une famille de droites D(u) dépendant d'un paramètre u parcourant une partie I de l'ensemble des réels. Il suffit pour cela de se donner pour chaque u dans I un point P(u) et un vecteur directeur de D(u). On obtient alors une représentation paramétrique de la surface S : L'arc paramétré par est appelé une courbe directrice de S.
