Glossaire de topologieCeci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première traite des concepts généraux, et la seconde liste différents types d'espaces topologiques. Dans ce glossaire, tous les espaces sont supposés topologiques. Accessible : voir l'axiome de séparation T1. Adhérence L'adhérence ou fermeture d'une partie d'un espace topologique est le plus petit fermé contenant celle-ci. Un point est dit adhérent à une partie s'il appartient à son adhérence.
Espace de ThomEn topologie, l'espace de Thom est un espace topologique associé à un fibré vectoriel. Il est au cœur de plusieurs constructions homotopiques, parmi lesquelles la construction de Thom-Pontrjagin et le de Thom. Il porte le nom de René Thom, qui a introduit ces constructions en 1954. Soit un fibré vectoriel de rang k sur un espace topologique . Notons l'espace total de ce fibré. Si l'on munit les fibres de d'un produit scalaire, on peut définir les fibrations en boules et en sphères associées : et .
Raoul BottRaoul Bott, né le et mort le , est un mathématicien connu pour nombre de contributions en géométrie. Né à Budapest, il passe l'essentiel de sa vie aux États-Unis. Sa famille émigre au Canada en 1938 à la veille de la Seconde Guerre mondiale. Il étudie à l'université McGill. Il devient professeur à Harvard en 1958, et il y enseigne jusqu'en 1999. Il meurt du cancer à San Diego en 2005. Son travail porte initialement sur la physique avant de se tourner vers les mathématiques pures.
Espace de FinslerUn espace de Finsler est une variété différentielle possédant une métrique asymétrique locale, c'est-à-dire une sur le fibré tangent. Les variétés de Finsler sont donc une généralisation des variétés de Riemann. Le concept a été étudié par Paul Finsler en 1918. Élie Cartan y reconnaitra un (1933). Le lien avec le calcul des variations : la définition métrique mène « directement » à des raisonnements sur les géodésiques, comme solutions à des problèmes de recherches d'extrema. Finsler Geometry The Finsler G
Closed and exact differential formsIn mathematics, especially vector calculus and differential topology, a closed form is a differential form α whose exterior derivative is zero (dα = 0), and an exact form is a differential form, α, that is the exterior derivative of another differential form β. Thus, an exact form is in the of d, and a closed form is in the kernel of d. For an exact form α, α = dβ for some differential form β of degree one less than that of α. The form β is called a "potential form" or "primitive" for α.
Analyse géométriqueL'analyse géométrique est un champ mathématique à l'interface de la géométrie différentielle et des équations différentielles. vignette| de surface minimale. Les surfaces minimales font partie des objets d'étude en analyse géométrique. L'analyse géométrique comprend à la fois l'utilisation de méthodes géométriques dans l'étude des équations aux dérivées partielles, et l'application de la théorie des équations aux dérivées partielles à la géométrie.
Théorème de plongement de WhitneyEn géométrie différentielle, le théorème de plongement de Whitney fait le lien entre les notions de variété abstraite et de sous-variété de l'espace vectoriel réel Rn : toute variété différentielle de dimension m (à base dénombrable par définition) se plonge dans l'espace euclidien de dimension 2m. Cette valeur 2m peut bien sûr être diminuée dans certains exemples particuliers, comme la sphère. Mais pour l'exemple de l'espace projectif réel de dimension m = 2, la constante 2m est optimale.
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.
4-manifoldIn mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique (i.e. there are smooth 4-manifolds which are homeomorphic but not diffeomorphic).
Smooth structureIn mathematics, a smooth structure on a manifold allows for an unambiguous notion of smooth function. In particular, a smooth structure allows one to perform mathematical analysis on the manifold. A smooth structure on a manifold is a collection of smoothly equivalent smooth atlases. Here, a smooth atlas for a topological manifold is an atlas for such that each transition function is a smooth map, and two smooth atlases for are smoothly equivalent provided their union is again a smooth atlas for This gives a natural equivalence relation on the set of smooth atlases.
