Système intégrableEn mécanique hamiltonienne, un système intégrable au sens de Liouville est un système qui possède un nombre suffisant de indépendantes. Lorsque le mouvement est borné, la dynamique est alors périodique ou quasi périodique. Soit un système à N degrés de liberté qui est décrit à l'instant par : les N coordonnées généralisées les N moments conjugués . À chaque instant, les 2N coordonnées définissent un point dans l'espace des phases Γ = R2N. L'évolution dynamique du système sous le flot hamiltonien se traduit par une courbe continue appelée orbite dans cet espace des phases.
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).
Théorème de Frobenius (géométrie différentielle)Le théorème de Frobenius donne une condition nécessaire et suffisante d'intégrabilité locale d'un système d'équations aux dérivées partielles du premier ordre dont le membre de droite dépend des variables, des inconnues, mais ne dépend pas de dérivées partielles de ces inconnues : un tel système d'équations aux dérivées partielles est appelé un « système de Pfaff ». Les fonctions du second membre sont supposées seulement de classe , ce qui rend impossible l'application du théorème de Cauchy-Kowalevski, qui suppose ces fonctions analytiques.
Distribution (differential geometry)In differential geometry, a discipline within mathematics, a distribution on a manifold is an assignment of vector subspaces satisfying certain properties. In the most common situations, a distribution is asked to be a vector subbundle of the tangent bundle . Distributions satisfying a further integrability condition give rise to foliations, i.e. partitions of the manifold into smaller submanifolds. These notions have several applications in many fields of mathematics, e.g.
Équivalence de catégoriesEn mathématiques, plus précisément en théorie des catégories, une équivalence de catégories est une relation qui établit que deux catégories sont "essentiellement les mêmes". C'est un foncteur entre les deux catégories, qui prend compte formellement du fait que ces catégories relèvent d'une même structure : on dit alors que les catégories sont équivalentes. À la différence de la notion d'isomorphisme de catégories, la notion d'équivalence est moins rigide, plus pratique et plus courante.
Produit (catégorie)Dans une catégorie, le produit d'une famille d'objets est sa limite, lorsqu'elle existe. Il est donc caractérisé par une propriété universelle ou de manière équivalente comme foncteur représentable. Soit une catégorie et une famille d'objets de . On cherche un couple , où X soit un objet de et une famille de morphismes , tel que pour tout objet Y de et pour toute famille de morphismes , il existe un unique morphisme tel que pour tout indice i, on ait . Si un tel couple existe, on dit que c'est un produit des .
Produit directLa plupart des structures algébriques permettent de construire de façon très simple une structure produit sur le produit cartésien des ensembles sous-jacents. Plus généralement, . C'est le cas de la topologie produit dans la catégorie des espaces topologiques. Soient E un ensemble muni d'une loi de composition interne et F un ensemble muni d'une loi de composition interne . On peut définir une loi de composition interne sur le produit cartésien E×F de la façon suivante : Si et sont associatives, alors la loi est associative.
Espace préhilbertienEn mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d'un produit scalaire. Cette notion généralise celles d'espace euclidien ou hermitien dans le cas d'une dimension quelconque, tout en conservant certaines bonnes propriétés géométriques des espaces de dimension finie grâce aux propriétés du produit scalaire, mais en perdant un atout de taille : un espace préhilbertien de dimension infinie n'est pas nécessairement complet. On peut cependant le compléter, pour obtenir un espace de Hilbert.
Fundamental groupoidIn algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more widely-known fundamental group; as such, it captures information about the homotopy type of a topological space. In terms of , the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids. Let X be a topological space. Consider the equivalence relation on continuous paths in X in which two continuous paths are equivalent if they are homotopic with fixed endpoints.
AutomationL'automation consiste à utiliser les services d'un logiciel dans une application informatique. L'automation peut donc être considérée comme une procédure d'automatisation. En informatique musicale, dans un séquenceur, l'automation consiste à programmer des changements de réglages pendant la lecture d'un morceau, comme la variation de volume d'une piste audio. Cette mise en place peut se faire par mimétisme : le logiciel enregistre en temps réel des mouvements venant de l'utilisateur pour les reproduire lors des prochaines exécutions du morceau.
