In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential pushforward is everywhere injective. Explicitly, f : M → N is an immersion if is an injective function at every point p of M (where TpX denotes the tangent space of a manifold X at a point p in X). Equivalently, f is an immersion if its derivative has constant rank equal to the dimension of M: The function f itself need not be injective, only its derivative must be. A related concept is that of an embedding. A smooth embedding is an injective immersion f : M → N that is also a topological embedding, so that M is diffeomorphic to its image in N. An immersion is precisely a local embedding – that is, for any point x ∈ M there is a neighbourhood, U ⊆ M, of x such that f : U → N is an embedding, and conversely a local embedding is an immersion. For infinite dimensional manifolds, this is sometimes taken to be the definition of an immersion. If M is compact, an injective immersion is an embedding, but if M is not compact then injective immersions need not be embeddings; compare to continuous bijections versus homeomorphisms. A regular homotopy between two immersions f and g from a manifold M to a manifold N is defined to be a differentiable function H : M × [0,1] → N such that for all t in [0, 1] the function Ht : M → N defined by Ht(x) = H(x, t) for all x ∈ M is an immersion, with H0 = f, H1 = g. A regular homotopy is thus a homotopy through immersions. Hassler Whitney initiated the systematic study of immersions and regular homotopies in the 1940s, proving that for 2m < n + 1 every map f : M m → N n of an m-dimensional manifold to an n-dimensional manifold is homotopic to an immersion, and in fact to an embedding for 2m < n; these are the Whitney immersion theorem and Whitney embedding theorem. Stephen Smale expressed the regular homotopy classes of immersions f : M^m \to \R^n as the homotopy groups of a certain Stiefel manifold. The sphere eversion was a particularly striking consequence.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Séances de cours associées (11)
Algèbre linéaire de base
Couvre les bases de l'algèbre linéaire, y compris le rang, les applications différenciables et les submersions.
Espaces tangents et submersions
Couvre les espaces tangents et les submersions en géométrie différentielle, en mettant l'accent sur les espaces vectoriels et les structures différentiables.
Levage de chemin: Levage de chemin unique
Couvre le concept de levage de chemin et la propriété de levage de chemin unique.
Afficher plus
Publications associées (15)

A Künneth theorem for configuration spaces

Kathryn Hess Bellwald

We construct a spectral sequence converging to the homology of the ordered configuration spaces of a product of parallelizable manifolds. To identify the second page of this spectral sequence, we introduce a version of the Boardman-Vogt tensor product for ...
2022

Homotopical relations between 2-dimensional categories and their infinity-analogues

Lyne Moser

In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...
EPFL2021

A decomposition of multicorrelation sequences for commuting transformations along primes

Florian Karl Richter

A decomposition of multicorrelation sequences for commuting transformations along primes, Discrete Analysis 2021:4, 27 pp. Szemerédi's theorem asserts that for every positive integer kk and every δ>0\delta>0 there exists nn such that every subset of ${1, ...
2021
Afficher plus
Concepts associés (23)
Fibré normal
En géométrie différentielle, le fibré normal d’une sous-variété différentielle est un fibré vectoriel orthogonal au fibré tangent de la sous-variété dans celui de la variété ambiante. La définition s’étend au cas d’une immersion d’une variété différentielle dans une autre. Elle s’étend aussi plus généralement en topologie différentielle comme un fibré supplémentaire au fibré tangent de la sous-variété.
Transversalité
En algèbre linéaire et en géométrie différentielle, la propriété de transversalité est un qualificatif pour l'intersection de sous-espaces ou de sous-variétés. Elle est en quelque sorte l'opposé de la notion de tangente. Deux sous-espaces vectoriels , d'un espace vectoriel sont dits transverses quand . Cette condition peut être réécrite, le cas échéant, en termes de codimension : Deux sous-espaces affines , d'un espace affine sont dits , c'est-à-dire si Deux sous-variétés et d'une variété différentielle sont dites transverses lorsque, pour tout point de , les espaces tangents et sont transverses dans l'espace tangent , c'est-à-dire si Dans la suite, désignent les dimensions respectives de .
Retournement de la sphère
En mathématiques, et plus précisément en topologie différentielle, le retournement de la sphère (ou éversion de la sphère) est une transformation faisant passer l'intérieur d'une sphère à l'extérieur dans l'espace usuel à trois dimensions, en autorisant la traversée de la surface par elle-même, mais en interdisant la formation de plis. Le fait qu'un tel processus soit possible a un caractère surprenant, ce qui fait que l'existence de ce retournement est parfois connue aussi sous le nom de paradoxe de Smale, d'après Stephen Smale qui le découvrit en 1958.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.