D	L	M	M	J	V	S
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30

13/02/2011

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.

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 :

la non-linéarité
la non-inversibilité
l'idempotence

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 $B x$ l'ensemble $B$ translaté 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 Minkowski: ¹

$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ù $A c$ 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 $B x$ 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]

Article détaillé : Ligne de partage des eaux (segmentation).

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]

↑ 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).

Liens externes[modifier]

Catégories : Traitement d'image | Géométrie | [+]

Sommaire

[masquer]

Image originale (en noir : l'objet ; en blanc : le fond)

Dilatation par un carré 3x3

Érosion par un carré 3x3

Image originale

Fermeture par un carré 3x3

Ouverture par un carré 3x3

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]

[pdf] Extraits de la norme internationale iso 31-11 : 1992
[pdf] Extrait du standard Unicode, version 5.0 : Contient les définitions des différents opérateurs.

Portail des mathématiques

Catégories : Symbole mathématique | Liste en rapport avec les mathématiques | [+]

Sommaire

[masquer]

Symbole (TeX)	Symbole (utf8)	Nom	Signification	Exemples
		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)	Nom	Signification	Exemples
		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	a_n ~ b_n signifie que les suites a_n et b_n 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 a, b 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 ${x P (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 $subset$ repré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) = x 2$ , alors f(3) = 3² = 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) = x 2$
		« 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) = x², 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 $i 2 = - 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ée. $infty$ apparaît dans les calculs de limites. $infty$ 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 a_k pour k de 1 à n », et représente a₁ + a₂ + ... + a_n	$sum_{k=1}^4 k^2$ $= 1 2 + 2 2 + 3 2 + 4 2$ $= 30$
		« Somme de ... pour ... de ... à ... »
		Arithmétique
$prod$	∏	Produit	$prod_{k=1}^n a_k$ se lit « produit de a_k pour k de 1 à n », et représente : a₁·a₂·...·a_n	$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

Plage	Nom 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 ( )
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

Modèle mathématique

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

Portail des mathématiques

Catégorie : Applications des mathématiques | [+]

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

Sommaire

[masquer]

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 Maxwell, Lord Kelvin, William 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érentielle, géométrie riemannienne et géométrie lorentzienne.

Catégorie : Physique mathématique | [+]

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

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 initiale^{note 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çant $k$ 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]

Pour une variable aléatoire discrète: Pour deux variables aléatoires $X, Y$ , on peut définir l'espérance conditionnelle

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)$

[Dérouler]

Démonstration

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:

Sans biais
Convergent selon la loi des grands nombres et même fortement convergent selon la loi forte des grands nombres
Distribué normalement asymptotiquement selon le théorème central limite

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]

↑ 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]

Bases mathematiques sur les probabilites... (article sur l'espérance et exemple simple)

Catégories : Probabilités | Mathématiques financières | [+]

Sommaire

[masquer]

[Enrouler] v · d · m Probabilités et statistiques
Statistique descriptive • Statistique inférentielle
Échantillon • Variable qualitative nominale • Variable qualitative ordinale • Variable quantitative discrète • Variable quantitative continue • Estimateurs • Variable aléatoire • Théorème central limite
Moyenne • Médiane • Variance • Écart type • Distribution normale Visualisation des données • Histogramme • Boîte à moustaches • Diagramme circulaire • Représentations graphiques de données statistiques
Test (statistique) • Test d'hypothèse • Hypothèse statistique • Hypothèse nulle • Statistiquement significatif • Valeur p • Loi de Student • Test de Student • Loi de Fisher • Test de Fisher • Loi du χ² •Test du χ² • Analyse de la variance • Régression linéaire • Corrélation • Corrélation de Spearman
Analyse des données • Statistique mathématique • Théorie des probabilités • Inégalités • Processus stochastiques • La mécanique statistique • Les statistiques et l'économie • Économétrie •Probabilité dans les jeux • Variables indépendantes et identiquement distribuées • R (logiciel)

Fondements des mathématiques

La fondation, ou les fondements, des mathématiques sont les principes sur lesquels est établie cette science.

Les points de vue sur la nature des mathématiques[modifier]

Le logicisme[modifier]

Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours –- la considération des particuliers existants est exclue -- et la déductibilité du discours mathématique –- les inférences qui structurent le discours mathématique sont des implications formelles (elles affirment non pas les propositions elles-mêmes, mais la nécessité de leur connexion) --. En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ». Par exemple, la définition logique du nombre, loin d’être réduite à l’opération concrète de dénombrement d’objets, consiste en la référence à l’égalité numérique de deux classes (deux classes ont le même nombre s’il est possible d’instaurer entre leurs éléments respectifs une relation bijective). Le logicisme a rencontré néanmoins, à ses débuts, de réelles difficultés en tant qu’il s'engage ontologiquement par rapport aux classes. La théorie des classes avait conduit à desparadoxes logiques maintenant résolus mais qui avaient mis au jour la nécessité de clarifier les axiomes.

Le formalisme[modifier]

Le formalisme soutenu par David Hilbert : les mathématiques se présentent comme une pure construction de l’esprit. La tâche des mathématiciens est de déduire des théorèmes à partir d’axiomes qui ne sont ni vrais ni faux. La validité ne repose plus que sur la structure des énoncés, et non sur la nature de ce dont ils parlent. La vérité des mathématiques est réduite à leur cohérence interne, la non contradiction des propositions. Le débat sur cette conception formaliste a été relancé par le théorème d'incomplétude de Gödel qui affirme que tout système formel cohérent et récursif contenant l'arithmétique, possède une proposition valide (ou disons « vraie ») qui n’est ni démontrable, ni réfutable.

L'intuitionnisme[modifier]

L’intuitionnisme défendu de manière paradigmatique par Brouwer : les mathématiques ont un fondement intuitif. Sans l’intuition, la logique s’avère stérile. Défendre une conception intuitionniste a des conséquences importantes. Ainsi, selon la logique intuitionniste, on ne peut pas éliminer la double négation (ce que fait la logique classique) : « non non p » ne se réduit pas à « p ». Il s’ensuit que « non p ou p » n'est pas un théorème. Ces refus sont justifiés par le fait qu'en logique intuitionniste « q implique r » signifie que « d'une démonstration de q je peux construire une démonstration de r », or l'affirmation « non non p implique p» ne permet pas de construire une démonstration de p à partir d'une démonstration de « non nonp ». Brouwer concevait l'intuitionnisme comme un positionnement philosophique sur les mathématiques et a acueilli avec scepticisme sa formalisation donnée ultérieurement par Arend Heyting^{[réf. nécessaire]}.

Les fondements de la géométrie[modifier]

L’œuvre de Hilbert est très représentative de la crise des fondements qui s’est produite en mathématiques pendant le XIX^e et au début du xx^e siècle.

Hilbert, comme d’autres logiciens et mathématiciens de son temps, s’est rendu compte que la géométrie euclidienne était incomplète, pas au sens où l’axiome des parallèles n’y est pas déductible, mais parce que tous les géomètres depuis Euclide se servent dans leurs preuves d’axiomes qui n’avaient jamais été explicités. À la suite des travaux de Pasch, Hilbert a donné une formulation presque complète de la géométrie euclidienne, dans son livre Les Fondements de la géométrie, pour laquelle aucun axiome géométrique n’était laissé dans l’ombre.

Ce programme de fondation de la géométrie n’était cependant pas achevé pour deux raisons. D’une part, les règles de raisonnement admises étaient encore laissées dans l’ombre.^{[réf. nécessaire]} D’autre part, un des axiomes de la géométrie, relatif à la continuité de l’espace, posait des problèmes d’interprétation associés à ceux de la définition des nombres réels et de la théorie des ensembles de Cantor.

Les fondements de l’analyse et la théorie des ensembles[modifier]

L’analyse, que l’on peut aussi appeler calcul infinitésimal, ou calcul différentiel et intégral, repose maintenant sur la définition de l’ensemble des nombres réels. Depuis les découvertes de Newton et Leibniz, il avait fallu sortir du cadre des Éléments d'Euclide.

Les mathématiciens du XIX^e siècle, notamment Cauchy et Weierstrass, pour l'analyse proprement dite, puis Dedekind et Cantor ont donné une formulation précise de principes qui permettent de raisonner avec rigueur et exactitude sur les nombres réels. Ceux-ci sont définis par Dedekind comme des ensembles de nombres rationnels. Peano a donné des axiomes et des méthodes formelles pour développer d’une façon logiquement rigoureuse l’arithmétique et celle-ci suffit pour fonder la théorie des nombres rationnels.

La théorie des ensembles de Cantor, qui n'était pas vraiment formalisée, semblait cependant le cadre idéal, paradisiaque selon l’expression de Hilbert, pour fonder l’analyse et plus généralement les mathématiques. Frege, de son côté avait donné des règles formelles précises et explicites pour une théorie logique qui devait permettre de fonder les mathématiques. On pouvait espérer une base solide.

Mais cette base n'a pas tardé à montrer ses faiblesses. La découverte du paradoxe de Burali-Forti (l'ensemble de tous les ordinaux est bien ordonné, ce bon ordre est supérieur à tous les ordinaux, donc à son propre ordinal), puis celle du paradoxe de Russell, proche sur le principe mais nettement plus simple (l'ensemble des ensembles qui ne s'appartiennent pas à eux-mêmes est un ensemble, il ne peut ni s'appartenir, ni ne pas s'appartenir à lui-même), montrent l'incohérence de ces deux théories (Russell a donné son paradoxe initialement pour la théorie de Frege).

Des solutions pour éviter ces paradoxes furent rapidement trouvées. L'une, initiée par Russell, et développée dans les Principia Mathematica, stratifie les prédicats grâce à la notion detype : on ne peut plus écrire qu'un ensemble appartient à lui-même. L'autre, initiée par Zermelo, restreint la définition des ensembles par compréhension, c'est-à-dire par une propriété de ses éléments : la propriété de ne pas appartenir à soi-même ne définit plus un ensemble.

Mais pouvait-on s'assurer que l'on ne puisse pas dériver de nouveaux paradoxes dans ces théories ?

Le programme de Hilbert[modifier]

Pour répondre à la crise des fondements des mathématiques, Hilbert avait conçu un programme dont il établit les prémisses en 1900 dans l'introduction à sa célèbre liste de problèmes, le second problème étant justement celui de la cohérence de l'arithmétique. Il développe ce programme avec ses collaborateurs, parmi lesquels Bernays et Ackermann, essentiellement dans les années 1920. L'idée est grossièrement la suivante.

Tant que l'on manipule le fini, les mathématiques sont sûres. L'arithmétique élémentaire (en un sens qui doit se préciser) est sûre. Pour justifier l'utilisation d'objets abstraits ou idéaux, en particulier infinis, il suffit de montrer que la théorie qui les utilise est cohérente, mais bien sûr cette cohérence doit elle-même être démontrée par des moyens finitaires. On peut alors affirmer l'existence de ces objets. C'est la position formaliste (à ne pas confondre avec le finitisme qui considère que seules les constructions directement finitaires ont un sens).

Le système dans lequel on pourrait formaliser les mathématiques finitaires n'est pas clair. À l'époque, il semble que Hilbert pensait, sans l'avoir explicitement formalisé, à un système plus faible que l'arithmétique de Peano, l'arithmétique primitive récursive : toutes les définitions de fonctions récursives primitives sont dans le langage, la récurrence est restreinte aux formules sans quantificateurs (disons aux égalités pour faire simple), donc très immédiate. Peu importe en fait : le second théorème d'incomplétude de Gödel, montre que l'on ne pourra même pas prouver dans la théorie arithmétique en question sa propre cohérence, et donc certainement pas celle de théories plus fortes qui assureraient la fondation des mathématiques.

Le programme de Hilbert n'est donc pas réalisable, en tout cas pas sans une révision drastique. Des logiciens comme Gentzen, et Gödel lui-même, ont pensé à rétablir ce programme en étendant la notion de méthodes finitaires, celles-ci ne pouvant cependant pas être définies une fois pour toutes par une théorie toujours à cause du second théorème d'incomplétude. Ainsi Gentzen a donnée en 1936 une preuve de cohérence de l'arithmétique de Peano dans un système forcément plus fort, où l'on raisonne par induction sur un ordre bien fondé (dénombrable mais plus grand que l'ordre des entiers), mais où l'induction est cependant restreinte à des formules sans quantificateurs, donc plus "immédiate". Si l'intérêt mathématique des méthodes mise en œuvre par Gentzen ne fait aucun doute, l'interprétation de ses preuves de cohérence, en tant que preuves "absolues" (ce sont bien sûr indubitablement des preuves de cohérence relative) reste très discutable.

Il reste que, malgré son échec, le programme de Hilbert a joué un rôle décisif dans le développement de la logique mathématique moderne.

La méthode formelle[modifier]

Il ne faudrait pas confondre formalisme, et méthode formelle. La méthode formelle est essentielle pour comprendre les mathématiques contemporaines.

Définir une théorie formelle, c'est :

se donner des symboles (a, b, c, =, +, ≥ etc<;) ;
se donner une syntaxe pour construire des « phrases ». Par exemple on peut écrire a≥b mais pas a b ≥ ;
se donner une méthode pour déduire des phrases à partir d'autres phrases. Par exemple, si on a a≥b et b≥c alors on a aussi la « phrase » a≥c.

Définir une théorie de façon formelle est essentiel pour en donner des propriétés : cohérence ou incohérence, complétude ou incomplétude etc. Tant qu’on a pas formalisé une théorie, on ne sait pas exactement si une formule appartient ou non à la théorie.

Les règles de déduction de la logique traditionnelle sont désormais complètement connues et formalisées au sein de la logique mathématique. Toutes les connaissances mathématiques peuvent être prouvées avec ces règles et des axiomes convenablement choisis.

C'est probablement dans cette catégorie que l'on doit classer les mathématiques à rebours d'Harvey Friedman.

Les théories des ensembles[modifier]

Les mathématiques actuelles sont basées sur la notion d' ensemble. En fait, tout objet mathématique ou presque peut être défini comme un ensemble. Par exemple, « 23 » peut être défini comme un certain ensemble qui contient 23 éléments.
De même, $_mathbb N$ peut être construit à partir d'ensembles comme suit :

$0 = varnothing$
$forall n ( ( n + 1 ) = n cup { n } )$

(voir à ce sujet l'article sur la construction des entiers naturels).

Avec de telles définitions, ou d’autres semblables, toutes les connaissances mathématiques peuvent être prouvées à l’intérieur d’une théorie des ensembles. Leurs axiomes peuvent être considérés comme les principaux fondements des mathématiques (avec les règles de déduction du calcul des prédicats au premier ordre).

Plusieurs systèmes d’axiomes ont été proposés :

La théorie axiomatique des ensembles « standard » comporte neuf axiomes. Ces axiomes ont été énoncés par Zermelo (1908) et complétés dans les années 1920 par Fraenkelet Skolem. Ils sont dits de Zermelo-Fraenkel et comprennent l'axiome du choix, d'où le sigle ZFC souvent employé pour désigner cette théorie. L'œuvre de l'association Bourbaki a été développée dans ce cadre axiomatique.
La théorie des classes, de von Neumann, Gödel et Bernays (NGB). C’est une extension de ZFC qui lui est presque équivalente. Tous les théorèmes de ZFC sont des théorèmes de NGB. Inversement, tous les théorèmes de NGB qui ne mentionnent que les notions fondamentales de ZFC (c’est-à-dire les ensembles et non les classes) sont des théorèmes de ZFC. NGB convient mieux que ZFC pour formuler la théorie des catégories.

La théorie du zig-zag interdit de Quine. Elle n'est pas très utilisée mais pourrait l’être davantage. Elle montre en particulier qu’on peut développer une théorie des ensembles sans exclure l’ensemble de tous les ensembles.

D’autres théories, qui sont soit moins puissantes que les précédentes, parce qu’elles refusent les constructions ensemblistes trop audacieuses (théories constructivistes, intuitionnistes, finitaires, ...), soit plus puissantes parce qu’elles les complètent avec d’autres axiomes (axiome de constructibilité, axiomes des grands cardinaux, ...)

Parmi les mathématiciens, certains se contentent des axiomes ZF, et refusent l'axiome du choix (C), car ils considèrent que certaines de ses implications sont contre-intuitives. Certains mathématiciens refusent même ZF et la logique classique qui en est la base, car ils considèrent que tout doit être construit explicitement; c'est la raison pour laquelle on les appelleconstructivistes ou intuitionnistes.

D'autres formalismes[modifier]

La théorie des types de Whitehead et Russell, exposée principalement dans les Principia Mathematica. Son formalisme est lourd (des dizaines de pages pour prouver des propositions qui peuvent paraître évidentes) et ses principes imposent beaucoup d’interdits entre les divers types dans le souci de ne pas reproduire l'équivalent du paradoxe de Russell. Outre sa grande importance historique parce qu’elle est la première formulation axiomatique, rigoureuse et cohérente des principes généraux des mathématiques, elle a, grâce à l'informatique, repris de la vigueur à la fin du siècle précédent et au début de celui-ci et devient une discipline phare de la logique mathématique contemporaine.

La théorie des catégories : depuis les années 1960, certains auteurs, à la suite de Francis William Lawvere, défendent l'usage de la théorie des catégories en lieu et place de lathéorie des ensembles comme fondement des mathématiques.

Bibliographie[modifier]

Logique et fondements des mathématiques. Anthologie (1850 - 1914), recueil d'articles traduits en français et rassemblés sous la direction de François Rivenc, Payot, octobre 1992,(ISBN 2228884839).

Voir aussi[modifier]

Sur les autres projets Wikimédia :

« Fondements des mathématiques », sur Wikiversity (communauté pédagogique libre)

Crise des fondements

Références[modifier]

Conférence sur les fondements des mathématiques, par Jean-Yves Girard, 17 juin 2002, Université de tous les savoirs.

Catégories : Philosophie des mathématiques | Fondements des mathématiques | Logique | [+]

Source : http://fr.wikipedia.org/wiki/Fondements_des_math%C3%A9mat...

Sommaire

[masquer]

12/02/2011

Réalisations des complexes motiviques de Voevodsky

HAL : hal-00437302, version 2

arXiv : 0911.5611

Fiche détaillée

Récupérer au format

Versions disponibles :

v1 (30-11-2009)

v2 (07-02-2011)

Réalisations des complexes motiviques de Voevodsky

Florence Lecomte ¹, Nathalie Wach ¹

(30/11/2009)

Over a number field k, we construct realizations of Voevodsky motivic complexes, realizations as presented by Fontaine and Perrin-Riou [FPR94]. Our realization functors are defined from the category of motivic complexes constructed by Voevodsky and are obtained as cohomological functors which are, up to some limits, representable. The De Rham realization is represented by the De Rham motivic complex defined in [LW09]. We obtain integral Betti and l-adic realizations. Our realization functors are related by comparison arrows, which become isomorphisms when restricted to the category of geometrical motives. Furthermore, on geometrical motives, the realizations are endowed with Bondarko's weight filtration [Bo09], the Hodge realization is constructed and all these realizations coincide rationally with those defined by A. Huber [H00].

1 :	Institut de Recherche Mathématique Avancée (IRMA)

	CNRS : UMR7501 – Université de Strasbourg

Domaine

Mathématiques/Théorie des nombres

Mathématiques/Géométrie algébrique

Mathématiques/K-théorie et homologie

Mots Clés : motifs : réalisations

Liste des fichiers attachés à ce document :

PDF

REA-i.pdf

(325.2 KB)

REA-i.ps

(688.4 KB)


hal-00437302, version 2
http://hal.archives-ouvertes.fr/hal-00437302/fr/
oai:hal.archives-ouvertes.fr:hal-00437302
Contributeur : Nathalie Wach <wach@math.unistra.fr>
Soumis le : Lundi 7 Février 2011, 15:50:45
Dernière modification le : Lundi 7 Février 2011, 16:33:17

Source :

Asymptotics of prediction in functional linear regression with functional outputs

HAL : hal-00422679, version 3

arXiv : 0910.3070

Fiche détaillée

Récupérer au format

Versions disponibles :

v1 (16-10-2009)

v2 (29-10-2009)

v3 (10-02-2011)

Asymptotics of prediction in functional linear regression with functional outputs

Christophe Crambes ¹, André Mas ¹

(08/10/2009)

We study prediction in the functional linear model with functional outputs : $Y=SX+varepsilon $ where the covariates $X$ and $Y$ belong to some functional space and $S$ is a linear operator. We provide the asymptotic mean square prediction error with exact constants for our estimator which is based on functional PCA of the input and has a classical form. As a consequence we derive the optimal choice of the dimension $k_{n}$ of the projection space. The rates we obtain are optimal in minimax sense and generalize those found when the output is real. Our main results hold with no prior assumptions on the rate of decay of the eigenvalues of the input. This allows to consider a wide class of parameters and inputs $Xleft( cdot right) $ that may be either very irregular or very smooth. We also prove a central limit theorem for the predictor which improves results by Cardot, Mas and Sarda (2007) in the simpler model with scalar outputs. We show that, due to the underlying inverse problem, the bare estimate cannot converge in distribution for the norm of the function space

1 :	Institut de Mathématiques et de Modélisation de Montpellier (I3M)

	CNRS : UMR5149 – Université Montpellier II - Sciences et Techniques du Languedoc

Domaine

Mathématiques/Statistiques

Statistiques/Théorie

Liste des fichiers attachés à ce document :

PDF

crambes-mas.pdf

(316 KB)

crambes-mas.ps

(724.2 KB)


hal-00422679, version 3
http://hal.archives-ouvertes.fr/hal-00422679/fr/
oai:hal.archives-ouvertes.fr:hal-00422679
Contributeur : André Mas <mas@math.univ-montp2.fr>
Soumis le : Jeudi 10 Février 2011, 09:10:20
Dernière modification le : Jeudi 10 Février 2011, 09:15:19 Source : http://hal.archives-ouvertes.fr/INSMI/hal-00422679/fr/

300 défis mathématiques Mohammed Aassila Scolaire / Universitaire (broché). Paru en 09/2001 Livre

300 défis mathématiquesMohammed Aassila

Scolaire / Universitaire (broché). Paru en 09/2001
Expédié sous 4 à 8 jours

Note des internautes: |
Lire les avis des internautes (1)

POUR COMMANDER

Annales des olympiades internationales de mathématiques P. Bourgade Scolaire / Universitaire (broché). Paru en 04/2005 Livre

Annales des olympiades internationales de mathématiquesP. Bourgade

Scolaire / Universitaire (broché). Paru en 04/2005
Expédié sous 4 à 8 jours

Note des internautes: |
Lire les avis des internautes (1)

POUR COMMANDER

Olympiades internationales de mathématiques M. Aassila Etude (broché). Paru en 06/2003

Olympiades internationales de mathématiquesM. Aassila

Etude (broché). Paru en 06/2003
En Stock- Expédié sous 24h

annales corrigées des olympiades internationales de mathématiques de 1998 à 2002.

Note des internautes: |
Lire les avis des internautes (1)

POUR COMMANDER

Olympiades de mathématiques réflexes et stratégies T.B. Soulami Essai (broché). Paru en 11/2007

Olympiades de mathématiques réflexes et stratégiesT.B. Soulami

Essai (broché). Paru en 11/2007
Expédié sous 4 à 8 jours

POUR COMMANDER

Les olympiades internationales de mathématiques ont connu un essor extraordinaire pendant les deux dernières décennies. En abordant les thèmes traditionnellement traités dans les olympiades nationales et internationales, ce livre met à la disposition du lecteur un outil complet de préparation à ce type de compétitions.

Chaque chapitre débute par une présentation des stratégies et techniques utiles et se poursuit par de nombreux exercices corrigés.
Ce livre peut être aussi utilisé pour préparer le concours général. Son contenu est d'un abord facile pour un élève courageux de terminale. Il pourra intéresser plus généralement tous ceux que les mathématiques passionnent.

Le lecteur trouvera ici :

° les stratégies utiles dans la résolution des problèmes d'olympiades ;
° les résultats que le candidat sérieux se doit de connaître ;
° des exemples choisis pour les idées instructives qu'ils contiennent ;
° plus de 150 problèmes tirés des olympiades i nationales et internationales.

Préfaces de Claude Deschamps, leader de l'équipe de France aux olympiades internationales de mathématiques, et de Paul-Louis Hennequin, vice-président d'ANIMATH.

Extrait du livre :
Quand j'ai été candidat aux olympiades internationales, j'ai pu réaliser combien il était difficile de se procurer des documents en Français qui présentent les sujets traditionnellement abordés dans cette épreuve. Il fallait très souvent faire beaucoup d'exercices pour pouvoir apprécier une technique ou une méthode d'intérêt général. C'est ainsi qu'est née dans mon esprit l'idée d'écrire ce livre.
Tous les résultats qu'il est impératif de connaître pour réussir les épreuves d'olympiades y sont discutés. Loin d'être un garant de réussite, la connaissance de l'ensemble de ces résultats devrait au moins donner au candidat assez de confiance pour aborder sans trembler ce type d'exercices.
Cet ouvrage est divisé en six chapitres recouvrant l'ensemble des domaines explorés par les sujets des olympiades internationales suivant un consensus plus ou moins explicite ; certains points débordent largement les programmes des lycées français (équations diophantiennes, polynômes, inégalités, graphes) mais on n'y trouve généralement pas de géométrie dans l'espace ni de probabilités ni de statistiques.
Le contenu du livre est conçu pour être compréhensible par un élève courageux de terminale. J'ai donc supposé acquises certaines notions élémentaires d'analyse, ainsi que certains résultats très simples concernant les structures algébriques. Par contre, la plupart des notions enseignées au-delà de la classe terminale sont introduites avant d'être utilisées.
Les exercices proposés constituent un complément indispensable au cours : ce n'est qu'en les travaillant sérieusement que le lecteur pourra apprécier pleinement la portée des résultats obtenus et la manière de les mettre en oeuvre. Les solutions fournies sont très détaillées, mais ne rendent pas compte du chemin souvent tortueux menant à la découverte des bons arguments ; c'est donc au lecteur de reconstituer toutes les étapes de la démonstration en reprenant si besoin est les calculs intermédiaires et en gardant toujours à l'esprit que la solution indiquée n'est pas forcément la seule possible.

Extrait de l'avant-propos

En passant par hasard les probabilites de tous les jours Gilles Pagès broché. Paru en 12/1999

En passant par hasard les probabilites de tous les joursGilles Pagès

broché. Paru en 12/1999
Expédié sous 4 à 8 jours

POUR COMMANDER

101 quizz qui banquent Gilles Pagès, Ed. Vuibert, 2010

101 quizz qui banquent

(Gilles Pagès, Ed. Vuibert, 2010)

Ecrit par Gilles Pagès (profeseur à l'UPMC, directeur du Laboratoire de Probabilités et Modèles Aléatoires), 101 quizz qui banquent est, comme son nom l'indique subtilement, un recueil d'énigmes mathématiques glanées dans les entretiens d'embauche ou de stage en finance quantitative. Conçu à l'attention des étudiants en master de mathématiques financières, l'ouvrage s'adresse aussi au grand public amateur de gymnastique des méninges.

POUR COMMANDER

Au nom de l'infini (Loren Graham et Jean-Michel Kantor, Ed. Belin, 2010)

Au nom de l'infini

(Loren Graham et Jean-Michel Kantor, Ed. Belin, 2010)

Co-écrit par l'historien des sciences Loren Graham et le mathématicien Jean-Michel Kantor (Université Paris-Diderot), Au Nom de l'Infini retrace la naissance singulière de l'Ecole mathématique de Moscou, au début du XX^e siècle, sous l'influence de savants mystiques adeptes de la secte de l'Adoration du Nom. L'ouvrage est, plus largement, l'occasion de découvrir une page d'histoire des mathématiques, de la fin du XIX^e siècle au milieu du XX^e, suivant les parcours de grands noms des mathématiques françaises, russes ou allemandes comme Borel, Lebesgue, Baire, Luzin, Egorov, Alexandrov, Kolmogorov, Hilbert, Hausdorff...

POUR COMMANDER

Agenda http://www.sciencesmaths-paris.fr/

Agenda

Février 2011

09-02-2011 - Le cours de Caucher Birkar: La quatrième séance du cours deCaucher Birkar, lauréat 2010 du Prix de la Fondation, aura lieu lemercredi 9 février 2011 de 11h à 12h30 à l'annexe du Collège de France, 3 rue d'Ulm, 75005 Paris. Intitulé Lectures on birational geometry, ce cours se tient les lundis et les mercredis .
Cliquez ici pour connaître les dates des séances, le lieu et le résumé du cours.
22-02-2011 - Le cours de Sergiu Klainerman: Mathematical challenges of General Relativity est le titre du cours de Sergiu Klainerman, lauréat 2010 de la Chaire d'Excellence de la Fondation, qui se tiendra le mardi de 16 à 18h à l'IHP (excepté le cours du 5 mai qui se tiendra à Jussieu) à partir du mardi 22 février 2011.
Cliquez ici pour connaître les dates, salles et pour tout savoir sur ce cours.
28-02-2011 - Séminaire IHP-Fondation SMP: The Dixmier unitarizability problem for group representations par Gilles Piser (Texas A&M et Paris VI) est le troisième rendez-vous du Séminaire d'analyse IHP-FSMP, organisé parJean-Yves Chemin, Sergiu Klainerman et Cédric Villani. Cette conférence se tiendra lundi 28 février 2011 de 16h à 18h à Jussieu, tour 15/25, 1er étage, salle 102 (4 place Jussieu 75005).
Cliquez ici pour en savoir plus.

Mars 2011

07-03-2011 - Séminaire d'analyse IHP-FSMP: Optimal transport and rearrangement tools for some hamiltonian PDEs with dissipationpar Yann Brenier (CNRS Nice et UPMC) est le quatrième rendez-vous du Séminaire d'analyse IHP-FSMP, organisé par Jean-Yves Chemin,Sergiu Klainerman et Cédric Villani. Cette conférence se tiendra lundi 7 mars 2011 de 16h à 18h à Jussieu, tour 15/25, 1er étage, salle 102 (4 place Jussieu 75005).
Cliquez ici pour en savoir plus.; Source :

Astuce pour écrire un nombre dans Word

Pas facile de taper un nombre en toutes lettres : qu'est-ce qui s'accorde, qu'est-ce qui est invariable, ? ? Heureusement, Word est là pour vous aider. Il vous permet en effet facilement de transformer un nombre par son équivalent en lettres.

1. Dans Word, appuyez simultanément sur les touches Ctrl et F9.

2. Dans le champ qui apparaît, saisissez = puis le nombre que vous souhaitez transformer en lettres.

3. Ajoutez à la suite le paramètre *CardText.

4. Pressez enfin la touche F9 pour convertir le nombre en lettres.

Source : http://www.leconjugueur.com/frlesnombresword.php

Règles d'écriture des nombres

Les nombres

Il n'est pas toujours bien facile d'écrire un nombre en français. On ne se rappelle jamais bien où on met un trait d'union ou un s. Voici le rappel de toutes ces règles.

Les mots simples

Certains nombres s'écrivent simplement avec un seul mot. On parle de mot simple. Ceux-ci sont :
* les nombres jusqu'à 16 : zéro, un, deux, trois, quatre, cinq, six, sept, huit, neuf, dix, onze, douze, treize, quatorze, quinze et seize. * puis les dizaines jusqu'à 60 : vingt, trente, quarante, cinquante et soixante. * et enfin 100 et 1000 : cent et mille.

Les mots composés

Lorsqu'il n'est pas possible d'écrire un mot simple, on compose les nombres avec plusieurs mots simples. Se pose alors le problème du trait d'union.

Prennent un trait d'union tous les nombres composés inférieurs à 100 ne se terminant pas en 1 sauf 81 et 91 :
* dix-sept, quarante-huit... * quatre cent cinquante-trois...

Pour les nombres se terminant en 1, on ajoute la conjonction et :
* soixante et un * soixante et onze * cinquante et un

81 et 91 sont écrits avec un trait d'union:
* quatre-vingt-un * quatre-vingt-onze

Particularités locales

En Belgique et en Suisse, 70 et 90 se disent septante et nonante. Le reste des nombres suit ensuite les mêmes règles :
* septante et un * nonante-trois

En Suisse romande, on utilise huitante pour 80 dans les cantons de Vaud, du Valais et de Fribourg et quatre-vingts dans les autres. Quant à l'ancien français octante, il n'est plus utilisé.

Toutes ces particularités nous viennent de l'ancien français. On ne sait pas vraiment pourquoi on dit soixante-dix et non plus septante. Une des explications viendrait du roi Louis XIV.
Une explication poétique est la suivante. Son règne fut très long. Se sentant vieillir, il ne souhaitait pas changer de dizaine. Alors il inventa un stratagème pour rester jeune. Il a soixante-neuf ans et l'année suivante, soixante-dix. Ca fait beaucoup plus jeune que septante! Par la suite, pour ses 80 ans, c'est simple, il rajeunit puisqu'il a quatre fois vingt ans. C'est le Roi Soleil tout de même.

Il existe cependant d'autres explications plus concrètes. Dans "Histoire universelle des chiffres" de Georges Ifrah, on apprend qu'avant, on comptait sur une base 20. Quatre-vingts est un vestige de cette époque. Cela a donné aussi l'hôpital des Quinze Vingt (300) pour le nombre de malades qu'on pouvait y hospitaliser.

Les accords

20 et 100 s'accordent quand ils sont multipliés par un nombre sans être suivis par un autre nombre.
* quatre-vingts * quatre-vingt-trois * quatre cents * quatre cent vingt et un

Mille est toujours invariable
* trois mille * dix mille deux

un est invariable en nombre mais pas en genre :
* cinquante et une pages

Millier, million et milliard sont des noms et non des adjectifs. Ils ne font pas vraiment partie du nombre et laissent place à l'accord :
* quatre cents millions * deux cent mille * deux cents milliers

Mille peut s'écrire mil mais seulement dans une date.
* l'an mil quatre cent trois

Certains de ces adjectifs numéraux cardinaux peuvent avoir une valeur ordinale pour exprimer l'année, le jour, les parties d'un ouvrage, le numéro d'une rue, le nom d'un souverain... ils restent alors invariables :
* l'année mille neuf cent (la 1900e) * le quinze juin (le quinzième jour de juin) * la page quatre-vingt (80e) * le tome deux * habiter au cinquante-huit * Louis quatorze, Charles dix...

Le pluriel commence à partir de 2. on écrit ainsi :
* 1,9 point * 2 points * 1,9 million * 2 millions

L'adjectif numéral ordinal

On forme cet adjectif en ajoutant le suffixe "ième" au nombre correspondant (sauf pour premier et second) :
* trois ; troisième * quatre ; quatrième * cent ; centième * mille ; millième...

Pour les abréviations, on prend les lettres finales. L'abréviation de "ième" est e sans accent, car il s'agit de la finale :
* 1^er = premier * 1^re = première * 2^nd = second * 2^e = deuxième * 2^es = deuxièmes

Contrairement à l'adjectif cardinal, il s'accorde en genre et en nombre avec le nom auquel il se rapporte :
* les premiers froids... * les dixièmes jeux Olympiques...

Il prend également un trait d'union dans un nombre composé inférieur à cent :
* la vingt-cinquième heure...

Recommandation orthographique de 1990

En 1990, L'Académie Française a introduit une réforme de l'orthographe qui simplifie l'écriture des nombres pas trop grands. Tous les numéraux composés sont unis par un trait d'union : trois-cent-vingt-quatre.

Mais comme il faut toujours une exception, la voici : cette règle ne s'applique pas aux noms tels que millier, million et milliard. Pour eux, il ne faut pas mettre de traits d'union : trente-deux millions deux-cent-vingt-trois. De nombreux ouvrages reviennent sur cette règle et l'usage veut maintenant que l'on mette un trait d'union partout.

La nouvelle orthographe distingue également "soixante et un tiers (60 + 1/3)" de "soixante-et-un tiers (61/3)".

Note : il s'agit de recommandations et ceci n'est en rien obligatoire.

Source : http://www.leconjugueur.com/frnombre.php

Les nombres sur iPhone

NB est un petit logiciel disponible sur l'App Store qui permet d'écrire un nombre en toutes lettres comme c'est possible sur ce site. Ceci est particulièrement pratique lorsqu'on ne sait plus très bien s'il faut mettre un trait d'union ou un s lorsqu'on écrit un chèque. Même si c'est vrai que personne ne vous le rejettera s'il y a une faute, mais ceci est un autre débat.

Source : http://www.leconjugueur.com/frlogicielnb.php

11/02/2011

Maths PCSI-PTSI M. Aliano-Chevalier Scolaire / Universitaire (broché). Paru en 08/2008 Livre

Maths PCSI-PTSIM. Aliano-Chevalier

Scolaire / Universitaire (broché). Paru en 08/2008
En Stock- Expédié sous 24h

POUR COMMANDER

La collection H-prépa Maths rassemble des ouvrages clairs et complets, destinés à faciliter l'apprentissage et la progression des étudiants.
Le cours est présenté de façon progressive, illustré d'exemples et de nombreuses applications. Chaque chapitre comporte une fiche-méthode qui récapitule les principaux savoir-faire. Un exercice résolu, véritable méthode, est intégralement corrigé et accompagné de conseils. Enfin une série d'exercices est proposée, avec indications et réponses plus ou moins détaillées suivant leur difficulté.

POINTS FORTS

- Tout le programme en un seul volume.
- Les 2 anciens volumes en un seul.

Sommaire :

I- Programme de début d'année
II- Nombres et stuctures algébriques usuelles
III- Nombres réels, suites et fonctions
IV- Calcul différentiel et intégral
V-Algèbre linéaire
VI- Espaces vectoriels euclidiens et géométrie euclidienne
VII-Espace R2 et géométrie différentielle. Indications et réponses

Public

Conformes aux programmes de 2004 pour les Classes préparatoires aux Grandes Écoles d'ingénieur, ces livres peuvent également être utiles aux étudiants des Premiers Cycles universitaires scientifiques.

Mathématique

Cours, définitions, Vidéos, théorèmes, exercices, corrigés, livres sur les mathématiques, Livres Rares, Livres anciens de mathématiques

Recherchez sur le site (cours, livres, Agregation, etc.)

Liens utiles

Rechercher

CODE PROMO

Liens mathématiques divers

Livres en pdf

Cours

Documents Mathématiques

Avril 2024

Notes récentes

Archives

Catégories

Derniers weblogs mis à jour

Commentaires récents

Liens Sites Amis

13/02/2011

Morphologie mathématique

Morphologie mathématique

Aperçu général[modifier]

Bref historique[modifier]

Opérateurs de base[modifier]

Cas ensembliste[modifier]

Dilatation et érosion[modifier]

Transformation en tout ou rien[modifier]

Ouverture et fermeture[modifier]

Extension aux fonctions[modifier]

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

Opérateurs connexes, nivellements[modifier]

Segmentation[modifier]

Ensembles aléatoires[modifier]

Quantification[modifier]

Notes[modifier]

Bibliographie[modifier]

Articles connexes[modifier]

Liens externes[modifier]

Sommaire

Table des symboles mathématiques

Table des symboles mathématiques

Logique[modifier]

Autres branches[modifier]

Autres symboles mathématiques[modifier]

Liens externes[modifier]

Sommaire

Modèle mathématique

Modèle mathématique

Généralités[modifier]

Multiplicité de buts[modifier]

Multiplicité des modélisations[modifier]

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

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

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

Les principaux domaines d'applications[modifier]

Les outils mathématiques les plus courants[modifier]

Voir aussi[modifier]

Liens externes[modifier]

Sommaire

Physique mathématique

Physique mathématique

Introduction historique[modifier]

Espérance mathématique

Espérance mathématique

Définition[modifier]

Exemple[modifier]

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

Propriétés[modifier]

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

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

Espérance d'une fonctionnelle[modifier]

Estimation[modifier]

Caractère central[modifier]

Interprétation et applications[modifier]

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

Incidence de la prime de risque[modifier]

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

Notion d'utilité probabiliste[modifier]

Notes et références[modifier]

Notes[modifier]

Références[modifier]