Fixed-point iterationIn numerical analysis, fixed-point iteration is a method of computing fixed points of a function. More specifically, given a function defined on the real numbers with real values and given a point in the domain of , the fixed-point iteration is which gives rise to the sequence of iterated function applications which is hoped to converge to a point . If is continuous, then one can prove that the obtained is a fixed point of , i.e., More generally, the function can be defined on any metric space with values in that same space.
Point fixeEn mathématiques, pour une application f d'un ensemble E dans lui-même, un élément x de E est un point fixe de f si f(x) = x. Exemples : dans le plan, la symétrie par rapport à un point A admet un unique point fixe : A ; l'application inverse (définie sur l'ensemble des réels non nuls) admet deux points fixes : –1 et 1, solutions de l'équation équivalente à l'équation . Graphiquement, les points fixes d'une fonction f (d'une variable réelle, à valeurs réelles) sont les points d'intersection de la droite d'équation y = x avec la courbe d'équation y = f(x).
Théorème du point fixe de Kakutanivignette|Exemple animé montrant des points x, et leurs images φ(x) par la fonction φ. L'animation finit par montrer un point x contenu dans φ(x). En analyse mathématique, le théorème du point fixe de Kakutani est un théorème de point fixe qui généralise celui de Brouwer à des fonctions à valeurs ensemblistes. Il fournit une condition suffisante pour qu'une telle fonction, définie sur un compact convexe d'un espace euclidien, possède un point fixe, c'est-à-dire dans ce contexte : un point qui appartient à son par cette fonction.
Angle inscrit dans un demi-cercleLe théorème de géométrie qui affirme que l'angle inscrit dans un demi-cercle est droit, est appelé Théorème de Thalès en Allemagne (Satz des Thales) à partir de la toute fin du , puis dans plusieurs pays, mais assez rarement en France où, à partir à peu près de la même époque, le « théorème de Thalès » désigne un théorème tout autre, sur la proportionnalité des segments découpés sur deux droites sécantes par des droites parallèles.
Linear actuatorA linear actuator is an actuator that creates motion in a straight line, in contrast to the circular motion of a conventional electric motor. Linear actuators are used in machine tools and industrial machinery, in computer peripherals such as disk drives and printers, in valves and dampers, and in many other places where linear motion is required. Hydraulic or pneumatic cylinders inherently produce linear motion. Many other mechanisms are used to generate linear motion from a rotating motor.
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.
Théorème de Pythagorethumb|right|alt=Triangle rectangle et relation algébrique entre les longueurs de ses côtés.|Relation entre les longueurs des côtés dans un triangle rectangle. Le théorème de Pythagore est un théorème de géométrie euclidienne qui met en relation les longueurs des côtés dans un triangle rectangle. Il s'énonce fréquemment sous la forme suivante : Si un triangle est rectangle, le carré de la longueur de l’hypoténuse (ou côté opposé à l'angle droit) est égal à la somme des carrés des longueurs des deux autres côtés.
ActionneurDans une machine, un actionneur est un objet qui transforme l’énergie qui lui est fournie en un phénomène physique qui fournit un travail, modifie le comportement ou l’état d'un système. Dans les définitions de l’automatisme, l’actionneur appartient à la partie opérative d'un système automatisé. On peut classer les actionneurs suivant différents critères : énergie utilisée ; phénomène physique utilisable ; principe mis en œuvre. vignette|Deux actionneurs pneumatiques à crémaillère (Automax, à gauche et en haut), contrôlant chacun une vanne.
Thalès, appelé communément (en grec ancien : / Thalễs ho Milếsios), est un philosophe et savant grec, né à Milet vers 625-620 et mort vers 548-545 dans cette même ville. C'est l'un des Sept sages de la Grèce antique et le fondateur présumé de l'école milésienne. Philosophe de la nature, il passe pour avoir effectué un séjour en Égypte, où il aurait été initié aux sciences égyptienne et babylonienne. On lui attribue de nombreux exploits, comme le calcul de la hauteur de la grande pyramide ou la prédiction d'une éclipse, ainsi que le théorème de Thalès.
Rotary actuatorA rotary actuator is an actuator that produces a rotary motion or torque. The simplest actuator is purely mechanical, where linear motion in one direction gives rise to rotation. The most common actuators are electrically powered; others may be powered pneumatically or hydraulically, or use energy stored in springs. The motion produced by an actuator may be either continuous rotation, as for an electric motor, or movement to a fixed angular position as for servomotors and stepper motors.
Théorème de la moyenne géométriquethumb|upright=1.2|L'aire du carré gris et l'aire du rectangle gris sont égales, soit Le théorème de la hauteur du triangle rectangle ou théorème de la moyenne géométrique est un résultat de géométrie élémentaire qui exprime une relation entre la hauteur sur l'hypoténuse d'un triangle rectangle et les deux segments qu'elle découpe sur l'hypoténuse. Il établit que la moyenne géométrique des longueurs des deux segments est égale à la hauteur.
Triangle rectangleEn géométrie euclidienne, un triangle rectangle est un triangle dont l'un des angles est droit. Les deux autres angles sont alors complémentaires, de mesure strictement inférieure. On nomme alors hypoténuse le côté opposé à l'angle droit. Les deux autres côtés, adjacents à l’angle droit, sont appelés cathètes. L’hypoténuse est alors le plus grand côté du triangle, et sa longueur est reliée à celles des deux autres côtés par le théorème de Pythagore. Cette relation est même caractéristique des triangles rectangles.
Théorème du point fixe de LefschetzEn mathématiques, le théorème du point fixe de Lefschetz est une formule qui compte le nombre de points fixes d'une application continue d'un espace compact X dans lui-même en utilisant les traces des endomorphismes qu'elle induit sur l'homologie de X. Il est nommé d'après Solomon Lefschetz qui l'a démontré en 1926. Chaque point fixe est compté avec sa multiplicité. Une version faible du théorème suffit à démontrer qu'une application qui n'a aucun point fixe doit vérifier certaines propriétés particulières (comme une rotation du cercle).
Valve actuatorA valve actuator is the mechanism for opening and closing a valve. Manually operated valves require someone in attendance to adjust them using a direct or geared mechanism attached to the valve stem. Power-operated actuators, using gas pressure, hydraulic pressure or electricity, allow a valve to be adjusted remotely, or allow rapid operation of large valves. Power-operated valve actuators may be the final elements of an automatic control loop which automatically regulates some flow, level or other process.
Angle droitDans le plan euclidien, deux droites sécantes définissent quatre angles deux à deux égaux. Lorsque ces quatre angles sont égaux, chacun forme un angle droit. Les droites sont alors dites perpendiculaires. Le terme angle droit est un calque du latin angulus rectus : rectus signifie « debout », ce qui renvoie à l'image d'une perpendiculaire à une ligne horizontale. Euclide écrivait, au , dans ses Éléments, livre I, Définition 10 : Un angle droit est donc un quart de tour, ou encore la moitié d'un angle plat.
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.
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.
Théorème de l'angle inscrit et de l'angle au centrethumb|Figure 1 : L'angle AOB mesure le double de l'angle AMB et de l'angle ANB. thumb|Figure 2 : angle inscrit AMB obtus, angle au centre AOB rentrant. En géométrie euclidienne plane, plus précisément dans la géométrie du cercle, les théorèmes de l'angle inscrit et de l'angle au centre établissent des relations liant les angles inscrits et les angles au centre interceptant un même arc. Le théorème de l'angle au centre affirme que, dans un cercle, un angle au centre mesure le double d'un angle inscrit interceptant le même arc (figure 1 et 2, ).
Connexion (mathématiques)En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. Il existe plusieurs présentations qui dépendent de l'utilisation faite. Cette notion a été développée au début des années 1920 par Élie Cartan et Hermann Weyl (avec comme cas particulier celle de connexion affine), puis reformulée en 1951 par Charles Ehresmann et Jean-Louis Koszul. Connexion de Koszul La connexion de Koszul est un opérateur sur des espaces de sections.
Mécanisme à quatre barresvignette|Mouvement guidé par un mécanisme à quatre barres, utilisé par exemple pour l'entraînement à griffe dans un projecteur de film 8 ou . vignette|Les essuie-glaces d'autocar sont montés sur un parallélogramme déformable. Un mécanisme à quatre barres est un système composé de quatre corps rigides, en général articulés entre eux par des liaisons tournantes : rotules ou pivots. Dans leur forme la plus simple, les pièces sont des barres, les liaisons étant aux extrémités des barres ; une des barres peut être le bâti de la machine.
