Topologie différentielle

Un article de Wikipédia, l'encyclopédie libre.

La topologie différentielle est une branche des mathématiques qui étudie les fonctions différentiables sur définies sur des variétés différentielles. Elle est reliée à la géométrie différentielle, discipline avec laquelle elle se conjugue pour construire une théorie géométrique des variétés différentiables.

[modifier] Description

La topologie différentielle s'intéresse aux propriétés et aux structures qui requièrent une structure différentiable sur une variété. Les variétés différentiables sont plus "lisses" que les variétés simplement munies de structures géométriques, ces dernières pouvant agir en tant qu'obstructions à certains types d'équivalence ou de déformation qui existent en topologie différentielle. Par exemple, le volume et la courbure riemannienne sont des invariants qui permettent de distinguer des structures géométriques distinctes sur une même variété différentielle. Autrement dit, ces invariants peuvent, de manière lisse, "aplatir" certaines variétés, mais cela peut se faire au prix d'une distorsion de l'espace et le volume ou la courbure peuvent être affectés.

Réciproquement, les variétés différentielles sont souvent plus rigides que les variétés topologiques. Certaines variétés topologiques ne possèdent aucune structure différentiable (voir, sur ce sujet, le théorème de Donaldson), tandis que d'autres variétés topologiques peuvent recevoir plusieurs structures différentiables distinctes (i.e. non difféomorphes: c'est le cas des sphères dites exotiques). Certaines constructions en théorie des structures différentiables, par exemple l'existence des fibrés tangents, peuvent être réalisées dans le cadre purement topologique avec quelque effort, pour d'autres c'est impossible.

L'un des principaux sujets de la topologie différentielle est l'étude de certains types de fonctions lisses entre variétés, par exemple les immersions et les submersions, ou bien l'intersection des sous-variétés via la notion de transversalité. La théorie de Morse est une autre branche de la topologie différentielle, dans laquelle l'information topologique sur une variété est déduite des changements observés sur le rang du jacobien d'une fonction.

[modifier] Intrinsèque ou extrinsèque

Au commencement et jusqu'au milieu du dix-neuvième siècle, la géométrie différentielle était étudiée du point de vue de l'extérieur: les courbes, les surfaces étaient considérées comme des objets situés dans un espace euclidien d'une dimension supérieure (par exemple une surface dans un espace ambiant de dimensions trois). Les résultats les plus simples sont ceux obtenus en géométrie différentielle des courbes. Commençant par le travail de Riemann, le point de vue intrinsèque fut développé, dans l’impossibilité de parler de déplacement à l'extérieur de l'objet géométrique parce qu'il était considéré comme un tout. Le point de vue intrinsèque est plus flexible, par exemple il est utile en relativité où l'espace-temps ne peut naturellement pas être pris comme extrinsèque. Avec le point de vue intrinsèque il est plus facile de définir la courbure et d'autres structures telles que vues sur ce plan. Ces deux points de vue peuvent être réconciliés, en effet la géométrie extrinsèque peut être considérée comme une structure additionnelle à l'intrinsèque (voyez le théorème de Nash).

Articles de géométrie

Géométrie - Géométrie projective - Géométrie arguésienne - Géométrie affine - Géométrie euclidienne - Géométrie non euclidienne - Géométrie elliptique - Géométrie hyperbolique - Programme d'Erlangen - Géométrie synthétique - Géométrie algébrique - Topologie algébrique - Topologie différentielle - Géométrie riemannienne - Géométrie différentielle - Géométrie symplectique