Théorème du point fixe de BrouwerEn mathématiques, et plus précisément en topologie algébrique, le théorème du point fixe de Brouwer fait partie de la grande famille des théorèmes de point fixe, qui énoncent que si une fonction continue f vérifie certaines propriétés, alors il existe un point x0 tel que f(x0) = x0. La forme la plus simple du théorème de Brouwer prend comme hypothèse que la fonction f est définie sur un intervalle fermé borné non vide I et à valeurs dans I. Sous une forme plus générale, la fonction est définie sur un convexe compact K d'un espace euclidien et à valeurs dans K.
Serre spectral sequenceIn mathematics, the Serre spectral sequence (sometimes Leray–Serre spectral sequence to acknowledge earlier work of Jean Leray in the Leray spectral sequence) is an important tool in algebraic topology. It expresses, in the language of homological algebra, the singular (co)homology of the total space X of a (Serre) fibration in terms of the (co)homology of the base space B and the fiber F. The result is due to Jean-Pierre Serre in his doctoral dissertation. Let be a Serre fibration of topological spaces, and let F be the (path-connected) fiber.
Sphère exotiqueEn mathématiques, et plus précisément en topologie différentielle, une sphère exotique est une variété différentielle M qui est homéomorphe, mais non difféomorphe, à la n-sphère euclidienne standard. Autrement dit, M est une sphère du point de vue de ses propriétés topologiques, mais sa structure différentielle (qui définit, par exemple, la notion de vecteur tangent) n'est pas la structure usuelle, d'où l'adjectif « exotique ». La n-sphère unité, Sn, est l'ensemble de tous les n+1-uplets (x1, x2, ...
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 .
Théorème de suspension de FreudenthalLe théorème de suspension de Freudenthal est un théorème de mathématiques démontré en 1937 par Hans Freudenthal. C'est un résultat fondamental sur l'homotopie, qui explique le comportement des groupes d'homotopie d'un espace pointé lorsqu'on en prend la suspension et qui conduit à la théorie de l'homotopie stable. Soit X un CW-complexe pointé n-connexe. L'application X → Ω(X ∧ S), où Ω désigne le foncteur espace des lacets et ∧ le smash-produit, induit un morphisme de groupesπ(X) → π(Ω(X ∧ S)) ≃ π(X ∧ S).
Entrelacs brunnienEn mathématiques, plus précisément en théorie des nœuds, une sous-branche de la topologie, un entrelacs brunnien est un entrelacs non qui devient trivial si l'un quelconque de ses composants est enlevé. En d'autres termes, couper n'importe laquelle des boucles libère toutes les boucles de l'entrelacs. L'adjectif brunnien vient de Hermann Brunn, qui a rédigé l'article Über Verkettung en 1892 dans lequel il prend pour exemples de tels nœuds. L'entrelacs brunnien le plus simple et le plus connu est le nœud borroméen, un entrelacs de trois éléments non noués entre eux.
J-homomorphismIn mathematics, the J-homomorphism is a mapping from the homotopy groups of the special orthogonal groups to the homotopy groups of spheres. It was defined by , extending a construction of . Whitehead's original homomorphism is defined geometrically, and gives a homomorphism of abelian groups for integers q, and . (Hopf defined this for the special case .) The J-homomorphism can be defined as follows. An element of the special orthogonal group SO(q) can be regarded as a map and the homotopy group ) consists of homotopy classes of maps from the r-sphere to SO(q).
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 : .
Tour de PostnikovEn théorie de l'homotopie, une branche de la topologie algébrique, une tour de Postnikov (ou système de Postnikov) est un objet permettant de reconstruire un espace topologique à partir de ses groupes d'homotopie. Une tour de Postnikov pour un espace X connexe par arcs est un morphisme de X vers une suite d'espaces et d'applications continues, ...→ X →...→ X→ X, tel que chaque application X→X induit des isomorphismes des π pour k ≤ n ; π(X) = 0 pour k > n. Tout CW-complexe connexe possède une telle « tour ».
CobordismeEn topologie différentielle, le cobordisme est une relation d'équivalence entre variétés différentielles compactes. Deux variétés compactes M et N sont dites cobordantes ou en cobordisme si leur réunion disjointe peut être réalisée comme le bord d'une variété à bord compacte L. On dit alors que cette variété L est un cobordisme entre M et N, ou bien que L réalise un cobordisme entre M et N. L'existence d'un tel cobordisme implique que M et N soient de même dimension.
