Ê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.
Concept
Diffeology
Résumé
In mathematics, a diffeology on a set generalizes the concept of smooth charts in a differentiable manifold, declaring what the "smooth parametrizations" in the set are.
The concept was first introduced by Jean-Marie Souriau in the 1980s under the name Espace différentiel and later developed by his students Paul Donato and Patrick Iglesias. A related idea was introduced by Kuo-Tsaï Chen (陳國才, Chen Guocai) in the 1970s, using convex sets instead of open sets for the domains of the plots.
Recall that a topological manifold is a topological space which is locally homeomorphic to . Differentiable manifolds generalize the notion of smoothness on in the following sense: a differentiable manifold is a topological manifold with a differentiable atlas, i.e. a collection of maps from open subsets of to the manifold which are used to "pull back" the differential structure from to the manifold.
A diffeological space consists of a set together with a collection of maps (called a diffeology) satisfying suitable axioms, which generalise the notion of an atlas on a manifold. In this way, the relationship between smooth manifolds and diffeological spaces is analogous to the relationship between topological manifolds and topological spaces.
More precisely, a smooth manifold can be equivalently defined as a diffeological space which is locally diffeomorphic to . Indeed, every smooth manifold has a natural diffeology, consisting of its maximal atlas (all the smooth maps from open subsets of to the manifold). This abstract point of view makes no reference to a specific atlas (and therefore to a fixed dimension ) nor to the underlying topological space, and is therefore suitable to treat examples of objects more general than manifolds.
A diffeology on a set consists of a collection of maps, called plots or parametrizations, from open subsets of () to such that the following axioms hold:
Covering axiom: every constant map is a plot.
Locality axiom: for a given map , if every point in has a neighborhood such that is a plot, then itself is a plot.
Source officielle
À 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.