Géométrie différentiellevignette|Exemple d'objets étudiés en géométrie différentielle. Un triangle dans une surface de type selle de cheval (un paraboloïde hyperbolique), ainsi que deux droites parallèles. En mathématiques, la géométrie différentielle est l'application des outils du calcul différentiel à l'étude de la géométrie. Les objets d'étude de base sont les variétés différentielles, ensembles ayant une régularité suffisante pour envisager la notion de dérivation, et les fonctions définies sur ces variétés.
Géométrie riemanniennevignette|275px|L'étude de la forme de l'univers est une adaptation des idées et méthodes de la géométrie riemannienne La géométrie riemannienne est une branche de la géométrie différentielle nommée en l'honneur du mathématicien Bernhard Riemann, qui introduisit les concepts fondateurs de variété géométrique et de courbure. Il s'agit de surfaces ou d'objets de plus grande dimension sur lesquels existent des notions d'angle et de longueur, généralisant la géométrie traditionnelle qui se limitait à l'espace euclidien.
Variété kählérienneEn mathématiques, une variété kählérienne ou variété de Kähler est une variété différentielle équipée d'une structure unitaire satisfaisant une condition d'intégrabilité. C'est en particulier une variété riemannienne, une variété symplectique et une variété complexe, ces trois structures étant mutuellement compatibles. Les variétés kählériennes sont un objet d'étude naturel en géométrie différentielle complexe. Elles doivent leur nom au mathématicien Erich Kähler. Plusieurs définitions équivalentes existent.
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.
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.
Variété pseudo-riemannienneLa géométrie pseudo-riemannienne est une extension de la géométrie riemannienne ; au même titre que, en algèbre bilinéaire, l'étude des formes bilinéaires symétriques généralisent les considérations sur les métriques euclidiennes. Cependant, cette géométrie présente des aspects non intuitifs des plus surprenants. Une métrique pseudo-riemannienne sur une variété différentielle M de dimension n est une famille g= de formes bilinéaires symétriques non dégénérées sur les espaces tangents de signature constante (p,q).
Géométrie différentielle des surfacesEn mathématiques, la géométrie différentielle des surfaces est la branche de la géométrie différentielle qui traite des surfaces (les objets géométriques de l'espace usuel E3, ou leur généralisation que sont les variétés de dimension 2), munies éventuellement de structures supplémentaires, le plus souvent une métrique riemannienne. Outre les surfaces classiques de la géométrie euclidienne (sphères, cônes, cylindres, etc.
Courbure de Gaussvignette|De gauche à droite : une surface de courbure de Gauss négative (un hyperboloïde), une surface de courbure nulle (un cylindre), et une surface de courbure positive (une sphère). vignette|Certains points du tore sont de courbure positive (points elliptiques) et d'autres de courbure négative (points hyperboliques) La courbure de Gauss, parfois aussi appelée courbure totale, d'une surface paramétrée X en X(P) est le produit des courbures principales. De manière équivalente, la courbure de Gauss est le déterminant de l'endomorphisme de Weingarten.
Tenseur de RicciDans le cadre de la relativité générale, le champ de gravitation est interprété comme une déformation de l'espace-temps. Celle-ci est exprimée à l'aide du tenseur de Ricci. Le tenseur de Ricci est un champ tensoriel d'ordre 2, obtenu comme la trace du tenseur de courbure complet. On peut le considérer comme le laplacien du tenseur métrique riemannien dans le cas des variétés riemaniennes. Le tenseur de Ricci occupe une place importante notamment dans l'équation d'Einstein, équation principale de la relativité générale.
Courburevignette|Le déplacement d'une Dictyostelium discoideum dont la couleur du contour est fonction de la courbure. Échelle : 5 μm ; durée : 22 secondes. Intuitivement, courbe s'oppose à droit : la courbure d'un objet géométrique est une mesure quantitative du caractère « plus ou moins courbé » de cet objet. Par exemple : dans le plan euclidien, une ligne droite est un objet à une dimension de courbure nulle et un cercle un objet de courbure constante positive, valant 1/R (inverse du rayon) ; dans l'espace euclidien usuel à trois dimensions, un plan est un objet à deux dimensions de courbure nulle, et une sphère est un objet à deux dimensions de courbure constante positive.
GéodésiqueEn géométrie, une géodésique est la généralisation d'une ligne droite du plan ou de l'espace euclidien, au cadre des surfaces, ou plus généralement des variétés ou des espaces métriques. Elles sont étroitement liées à la notion de plus court chemin relativement à un calcul de distance sur un tel espace. Ainsi, le plus court chemin (ou les plus courts chemins, s'il en existe plusieurs), entre deux points est toujours une géodésique. Mais plus précisément, on appelle géodésique une courbe qui, à l'échelle locale, relie les points en minimisant la distance.
Courbure principaleEn géométrie différentielle des surfaces, les deux courbures principales d'une surface sont les courbures de cette surface selon deux directions perpendiculaires appelées directions principales. On montre que ce sont les courbures minimale et maximale rencontrées en faisant tourner le plan de coupe. Les courbures principales sont les valeurs propres de l'endomorphisme de Weingarten. Elles caractérisent la géométrie locale des surfaces à l'ordre 2.
Variété d'EinsteinLes 'variétés d'Einstein' sont un concept de géométrie différentielle et de physique théorique, étroitement relié à l'équation d'Einstein de la relativité générale. Il s'agit de variétés riemanniennes ou pseudo-riemanniennes dont la courbure de Ricci est proportionnelle à la métrique. Elles forment donc des solutions de l'équation d'Einstein dans le vide, avec une constante cosmologique non nécessairement nulle, mais sans se limiter au cadre de la géométrie lorentzienne utilisé en relativité générale, qui postule trois dimensions d'espace et une dimension de temps.
Curvature of Riemannian manifoldsIn mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension greater than 2 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous way to define curvature for these manifolds, now known as the Riemann curvature tensor. Similar notions have found applications everywhere in differential geometry of surfaces and other objects. The curvature of a pseudo-Riemannian manifold can be expressed in the same way with only slight modifications.
Équation aux dérivées partiellesEn mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles (parfois appelée équation différentielle partielle et abrégée en EDP) est une équation différentielle dont les solutions sont les fonctions inconnues dépendant de plusieurs variables vérifiant certaines conditions concernant leurs dérivées partielles. Une EDP a souvent de très nombreuses solutions, les conditions étant moins strictes que dans le cas d'une équation différentielle ordinaire à une seule variable ; les problèmes comportent souvent des conditions aux limites qui restreignent l'ensemble des solutions.
Groupe d'homotopieEn mathématiques, et plus particulièrement en topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures. Il y a plusieurs définitions équivalentes possibles. Première définition Soit X un espace topologique et un point de X. Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension . Le i-ième groupe d'homotopie supérieur est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .
Hyperkähler manifoldIn differential geometry, a hyperkähler manifold is a Riemannian manifold endowed with three integrable almost complex structures that are Kähler with respect to the Riemannian metric and satisfy the quaternionic relations . In particular, it is a hypercomplex manifold. All hyperkähler manifolds are Ricci-flat and are thus Calabi–Yau manifolds. Hyperkähler manifolds were defined by Eugenio Calabi in 1979. Equivalently, a hyperkähler manifold is a Riemannian manifold of dimension whose holonomy group is contained in the compact symplectic group Sp(n).
Théorie de l'homotopieLa théorie de l'homotopie est une branche des mathématiques issue de la topologie algébrique dans laquelle les espaces et applications sont considérés à homotopie près. La notion topologique de déformation est étendue à des contextes algébriques notamment via les structures de complexe différentiel puis d’algèbre A. Étant donné deux équivalences d’homotopie f : X′ → X et g : Y → Y′, l’ensemble des classes d'homotopie des applications continues entre X et Y s’identifie à celui des applications entre X′ et Y′ par composition avec f et g.
Homotopy categoryIn mathematics, the homotopy category is a built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra.
HomotopieEn mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique. L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.