Martingale (calcul stochastique)Une martingale est une séquence de variables aléatoires (autrement dit un processus stochastique), telles que l'espérance mathématique à l'instant , conditionnellement à l'information disponible à un moment préalable , notée , vaut (avec ). En particulier, dans un processus discret (t entier), . Une martingale peut modéliser les gains / pertes accumulés par un joueur au cours de répétitions indépendantes d'un jeu de hasard à espérance nulle (même si le joueur s'autorise à modifier sa mise en fonction des gains passés), d'où l'emprunt du terme martingale au monde du jeu.
Temps d'arrêtvignette|Temps d'impact et temps d'arrêt de trois échantillons de mouvement brownien. En théorie des probabilités, en particulier dans l'étude des processus stochastiques, un temps d'arrêt (également appelé temps d'arrêt optionnel, et correspondant à un temps de Markov ou moment de Markov défini) est une variable aléatoire dont la valeur est interprétée comme le moment auquel le comportement d'un processus stochastique donné présente un certain intérêt.
Optimal stoppingIn mathematics, the theory of optimal stopping or early stopping is concerned with the problem of choosing a time to take a particular action, in order to maximise an expected reward or minimise an expected cost. Optimal stopping problems can be found in areas of statistics, economics, and mathematical finance (related to the pricing of American options). A key example of an optimal stopping problem is the secretary problem. Optimal stopping problems can often be written in the form of a Bellman equation, and are therefore often solved using dynamic programming.
Doob's martingale convergence theoremsIn mathematics specifically, in the theory of stochastic processes Doob's martingale convergence theorems are a collection of results on the limits of supermartingales, named after the American mathematician Joseph L. Doob. Informally, the martingale convergence theorem typically refers to the result that any supermartingale satisfying a certain boundedness condition must converge.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Martingale localeDans la théorie des processus stochastiques, une martingale locale est un processus stochastique qui est localement une martingale, ce qui signifie qu'il y a une suite de localisation de temps d'arrêt et que le processus arrêté est une martingale. Soi un espace de probabilité filtré et un processus -adapté avec (zéro à zéro). S'il existe une suite non décroissante de temps d'arrêt de telle que et pour tout le processus arrêté défini par soit une martingale, alors on appelle une martingale locale et on écrit .
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Philippe de VilmorinJoseph Marie Philippe Levêque de Vilmorin, plus communément appelé Philippe de Vilmorin, né le à Verrières-le-Buisson et mort dans la même commune le , est un botaniste français. vignette|gauche|Arboretum de Pézanin. Philippe de Vilmorin est issu de la célèbre famille de botanistes et grainetiers. De son mariage en 1900 avec Berthe Marie Mélanie de Gaufridy de Dortan (qui sera maîtresse du roi Alphonse XIII d'Espagne), naîtront six enfants : Marie-Pierre de Vilmorin (Mapie de Toulouse-Lautrec) (1901-1972), Louise de Vilmorin (1902-1969), Henry de Vilmorin (1903-1961), Olivier de Vilmorin (1904-1962), Roger de Vilmorin (1905-1980), fils naturel de Mélanie de Vilmorin et d'Alphonse XIII d'Espagne.
Mapie de Toulouse-LautrecMapie de Toulouse-Lautrec, née le à Verrières-le-Buisson et morte le à Paris , est une journaliste française. Née Marie-Pierre Adélaïde Levêque de Vilmorin, elle est la fille aînée de Philippe de Vilmorin et de son épouse, Mélanie de Gaufridy de Dortan et la sœur de l'écrivain Louise de Vilmorin. D'abord fiancée à Robert Goüin (fils de Jules Goüin) en 1918, elle épouse en premières noces en 1922 un cousin, Guy Marie Félix Levêque de Vilmorin (1896-1984) dont elle a deux filles, Dominique, (1927-2011) et Adélaïde, épouse Oréfice (1930-2020).
Vilmorin & CieVilmorin & , anciennement Vilmorin Clause & et Vilmorin SA, est un producteur français de semences. Famille Lévêque de Vilmorin thumb|left|250px|Publicité dans Le Miroir (1914). thumb|left|250px|Vilmorin-Andrieux et : couverture d'un « Extrait du catalogue spécial d’ognons à fleurs » (1925). L'histoire de la famille Lévêque de Vilmorin remonte en 1743 à Paris avec un magasin vendant des semences et des oiseaux au 4, quai de la Mégisserie, sous l'enseigne du Coq de la Bonne Foy.
École française d'AthènesL’École française d’Athènes (EfA) ou l’École française d’archéologie d’Athènes (en Γαλλική Αρχαιολογική Σχολή Αθηνών) est un établissement universitaire français, situé 6, rue Didotou à Athènes en Grèce, dont le but est de promouvoir l'étude de la langue, de l’histoire et des antiquités grecques. Depuis 2011, l'EfA fait partie du Réseau des Écoles françaises à l'étranger. Créée en sous la Monarchie de Juillet, par le ministre de l'Instruction publique d'alors : Narcisse-Achille de Salvandy.
SN2La substitution nucléophile bimoléculaire, ou communément appelée SN2 est un mécanisme réactionnel en chimie organique. C'est en fait un mécanisme limite, au sens où des réactions chimiques « naturelles » utilisant ce type de mécanisme ne se font jamais entièrement selon ce mécanisme, mais à un certain pourcentage. Le mécanisme limite « opposé » est la substitution nucléophile monomoléculaire ou SN1.
Crédit lyonnaisLe Crédit lyonnais, société anonyme, connue depuis les années 2000 sous l'appellation LCL, est une banque française fondée à Lyon en 1863 par François Barthélemy Arlès-Dufour et Henri Germain. Elle est considérée comme l'un des trois piliers de l'industrie bancaire française, faisant partie des « Trois Vieilles » avec BNP Paribas et Société générale . vignette|Action du Crédit lyonnais de 1863.
Consommation maximale d'oxygènevignette|Mesure de la Vmax sur un dispositif moderne de la mesure des échanges gazeux durant un exercice incrémental sur tapis roulant La consommation maximale d'oxygène ou Vmax est le volume maximal d'oxygène qu'un organisme aérobie, en général, ou le sujet humain en particulier peut consommer par unité de temps lors d'un exercice dynamique aérobie maximal. Chez l'humain, le ou la Vmax s'exprime habituellement en litres de dioxygène par minute (L/min).
Substitution nucléophileEn chimie organique, une réaction de substitution nucléophile est une réaction de substitution au cours de laquelle un groupe nucléophile riche en électrons, noté Nu−, attaque une molécule électrophile ayant un site pauvre en électrons, et remplace un atome ou un groupe d'atomes, appelé groupe partant (noté GP), ou groupe nucléofuge. Les électrons libres (:) du nucléophile Nu− attaquent le substrat R-GP en formant une nouvelle liaison, et entraînant ainsi le départ du groupe partant GP.
Jésus de NazarethJésus de Nazareth est un Juif de Galilée, né entre l'an 7 et l'an 5 av. J.-C. Selon les évangiles, qui constituent la principale source d'information sur sa vie, il apparaît dans le cercle de Jean le Baptiste avant de s'engager, entouré de quelques disciples, dans une courte carrière de prédication itinérante de deux à trois ans, essentiellement en Galilée, en pratiquant guérisons et exorcismes.
Réflexion (physique)vignette|upright=1|La loi de la réflexion en physique.|alt=Le rayon incident arrive sur la surface et est réfléchi. Les angles d'incidence et de réflexion sont identiques. vignette|Matsimäe Pühajärv, Estonie. La réflexion en physique est le brusque changement de direction d'une onde à l'interface de deux milieux. Après réflexion, l'onde reste dans son milieu de propagation initial. De multiples types d'ondes peuvent subir une réflexion.
SN 1987Aest une supernova du Grand Nuage de Magellan, une galaxie naine proche de la Voie lactée visible depuis l'hémisphère sud. Les premières observations du phénomène ont été faites quelques heures à peine après que son éclat eut atteint la Terre, dans la nuit du par plusieurs astronomes amateurs et professionnels d'Amérique du Sud, d'Australie et de Nouvelle-Zélande. s'avère être la première explosion de supernova observée à l'œil nu durant le , avec des conditions d'observation quasi-optimales.
Réflexion totaleEn optique géométrique, le phénomène de réflexion totale survient lorsqu'un rayon lumineux arrive sur la surface de séparation de deux milieux d'indices optiques différents avec un angle d'incidence supérieur à une valeur critique : il n'y a alors plus de rayon réfracté transmis et seul subsiste un rayon réfléchi. Ce phénomène n'intervient que lorsque le rayon lumineux incident se trouve dans un milieu d'indice de réfraction plus grand que l'éventuel rayon réfracté : réfraction de type verre/air par exemple.
