Lexique mathématique

Lexique mathématique

M
majorée
[ Definition ]
Une suite (réelle ou non, du moins dans un espace ordonné et métrique) est dite majorée, minorée, bornée, finie, si son image est majorée, minorée, bornée, finie.
En savoir plus
marche aléatoire sur \(\mathbb{Z}\)
[ Definition ]
Un processus adapté \(X\) est une martingale si, pour tout \(n\), \(X_n\) appartient à \(L^1\) et l’espérance conditionnelle vérifie \(E(X_n | {\cal F}_{n-1})=X_{n-1}\).

Un processus adapté \(X\) est une surmartingale si, pour tout \(n\), \(X_n\) appartient à \(L^1\) et l’espérance conditionnelle vérifie \(E(X_n | {\cal F}_{n-1})\leq X_{n-1}\).

Un processus adapté \(X\) est une sous-martingale si, pour tout \(n\), \(X_n\) appartient à \(L^1\) et l’espérance conditionnelle vérifie \(E(X_n | {\cal F}_{n-1})\geq X_{n-1}\).
En savoir plus
Matrice associée à une famille finie de vecteurs
[ Definition ]
Etant donnée une famille de vecteurs \((x_1,...,x_p)\) d’un espace vectoriel de dimension finie \(n\) et une base \((v_1,...,v_n)\) de \(E\), on appelle matrice associée à la famille des \(x_i\) et à la base des \(v_i\) la matrice \(M\) définie par \(M_{i,j}=v_i^*(x_j)\).
On appelle rang d’une matrice \(M\) le rang de la famille de ses vecteurs colonnes. On le note \(rg(M)\).
Une matrice \(N\) extraite de \(M\), avec \(N\) carrée inversible d’ordre le rang de \(M\), est appelée matrice principale de \(M\).
En savoir plus
Matrice associée à une famille finie de vecteurs
[ Definition ]
Étant donnée une famille de vecteurs \((x_1,...,x_p)\) d’un espace vectoriel de dimension finie \(n\) et une base \((v_1,...,v_n)\) de \(E\), on appelle matrice associée à la famille des \(x_i\) et à la base des \(v_i\) la matrice \(M\) définie par \(M_{i,j}=v_i^*(x_j)\).

On appelle rang d’une matrice \(M\) le rang de la famille de ses vecteurs colonnes. On le note \(rg(M)\).

Une matrice \(N\) extraite de \(M\), avec \(N\) carrée inversible d’ordre le rang de \(M\), est appelée matrice principale de \(M\).
En savoir plus
Matrice canonique d’une application linéaire en dimension finie
[ Proposition ]
Soit \(f\) une application linéaire entre \(E\), espace vectoriel de dimension \(p\), et \(F\), espace vectoriel de dimension \(n\); soit \(r\) le rang de \(f\). Alors il existe une base \(B\) de \(E\) et une base \(B'\) de \(F\) telles que \[Mat_{B,B'}(f)=M\] \[\begin{aligned} & \mbox{avec }& M_{i,j}=1 \mbox{ si $i=j \leq r$}\newline & &M_{i,j}=0 \mbox{ sinon}\end{aligned}\] On appelle cette matrice matrice canonique de \(f\).
En savoir plus
Matrice canonique d’une application linéaire en dimension finie
[ Proposition ]
Soit \(f\) une application linéaire entre \(E\), espace vectoriel de dimension \(p\), et \(F\), espace vectoriel de dimension \(n\); soit \(r\) le rang de \(f\). Alors il existe une base \(B\) de \(E\) et une base \(B'\) de \(F\) telles que \[Mat_{B,B'}(f)=M\] \[\begin{aligned} & \mbox{avec }& M_{i,j}=1 \mbox{ si $i=j \leq r$}\newline & &M_{i,j}=0 \mbox{ sinon}\end{aligned}\] On appelle cette matrice matrice canonique de \(f\).
En savoir plus
matrice carrée
[ Definition ]
On appelle matrice carrée une matrice de type \((n,n)\) pour un certain \(n\). On note \({\cal M}_n(\mathbb{K})={\cal M}_{n,n}(\mathbb{K})\).
On appelle matrice d’un endormophisme \(f\) associée à une base \(B\) (finie) la matrice \(Mat_{B,B}(f)\); on la note aussi \(Mat_B(f)\).
On appelle diagonale d’une matrice carrée \(M\) de type \((n,n)\) le vecteur \((M_{1,1},...,M_{i,i},...,M_{n,n})\).
On appelle trace d’une matrice carrée \(M\) la somme \(\sum_{i=1}^n M_{i,i}\). On la note \(tr(M)\). L’application \(M \to tr(M)\) est une application linéaire.
On appelle matrice unité d’ordre \(n\) la matrice \(M\) avec \(M_{i,j}=\delta_{i,j}\). C’est la matrice dans toute base de l’endomorphisme identité.
On appelle matrice scalaire une matrice égale à \({\lambda}.I\) avec \({\lambda}\) un scalaire et \(I\) une matrice unité. C’est la matrice dans toute base de l’homothétie de rapport \({\lambda}\).
On appelle matrice diagonale associée à un \(n\)-uplet \(m\) la matrice \(M\) de type \((n,n)\) définie par \(M_{i,i}=m_i\) et \(M_{i,j}=0\) si \(i\neq j\). On note \(M=diag(m)\).
Une matrice est dite symétrique si elle est égale à sa transposée.
Une matrice \(M\) est dite antisymétrique si elle est égale à l’opposée de sa transposée, c’est-à-dire si \(^tM=-M\).
Une matrice carrée est dite triangulaire supérieure si \(j<i \to M_{i,j}=0\)
On note \({\cal T}_n^s\) l’ensemble des matrices carrées triangulaires supérieures d’ordre \(n\).
Une matrice carrée est dite triangulaire inférieure si \(j>i \to M_{i,j}=0\)
On note \({\cal T}_n^i\) l’ensemble des matrices carrées triangulaires inférieures d’ordre \(n\).
En savoir plus
matrice carrée
[ Definition ]
On appelle matrice carrée une matrice de type \((n,n)\) pour un certain \(n\). On note \({\cal M}_n(\mathbb{K})={\cal M}_{n,n}(\mathbb{K})\).

On appelle matrice d’un endormophisme \(f\) associée à une base \(B\) (finie) la matrice \(Mat_{B,B}(f)\); on la note aussi \(Mat_B(f)\).

On appelle diagonale d’une matrice carrée \(M\) de type \((n,n)\) le vecteur \((M_{1,1},...,M_{i,i},...,M_{n,n}).\)

On appelle trace d’une matrice carrée \(M\) la somme \(\sum_{i=1}^n M_{i,i}\). On la note \(tr(M)\). L’application \(M \to tr(M)\) est une application linéaire.

On appelle matrice unité d’ordre \(n\) la matrice \(M\) avec \(M_{i,j}=\delta_{i,j}\). C’est la matrice dans toute base de l’endomorphisme identité.

On appelle matrice scalaire une matrice égale à \({\lambda}.I\) avec \({\lambda}\) un scalaire et \(I\) une matrice unité. C’est la matrice dans toute base de l’homothétie de rapport \({\lambda}\).

On appelle matrice diagonale associée à un \(n\)-uplet \(m\) la matrice \(M\) de type \((n,n)\) définie par \(M_{i,i}=m_i\) et \(M_{i,j}=0\) si \(i\neq j\). On note \(M=diag(m)\).

Une matrice est dite symétrique si elle est égale à sa transposée.

Une matrice \(M\) est dite antisymétrique si elle est égale à l’opposée de sa transposée, c’est-à-dire si \(^tM=-M\).

Une matrice carrée est dite triangulaire supérieure si \(j<i \to M_{i,j}=0\)

On note \({\cal T}_n^s\) l’ensemble des matrices carrées triangulaires supérieures d’ordre \(n\).

Une matrice carrée est dite triangulaire inférieure si \(j>i \to M_{i,j}=0\)

On note \({\cal T}_n^i\) l’ensemble des matrices carrées triangulaires inférieures d’ordre \(n\).
En savoir plus
matrice circulante associée au \(n\)-uple \((x_1,...,x_n)\)
[ Definition ]
On appelle matrice circulante associée au \(n\)-uple \((x_1,...,x_n)\) la matrice \(M\) définie par \(M_{i,j}=x_{j-i \mbox{ (modulo $n$) }}\), c’est-à-dire \[\left(\begin{array}{ccccc} x_1 & x_2 & x_3 & \dots & x_n \\ x_n & x_1 & x_2 & \ddots & x_{n-1} \\ x_{n-1} & x_n & x_1 & \ddots & x_{n-2} \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ x_2 & x_3 & x_4 & \dots & x_1 \newline \end{array}\right)\]
En savoir plus
matrice de passage
[ Definition ]
On appelle matrice de passage de la base \((e_i)\) à la base \((f_j)\) la matrice \(P\) de type \((n,n)\) définie par \(P_{i,j}=e_i^*(f_j)\); on la note \(P_{(e_i),(f_j)}\). Il s’agit en fait de la matrice \(Mat_{(f_j),(e_i)}(Id)\).
En savoir plus
matrice de passage
[ Definition ]
On appelle matrice de passage de la base \((e_i)\) à la base \((f_j)\) la matrice \(P\) de type \((n,n)\) définie par \(P_{i,j}=e_i^*(f_j)\); on la note \(P_{(e_i),(f_j)}\). Il s’agit en fait de la matrice \(Mat_{(f_j),(e_i)}(Id)\).
En savoir plus
matrice de \(\phi\) dans la base \({\cal B}\)
[ Definition ]
Étant donnée une forme bilinéaire \(\phi\) sur \(E\), on appelle matrice de \(\phi\) dans la base \({\cal B}\) la matrice \(M\) définie par \[M_{i,j}=\phi(e_i,e_j)\] On la note \(Mat_B(\phi)\).

Réciproquement, on appelle forme bilinéaire sur \(E\) associée à la matrice \(M\) et à la base \(B\) l’application \(\phi\) définie par \[\phi(x,y)=^tX.M.Y\] avec \(X\) le vecteur défini par \(X_i=e_i^*(x)\) et \(Y\) le vecteur défini par \(Y_i=e_i^*(y)\).

La forme bilinéaire canoniquement associée à une matrice \(M\) de type \((n,n)\) est la forme bilinéaire associée à cette matrice dans \(\mathbb{K}^n\), muni de sa base canonique.
En savoir plus
matrice d’une forme quadratique dans une base \(B\)
[ Definition ]
On appelle matrice d’une forme quadratique dans une base \(B\) la matrice de sa forme polaire dans la base \(B\).

On note \(Mat_B(q)\) la matrice de la forme quadratique \(q\) dans la base \(B\).

On appelle rang de \(q\) la rang de sa matrice dans une base quelconque (le rang est indépendant de la base).

On appelle discriminant d’une forme quadratique \(q\) dans une base \(B\) le déterminant de la matrice de \(q\) dans la base \(B\).
En savoir plus
Matrice d’une permutation
[ Definition ]
On appelle matrice de la permutation \(\sigma\in \sigma_n\) la matrice \(M\) de type \((n,n)\) définie par \(M_{i,j}=\delta_{i,\sigma(j)}\).
En savoir plus
matrice jacobienne
[ Definition ]
Un cas particulier important est le cas où \(U\) est un ouvert de \(\mathbb{R}^n\) et \(F=\mathbb{R}^m\); on peut alors noter la différentielle sous forme matricielle; cette matrice est appelée matrice jacobienne. Elle est de la forme: \[\left( \begin{array}{cccc} \frac{\delta f_1}{\delta x_1} & \frac{\delta f_1}{\delta x_2} & ... & \frac{\delta f_1}{\delta x_n} \\ \frac{\delta f_2}{\delta x_1} & \frac{\delta f_2}{\delta x_2} & ... & \frac{\delta f_2}{\delta x_n} \\ \vdots & \vdots & \ddots & \vdots \\ \frac{\delta f_m}{\delta x_1} & \frac{\delta f_m}{\delta x_2} & ... & \frac{\delta f_m}{\delta x_n} \newline \end{array} \right)\] Si \(n=m\), la matrice jacobienne est carrée, on peut donc considérer son déterminant, appelé jacobien de \(f\).
En savoir plus
matrices élémentaires de type \((n,p)\)
[ Definition ]
On appelle matrices élémentaires de type \((n,p)\) les matrices \(E_{i,j}\) avec \(E_{i,j}(a,b)=\delta_{a,i}.\delta_{b,j}\); c’est-à-dire les matrices de type \((n,p)\) ne comportant qu’un \(1\) (en position \((i,j)\)) et des \(0\) partout ailleurs.
En savoir plus
matrices élémentaires de type \((n,p)\)
[ Definition ]
On appelle matrices élémentaires de type \((n,p)\) les matrices \(E_{i,j}\) avec \(E_{i,j}(a,b)=\delta_{a,i}.\delta_{b,j}\); c’est-à-dire les matrices de type \((n,p)\) ne comportant qu’un \(1\) (en position \((i,j)\)) et des \(0\) partout ailleurs.
En savoir plus
Matrices équivalentes
[ Definition ]
Deux matrices \(A\) et \(B\) de même type \((n,p)\) sont dites équivalentes si il existe \(P\) et \(Q\) des matrices inversibles de types respectifs \((p,p)\) et \((n,n)\) telles que \[B=Q.A.P\]
En savoir plus
Matrices équivalentes
[ Definition ]
Deux matrices \(A\) et \(B\) de même type \((n,p)\) sont dites équivalentes si il existe \(P\) et \(Q\) des matrices inversibles de types respectifs \((p,p)\) et \((n,n)\) telles que \[B=Q.A.P\]
En savoir plus
matrice \(M\) associée à \(q\)
[ Definition ]
Étant donnée \((e_1,...,e_n)\) une base de \(E\) espace hermitien et \(q\) une forme quadratique hermitienne sur \(E\) de forme polaire \(\phi\), on définit la matrice \(M\) associée à \(q\) ou matrice associée à \(\phi\) par \(M_{i,j}=\phi(e_i,e_j)\). On note \(M=Mat_{(e_i)}(\phi)\) ou \(M=Mat_{(e_i)}(q)\).
En savoir plus
Matrices semblables
[ Definition ]
Deux matrices carrées \(A\) et \(B\) de même type sont dites semblables s’il existe une matrice inversible \(P\) telle que \[A=P.B.P^{-1}\]
En savoir plus
Matrices semblables
[ Definition ]
Deux matrices carrées \(A\) et \(B\) de même type sont dites semblables s’il existe une matrice inversible \(P\) telle que \[A=P.B.P^{-1}\]
En savoir plus
Mesure
[ Definition ]
Étant donné \((X,{\cal A})\) mesurable, on appelle mesure une application \(\mu:{\cal A}\rightarrow [0,+\infty]\) telle que:

\(\bullet\)\(\mu(\emptyset)=0\)

\(\bullet\)Si les \(A_i\) sont disjoints, en quantité au plus dénombrable, alors \(\mu(\cup A_i)=\sum \mu(A_i)\) (\(\sigma\) additivité)

\((X,{\cal A},\mu)\) est appelé espace mesuré.

Étant donné \((X,{\cal A})\) mesurable, on appelle mesure complexe une application \(\mu:{\cal A}\rightarrow \mathbb{C}\) telle que:

\(\bullet\)\(\mu(\emptyset)=0\)

\(\bullet\)Si les \(A_i\) sont disjoints, en quantité au plus dénombrable, alors \(\mu(\cup A_i)=\sum \mu(A_i)\) (\(\sigma\) additivité) quel que soit l’ordre de la sommation - c’est-à-dire que la somme est absolument convergente.

En savoir plus
Mesure algébrique
[ Definition ]
Soit \(D\) une droite de \(\mathscr P\) orientée par un vecteur unitaire \(\overrightarrow{u}\). Soient \(A\) et \(B\) deux points distincts de \(D\). La mesure algébrique \(\overline{AB}\) est l’unique réel \(\lambda\) tel que \(\overrightarrow{AB}=\lambda \overrightarrow{u}\).
En savoir plus
mesure finie ou \(\sigma\) -finie
[ Definition ]
\((X,{\cal A},\mu)\) mesuré, \(\mu\) est finie si \(\mu(X)<+\infty\).

\((X,{\cal A},\mu)\) mesuré, \(\mu\) est \(\sigma\)-finie si \(\exists ((X_k)_{k\in \mathbb{N}} \in {\cal A}^\mathbb{N}) ; \cup_k X_k=X \land \mu(X_k)<\infty\)

En savoir plus
Mesure image
[ Definition ]
Étant donnée \(f\) une application mesurable d’un espace \(\Omega\) doté d’une mesure \(\mu\) dans \(\mathbb{R}\) muni des boréliens, on note \(\mu^f\) la mesure appelée mesure image de \(\mu\) par \(f\) définie sur l’ensemble des boréliens de \(\mathbb{R}\) par \[\mu^f(E)=\mu\left(f^{-1}(E) \right).\]
En savoir plus
Méthode de Laplace
[ Théorème ]

Soit \(f\) une fonction \(C^2\) sur \(]a,b[\), avec \((a,b)\in \overline{\mathbb{R}}^2\), telle que \(f\) admette un maximum unique en \(c\in]a,b[\), avec \(f''(c)<0\), \(f\) n’ayant pas \(f(c)\) pour valeur d’adhérence pour \(x\to a\) ni pour \(x\to b\), et soit \(g\) une fonction continue sur \(]a,b[\) avec \(g(c)\neq 0\).

On suppose en outre que pour tout \(t\) l’intégrale \[\int_a^b |g(x)|e^{tf(x)}dx\mbox{ est convergente}.\] \[\mbox{Alors }\int_a^b g(x)e^{tf(x)}dx \simeq_{t\to\infty} \frac{\sqrt{2\pi}g(c)e^{tf(c)}}{\sqrt{-tf''(c)}}\]
En savoir plus
Méthode du pivot de Gauss
[ Théorème ]

(déterminants avec deux colonnes identiques)
La méthode de Gauss consiste à :

1) permuter les lignes pour avoir un coefficient non nul en haut à gauche de la matrice; ce coefficient est appelé pivot

2) soustraire la première ligne multipliée par un coefficient adéquat à chacune des autres lignes de manière à avoir des zéros sur toute la première colonne en dehors du premier coefficient

3) Procéder de même sur la matrice extraite, simplement dépourvue de sa première ligne et sa première colonne.

Le point \(1)\) pourra toujours être réalisé si on trouve toujours un coefficient non nul à échanger; pour peu que la matrice soit inversible, cette condition sera toujours vérifiée. Si elle ne l’est pas, on peut travailler sur la matrice extraite par suppression de la première colonne.

En réitérant cette méthode, on arrive à obtenir une matrice triangulaire supérieure. En fait la matrice obtenue est de la forme illustrée sur la figure [matobt], du moins après permutation des colonnes.
En savoir plus
Méthode du pivot de Gauss
[ Théorème ]

La méthode de Gauss consiste à :
1) permuter les lignes pour avoir un coefficient non nul en haut à gauche de la matrice; ce coefficient est appelé pivot
2) soustraire la première ligne multipliée par un coefficient adéquat à chacune des autres lignes de manière à avoir des zéros sur toute la première colonne en dehors du premier coefficient) Procéder de même sur la matrice extraite, simplement dépourvue de sa première ligne et sa première colonne.

Le point \(1)\) pourra toujours être réalisé si on trouve toujours un coefficient non nul à échanger; pour peu que la matrice soit inversible, cette condition sera toujours vérifiée. Si elle ne l’est pas, on peut travailler sur la matrice extraite par suppression de la première colonne.

En réitérant cette méthode, on arrive à obtenir une matrice triangulaire supérieure. En fait la matrice obtenue est de la forme illustrée sur la figure [matobt], du moins après permutation des colonnes.

En savoir plus
Métrique
[ Definition ]

Une métrique ou distance sur l’ensemble \(X\) est une application \(d:X \times X \rightarrow [0,+\infty[\) vérifiant:

\(\bullet\)\(d(x,y)=0 \iff x=y\)

\(\bullet\)\(d(x,y)=d(y,x)\)

\(\bullet\)\(d(x,y) \leq d(x,z) + d(z,y)\) (propriété dite inégalité triangulaire)

On dit alors que \((X,d)\) est un espace métrique.
En savoir plus
Métrisabilité de la topologie de la convergence uniforme sur tout compact
[ Proposition ]
On suppose \(X\) localement compact, réunion dénombrable de compacts \(K_n\), \(\forall m,K_m \subset K_{m+1}\), \(Y\) métrique; alors la topologie engendrée par la distance \[d(f,g)=\sum_{k=0}^\infty \frac1{2^k} \frac{N_{K_k}(f,g)}{1+N_{K_k}(f,g)}\] admet pour suites convergentes les suites uniformément convergentes sur tout compact au sens de la définition [frincon].
En savoir plus
Métrisabilité: topologie de convergence uniforme
[ Proposition ]
Lorsque \(X\) est un espace topologique compact, et si on se limite à l’ensemble \(C^0(X,F)\) des applications continues de \(X\) dans \(F\) (métrique) alors la topologie définie par la distance \(d(f,g)=sup_X d(f(x),g(x))\) sur \(C^0(X,Y)\) est telle que les suites convergentes sont les suites uniformément convergentes au sens de la définition [frincon].
En savoir plus
Métrisable
[ Definition ]

Une topologie est dite métrisable si et seulement si il existe une métrique telle que la topologie soit associée à cette métrique.

Deux métriques \(d_1\) et \(d_2\) sont dites équivalentes si il existe \(\alpha\) et \(\beta\) tels que \(\alpha d_1 < d_2 < \beta d_1\) 2, avec \(\alpha,\beta> 0\).

Deux métriques sont dites topologiquement équivalentes si elles définissent la même topologie.

En savoir plus
milieu de \(xy\)
[ Definition ]

Étant donné \(X\) un espace affine , le point \(x + \frac12 \overrightarrow{xy}=y+\frac12 \overrightarrow{yx}\) est appelé milieu de \(xy\). C’est le barycentre de \((x,\frac12)\) et \((y,\frac12)\).

On appelle symétrie une application affine \(f\) d’un espace affine dans lui-même telle que \(f \circ f = I\) (i.e. \(f\) est involutive).
En savoir plus
Mineur et cofacteur
[ Definition ]

Le déterminant de la matrice \(M\) à laquelle on ôte la \(j\)-ième colonne et la \(i\)-ième ligne est appelé mineur \((i,j)\) de \(M\). On le note généralement \(\Delta_{i,j}\).

Le déterminant de la matrice \(M\) à laquelle on ôte la \(j\)-ième colonne pour la remplacer par le \(i\)-ième vecteur de la base est appelé cofacteur \((i,j)\) de \(M\). On le note généralement \(\gamma_{i,j}(M)\).

La matrice \(\gamma\) ainsi définie est appelée comatrice de \(M\). On la note généralement \(com(M)\).

La matrice \(^t\gamma\) est appelée matrice complémentaire de \(M\). On la note généralement \(\tilde M\).
En savoir plus
Mineur et cofacteur
[ Definition ]
Le déterminant de la matrice \(M\) à laquelle on ôte la \(j\)-ième colonne et la \(i\)-ième ligne est appelé mineur \((i,j)\) de \(M\). On le note généralement \(\Delta_{i,j}\).
Le déterminant de la matrice \(M\) à laquelle on ôte la \(j\)-ième colonne pour la remplacer par le \(i\)-ième vecteur de la base est appelé cofacteur \((i,j)\) de \(M\). On le note généralement \(\gamma_{i,j}(M)\).
La matrice \(\gamma\) ainsi définie est appelée comatrice de \(M\). On la note généralement \(com(M)\).
La matrice \(^t\gamma\) est appelée matrice complémentaire de \(M\). On la note généralement \(\tilde M\).
En savoir plus
minimum relatif
[ Definition ]

On dit que \(f\) admet un minimum relatif ou minimum local en \(x\in U\) si il existe un voisinage \(V\) de \(x\) tel que pour tout \(v\) dans \(V\) \(f(x)\leq f(v)\).

On dit que \(f\) admet un minimum relatif strict ou minimum local strict en \(x\in U\) si il existe un voisinage \(V\) de \(x\) tel que pour tout \(v\neq x\) dans \(V\) \(f(x) < f(v)\).

On dit que \(f\) admet un minimum global en \(x\in U\) si pour tout \(v\) dans \(U\) \(f(x)\leq f(v)\).

On dit que \(f\) admet un minimum global strict en \(x\in U\) si pour tout \(v\neq x\) dans \(U\) \(f(x) < f(v)\).

On définit de même les notions de maximum relatif, maximum relatif strict, maximum global, maximum global strict, en remplaçant les \(\leq\) par des \(\geq\) et les \(<\) par des \(>\).
En savoir plus
minimum relatif
[ Definition ]
On dit que \(f\) admet un minimum relatif ou minimum local en \(x\in U\) si il existe un voisinage \(V\) de \(x\) tel que pour tout \(v\) dans \(V\) \(f(x)\leq f(v)\).

On dit que \(f\) admet un minimum relatif strict ou minimum local strict en \(x\in U\) si il existe un voisinage \(V\) de \(x\) tel que pour tout \(v\neq x\) dans \(V\) \(f(x) < f(v)\).

On dit que \(f\) admet un minimum global en \(x\in U\) si pour tout \(v\) dans \(U\) \(f(x)\leq f(v)\).

On dit que \(f\) admet un minimum global strict en \(x\in U\) si pour tout \(v\neq x\) dans \(U\) \(f(x) < f(v)\).

On définit de même les notions de maximum relatif, maximum relatif strict, maximum global, maximum global strict, en remplaçant les \(\leq\) par des \(\geq\) et les \(<\) par des \(>\).
En savoir plus
Module d’un nombre complexe
[ Definition ]
Soient \(z=a+i\,b\) un nombre complexe et \(M\) son image dans \(\mathscr P\). On appelle module de \(z\) le réel positif ou nul noté \(|z|\) et donné par : \[|z|=||\overrightarrow{OM}||\]
En savoir plus
moment d’ordre \(k\)
[ Definition ]
On appelle moment d’ordre \(k\) de la variable aléatoire \(X\) à valeurs dans \(\mathbb{R}\) l’espérance de \(X^k\) (quand elle existe). On appelle moment centré d’ordre \(k\) de la variable aléatoire \(X\) à valeurs dans \(\mathbb{R}\) l’espérance de \((X-E(X))^k\).
En savoir plus
Morphisme d’anneaux
[ Definition ]
Une application \(f\) d’un anneau \((A,+,\times)\) vers un anneau \((B,+,\times)\) est un morphisme d’anneaux (ou homomorphisme) si:

\(\bullet\)\(f\) est un morphisme du groupe \((A,+)\) vers le groupe \((B,+)\)

\(\bullet\)\(f(x.y)=f(x).f(y)\) pour tout \((x,y) \in A^2\)

\(\bullet\)\(f(1_A)=1_B\)

On appelle alors noyau de \(f\) l’ensemble \(ker\ f\) des \(x \in A\) tels que \(f(x)=0\).
En savoir plus
Morphisme de \(\mathbb{K}\)-algèbres
[ Definition ]
Un morphisme d’algèbre est une application qui est à la fois un morphisme d’anneaux sur les anneaux sous-jacents et un morphisme d’espaces vectoriels sur les espaces vectoriels sous-jacents.
En savoir plus
morphisme d’ordre
[ Definition ]
On appelle morphisme d’ordre entre deux ensembles ou classes ordonnés \(A\) et \(B\) une application \(f\) de \(A\) vers \(B\) telle que \(f(a)\geq f(b) \iff a \geq b\). Un morphisme d’ordre bijectif est appelé isomorphisme d’ordre. S’il existe un isomorphisme d’ordre entre deux ensembles ou classes alors on dit que ces ensembles ou classes sont isomorphes pour l’ordre.
En savoir plus
Moyenne de Cesaro
[ Théorème ]

On se donne une suite \(u_n\) à valeurs dans un \(\mathbb{R}\)-espace vectoriel normé \(E\). Soit \({\lambda}_n\) une suite de réels \(>0\), telle que \(\sum {\lambda}_n\) diverge.

Si \(u_n \to l\), alors \(v_n \to l\), avec \(v_n=\frac{\sum_{k=0}^n {\lambda}_k.u_k}{\sum_{k=0}^n {\lambda}_k}\).
En savoir plus
multiplication d’applications \(p\)-linéaires alternées
[ Definition ]

Etant donnée une application \(\phi\) bilinéaire de \(F\times G\) dans \(H\), on définit une multiplication d’applications \(p\)-linéaires alternées par: \[{\cal A}_p(E,F) \times {\cal A}_q(E,G) \to {\cal A}_{p+q}(E,H)\] \[(f,g) \mapsto f \land_\phi g\] définie par \[(f\land_\phi g)(x_1,\dots,x_{p+q})=\sum_{\sigma} \epsilon(\sigma) \phi(f(x_{\sigma(1)},x_{\sigma(2)},\dots,x_{\sigma(p)}),g(x_{\sigma(p+1)},x_{\sigma(p+2)},\dots,x_{\sigma(p+q)}))\] La sommation étant étendue à l’ensemble des permutations \(\sigma\) de \([1,n]\) telles que \(\sigma(1) < \sigma(2) < \dots < \sigma(p)\) et \(\sigma(p+1) < \sigma(p+2) < \dots < \sigma(p+q)\).

En savoir plus
Success message!