Theorema egregiumEn mathématiques, et plus précisément en géométrie, le theorema egregium (« théorème remarquable » en latin) est un important théorème énoncé par Carl Friedrich Gauss et portant sur la courbure des surfaces. Il énonce que celle-ci peut être entièrement déterminée à partir de la métrique locale de la surface, c'est-à-dire qu'elle ne dépend pas de la manière dont la surface peut être plongée dans l'espace tridimensionnel. Considérons une surface de l'espace euclidien R.
Pullback bundleIn mathematics, a pullback bundle or induced bundle is the fiber bundle that is induced by a map of its base-space. Given a fiber bundle π : E → B and a continuous map f : B′ → B one can define a "pullback" of E by f as a bundle fE over B′. The fiber of fE over a point b′ in B′ is just the fiber of E over f(b′). Thus f*E is the disjoint union of all these fibers equipped with a suitable topology. Let π : E → B be a fiber bundle with abstract fiber F and let f : B′ → B be a continuous map.
Hermitian manifoldIn mathematics, and more specifically in differential geometry, a Hermitian manifold is the complex analogue of a Riemannian manifold. More precisely, a Hermitian manifold is a complex manifold with a smoothly varying Hermitian inner product on each (holomorphic) tangent space. One can also define a Hermitian manifold as a real manifold with a Riemannian metric that preserves a complex structure. A complex structure is essentially an almost complex structure with an integrability condition, and this condition yields a unitary structure (U(n) structure) on the manifold.
Application de GaussEn géométrie différentielle classique, l'application de Gauss est une application naturelle différentiable sur une surface de , à valeurs dans la sphère unité , et dont la différentielle permet d'accéder à la seconde forme fondamentale. Elle tient son nom du mathématicien allemand Carl Friedrich Gauss. Soit une surface orientée de classe de . Pour un point de , il existe un unique vecteur normal unitaire compatible avec l'orientation de .
Première forme fondamentaleLa première forme fondamentale est un outil utilisé dans l'étude des surfaces de l'espace euclidien. Elle se calcule en chaque point P de la surface Σ et s'interprète comme une écriture formelle du produit scalaire euclidien usuel en restriction au plan tangent TPΣ. On note la première forme fondamentale par la lettre romaine I. La première forme fondamentale est susceptible de généralisations dans le cadre de la géométrie riemannienne, c'est-à-dire des variétés (espaces courbes modelés localement sur l'espace euclidien) pour étudier l'inclusion d'une variété riemannienne dans une autre, ou plus généralement les façons d'appliquer une variété riemannienne dans une autre.
Forme différentielle de degré unEn géométrie différentielle, les formes différentielles de degré un, ou 1-formes (différentielles), sont les exemples les plus simples de formes différentielles. Une 1-forme différentielle sur un ouvert d'un espace vectoriel normé est un champ de formes linéaires c'est-à-dire une application, qui, à chaque point de l'espace, fait correspondre une forme linéaire. Plus généralement, on peut définir de telles formes linéaires sur une variété différentielle.
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.
Jacques HadamardJacques Salomon Hadamard, né le à Versailles et mort le à Paris, est un mathématicien français, connu pour ses travaux en théorie des nombres, en analyse complexe, en analyse fonctionnelle, en géométrie différentielle et en théorie des équations aux dérivées partielles. Jacques Salomon Hadamard est né, en 1865, dans une famille juive française. Son père, Amédée Hadamard (1828-1888), originaire de la Moselle, était professeur d'histoire, de grammaire et de littérature classique au lycée impérial de Versailles, puis au lycée Charlemagne à Paris.
Charles EhresmannCharles Ehresmann est un mathématicien français, né à Strasbourg le et mort à Amiens le . Il a fait ses études de mathématiques à l'École normale supérieure de 1924 à 1927. Agrégé en 1927, il enseigne ensuite au lycée de Rabat jusqu'en 1929. Il poursuit ses recherches, à Paris, à Göttingen et à Princeton. Il soutient une thèse de docteur d'État en 1934 : Sur la topologie de certains espaces homogènes, sous la responsabilité d'Élie Cartan. Charles Ehresmann a aussi fait partie du groupe Bourbaki.
Rayon de courburevignette|Rayon de courbure d'un tracé. Le rayon de courbure d'un tracé, en général noté ρ (lettre grecque rhô) indique son niveau d'incurvation : plus le rayon de courbure est élevé, plus le tracé se rapproche d'une ligne droite, et inversement. Mathématiquement, le rayon de courbure est la valeur absolue du rayon du cercle tangent à la courbe au point recherché, cercle qui y « épouse cette courbe le mieux possible ». Ce cercle est appelé cercle osculateur à la courbe en ce point.
