Immersion (mathématiques) | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

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.

Publications associées (15)

Concepts associés (23)

Séances de cours associées (11)

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

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

k

and every

\delta>0

there exists

n

such that every subset of ${1, ...

2021

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.

Forcement de l'entropie topologique

Déplacez-vous dans l'entropie topologique dans les collecteurs compacts et les débits de Reeb, mettant l'accent sur le forçage de l'entropie par homologie de contact cylindrique.

Algèbre linéaire de base MATH-213: Differential geometry

Couvre les bases de l'algèbre linéaire, y compris le rang, les applications différenciables et les submersions.

Espaces tangents et submersions MATH-213: Differential geometry

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.