Wandering setIn dynamical systems and ergodic theory, the concept of a wandering set formalizes a certain idea of movement and mixing. When a dynamical system has a wandering set of non-zero measure, then the system is a dissipative system. This is the opposite of a conservative system, to which the Poincaré recurrence theorem applies. Intuitively, the connection between wandering sets and dissipation is easily understood: if a portion of the phase space "wanders away" during normal time-evolution of the system, and is never visited again, then the system is dissipative.
Mixing (mathematics)In mathematics, mixing is an abstract concept originating from physics: the attempt to describe the irreversible thermodynamic process of mixing in the everyday world: e.g. mixing paint, mixing drinks, industrial mixing. The concept appears in ergodic theory—the study of stochastic processes and measure-preserving dynamical systems. Several different definitions for mixing exist, including strong mixing, weak mixing and topological mixing, with the last not requiring a measure to be defined.
Fer à cheval de SmaleL'application fer à cheval est un des exemples classiques de systèmes dynamiques. Elle fut introduite par Stephen Smale à l'occasion de l'étude de l'oscillateur de Van der Pol. Son comportement est chaotique alors qu'on l'obtient en effectuant une succession d'opérations géométriques très simples : rétrécissement dans une direction, étalement dans une autre, et repliement en forme de fer à cheval. L'application fer à cheval est un difféomorphisme qui laisse stable la figure formée d'un carré avec deux demi-disques accolés.
Fonction de Mittag-LefflerEn mathématiques, la fonction de Mittag-Leffler, notée qui tient son nom du mathématicien Gösta Mittag-Leffler, est une fonction spéciale, c’est-à-dire qui ne peut être calculée à partir d'équations rationnelles, qui s'applique dans le plan complexe et dépend de deux paramètres complexes et . La fonction est définie pour : Dans ce cas, la série converge pour toute valeur d'argument z, ce qui fait de la fonction une fonction entière. On désigne également la fonction E(z) = E(z) comme fonction de Mittag-Leffler.
Attracteur de RösslerL'attracteur de Rössler est l'attracteur produit par un système dynamique constitué de trois équations différentielles ordinaires contenant un terme non linéaire introduit en 1976 par Otto E. Rössler. Pour certaines valeurs des paramètres, ces équations différentielles produisent un attracteur chaotique. C'est un exemple d'attracteur étrange (selon l'appellation de David Ruelle ) et qui présente des propriétés fractales. Otto Rössler a initialement obtenu un système dynamique produisant un attracteur chaotique à partir d'une réaction chimique théorique.
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Espace précompactEn topologie, une branche des mathématiques, un espace métrique E est précompact si, pour tout ε > 0, on peut recouvrir E par un nombre fini de boules de rayon ε. La propriété principale est qu'un espace métrique est compact si et seulement s'il est précompact et complet. La notion de précompacité et ses propriétés se généralisent aux espaces uniformes. Soit E un espace métrique. Si l'une des trois propriétés suivantes est vérifiée, alors toutes trois le sont et E est dit précompact.
Conservative systemIn mathematics, a conservative system is a dynamical system which stands in contrast to a dissipative system. Roughly speaking, such systems have no friction or other mechanism to dissipate the dynamics, and thus, their phase space does not shrink over time. Precisely speaking, they are those dynamical systems that have a null wandering set: under time evolution, no portion of the phase space ever "wanders away", never to be returned to or revisited. Alternately, conservative systems are those to which the Poincaré recurrence theorem applies.
Ensemble flouLa théorie des sous-ensembles flous est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh en 1965 afin de représenter mathématiquement l'imprécision relative à certaines classes d'objets et sert de fondement à la logique floue. Les sous-ensembles flous (ou parties floues) ont été introduits afin de modéliser la représentation humaine des connaissances, et ainsi améliorer les performances des systèmes de décision qui utilisent cette modélisation.
Espace localement compactEn topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.
Irrationnel quadratiqueUn irrationnel quadratique est un nombre irrationnel solution d'une équation quadratique à coefficients rationnels, autrement dit, un nombre réel algébrique de degré 2. Il engendre donc un corps quadratique réel Q(), où d est un entier positif sans facteur carré. Les irrationnels quadratiques sont caractérisés par la périodicité à partir d'un certain rang de leur développement en fraction continue (théorème de Lagrange). Les exemples les plus simples d'irrationnels quadratiques sont les racines carrées d'entiers naturels non carrés (le plus célèbre étant ).
Endomorphismevignette|Projection orthogonale sur une droite. Ceci est un exemple d'endomorphisme qui n'est pas un automorphisme. En mathématiques, un endomorphisme est un morphisme (ou homomorphisme) d'un objet mathématique dans lui-même. Ainsi, par exemple, un endomorphisme d'espace vectoriel E est une application linéaire f : E → E, et un endomorphisme de groupe G est un morphisme de groupes f : G → G, etc. En général, nous pouvons parler d'endomorphisme de n'importe quelle catégorie.
