Liste de théorèmes du point fixeEn analyse, un théorème du point fixe donne des conditions suffisantes d’existence d’un point fixe pour une fonction ou une famille de fonctions. Plus précisément, étant donné un ensemble E et une famille de fonctions f définies sur E et à valeurs dans E, ces théorèmes permettent de justifier qu’il existe un élément x de E tel que pour toutes les fonctions considérées on ait . Certains de ces théorèmes fournissent même un processus itératif permettant d’approcher un tel point fixe.
ComplexitéLa complexité caractérise le comportement d'un système dont les composants interagissent localement et de façon non linéaire, ce qui se traduit par un comportement difficilement prédictible. La complexité peut donc caractériser un système "composé d'un grand nombre d'éléments interagissant sans coordination centrale, sans plan établi par un architecte, et menant spontanément à l'émergence de structures complexes" (Alain Barrat, directeur de recherche au Centre de physique théorique de Marseille); mais aussi caractériser des systèmes composés de peu d'éléments (voir le chaos déterministe).
Théorème du point fixe de BrouwerEn mathématiques, et plus précisément en topologie algébrique, le théorème du point fixe de Brouwer fait partie de la grande famille des théorèmes de point fixe, qui énoncent que si une fonction continue f vérifie certaines propriétés, alors il existe un point x0 tel que f(x0) = x0. La forme la plus simple du théorème de Brouwer prend comme hypothèse que la fonction f est définie sur un intervalle fermé borné non vide I et à valeurs dans I. Sous une forme plus générale, la fonction est définie sur un convexe compact K d'un espace euclidien et à valeurs dans K.
Circuit complexityIn theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of the Boolean circuits that compute them. A related notion is the circuit complexity of a recursive language that is decided by a uniform family of circuits (see below). Proving lower bounds on size of Boolean circuits computing explicit Boolean functions is a popular approach to separating complexity classes.
Fixed-point theorems in infinite-dimensional spacesIn mathematics, a number of fixed-point theorems in infinite-dimensional spaces generalise the Brouwer fixed-point theorem. They have applications, for example, to the proof of existence theorems for partial differential equations. The first result in the field was the Schauder fixed-point theorem, proved in 1930 by Juliusz Schauder (a previous result in a different vein, the Banach fixed-point theorem for contraction mappings in complete metric spaces was proved in 1922). Quite a number of further results followed.
Vitesse radialethumb|La vitesse V(t) d'un objet à la position x(t) a une composante radiale VR(t) par rapport à l'observateur qui peut varier grandement avec la trajectoire de l'objet (en pointillés rouges). La vitesse radiale est la vitesse d'un objet mesurée dans la direction du rayon (ou la ligne de visée) vers (valeur négative) ou depuis (valeur positive) le point d'observation. La mesure de la vitesse radiale se fait de plusieurs façons et ce concept est utilisé dans de nombreux domaines dont la mesure par radar Doppler, les sonars, les échographies et en astronomie.
Conductivité hydrauliqueLa conductivité hydraulique, généralement notée K, est une grandeur qui exprime l'aptitude d'un milieu poreux à laisser passer un fluide sous l'effet d'un gradient de pression. Dans le Système international d'unités elle s'exprime en mètres par seconde (m/s). La conductivité hydraulique est une grandeur qui dépend à la fois des propriétés du milieu poreux où l’écoulement a lieu (granulométrie, forme des grains, répartition et forme des pores, porosité intergranulaire), des propriétés du fluide qui s'écoule (viscosité, densité) et du degré de saturation du milieu poreux.
Diversity indexA diversity index is a quantitative measure that reflects how many different types (such as species) there are in a dataset (a community), and that can simultaneously take into account the phylogenetic relations among the individuals distributed among those types, such as richness, divergence or evenness. These indices are statistical representations of biodiversity in different aspects (richness, evenness, and dominance).
Virgule flottantevignette|Comme la notation scientifique, le nombre à virgule flottante a une mantisse et un exposant. La virgule flottante est une méthode d'écriture de nombres fréquemment utilisée dans les ordinateurs, équivalente à la notation scientifique en numération binaire. Elle consiste à représenter un nombre par : un signe (égal à −1 ou 1) ; une mantisse (aussi appelée significande) ; et un exposant (entier relatif, généralement borné).
Hydraulique à surface librealt=Écoulement à surface libre rivière James (ressaut hydraulique).|vignette|Écoulement à surface libre rivière James (ressaut hydraulique). L’hydraulique à surface libre est la branche de l'hydraulique et de la mécanique des fluides qui s’intéresse aux écoulements de liquides dans un canal avec une surface libre. Un écoulement en surface libre désigne un écoulement avec une interface libre entre l’air et l’eau, comme dans une rivière, par opposition à un écoulement en charge, où cette interface est absente dans une conduite sous pression par exemple.
