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.
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 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.
Cas9thumb|236px|Une structure du Cas9 de S. aureus dans un complexe avec un ARN guide (haut) et son ADN cible (bas). Cas9 (en) est une protéine d'origine bactérienne aux propriétés anti-virales. Sa capacité à couper l'ADN au niveau de séquences spécifiques en a fait un outil de biologie moléculaire aux vastes perspectives d'utilisation. C'est une endonucléase d'ADN guidée par ARN, c'est-à-dire une enzyme spécialisée pour couper l'ADN avec deux zones de coupe actives, une pour chaque brin de la double hélice.
PrédationLa prédation est l'action de prendre, de capturer. Ce terme est un emprunt de la Renaissance au latin praedator, « voleur, pilleur », lui-même issu de praeda, « proie » et de prehendō, « prendre », qui exprime le fait de se saisir de quelqu'un ou de capturer une proie déterminée par sa poursuite. La prédation est une interaction trophique directe, de nature antagoniste, entre deux organismes, par laquelle une espèce dénommée prédateur, consomme entièrement ou partiellement une ou plusieurs espèces dénommées proies, généralement en les tuant, pour s'en nourrir ou pour alimenter sa progéniture.
Population mondialeLa population mondiale est le nombre d'êtres humains vivant sur Terre à un instant donné. L’ONU l'estime à le . Elle avait été estimée à pour 2000, entre 1,55 et pour 1900, entre 0,813 et pour 1800 et entre 600 et d'habitants pour 1700. Cette augmentation de la population avec le temps tend cependant à ralentir avec une baisse mondiale de l'indice de fécondité, plus ou moins importante selon les pays. Le taux annuel de la croissance démographique de la population mondiale est tombé de 2,1 % au début des années 1960 à moins de 1 % en 2020.
Nuclear magnetic resonance spectra databaseA nuclear magnetic resonance spectra database is an electronic repository of information concerning Nuclear magnetic resonance (NMR) spectra. Such repositories can be downloaded as self-contained data sets or used online. The form in which the data is stored varies, ranging from line lists that can be graphically displayed to raw free induction decay (FID) data. Data is usually annotated in a way that correlates the spectral data with the related molecular structure. The form in which most NMR is described in literature papers.
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.
Clustered Regularly Interspaced Short Palindromic Repeatsvignette|368x368px|CRISPR/Cas9. thumb|500px|right|Diagramme du mécanisme de CRISPR. En génétique, les , plus fréquemment désignées sous le nom de CRISPR (acronyme prononcé ), sont des familles de séquences répétées dans l'ADN. De telles familles se caractérisent par des séries de répétitions directes courtes (de 21 à 37 paires de bases) et régulièrement espacées par des séquences appelées , généralement uniques, de 20 à 40 paires de bases.
SpiraleEn géométrie plane, les spirales forment une famille de courbes d'allure similaire : une partie de la courbe semble s'approcher d'un point fixe tout en tournant autour de lui, tandis que l'autre extrémité semble s'en éloigner. Une courbe plane dont l'équation polaire est du type où f est une fonction monotone est une spirale. On trouve aussi le terme de spirale pour des courbes en dimension trois qui tournent autour d'un axe en s'en éloignant ou s'en rapprochant comme les ou en restant à distance fixe comme l'hélice circulaire.
Classement automatiquevignette|La fonction 1-x^2-2exp(-100x^2) (rouge) et les valeurs déplacées par un bruit de 0,1*N(0,1). Le classement automatique ou classification supervisée est la catégorisation algorithmique d'objets. Elle consiste à attribuer une classe ou catégorie à chaque objet (ou individu) à classer, en se fondant sur des données statistiques. Elle fait couramment appel à l'apprentissage automatique et est largement utilisée en reconnaissance de formes. En français, le classement fait référence à l'action de classer donc de « ranger dans une classe ».
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.
