Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

13/02/2011

Mathématique du crime Guillermo Martinez, Eduardo Jimenez Roman (broché). Paru en 09/2004 Livre

 

09:06 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Apprendre la mathématique Jeu éducatif

Apprendre la mathématique

Jeu éducatif-Autres  
Apprendre la mathématique - Puzzle en bois dans boite de rangement en bois. 3 modèles différents, on expédie les modèles au hasard.
POUR COMMANDER

09:05 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Mathématique pour économistes et gestionnaires Louis Esch Etude (broché). Paru en 04/2010 Livre

Mathématique pour économistes et gestionnairesLouis Esch

  • Etude (broché). Paru en 04/2010
  • En Stock
    POUR COMMANDER
    Ce livre contient les notions mathématiques de base nécessaires à la compréhension et à l'utilisation efficace des méthodes quantitatives appliquées aux domaines de l'économie et de la gestion. Cet ouvrage est constitué de deux parties indépendantes : l'étude des fonctions réelles d'une variable réelle et l'algèbre linéaire. Chaque partie se termine par un chapitre consacré aux modèles et applications de la mathématique à l'économie et à la gestion. 300 exercices, dont plus de la moitié sont résolus, complètent l'ensemble. Site compagnon comprenant : notions préliminaires, compléments et exercices résolus.

09:03 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Analyse mathématique et océanographie Roger Lewandowski (donnée non spécifiée). Paru en 10/1997 Livre

Analyse mathématique et océanographie

Analyse mathématique et océanographieRoger Lewandowski

  • (donnée non spécifiée). Paru en 10/1997
  • En Stock
    POUR COMMANDER

09:02 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Statistique mathématique

Statistique mathématique

Source : 

http://fr.wikipedia.org/wiki/Statistique_math%C3%A9matique

Page d'aide sur l'homonymie Pour les articles homonymes, voir Statistique.

Cet article est une ébauche concernant les probabilités et les statistiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Les statistiques, dans le sens populaire du terme, traitent des populations. En statistique descriptive, on se contente de décrire un échantillon à partir de grandeurs comme la moyenne, la médiane, l'écart type, la proportion, la corrélation, etc. C'est souvent la technique qui est utilisée dans les recensements.

Dans un sens plus large, la théorie statistique est utilisée en recherche dans un but inférentiel. Le but de l'inférence statistique est de dégager le portrait d'une population donnée, à partir de l'image plus ou moins floue constituée à l'aide d'un échantillon issu de cette population.

Dans un autre ordre d'idées, il existe aussi la statistique « mathématique » où le défi est de trouver des estimateurs judicieux (non biaisées et efficients). L'analyse des propriétés mathématiques de ces estimateurs sont au cœur du travail du mathématicien spécialiste de la statistique.

Statistique[modifier]

La statistique mathématique repose sur la théorie des probabilités. Des notions comme la mesurabilité ou la convergence en loi y sont souvent utilisées. Mais il faut distinguer la statistique en tant que discipline et la statistique en tant que fonction des données.

Une fois les bases de la théorie des probabilités acquises, il est possible de définir une statistique à partir d'une fonction S mesurable à n arguments. Lorsque les valeurs x_1,ldots,x_nsont des réalisations d'une même variable aléatoire X, on note :

S(X)=S(x_1,ldots,x_n)

La loi de S(X) dépend uniquement de la loi de X et de la forme de S.

Fonctions de répartition[modifier]

La fonction de répartition d'une variable aléatoire réelle X (cette définition s'étend naturellement aux variables aléatoires à valeurs dans des espaces de dimension quelconque) associe à une valeur x la probabilité qu'une réalisation de X soit plus petite de x :

F(x) = Prob(X < x)

Lorsqu'on dispose de n réalisations de X, on peut construire la fonction de répartition empirique de X ainsi (on note x(k) la kème valeur ordonnées des x_1,ldots,x_n et on pose arbitrairement x_{(0)}=-infty et x_{(n+1)}=+infty) :

F^*_n(x) = {kover n},, forall xin ]x_{(k)},x_{(k+1)}]

de même, la distribution empirique peut se définir (pour tout borélien B) comme :

mathbf{P}^*_n(B) = {1over n}sum_{k=1}^n mathbf{1}_{x_k}(B)

Le Théorème de Glivenko-Cantelli assure la convergence de la fonction de distribution empirique vers la fonction de distribution original lorsque la taille n de l'échantillon augmente vers l'infini.

Ces deux fonctions empirique n'étant pas continues, on leur préfère souvent des estimateurs par noyau, qui ont les mêmes propriétés de convergence.

Types de statistiques[modifier]

On définit usuellement plusieurs types de statistiques suivant la forme de S :

  • les L-statistiques qui sont des combinaisons de statistiques d'ordres,
  • les M-statistiques qui s'expriment comme le maximum d'une fonction des réalisations d'une variable aléatoire,
  • les U-statistiques qui s'expriment sous la forme d'intégrales.

L'intérêt de cette différenciation est que chaque catégorie de statistique va avoir des caractéristiques propres.

Les estimateurs par noyau, et les moments empiriques d'une loi sont les M-statistiques.

Le moment empirique d'ordre k d'une loi calculé à partir d'un échantillon x_1,ldots,x_n est :

mu_n^{(k)}(X) = {1over n}sum_{i=1}^n x_i^k

Il s'agit d'un estimateur de E(Xk). Le moment centré d'ordre k est E((X − E(X))k). La variance est le moment centré d'ordre 2.

Exemple de statistiques : Moyenne et variance[modifier]

Considérons une population d'où l'on extrait un échantillon d'effectif n de façon purement aléatoire dont les éléments sont xi. Dans ce cas, la statistique descriptive qui estime la moyenne de la population est la moyenne empirique

m ={1 over n} sum_{i=1}^n x_i

La statistique qui estime la dispersion autour de la moyenne est la variance empirique

s^2 = {1 over n-1} sum_{i=1}^n (x_i - m)^2

La loi de probabilité associée à cette population possède une moyenne μ et une variance σ2 qui sont estimés par m et s2. Le problème est que, si on avait choisi un autre échantillon, on aurait trouvé des valeurs différentes pour ces estimations.

Ceci conduit à considérer les éléments, la moyenne empirique et la variance empirique comme des variables aléatoires. Ces variables suivent une loi de probabilité donnée. Une fois qu'on connait ces lois de probabilité, il est possible de construire les tests statistiques voulus pour étudier les paramètres d'intérêt ( μ et σ2 pour cet exemple).

Sous la condition d'indépendance entre les observations, on peut calculer la moyenne (ou espérance) et la variance de la moyenne empirique. On obtient :

E[m] = mu qquad qquad V[m] = sigma^2 / n

 


L'écart-type de la moyenne empirique vaut σ / √n. Si n devient grand, le théorème de la limite centrale enseigne que la moyenne empirique suit une loi normale caractérisée par la moyenne μ et cet écart-type. Ce résultat reste valable quelle que soit la taille de l'échantillon lorsque la loi de probabilité assignée à la population est normale. Dans ce dernier cas, particulièrement important en pratique, on montre également que (n-1) s2 / σ2 suit une loi de χ2 à n-1 degrés de liberté.

Estimation[modifier]

Ces résultats s’interprètent directement en termes d’estimation.

  • La moyenne empirique et la variance empirique fournissent des estimations de la moyenne et de la variance de la population.
  • Ces estimations sont convergentes car leurs variances tendent vers zéro lorsque la taille de l’échantillon s’accroît indéfiniment.
  • Elles sont non biaisées car leur limite est égale à la valeur à estimer.

Le problème d’estimation est relié aux intervalles de confiance. L’idée est de fournir une estimation d’un paramètre accompagnée d’une idée de sa précision liée aux fluctuations échantillonnales.

Voici un exemple bien spécifique d’intervalle de confiance pour la moyenne.

Pour décrire le principe, considérons un exemple assez artificiel qui présente l’avantage de la simplicité : l’estimation de la moyenne (m) d’une population supposée normale dont nous connaîtrions l’écart-type (σ). D’après le paragraphe précédent, la moyenne empirique suit également une loi normale dont l’écart-type est divisé par le facteur sqrt n.

Puisque les tables de probabilités de la loi normale sont connues, nous pouvons déterminer qu’un intervalle centré autour de la moyenne empirique aura x % de chance de contenir la vraie moyenne. En pratique, x est souvent fixé à 95. Lorsqu’on fixe x (à 95 par exemple), on détermine la longueur de l’intervalle de confiance simplement par connaissance de la loi normale. Voici l’intervalle de confiance à 95 % pour ce cas très précis.

 [m - {{1.96 sigma}over sqrt n} ; m + {{1.96 sigma}over sqrt n}]

voir aussi loi de Student.

Tests d'hypothèses[modifier]

Notion générale de test d'hypothèse statistique[modifier]

Une hypothèse statistique concerne les paramètres issue d'une ou plusieurs populations. On ne peut pas la vérifier mais seulement la rejeter lorsque les observations paraissent en contradiction avec elle. Nous concluerons que la valeur observée (à partir de l'échantillon) est très peu probable dans le cadre de l'hypothèse (qui concerne la population).

La première étape consiste à édicter l'hypothèse nulle. Souvent cette hypothèse sera ce qu'on croit faux. Exemple d'hypothèses nulles : Les deux moyennes issues de deux populations sont égales La corrélation entre deux variables est nulle Il n'y a pas de lien entre l'âge et l'acuité visuelle etc.

L'hypothèse nulle concerne les paramètres (valeurs vraies) de la population.

Pour chaque test statistique, il y a une mesure ou statistique précise (selon le paramètre qui nous intéresse) qui suit une loi de probabilité connue. Cette statistique peut être vue comme une mesure entre ce qu'on observe dans l'échantillon et ce qu'on postule dans la population (hypothèse nulle). Plus cette mesure sera grande, plus sa probabilité d'occurrence sera petite. Si cette probabilité d'occurrence est trop petite, on aura tendance à rejeter l'hypothèse nulle et donc conclure que l'hypothèse nulle est fausse.

Test paramétrique[modifier]

Se dit des tests qui présupposent que les variables à étudier suivent une certaine distribution décrite par des paramètres. De nombreux tests paramétriques concernent des variables qui suivent la loi normale. Les tests t pour échantillons indépendants ou appariés, les ANOVA, la régression multiple, etc.

Test du χ²[modifier]

Voici l'exemple d'un test qui utilise la loi du χ². Cependant, une multitude de tests utilisent cette loi de probabilité: (Mc Nemar, tests d'adéquation de modèles,tests d'adéquation à une distribution etc...)

Exemple :

On se demande si un échantillon extrait d'une population correspond raisonnablement à une loi de probabilité hypothétique.

L'échantillon d'effectif n est divisé en k classes d'effectifs ni comme pour la construction d'un histogramme, avec une différence : il est possible d'utiliser des classes de largeur variable, c'est même recommandé pour éviter qu'elles soient trop petites. Avec cette précaution, le théorème de la limite centrale dans sa version multidimensionnelle indique que le vecteur des effectifs (n1,...,nk) se comporte approximativement comme un vecteur gaussien.

La loi de probabilité étant donnée d'autre part, elle permet d'assigner à chaque classe une probabilité pi. Dans ces conditions l'expression

sum_{i=1}^k {{(n_i - n p_i)^2} over {n p_i}}

qui représente d'une certaine manière la distance entre les données empiriques et la loi de probabilité supposée, suit une loi de probabilité de χ2 à k − 1 degrés de liberté.

Les tables de χ2 permettent de déterminer s'il y a lieu de rejeter l'hypothèse en prenant le risque, fixé à l'avance, de se tromper.

Si on considère le cas d'une loi de probabilité dont les paramètres (en général moyenne et écart-type) sont inconnus, la minimisation du χ2 par rapport à ces paramètres fournit une estimation de ceux-ci.

Références[modifier]

Voir aussi[modifier]

 

Sommaire

 [masquer]

09:01 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Morphologie mathématique

Morphologie mathématique

Source : http://fr.wikipedia.org/wiki/Morphologie_math%C3%A9matique

Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Page d'aide sur l'homonymie Pour les articles homonymes, voir Morphologie.
Une forme (en bleu), sa dilatation morphologique (en vert), et son érosion morphologique (en jaune) par un élément structurant en forme de diamant

La morphologie mathématique est une branche des mathématiques présentant des liens forts avec l'algèbre, la théorie des treillis, latopologie et les probabilités.

Le développement de la morphologie mathématique a été inspiré par des problèmes de traitement d'images, domaine qui constitue son principal champ d'application. Elle fournit en particulier des outils de filtrage, segmentation, quantification et modélisation d'images.

Aperçu général[modifier]

Une des idées de base de la morphologie mathématique est d'étudier ou de traiter un ensemble à l'aide d'un autre ensemble, appelé élément structurant, qui sert de sonde. A chaque position de l'élément structurant, on regarde s'il touche ou s'il est inclus dans l'ensemble initial. En fonction de la réponse, on construit un ensemble de sortie. On obtient ainsi des opérateurs de base qui sont relativement intuitifs.

Des propriétés que l'on retrouve souvent dans les opérateurs morphologiques sont :

Ceci implique en particulier une perte d'information ; bien utilisés, ces opérateurs permettent d'éliminer des structures ne respectant pas certains critères, comme par exemple de largeur ou de volume.

La morphologie mathématique s'intéresse aussi aux ensembles et aux fonctions aléatoires.

Le principal domaine d'application de la morphologie mathématique est le traitement d'images. Elle fournit, en particulier, des outils de filtrage, de segmentation et de quantification. Depuis son apparition, en 1964, elle connaît un succès grandissant et désormais contribue à garnir la boite à outils de tout traiteur d'images.

Bref historique[modifier]

La morphologie mathématique a été inventée en 1964 par Georges Matheron et Jean Serra dans les laboratoires de Mines ParisTech. Son développement a toujours été fortement motivé par des applications industrielles. Dans un premier temps, il s'est agi de répondre à des problèmes dans le domaine de l'exploitation minière, mais très vite ses champs d'applications se sont diversifiés : biologie, imagerie médicale, sciences des matériaux, vision industrielle, multimédia, télédétection et géophysique constituent quelques exemples de domaines dans lesquels la morphologie mathématique a apporté une contribution importante.

La morphologie mathématique reste un domaine actif de recherche. En témoignent les nombreuses publications scientifiques sur le sujet, ainsi que les symposiums internationaux sur la morphologie mathématique qui ont lieu tous les deux ou trois ans.

Quelques exemples de thèmes de recherche actuels:

  • Ligne de partage des eaux : parallélisation, approche topologique, hiérarchisation.
  • Extension de la morphologie mathématique à des fonctions vectorielles (images en couleurs, images multi-spectrales, etc.)

Opérateurs de base[modifier]

La morphologie mathématique peut être développée dans le cadre abstrait de la théorie des treillis. Cependant, une présentation plus pratique, visant un utilisateur potentiel d'outils de traitement d'images, plutôt qu'un mathématicien, est ici adoptée.

Cas ensembliste[modifier]

Plaçons nous dans E=Z^2, souvent utilisé comme modélisation du support des images binaires à deux dimensions, même si tout ce qui est présenté dans cette section reste valable dans R^d, où d est un entier strictement positif. Soit B un sous-ensemble de E, appelé élément structurant. Si x est un élément de E, alors nous noterons Bx l'ensemble Btranslaté de x  :

B_x = {b+x mid b in B}

L'élément structurant joue en quelque sorte le rôle de modèle local, ou de sonde. Il est promené partout sur l'image à traiter, et à chaque position on étudie sa relation avec l'image binaire, considérée comme un ensemble. Ces relations peuvent être du type « est inclus dans l'ensemble », ou « touche l'ensemble », par exemple.

Les éléments structurants les plus classiquement utilisés sont la croix, constituée de l'origine et des quatre points les plus proches, et le carré, constitué de l'origine et des huit points les plus proches. Ces deux éléments structurants correspondent respectivement à deux définitions possibles du voisinage ou de la connexité de l'image.

On introduit aussi le symétrique d'un ensemble, noté  breve{B}  :

breve{B} = {-b mid b in B}

Si B est symétrique, on a breve{B}=B.

Dilatation et érosion[modifier]

Soit X un sous-ensemble de E. La dilatation morphologique avec l'élément structurant B est définie comme la somme de Minkowski1

delta_B(X) = X oplus B = {x + b mid b in B, x in X} = cup_{x in X} B_x

Une autre formulation plus intuitive est :

delta_B(X) = {x mid breve{B}_x cap{X} neq empty }

La dilatation morphologique n'est, en général, pas inversible. L'opération qui en quelque sorte tente de produire l'inverse de la dilatation est l'érosion morphologique:

epsilon_B(X) = {x mid B_x subset X }

La dilatation et l'érosion sont les opérateurs de base de la morphologie mathématique. Pratiquement tous les autres peuvent être définis à l'aide de ceux-ci, en utilisant des compositions de fonctions et des opérations ensemblistes.

Transformation en tout ou rien[modifier]

On peut aussi prendre deux éléments structurants A et B pour définir des transformations. Si on demande en chaque point x à A d'être à l'extérieur de l'ensemble et à B à l'intérieur on obtient la transformation en tout ou rien (hit or miss transform en anglais) :

eta(X) = { x mid A_x subset X^c ; B_x subset X }

où Ac désigne le complémentaire de l'ensemble A. Cette transformation permet de détecter certaines configurations précises de pixels. En ajoutant le résultat de la transformation à l'ensemble initial on obtient un épaississement:

operatorname{ep}(X) = X cup eta(X)

en enlevant le résultat de l'ensemble initial on obtient un amincissement:

operatorname{aminc}(X) = X - eta(X)

En prenant des suites d'amincissements, on peut réduire progressivement l'ensemble initial (comme si on l'épluchait). De cette façon on peut calculer différents types de squelettes, dont des squelettes homotopiques.

Ouverture et fermeture[modifier]

La composition d'une dilatation morphologique avec l'érosion par le même élément structurant ne produit pas, en général, l'identité, mais deux autres opérateurs morphologiques, l'ouverture morphologique:

gamma_B(X) = X circ B = delta_B epsilon_B (X)

et la fermeture morphologique:

phi_B(X) = X bullet B = epsilon_B delta_B (X)

L'ouverture peut être caractérisée géométriquement: elle donne l'union de tous les Bx inclus dans X. Ainsi, la forme de l'élément structurant permet de choisir les structures qui peuvent le contenir.

La fermeture est le dual de l'ouverture: la fermeture du complémentaire d'un ensemble est égale au complémentaire de l'ouverture de cet ensemble.

La fermeture et l'ouverture sont des opérations croissantes et idempotentes, deux propriétés qui définissent les filtres morphologiques. La fermeture est extensive (X subset phi(X)), et l'ouverture est anti-extensive(gamma(X) subset X).

Extension aux fonctions[modifier]

Une image à niveaux de gris peut être modélisée comme une fonction de Z^2 dans Z. Soit f une fonction appartenant à cet ensemble. On a alors :

delta_B(f) = sup{f_b mid b in B}
epsilon_B(f) = inf{f_b mid -b in B }

L'ouverture et la fermeture de fonctions s'obtiennent comme dans le cas ensembliste :

gamma_B(f) = delta_B,epsilon_B (f)
phi_B(f) = epsilon_B,delta_B (f)

L'ouverture et la fermeture morphologiques constituent déjà des outils intéressants de filtrage d'images. Cependant, ils peuvent modifier le contour des objets, propriété qui peut être malvenue. Les opérateurs par reconstruction et plus généralement les nivellements, introduits plus loin, permettent de pallier cet inconvénient.

Epaississements et amincissements ne sont pas, en général, des opérateurs croissants. Par conséquent, leur application aux fonctions (en pratique, aux images à niveaux de gris) n'est pas triviale. Plusieurs extensions ont été proposées dans la littérature.

Exemple d'utilisation : détection de contours[modifier]

La détection de contours représente une tâche importante en traitement d'images. La morphologie mathématique propose des outils non-linéaires de détection de contours, comme le gradient et le laplacien morphologiques.

Le gradient morphologique, aussi appelé gradient de Beucher du nom de son inventeur, est défini par:

operatorname{grad}_B(X) = delta_B(X) - epsilon_B(X)

Il correspond, en quelque sorte, à la version morphologique du module du gradient euclidien. Le laplacien morphologique est construit de façon analogue:

operatorname{Lap}_B(X) = delta_B(X) + epsilon_B(X) - 2I

où I correspond à l'opérateur identité.

Opérateurs connexes, nivellements[modifier]

Segmentation[modifier]

Segmenter une image à niveaux de gris consiste à produire une partition du support de l'image, de façon à ce que les régions de la partition correspondent avec les objets présents dans l'image.

Les filtres morphologiques constituent une aide précieuse dans un processus de segmentation. En particulier, les nivellements permettent de filtrer les images tout en préservant les contours importants, ce qui simplifie l'opération de segmentation proprement dite. Dans certains cas, un filtrage important peut de lui-même produire une partition pertinente. Mais l'outil morphologique le plus connu en segmentation d'images est la ligne de partage des eaux.

Il existe plusieurs algorithmes de segmentation par ligne de partage des eaux. L'idée de base consiste à simuler une inondation de l'image, vue comme un relief topographique où le niveau de gris correspond à l'altitude. Les frontières entre régions de la partition ont alors tendance à se placer sur les lignes de crête. Typiquement, on applique cet opérateur au gradient de l'image (norme du gradient euclidien, ou gradient morphologique) que l'on cherche à segmenter, et par conséquent les frontières se placent de façon privilégiée sur les lignes de gradient élevé.

Plusieurs algorithmes de calcul de ligne de partage des eaux ont une complexité linéaire en fonction du nombre de pixels de l'image, ce qui les place parmi les méthodes de segmentation les plus rapides.

Ensembles aléatoires[modifier]

Quantification[modifier]

Notes[modifier]

  1.  La dilation est aussi souvent définie en utilisant le symétrique de l'élément structurant:
    delta_B(X) = X oplus breve{B}
    On gagne alors la dualité entre érosion et dilatation, mais on perd l'adjonction. Il faut alors modifier les définitions de l'ouverture et de la fermeture morphologiques en conséquence. Lorsque l'élément structurant est symétrique, cette distinction n'a pas d'importance.

Bibliographie[modifier]

En français

  • Georges Matheron, Eléments pour une théorie des milieux poreux, Masson, Paris, 1967.
  • Michel Schmitt et Juliette Mattioli, Morphologie Mathématique, Masson, Paris, 1993.
  • Laurent Najman et Hugues Talbot (dir.), Morphologie Mathématique 1 : approches déterministes, Hermès - Lavoisier, Paris, 2008

En anglais

  • Georges Matheron, Random Sets and Integral Geometry, Wiley, New York, 1975.
  • Georges Matheron, Estimating and Choosing, Springer–Verlag Berlin, Heidelberg, 1989.
  • Jean Serra, Image Analysis and Mathematical Morphology (vol.1), Academic Press, Londres, 1982.
  • Jean Serra (dir.), Image Analysis and Mathematical Morphology (Vol.2) : Theoretical Advances, Academic Press, Londres, 1988.
  • Charles R. Giardina et Edward R. Dougherty, Morphological Methods in Image and Signal Procesing, Prentice-Hall, New Jersey, 1988.
  • H.J.A.M Heijmans, Morphological image operators, Academic Press, coll. "Advances in Electronics and Electron Physics", Boston 1994.
  • Pierre Soille, Morphological image analysis, Springer-Verlag Berlin, Heidelberg, 1999 (2nd edition 2003).

Articles connexes[modifier]

Liens externes[modifier]

Sommaire

 [masquer]

09:00 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Table des symboles mathématiques

Table des symboles mathématiques

Source : http://fr.wikipedia.org/wiki/Table_des_symboles_math%C3%A...

Cette page contient des caractères spéciaux.
Si certains caractères de cet article s’affichent mal (carrés vides, points d’interrogation, etc.), consultez la page d’aide Unicode.

En mathématiques, certains symboles sont fréquemment utilisés. Le tableau suivant représente une aide pour ceux qui ne sont pas habitués à ces symboles. Dans la table, sont précisés pour chaque symbole, le nom, la prononciation et la branche des mathématiques dans laquelle le symbole est principalement utilisé. En plus, la quatrième colonne contient une définition informelle et la dernière donne un court exemple apportant une explication sur l'utilisation du symbole.

Du fait de leur utilisation répandue, il existe un grand nombre de façons différentes de représenter certains symboles. Ce tableau ne saurait prétendre à l'exhaustivité.

Logique[modifier]

Autres branches[modifier]

Autres symboles mathématiques[modifier]

D'autres symboles sont définis par Unicode dans les plages suivantes:

Liens externes[modifier]

Sommaire

 [masquer]
Symbole
(TeX)
Symbole
(utf8)
NomSignificationExemples
Prononciation
Branche
Rightarrow, Implication A Rightarrow B, signifie « si A est vraie, alors B est vraie aussi ; si A est fausse alors on ne peut rien dire de la vérité de B ».
Parfois, on utilise rightarrow, au lieu de Rightarrow,
x = 2 Rightarrow x^2 = 4, est vraie, mais x^2 = 4 Rightarrow x = 2,est fausse (puisque x=−2 est aussi une solution).
« implique » ou « si... alors »
Logique
Leftrightarrow Équivalence logique A Leftrightarrow B signifie : « A est vraie quand B est vraie et A est fausse quand B est fausse ». x + 5 = y + 2 Leftrightarrow x + 3 = y,
« si et seulement si » ou « équivaut à »
Logique
wedge Conjonction logique A wedge B est vraie si et seulement si A et B sont vraies (donc fausse si A ou B ou A et B sont fausses) (n>2)wedge (n<4)Leftrightarrow (n=3), si n est un entier naturel
« et »
Logique
vee Disjonction logique Avee B est vraie quand A ou B (ou les deux) sont vraies et fausse quand les deux sont fausses. (nleqslant 2)vee (ngeqslant 4)Leftrightarrow nne 3, si n est un entier naturel
« ou »
Logique
neg ¬ Négation logique neg A est vraie quand A est fausse et fausse quand A est vraie neg (Awedge B)Leftrightarrow (neg A)vee (neg B)
xnotin SLeftrightarrow neg(xin S)
« non »
Logique
forall Quantificateur universel forall x, P(x) signifie : « P(x) est vraie pour tout x ». forall nin mathbb N, n^2geqslant n
« Quel que soit », « pour tout »
Logique
exists Quantificateur existentiel exists x, P(x) signifie : « il existe au moins un x tel que P(x) soit vraie » exists nin N, n+5=2times n (5 répond en effet à la question)
« il existe au moins un ... tel que »
Logique
Symbole
(TeX)
Symbole
(utf8)
NomSignificationExemples
Prononciation
Branche
! !,  ! Factorielle n! est le produit : 1 × 2 × ... × n. 6! = 1 × 2 × 3 × 4 × 5 × 6 = 720
Factorielle (de) n.
Combinatoire
sim ~ Relation d'équivalence
« ... est équivalent à ... »
Théorie des ensembles
Équivalence an ~ bn signifie que les suites an et bn sont équivalentes sin(1/n) ~ 1/n (lorsque n tend vers l'infini)
« ... est équivalent à ... »
Analyse
Distribution de probabilité X ~ D, signifie : « la variable aléatoire X a la distribution de probabilité D » X ~ N(0,1), la distribution ou loi normale
« ... a la distribution de probabilité ... »
Statistiques
=, = Égalité x = y signifie : « x et y désignent le même objet mathématique » 1 + 2 = 6 − 3
« est égal à »
toute branche
not= Non-égalité xnot=y signifie : « x et y ne désignent pas le même objet mathématique » 2 ≠ 3
« n'est pas égal à »,
« est différent de »
toute branche
equiv Congruence
« identique à »,
« congru à »
Arithmétique modulaire
propto Proportionnalité x propto y signifie : « x est proportionnel à y » si y=2x, alors y propto x
« est proportionnel à »
toute branche
: =
:Leftrightarrow
 :=
:⇔
Définition x: = y signifie : « x est défini comme étant un autre nom de y »
P :Leftrightarrow Q signifie : « P est définie comme étant logiquement équivalente à Q »
cosh (x) := {1over 2}left(e^x+e^{-x}right) (cosinus hyperbolique)
A oplus B :Leftrightarrow (Avee B)wedge neg (Awedge B)(OU exclusif)
« est défini comme »
le second est très peu utilisé
{,} { , } Ensemble en extension {a,b,c} désigne l'ensemble dont les éléments sont ab et c mathbb N = {0,1,2ldots } (ensemble des entiers naturels)
« L'ensemble des ... »
Théorie des ensembles
{ / }
{;}
{}
{ / }
{ ; }
{ }
Construction d'ensemble en compréhension {x / P(x)} désigne l'ensemble de tous les x qui vérifient P(x).
{x / P(x)} est le même ensemble que {x;P(x)} ou encore que {xP(x)}
{nin mathbb N / n^2<20} = {0, 1, 2, 3, 4}
« L'ensemble de tous les ... qui vérifient ... »
Théorie des ensembles
emptyset
{}

{}
Ensemble vide {} et emptyset désignent l'ensemble vide, l'ensemble qui n'a pas d'élément {nin mathbb N / 1<n^2<4} = emptyset
« Ensemble vide »
Théorie des ensembles
in
notin

Appartenance (ou non) à un ensemble ain S signifie : « a est un élément de l'ensemble S »
anotin S signifie : « a n'est pas élément de S »
2in mathbb N
{1over 2}notin mathbb N
« appartient à », « est élément de », « est dans ».
« n'appartient pas », « n'est pas élément de », « n'est pas dans »
Théorie des ensembles
subseteq
subset

Sous-ensemble Asubseteq B signifie : « tout élément de A est aussi un élément de B »
Asubset B a généralement la même signification que Asubseteq B. Signalons toutefois que pour certains, les canadiens français notamment, le symbole subset représente l'inclusion stricte subsetneq.
(Acap B) subseteq A
mathbb Qsubseteq mathbb R
« est un sous-ensemble (une partie) de ... », « est inclus dans... »
Théorie des ensembles
subsetneq Sous-ensemble strict, partie stricte Asubsetneq B signifie Asubseteq B et Ane B (ou Asubset B et Ane B quand subsetreprésente l'inclusion au sens large). mathbb Nsubsetneq mathbb Q
« est un sous-ensemble strict de ... », « est strictement inclus dans... »
Théorie des ensembles
supseteq
supset

Sur-ensemble Asupseteq B est une autre façon d'écrire Bsubseteq A.
Asupset B est une autre façon d'écrire Bsubset A
A supseteq (Acap B)
mathbb R supseteq mathbb Q
« est un sur-ensemble de ... », « contient... »
Théorie des ensembles
supsetneq Sur-ensemble strict Asupsetneq B a le même sens que Bsubsetneq A. mathbb Q supsetneq mathbb N
« est un sur-ensemble strict de ... », « contient strictement... »
Théorie des ensembles
cup Réunion Acup B désigne l'ensemble qui contient tous les éléments de A et de B et seulement ceux-là Asubseteq BLeftrightarrow Acup B=B
« Réunion de ... et de ... », « ... union ... »
Théorie des ensembles
cap Intersection Acap B désigne l'ensemble des éléments qui appartiennent à la fois à A et à B, c'est-à-dire les éléments qu'ont les ensembles A et B en commun {xin R / x^2=1}cap mathbb N = {1}
« Intersection de ... et de ... », « ... inter ... »
Théorie des ensembles
setminus Différence Asetminus B désigne l'ensemble de tous les éléments de A qui n'appartiennent pas à B {1,2,3,4}setminus {3,4,5,6} = {1,2}
« différence de ... et ... », « ... moins ... », « ... privé de ... »
Théorie des ensembles
()
[]
{}
( )
[ ]
{ }
Fonction application ; regroupement f(x) désigne l'image de l'élément x par la fonction f
Regroupement: les opérations placées à l'intérieur sont effectuées en premier
Si f est définie par f(x) = x2, alors f(3) = 32 = 9
(8/4)/2 = 2/2 = 1, mais 8/(4/2) = 8/2 = 4
« de »
toute branche
to Fonction f:Xto Y signifie que la fonction va de X dans Y, ou a pour ensemble de définition X et pour ensemble d'arrivée Y, ou a pour origine X et pour but Y. Considérons la fonction f:mathbb Zto mathbb Z définie par f(x) = x2
« de ... vers », « de ... dans », « de ... sur ... »
toute branche
mapsto Fonction x mapsto f(x) signifie que la variable x a pour image f(x) Au lieu d'écrire que f est définie par f(x) = x2, nous pouvons écrire " Soit la fonction fcolon x mapsto x^2 "
« est envoyé sur », « a pour image »
toute branche
mathbb N Ensemble des entiers naturels mathbb N représente {0, 1, 2, 3, ldots } {left|aright| / ain mathbb Z}=mathbb N
« N »
Nombre
mathbb N ^{*} * « N privé de zéro » mathbb N ^{*} = mathbb N setminus { 0 } = {1, 2, 3, ldots }
mathbb Z Ensemble des entiers relatifs mathbb Z représente {ldots -3, -2, -1, 0, 1, 2, 3 ldots } {a, -a / a in mathbb N}=mathbb Z
« Z »
Nombre
mathbb D Ensemble des nombres décimaux mathbb D représente left{{a over 10^n} / ain mathbb Z wedge nin mathbb Nright} 0,66 in mathbb D
{2 over 3} notin mathbb D
« D »
Nombre
mathbb Q Ensemble des nombres rationnels mathbb Q représente left{{pover q} / pin mathbb Z wedge qin mathbb Zwedge qne 0right} 3,14in mathbb Q
pi notin mathbb Q
« Q »
Nombre
mathbb Q ^{+} + mathbb Q ^{+} = { x in mathbb Q, x geqslant 0 }
R Ensemble des nombres réels R représente l'ensemble des limites des suites de Cauchy de mathbb Q pi in R
i notin R (i étant le nombre complexe tel que i2= − 1)
« R »
Nombre
mathbb C Ensemble des nombres complexes mathbb C représente {a+bcdot i / ain R wedge bin R} iin mathbb C
« C »
Nombre
<,
>,
<
>
Comparaison x < y signifie que x est strictement inférieur à y (ou x est inférieur à y).
x > y signifie que x est strictement supérieur à y (ou x est supérieur à y).
x<yLeftrightarrow y>x
« est strictement inférieur à », « est strictement supérieur à »
Relation d'ordre
leqslant
geqslant
≤ ou ⩽
≥ ou ⩾
Comparaison xleqslant y signifie que x est inférieur ou égal à y.
xgeqslant y signifie que x est supérieur ou égal à y.
xgeqslant 1Rightarrow x^2geqslant x
« est inférieur ou égal à » ; « est supérieur ou égal à »
Relation d'ordre
+, + Addition 4 + 6 = 10 signifie que si quatre est ajouté à six, alors la somme ou le résultat est égal à dix. 43 + 65 = 108
2 + 7 = 9
« plus »
Arithmétique
-, - Soustraction 9 - 4 = 5 signifie que si quatre est ôté (retranché) de neuf, alors le résultat est égal à 5. Le signe moins peut aussi être placé immédiatement à gauche d'un nombre pour le rendre négatif. Par exemple, 5 + (-3) = 2 signifie que si cinq et le nombre négatif moins trois, sont ajoutés, alors le résultat est égal à deux. 87 - 36 = 51
« moins »
Arithmétique
times × Multiplication 3 × 2 = 6 signifie que si trois est multiplié par deux, alors le produit est égal à six. 23 × 11 = 253
« fois »
Arithmétique
cdot /cdot ÷ Division 8 ÷ 4 = 2 signifie que huit divisé par quatre est égal à deux. 100 ÷ 4 = 25
« divisé par »
Arithmétique
{cdot over cdot} / fraction {9 over 4} représente la fraction neuf quarts. / peut être aussi utilisé pour représenter la division. {100 over 25} = 4
« sur »
Arithmétique Nombre
approx et simeq ≈ ou ≃ Approximation eapprox 2,718 à 10-3 près signifie qu'une valeur approchée de e à 10-3 près est 2,718. pi approx 3,1415926 à 10-7 près.
« approximativement égal à »
Nombre réel
sqrt{ } Racine carrée sqrt x représente le nombre réel positif dont le carré est égal à x. sqrt 4=2
sqrt {x^2}= left|xright|
« Racine carrée de ... »
Nombre
infty Infini +infty et -infty sont des éléments de la droite réelle achevéeinfty apparaît dans les calculs de limitesinfty est un point adjoint au plan complexe pour le rendre isomorphe à une sphère (sphère de Riemann) lim_{xto 0} {1over |x|}= infty
« Infini »
Nombre
pi, π π π est le rapport de la circonférence d'un cercle à son diamètre. A=pi cdot r^2 est l'aire d'un disque de rayon r
« Pi »
Géométrie euclidienne
varphi ϕ ou φ « nombre d'or » varphi = frac{1 + sqrt{5}}{2} simeq 1,618

 

e e « e » e est la base des logarithmes naturels. exp(1) = e ≈ 2,718
left|cdot right| | | Valeur absolue oumodule d'un nombre complexe ou cardinal d'un ensemble left|xright| désigne la valeur absolue de x (ou le module de x).
A | désigne le cardinal de l'ensemble A et représente, lorsque A est fini, le nombre d'éléments de A.
left|a+bcdot iright|=sqrt {a^2+b^2}
« Valeur absolue de... », « module de ... » ; « cardinal de ... »
Nombre ou Théorie des ensembles
sum Somme sum_{k=1}^n a_k se lit « somme de ak pour k de 1 à n », et représente a1 + a2 + ... + an sum_{k=1}^4 k^2
= 12 + 22 + 32 + 42
= 30
« Somme de ... pour ... de ... à ... »
Arithmétique
prod Produit prod_{k=1}^n a_k se lit « produit de ak pour k de 1 à n », et représente : a1·a2·...·an prod_{k=1}^4 (k+2)
=3times 4times 5times 6=360
« Produit de .. pour .. de .. à .. »
Arithmétique
int dx ∫,∬,∭,∮,∯ ou ∰ Intégrale int_a^b f(x) dx se lit « Intégrale de a à b de f de x dx », et représente l'aire algébrique du domaine délimité par la courbe représentative de f, l'axe des abscisses et les droites d'équation x = a et x = b
int f(x) dx se lit « intégrale de f de x dx, et représente une primitive de f
int_0^b x^2 dx = b^3/3
int x^2 dx = x^3/3+C (C désignant une constante)
« Intégrale (de .. à ..) de .. d-.. »
Analyse
leftlfloor x rightrfloor leftlfloor  rightrfloor Partie entière leftlfloor x rightrfloor se lit « Partie entière de x», et représente la partie entière inférieure de x leftlfloor 2,9 rightrfloor = 2

leftlfloor 2,3 rightrfloor = 2
« Partie entière de .. »
Nombre
leftlceil x rightrceil leftlceil  rightrceil Partie entière par excès leftlceil x rightrceil se lit « Partie entière par excès de x », et représente l'entier supérieur à x leftlceil 2,9 rightrceil = 3

leftlceil 2,3 rightrceil = 3
« Partie entière par excès de .. »
Nombre
PlageNom officiel du bloc
2000 – 206F Ponctuation générale
2070 – 209F Exposants et indices
20D0 – 20FF Signes combinatoires pour symboles
2150 – 218F Formes numérales
2190 – 21FF Flèches
2200 – 22FF Opérateurs mathématiques
2300 – 23FF Signes techniques divers (2336 – 237A = symboles APL)
25A0 – 25FF Formes géométriques
2600 – 26FF Symboles divers
2700 – 27BF Casseau
27C0 – 27EF Divers symboles mathématiques - A
27F0 – 27FF Supplément A de flèches
2900 – 297F Supplément B de flèches
2980 – 29FF Divers symboles mathématiques-B
2A00 – 2AFF Opérateurs mathématiques supplémentaires
2B00 – 2BFF Divers symboles et flèches
3000 – 303F Symboles et ponctuation Chinois, japonais et coréen (CJC)
10100 – 1013F Nombres égéens
1D400 – 1D7FF Symboles mathématiques alphanumériques
v · d · m

Ponctuation

Accolades ( { } ) · Parenthèses ( ( ) ) 
Chevrons ( < > ) · Crochets ( [ ] ) 
Guillemets ( « » ou “ ” ) 
Apostrophe ( ' ou ’ ) · Virgule ( , ) 
Barre oblique ( / ), inversée (  ) 
Espace (   ) · Point médian ( · ) 
Espace insécable (   ) 
Point ( . ) · Points de suspension ( … ) 
Point-virgule ( ; ) · Deux-points ( : ) 
Point d’exclamation ( ! ), d’interrogation ( ? ) 
Trait d’union ( - ) · Tiret ( – )

Ponctuation non standard

Point exclarrogatif ( ‽ )
Point d’ironie ( Point d’ironie, image miroir du point d'interrogation ) 

Diacritique

Accent aigu ( ´ ), double (  ̋  ) 
Accent grave ( ` ), double (  ̏  )
Accent circonflexe ( ^ ) · Hatchek ( ˇ ) 
Barre inscrite ( - ) · Brève ( ˘ ) 
Cédille ( ¸ ) · Macron ( ˉ ) · Ogonek ( ˛ ) 
Corne (  ̛  ) · Crochet en chef (  ̉ ) 
Point souscrit ( ִ ), suscrit ( ˙ ) 
Rond en chef ( ˚ ) · Tilde ( ~ ) 
Tréma ( ¨ ) · Umlaut ( ˝ )

Symbole typographique

Arrobase ( @ ) · Esperluette ( & ) 
Astérisque ( * ) · Astérisme ( ⁂ ) 
Barre verticale ( | ou ¦ ) 
Cœur floral (❦❧ ) 
Croisillon ( # ) · Numéro ( № ) 
Copyright ( © )   Marque ( ® )  
Degré ( ° ) · Celsius ( ℃ ) 
Prime : minute, seconde et tierce ( ′ ″ ‴ ) 
Obèle ( † et ‡ ) · Paragraphe ( § ) 
Par conséquent ( ∴ ) · Parce que ( ∵ ) 
Pied-de-mouche ( ¶ ) · Puce ( • )  
Tiret bas ( _ ) 

Symbole mathématique

Plus et moins ( + − ) · Plus ou moins ( ± ) 
Multiplié ( × ) · Divisé ( ÷ ) · Égal ( = ≠ ) 
Pour cent ( % ) · Pour mille ( ‰ )
Carré ( ² ) · Cube ( ³ ) · Micro ( µ )

Autres symboles

Symboles typographiques japonais
Symboles monétaires

08:59 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Modèle mathématique

Modèle mathématique

Page d'aide sur l'homonymie Pour les articles homonymes, voir modèle (homonymie).

Cet article ne cite pas suffisamment ses sources (septembre 2010).
Si vous connaissez le thème traité, merci d'indiquer les passages à sourcer avec {{Référence souhaitée}} ou, mieux, incluez les références utiles en les liant aux notes de bas de page. (Modifier l'article)

Un modèle mathématique est une traduction de la réalité pour pouvoir lui appliquer les outils, les techniques et les théories mathématiques, puis généralement, en sens inverse, la traduction des résultats mathématiques obtenus en prédictions ou opérations dans le monde réel. Le mot modélisation est aussi très utilisé dans le monde du graphisme, où l'on modélise des objets en 3D ou en 2D.

Généralités[modifier]

Multiplicité de buts[modifier]

Un modèle se rapporte toujours à ce qu’on espère en déduire. Un même objet, par exemple une souris, ne sera pas modélisé de la même façon selon que l'on s'intéresse à

  • ses performances intellectuelles ;
  • ses maladies et leurs soins, voire ceux d'un groupe d'animaux apparentés mais plus large (tous les mammifères dont l'Homme) ;
  • la façon de la dessiner de façon convaincante dans le cadre d'un jeu vidéo.

De même, un modèle n'est jamais parfait, ni totalement représentatif de la réalité : le choix des paramètres et des relations qui les lient éclaire la finalité. Au sein d’un même modèle, le choix des valeurs des paramètres peut permettre d’appréhender divers aspects, ou encore des réalités différentes.

Multiplicité des modélisations[modifier]

Même lorsque le but est fixé, il y a souvent plusieurs modèles possibles dont chacun présente des avantages spécifiques.

Dans toute modélisation, il y a un choix a priori de l’environnement mathématique servant à décrire l’ensemble des phénomènes. La formulation s'identifie rarement aux manifestations physiques réelles.

Ainsi en physique, il est commode d'utiliser un espace tridimensionnel euclidien, ou un espace « courbe », ou un espace à 4, 5, 11 ou 26 dimensions, ou un espace de Hilbert, etc. Bien qu'il soit généralement possible de montrer une grande proximité de ces différentes représentations, elles s'avèrent toutefois plus ou moins bien adaptées à la situation considérée. Ces formulations théoriques restent des modèles utiles pour appréhender la réalité, mais ils s'en distinguent. Par exemple, lorsqu'un physicien déclare que « l'univers est en expansion », il faut bien comprendre qu'il affirme implicitement que « par rapport à mon cadre mathématique, tout ce passe comme si... ». Un autre physicien peut affirmer que « l'univers n'est pas en expansion » : ils peuvent être parfaitement d'accord si les formulations mathématiques sont distinctes.

La même remarque s'applique à d'autres domaines, en particulier aux modèles économiques et comptables dont les résultats et les décisions qui en découlent ont des conséquences économiques et fiscales importantes : l'archétype de la modélisation économique étant le cadastre fiscal et les bases de la taxation immobilière, dont tout le monde sait bien qu'elles sont « fausses », c’est-à-dire qu'elle ne reflètent qu'imparfaitement la valeur réelle qui est censée servir de référence.

Tout ceci sans ignorer la réalité : bien qu'un modèle de génie civil pour la construction d'un pont garantisse la robustesse de l'ouvrage, il n'est pas exclu qu'il finisse par s'écrouler (par contre, si le modèle indique que telle variante est trop faible, il serait insensé de la réaliser ...).

Typologie de modèle : selon le sens de la modélisation[modifier]

La modélisation peut s'exercer

  • du modèle vers le réel : ce sont les modèles prédictifs

Ces modèles mathématiques sont utilisés pour anticiper des événements ou des situations, comme prévoir le temps avec la météo, estimer les prix potentiels des actifs financiers avec les modèles d'évaluation en finance, ou prévenir les épidémies. On parle de modèles prédictifs, dans lesquels des variables connues, dites « explicatives », vont être utilisées pour déterminer des variables inconnues, dites « à expliquer ».

  • du réel vers le modèle : ce sont les modèles descriptifs

Dans ce cas, les modèles servent à représenter des données historiques. On parle de modèles descriptifs. L'objectif est de rendre compte, de manière interprétable, d'une masse d'informations. L'archétype de ces modèles est la comptabilité : elle décrit de manière simplifiée les événements économiques réels en leur affectant un compte, c'est-à-dire une « étiquette » censée les caractériser. Ces comptes sont ensuite agrégés pour présenter de manière standard la situation économique des entreprises et des pays.

Les deux types de modèles sont parfaitement liés : une bonne prédiction suppose au moins la prédiction de la situation passée et actuelle, c’est-à-dire une bonne description. Inversement, une bonne description serait parfaitement vaine si elle ne servait pas au moins de diagnostic, ou de carte, pour identifier la conduite à tenir.

Un même modèle mathématique peut se trouver applicable à de nombreuses situations, n'ayant pas forcément un rapport évident. Par exemple, des générateurs de paysages sont capables de créer des formes réalistes d'objets aussi différents que des montagnes, des arbres, des rochers, de l'herbe, des coquillages ou des flocons de neige, avec un seul modèle général, alors même que les processus de croissance et de constructions de ses objets sont très divers. Si, au lieu de créer un nouveau modèle, on est capable de rapprocher un problème d'un ancien modèle connu, on obtient immédiatement une masse de données très utile. Une grande partie du travail est donc de reconnaître qu'un modèle connu s'applique, ou à étendre les propriétés connues d'une classe particulièrement utile de modèle (propriété qu'on pourra ensuite utiliser plus largement).

Les qualités d'un modèle[modifier]

En préliminaire, il est important de comprendre que la complexité mathématique n'est pas un critère suffisant pour juger si un modèle est pertinent ou non : il existe des classes de modèles qui font appel à des outils mathématiques complexes, tels la recherche opérationnelle ou la théorie des jeux ; d'autres classes, la comptabilité par exemple, sont d'un abord mathématique enfantin (additions, soustractions). Mais, à résultat comparable, c'est bien sûr le modèle le plus simple qui est préférable.

Un modèle est pertinent

  • s'il couvre bien le champ du problème réel
Ex. un modèle financier qui n'intégrerait pas le phénomène du troc ne serait pas utilisable pour évaluer les entreprises de l'ex-Europe de l'Est.
  • s'il permet d'obtenir le résultat escompté : description du phénomène avec le niveau de détail ou de synthèse souhaité, ou prévisions se révélant justes a posteriori.
  • dans le délai souhaité
On pense à la boutade qui promet des prévisions météo précises à une semaine mais qui demandent un mois de calcul.
  • accessoirement, s'il est réutilisable
L'investissement pour décrire un modèle est en général si important qu'il se justifie rarement sur une opération unique.

Comment créer un modèle ?[modifier]

Il n'est pas question dans un article si court de présenter une méthodologie applicable à toutes les situations (s'il en existe une !), mais quelques points essentiels.

1. Le point de départ est toujours une question qu'on se pose sur une situation future et/ou si complexe qu'on n'y trouve pas la réponse de manière évidente.

Ex. : mon entreprise est-elle viable ? Ce matériel vaut-il le prix demandé ? Ce médicament est-il efficace ? Que faut-il faire pour que la situation s'améliore ?

2. Pour trouver la réponse, il est nécessaire de limiter le champ du problème en recherchant les données qu'on imagine avoir un lien direct avec la question. Trop limiter fait courir le risque de ne pas modéliser un phénomène qui a du poids dans le contexte, mais trop ouvrir entraîne une dispersion des moyens et une accumulation de données non pertinentes qu'il faudra écarter en justifiant les choix. Cette étape est la plus délicate pour la qualité du modèle : elle est soumise aux a priori du modélisateur, à ses manques de connaissances — parfois de méthode — et aux moyens dont il dispose (temps, argent, accès aux données). Au cours de cette étape, on choisit le type de modèle général qu'on va utiliser, notamment en fonction des données dont on pense disposer.

3. Il faut ensuite construire le modèle :

    • filtrer les données afin d'en extraire les « bruits », ces irrégularités ou ces événements accessoires qui masquent l'essentiel ;
    • éventuellement, reconstituer les manquants, c'est-à-dire les objets qui manquent pour assurer la cohérence de l'ensemble (ex. le fonctionnement d'un paramètre dont on connaît l'existence mais sur lequel on ne dispose pas de données)

C'est là qu'interviennent les outils mathématiques et informatiques, qui permettent un filtrage et une construction avec un minimum de subjectivité en un minimum de temps.

4. Le « substrat » restant constitue le modèle, ensemble de règles ou d'équations. Il faut décrire ces règles le plus complètement possible : leur importance relative, les données en entrée et en sortie, les outils mathématiques utilisés, les étapes par lesquelles il faut passer, les points de contrôle.

5. La dernière étape consiste à valider le modèle : en appliquant aux données filtrées les règles du modèle, retrouve-t-on la situation initiale ? Si l'écart est trop important, il est nécessaire de se reposer la question des limites que l'on a fixées, ou de la pertinence des outils utilisés pour la modélisation.

 

Les principaux domaines d'applications[modifier]

  • chimie
  • physique
  • science de la vie. En agronomie : il existe des applications de la modélisation mathématique pour l'étude des systèmes de culture, des systèmes d'élevage. Certains travaux de modélisation sont à la base de la création d'outils opérationnels d'aide à la décision pour le conseil agricole.

Les outils mathématiques les plus courants[modifier]

Il s'agit essentiellement d'outils statistiques et de probabilités, de calculs différentiels (équation aux dérivées partielles et ordinaires). Plus précisément,

  • Pour les modèles prédictifs :
    • la projection, qui consiste à prédire la valeur d'une grandeur numérique continue à partir des valeurs passées, par exemple en utilisant les méthodes de régression (linéaire ou non) ;
  • Pour tous les modèles :
    • la classification, ou catégorisation, qui permet de situer une observation (événement ou individu) dans un nombre réduit de classes prédéfinies ;
    • la représentation graphique, qui donne une image visuelle ;
    • l'utilisation des variables centrées, où une variable est censée représenter toutes les autres (ex. la moyenne) ;
    • la corrélation, qui permet d'associer plusieurs variables quand elles ont un comportement commun ;
    • la clusterisation, qui consiste à présenter les observations par paquets les plus homogènes possibles (les clusters) ;
    • la réduction de dimensionnalité, qui consiste à créer, à partir d'un ensemble d'observations, un ensemble réduit d'observations (c'est-à-dire moins nombreuses) qui est réputé se comporter comme la population initiale.

Voir aussi[modifier]

Liens externes[modifier]

  • modélisation pour l'agriculture. Site du Réseau Modélisation et Logiciels d’intérêt commun appliqués à l’Agriculture. Ce réseau a pour vocation à organiser les échanges autour de la modélisation pour l'agriculture entre la recherche publique (notamment l'INRA), les instituts et centres techniques agricoles (ACTA) et l'enseignement.
  • Modèles qui n’existent pas toujours en Mathématiques Financière Cahiers de Recherche

Sommaire

 [masquer]

08:59 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Physique mathématique

Physique mathématique

 
Cet article est une ébauche concernant les mathématiques et la physique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

La physique mathématique est un domaine de recherche commun à la physique et aux mathématiques s'intéressant au développement des méthodes mathématiques spécifiques aux problèmes physiques ou plus généralement à l'application des mathématiques à la physique, et, à l'opposé, aux développement mathématiques que suscitent certains domaines de recherche en physique. Elle inclut notamment l'étude des systèmes dynamiques, des algèbres aux symétries particulières, des méthodes de décomposition en séries et des méthodes de résolution d'équations différentielles.

Introduction historique[modifier]

Au XVIIe siècle, le mathématicien et physicien Isaac Newton a développé de nouveaux outils de mathématiques pour résoudre des problèmes de physique (dont la question du mouvement des objets). Suivirent James Clerk MaxwellLord KelvinWilliam Rowan Hamilton.

David Hilbert développa la théorie des espaces de Hilbert pour résoudre les équations intégrales, théorie qui se trouve au centre aujourd'hui de la mécanique quantique. La relativité générale d'Einstein utilise les connaissances mathématiques en géométrie différentiellegéométrie riemannienne et géométrie lorentzienne.

 

08:58 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Espérance mathématique

Espérance mathématique

L'espérance mathématique d'une variable aléatoire est l'équivalent en probabilité de la moyenne d'une série statistique en statistiques. Elle se note E(X) et se lit espérance de X. C'est une valeur numérique permettant d'évaluer le résultat moyen d'une expérience aléatoire. Elle permet par exemple de mesurer le degré d'équité d'un jeu de hasard; elle est alors égale à la somme des gains (et des pertes) pondérés par la probabilité du gain (ou de la perte). Lorsque l'espérance est égale à 0, le jeu est dit équitable.

 

Définition[modifier]

Soit  scriptstyle X une variable aléatoire de l' espace probabilisé  scriptstyle (Omega, Sigma, P), vers  scriptstyle R (ou un espace mesurable  scriptstyle (E, mathcal{E})). Son espérance est définie par:

mathbb E(X) = int_{Omega}X, mathrm{d}P = int_{mathbb{R}}x, mathrm{d}P_X (où  scriptstyle  P_X  est la probabilité image).


Si la loi de probabilité de  scriptstyle X admet une densité  scriptstyle f(x), alors:

mathbb E(X) = int_{-infty}^infty x f(x), operatorname{d}x .

Si  scriptstyle X est une variable aléatoire discrète prenant les valeurs sur un espace de valeurs dénombrables  scriptstyle SsubsetR, et qu'elle a une fonction de masse  scriptstyle p_X(x) , l'espérance prend la forme:

mathbb E(X) = sum_{x in S} x p_X(x)

C'est notamment le cas quand le nombre de valeurs possibles est fini, par exemple  scriptstyle x_1,dots,x_i,dots,x_n avec les probabilités  scriptstyle p_1,dots,p_i,dots,p_n. Dans ce cas l'espérance devient:

mathbb E(X) = sum_{i =1}^{n} x_i p_i

Dans ce cas la famille  scriptstyle x_i p_i est sommable et la convergence absolue assure que la division de la série ne dépend pas de la manière de numéroter les termes.

 

Exemple[modifier]

Exemple de calcul pour la roulette française : en jouant un numéro plein, le joueur a 1 chance sur 37 (les numéros vont de 0 à 36) de repartir avec 35 fois sa mise initialenote 1. Son espérance de gain est donc :

frac{1}{37}times (misetimes 35) -frac{36}{37}times (mise) simeq -0,027times mise

Ce résultat indique qu'en moyenne, il perd 2,7 % de sa mise à chaque partie au profit du casino.

Généralisation: espérance d'une fonction d'une variable aléatoire réelle[modifier]

X étant une variable aléatoire réelle, une fonction f supposée régulière définit une nouvelle variable aléatoire fcirc X notée f(X) dont l'espérance, lorsqu'elle existe, s'écrit en remplaçantk par f(k) ou x par f(x) dans les formules précédentes (théorème de transfert).


Variable aléatoire discrète: mathbb E[f(X)] = sum_{k=-infty}^{+infty} f(k) mathbb P_X(k)

Variable aléatoire continue: mathbb E[f(X)] = int_{-infty}^{+infty} f(x) p_X(x) dx

En particulier, il est intéressant de considérer la variable aléatoire à valeurs complexes e^{i theta X}, (où theta in mathbb{R}) dont l'espérance mathématique est [la valeur en θ de] la transformée de Fourier inverse de la densité de probabilité :

phi_X(theta) = mathbb Eleft[e^{i theta X}right],

Il s'agit de la fonction caractéristique d'une variable aléatoire. L'exponentielle se développe en série :phi_X(theta) = mathbb Eleft[sum_{k=0}^infty {(i theta X)^k over {k !}}right]

ou, si la densité de probabilité est une fonction suffisamment régulière  :

phi_X(theta) = sum_{k=0}^infty {(i theta)^k over {k !}} mathbb Eleft[X^kright]

Propriétés[modifier]

Propriétés élémentaires[modifier]

  • L'espérance d'une variable aléatoire constante est égale à cette constante; par exemple, si b est une constante, alors E(b) = b.
  • Monotonie: si scriptstyle X et  scriptstyle Y sont des variables aléatoires tels que  scriptstyle X le Y  presque sûrement, alors  scriptstyle  mathbb{E}(X) le mathbb{E}(Y).
  • Linéarité: l'espérance est un opérateur linéaire. Pour deux variables aléatoires quelconques scriptstyle X et scriptstyle Y (qui doivent être définies sur le même espace probabiliste) et pour deux nombres réels  scriptstyle a et  scriptstyle b:
mathbb{E}(a X + b Y) = a mathbb{E}(X) + b mathbb{E}(Y),
  • Produit: en général, l'opérateur espérance ne respecte pas le produit, c'est-à-dire que en général scriptstyle mathbb{E}(X Y)neq mathbb{E}(X) mathbb{E}(Y). L'égalité est vraie pour des variables X et Y indépendantes. L'absence de la multiplicativité amène à étudier les covariances et corrélation.

Loi de l'espérance itérée[modifier]

Définition —  mathbb{E}(X|Y)(y) equiv mathbb{E}(X|Y=y) equiv sumlimits_x x cdot operatorname{P}(X=x|Y=y).

qui signifie que mathbb{E}(X|Y)(y) est une fonction de y (en fait une variable aléatoire). L'espérance itérée vérifie

Propriété —  mathbb{E} left( mathbb{E}(X|Y) right)=mathbb{E}(X)

 

  • Pour une variable continue: dans le cas continu, les résultats sont analogues. Dans ce cas-ci, on utilise la densité de probabilité et les intégrales à la place de la distribution et des sommes. En tout cas, le résultat reste valable:
mathbb{E}(X) = mathbb{E} left( mathbb{E}(X|Y) right).

Espérance d'une fonctionnelle[modifier]

En général, l'opérateur espérance ne respecte pas les fonctions de variable aléatoire, c'est-à-dire qu'en général:

mathbb{E}(g(X)) = int_{Omega} g(X), mathrm{d}P neq g(mathbb{E}(X)),

Une inégalité célèbre à ce propos est l'inégalité de Jensen pour des fonctions convexes (ou concaves).

Estimation[modifier]

On utilise souvent comme estimateur de l'espérance la moyenne empirique, qui est un estimateur:

Caractère central[modifier]

On considère fréquemment l'espérance comme le centre de la variable aléatoire, c'est-à-dire la valeur autour de laquelle se dispersent les autres valeurs.
En particulier, si X et 2a - X ont même loi de probabilité, c'est-à-dire si la loi de probabilité est symétrique par rapport à a, alors E(X) = a.

Mais ce point de vue n'est plus valable lorsque la loi est dissymétrique. Pour s'en persuader il suffit d'étudier le cas d'une loi géométrique, une loi particulièrement dissymétrique. Si X représente le nombre de lancers nécessaires pour obtenir le chiffre 1 avec un dé cubique, on démontre que E(X) = 6 ce qui veut dire qu'il faut en moyenne 6 lancers pour obtenir le chiffre 1. Pourtant, la probabilité que 5 essais ou moins suffisent vaut près de 0,6 et la probabilité que 7 lancers ou plus soient nécessaires est de 0,33. Les valeurs de X ne se répartissent donc pas équitablement de part et d'autre de l'espérance.

Interprétation et applications[modifier]

Espérance mathématique et choix rationnel[modifier]

Dans certains cas, les indications de l'espérance mathématique ne coïncident pas avec un choix rationnel. Imaginons par exemple qu'on vous fasse la proposition suivante : si vous arrivez à faire un double six avec deux dés, vous gagnez un million d'euros, sinon vous perdez 10 000 euros. Il est probable que vous refuserez de jouer. Pourtant l'espérance de ce jeu vous est très favorable : la probabilité de tirer un double 6 est de 1/36; on obtient donc :

frac{1,000,000}{36} - frac{10,000 times 35}{36} = 18,055

à chaque partie vous gagnez en moyenne 18 000 euros.

Le problème tient justement sur ce « en moyenne » : si les gains sont extrêmement importants, ils n'interviennent que relativement rarement, et pour avoir une garantie raisonnable de ne pas finir ruiné, il faut donc avoir suffisamment d'argent pour participer à un grand nombre de parties. Si les mises sont trop importantes pour permettre un grand nombre de parties, le critère de l'espérance mathématique n'est donc pas approprié.

Incidence de la prime de risque[modifier]

Ce sont ces considérations et de risque de ruine qui conduisirent, à partir de son « paradoxe de Saint Petersbourg », le mathématicien Daniel Bernoulli à introduire en 1738 l'idée d'aversion au risque qui conduit à assortir l'espérance mathématique d'une prime de risque pour son application dans les questions de choix.

Applications particulières (économie, assurance, finance, jeux)[modifier]

  • La notion de prime de risque appliquée à l'espérance mathématique fut en économie à l'origine du concept d'utilité (et d'utilité dite « marginale »).
  • les primes d'assurance sont d'un coût supérieur à l'espérance mathématique de perte du souscripteur du contrat. Mais c'est ce risque de forte perte en cas d'évènement rare qui l'incite à le souscrire.
  • L'espérance mathématique, comme d'autres concepts probabilistes, est utilisée dans les calculs d'évaluation en finance, par exemple pour l'évaluation d'entreprise.
  • La finance comportementale aborde, entre autres, les aspects émotionnels et cognitifs, qui vont au-delà de la simple prime de risque, et qui peuvent interférer avec le concept rationnel d'espérance mathématique à l'heure du choix.
  • De même que l'on paye une prime pour éviter le risque avec les assurances, on paie au contraire un accès au risque dans les jeux de hasard (qui rapportent toujours moins que leur espérance mathématique, puisqu'ils doivent s'autofinancer)

Notion d'utilité probabiliste[modifier]

Plutôt que de passer par une notion de prime, on peut directement établir une fonction d'utilité, associant à tout couple {gain, probabilité} une valeur. L'espérance mathématique constitue alors la plus simple des fonctions d'utilité, appropriée dans le cas d'un joueur neutre au risque disposant de ressources au moins très grandes à défaut d'infinies.

Émile Borel adopta cette notion d'utilité pour expliquer qu'un joueur ayant peu de ressources choisisse rationnellement de prendre un billet de loterie chaque semaine : la perte correspondante n'est en effet pour lui que quantitative, tandis que le gain - si gain il y a - sera qualitatif, sa vie entière en étant changée. Une chance sur un million de gagner un million peut donc valoir dans ce cas précis bien davantage qu'un euro.

Notes et références[modifier]

Notes[modifier]

  1.  En cas de victoire, il reçoit 36 fois la mise. Le gain vaut donc ce bénéfice moins la mise initiale, c'est-à-dire qu'il a réellement gagné 35 fois cette mise.

Références[modifier]

Liens externes[modifier]

Sommaire

 [masquer]

08:58 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook