Définition formelle de la seconde forme fondamentale En géométrie différentielle des surfaces, la seconde forme fondamentale est une application bilinéaire symétrique qui mesure la façon dont une surface se courbe dans l’espace ambiant. Soit $S…
La courbure de Gauss est une fondamentale invariante intrinseèque d’une surface en un point, mesurant sa déviation d’une géométrie euclidienne locale. Son étude细微 distinction entre courbure extrinsèque (dépendant de l’immersion dans l’espace) et courbure intrinsèque…
Géométrie hyperbolique La géométrie hyperbolique est une géométrie non euclidienne où le postulat des parallèles est remplacé par l’existence d’une infinité de droites parallèles à une droite donnée passant par un point extérieur. Elle repose…
Le disque de Poincaré constitue le modèle plan standard de la géométrie hyperbolique de courbure constante -1. Nous définissons formellement ce modèle et démontrons ses propriétés fondamentales. Définition formelle du modèle Le domaine et la…
La courbure moyenne est une grandeur intrinsèque fondamentale qui quantifie la déviation locale d’une surface par rapport à un plan, en faisant la moyenne des courbures principales. Elle joue un rôle central en géométrie différentielle,…
Définition formelle des lignes de courbure Soit \( \mathcal{S} \) une surface régulière de \( \mathbb{R}^3 \) paramétrée localement par \( \mathbf{r}(u,v) \). Les lignes de courbure sont les courbes tracées sur \( \mathcal{S} \)…
Le théorème d’Egregium,结果 de Gauss en 1827, établit que la courbure gaussienne d’une surface est une invariant intinsèque, indépendante de son immersion dans l’espace euclidien. Ce résultat fondamental de la géométrie différentielle démontre que cette…
Les lignes asymptotiques sont des droites qui approchent une courbe à l’infini, fournissant une approximation linéaire du comportement de la fonction. Nous définissons précisément cette notion pour une fonction f définie sur un intervalle non…
La première forme fondamentale est l’outil mathématique central pour mesurer les distances et angles sur une surface. Elle provient du produit scalaire tangent et définit la métrique intrinsèque. Première forme fondamentale Définition formelle et construction…
Vecteur normal : Définition rigoureuse et notion fondamentale Le vecteur normal est un concept central en géométrie euclidienne et en calcul multivariable. Il caractérise l’orthogonalité par rapport à un sous-espace affine. Nous établissons ici les…