Lexique mathématique

Lexique mathématique

C
Calcul de la dérivée seconde d’une fonction
[ None ]
Soit \(f\) une fonction \(2\) fois dérivable en \(a\). Alors \[f''(a)=\lim_{h\to 0} \frac{f(a+h)+f(a-h)-2.f(a)}{h^2}\]
En savoir plus
Calcul de la dérivée \(n\)-ième d’une fonction
[ None ]
Si \(f\) est \(n\) fois dérivable en \(0\), alors \[f^{(n)}(0)=\lim_{h\to 0} \sum_{k=0}^n C_n^k(-1)^{n-k}f(kh)\]
En savoir plus
Calcul de la distance entre deux droites non parallèles
[ Théorème ]
Soient \(\mathscr D\) et \(\mathscr D'\) deux droites non parallèles de vecteurs directeurs respectifs \(\overrightarrow{u}\) et \(\overrightarrow{u}'\), passant respectivement par les points \(M\) et \(M'\). On a : \[\boxed{d\left(\mathscr D,\mathscr D'\right) = \dfrac{ \left| \mathop{\rm det}\left(\overrightarrow{u},\overrightarrow{u}',\overrightarrow{MM'}\right) \right| }{ \left\| \overrightarrow{u} \wedge \overrightarrow{u}' \right\| }}\]
En savoir plus
Calcul de la vitesse et de l’accélération dans le repère polaire
[ Proposition ]
\[\boxed{\overrightarrow{F'}(t) = \rho'(t) \overrightarrow{u}\bigl(\theta(t)\bigr) + \rho(t) \theta'(t) \overrightarrow{v}\bigl(\theta(t)\bigr)} \quad \textrm{ et} \quad \boxed{ \overrightarrow{F''}(t) = \bigl[\rho''(t) - \rho(t)\theta'^2(t)\bigr] \overrightarrow{u}\bigl(\theta(t)\bigr) + \bigl[2\rho'(t)\theta'(t) + \rho(t)\theta''(t)\bigr] \overrightarrow{v}\bigl(\theta(t)\bigr)}\]
En savoir plus
Calculs avec les coordonnées
[ Proposition ]
Soit \(\mathscr R\left(O, \overrightarrow{i}, \overrightarrow{j}, \overrightarrow{k}\right)\) un repère cartésien de l’espace. Soient \(\overrightarrow{u}\) et \(\overrightarrow{u'}\) des vecteurs de coordonnées, dans \(\mathscr R\) : \[\overrightarrow{u} \left|\begin{matrix} x \\ y \end{matrix} \right.{z} \quad \textrm{ et} \quad\overrightarrow{u'} \left|\begin{matrix} x' \\ y' \end{matrix} \right.{z'}\] Soient \(\alpha,\alpha'\in\mathbb{R}\). Les coordonnées du vecteur \(\alpha \overrightarrow{u} + \beta \overrightarrow{u'}\) sont : \[\boxed{\alpha \overrightarrow{u} + \beta \overrightarrow{u'} \left|\begin{matrix} \alpha x + \beta x' \newline \alpha y + \alpha' y' \end{matrix} \right.{\alpha z + \alpha' z'}}\]
En savoir plus
Cantor \(K_3\)
[ Definition ]

On note \(C_0\) l’ensemble \([0,1]\).

On note \(C_1\) l’ensemble \([0,\frac13]\cup[\frac23,1]\).

On note \(C_2\) l’ensemble \([0,\frac19]\cup[\frac29,\frac39]\ \cup \ [\frac69,\frac79]\cup[\frac89,\frac99]\)

...

On note \(C_n\) l’ensemble \(\frac13.C_{n-1} \cup (C_{n-1}+2).\frac13\).

On note \(K_3\) l’intersection des \(C_n\), pour \(n \in \mathbb{N}\). On appelle cet ensemble ensemble triadique de Cantor.

On le munit d’une topologie en considérant la restriction de la distance usuelle à \(K_3\).
En savoir plus
Caractérisation de la colinéarité de deux vecteurs via le produit vectoriel
[ None ]
Deux vecteurs de \(\mathscr V\) sont colinéaires si et seulement si leur produit vectoriel est nul.
En savoir plus
Caractérisation de la convergence par les fonctions coordonnées
[ Proposition ]
Soit \(\overrightarrow{F}\) une fonction vectorielle donnée par le couple \((x,y)\) sur \(I\). Soit \(\overrightarrow{l}=(l_1,l_2)\) un vecteur de \(\mathbb{R}^2\). On a : \[\boxed{\overrightarrow{F} (t) \xrightarrow[t\rightarrow t_0]{} \overrightarrow{l} \Longleftrightarrow\left\{\begin{array}{l} x(t) \xrightarrow[t\rightarrow t_0]{} l_1\newline y(t) \xrightarrow[t\rightarrow t_0]{} l_2 \end{array}\right.}\]
En savoir plus
Caractérisation de la fonction exponentielle l’équation différentielle \(f'=af\)
[ Proposition ]
Soit \(f\) une fonction dérivable de \(\mathbb{R}\) dans \(\mathbb{C}\) et pour laquelle il existe \(a \in \mathbb{C}^*\) tel que \(f'=af\). Alors il existe \(\lambda \in \mathbb{C}\) tel que : \(\forall t \in \mathbb{R},\quad f(t)=\lambda e^{at}\). Autrement dit, \(f\) vérifie : \(f=\lambda f_a\). Si, de plus, \(f(0)=1\) alors \(f=f_a\).
En savoir plus
Caractérisation de la fonction exponentielle par l’équation fonctionnelle \(f(s+t)=f(s)f(t)\)
[ Proposition ]
Soit \(f\) une fonction dérivable de \(\mathbb{R}\) dans \(\mathbb{C}\) vérifiant l’équation \(\forall (s,t) \in \mathbb{R}^2, ~~ f(s+t)=f(s)f(t)\). Si il existe \(c \in \mathbb{R}\) tel que \(f(c)=0\) alors \(f\) est la fonction nulle sur \(\mathbb{R}\). Sinon \(f(0)=1\) et il existe \(a\in \mathbb{C}\) tel que \(f'=a f\), c’est-à-dire tel que \(f=f_a\).
En savoir plus
Caractérisation de la perpendicularité ou du parallélisme de deux plans à partir de leurs équations cartésiennes respectives
[ Proposition ]

Soient \(\mathscr P\) et \(\mathscr P'\) deux plans d’équations cartésiennes respectives \[ax+by+cz=d \quad \textrm{ et} \quad a'x+b'y+c'z=d'.\] Les vecteurs \(\overrightarrow{n}\left(a,b,c\right)\) et \(\overrightarrow{n}'\left(a',b',c'\right)\) sont donc, respectivement, des vecteurs normaux à \(\mathscr P\) et à \(\mathscr P'\).

  1. Les plans \(\mathscr P\) et \(\mathscr P'\) sont parallèles si et seulement si il existe un réel \(\lambda\neq 0\) tel que \[a'=\lambda a, \quad b'=\lambda b \quad \textrm{ et} \quad c'=\lambda c\]

  2. Les plans \(\mathscr P\) et \(\mathscr P'\) sont confondues si et seulement si il existe un réel \(\lambda\neq 0\) tel que \[a'=\lambda a, \quad b'=\lambda b ,\quad c'=\lambda c \quad \textrm{ et} \quad d'=\lambda d\]

  3. Les plans \(\mathscr P\) et \(\mathscr P'\) sont perpendiculaires si et seulement si \[aa'+bb'+cc'=0\]

En savoir plus
Caractérisation des applications linéaires
[ Proposition ]
Soit \(f:\mathscr V\longrightarrow \mathscr V\). \(f\) est linéaire si et seulement si, pour tout couple \((\overrightarrow{u}, \overrightarrow{v})\) de \(\mathscr V^2\) et pour tout couple de réels \((\alpha,\beta)\) \[\boxed{ f(\alpha\overrightarrow{u} + \beta\overrightarrow{v})=\alpha f(\overrightarrow{u})+\beta f(\overrightarrow{v}) }.\]
En savoir plus
Caractérisation des bases du plan
[ Proposition ]
Soit \(\overrightarrow{u},\overrightarrow{v}\in \mathscr V\). Le couple \(\left(\overrightarrow{u},\overrightarrow{v}\right)\) forme une base du plan si et seulement si : \[\boxed{\forall \alpha,\beta \in\mathbb{R},\quad \alpha \overrightarrow{u} + \beta \overrightarrow{v} =0 \Rightarrow \alpha=\beta=0}\]
En savoir plus
Caractérisation des fonctions de répartition
[ Proposition ]

\(F:\mathbb{R}\to \mathbb{R}\) est une fonction de répartition d’une certaine variable aléatoire si et seulement si les quatre propriétés suivantes sont vérifiées:

\(\bullet\)\(F\) est croissante de \(\mathbb{R}\) dans \([0,1]\)

\(\bullet\)\(F(x) \to 1\) quand \(x \to +\infty\)

\(\bullet\)\(F(x) \to 0\) quand \(x \to -\infty\)

\(\bullet\)\(F\) est continue à droite en tout point.
En savoir plus
Caractérisation d’un cercle par l’équation \(\overrightarrow{MA}.\overrightarrow{MB}=0\)
[ Proposition ]
Soit \(\mathscr R (O,\overrightarrow{\imath },\overrightarrow{\jmath})\) un repère orthonormal. Soient \(A(x_A,y_A)\) et \(B(x_B,y_B)\) deux points du plan. Soit \(\mathscr C\) l’ensemble des points \(M\) du plan vérifiant \[\overrightarrow{MA}.\overrightarrow{MB}=0.\] Alors \(\mathscr C\) est le cercle de diamètre \(AB\). Une équation de \(\mathscr C\) est donnée par \[\boxed{(x-x_A)(x-x_B)+(y-y_A)(y-y_B)=0}\]
En savoir plus
Caractérisation par les fonctions coordonnées
[ Proposition ]
Une fonction vectorielle \(\overrightarrow{F} : I \rightarrow \mathbb{R}^2, t \mapsto (x(t),y(t))\) est dérivable en \(t_0\in I\) si et seulement si les deux fonctions réelles qui la composent: \(x\) et \(y\) sont dérivables en \(t_0\). On a alors : \[\boxed{F'(t_0)=(x'(t_0),y'(t_0))}\]
En savoir plus
Caractérisation pratique d’une droite asymptote
[ Proposition ]
Soit \((I,\overrightarrow{F})\) un arc paramétré possédant une branche infinie en \(t_0\in I\). La droite \(\mathscr D\) d’équation \(a~x+ b~y +c=0\) est asymptote à l’arc \((I,\overrightarrow{F})\) en \(t_0\) si et seulement si \[\boxed{ a~x(t)+ b~y(t) +c \xrightarrow[t \rightarrow t_0]{} 0}\].
En savoir plus
Caractérisations de supplémentaires
[ Théorème ]
\(F\) et \(G\) sont supplémentaires dans \(E\) si et seulement si leur intersection est nulle et si la somme de leurs dimensions est la dimension de \(E\).

\(F\) et \(G\) sont supplémentaires dans \(E\) si et seulement si leur intersection est nulle et si leur somme est égale à \(E\).

\(F\) et \(G\) sont supplémentaires dans \(E\) si et seulement si leur somme est égale à \(E\) et si la somme de leurs dimensions est égale à la dimension de \(E\).
En savoir plus
Caractérisations de supplémentaires
[ Théorème ]
\(F\) et \(G\) sont supplémentaires dans \(E\) si et seulement si leur intersection est nulle et si la somme de leurs dimensions est la dimension de \(E\).

\(F\) et \(G\) sont supplémentaires dans \(E\) si et seulement si leur intersection est nulle et si leur somme est égale à \(E\).

\(F\) et \(G\) sont supplémentaires dans \(E\) si et seulement si leur somme est égale à \(E\) et si la somme de leurs dimensions est égale à la dimension de \(E\).
En savoir plus
Caractéristiques de la topologie de la convergence simple
[ None ]

On considère la topologie de la convergence simple sur \(Y^X\).

\(\bullet\)si \(Y\) est séparé la topologie de la convergence simple est séparée

\(\bullet\)si \(Y\) est compact, alors la topologie de la convergence simple est compacte

\(\bullet\)si \(Y\) est connexe (resp. par arcs), alors la topologie de la convergence simple est connexe (resp. par arcs).

En savoir plus
cardinal
[ Definition ]
Étant donné un ensemble, on sait qu’il existe au moins un ordinal auquel cet ensemble est équipotent. Éventuellement il peut y en avoir plusieurs; le plus petit élément de ces ordinaux (au sens défini plus haut sur les ordinaux, c’est-à-dire la relation \(\in\)) est appelé le cardinal de l’ensemble. On note usuellement \(\overline {\overline E}\) le cardinal de \(E\), ou \(\# E\), ou encore \(|E|\). On note \(Card\) la classe des cardinaux.
En savoir plus
Cardinal accessible et inaccessible
[ Definition ]
Un cardinal \(E\) est dit inaccessible s’il est plus grand que \({\omega}\), si pour tout \(F\) cardinal \(<E\) on a \(2^F < E\), et si toute famille de cardinaux \(<E\), indexée par une famille de cardinal \(<E\), a un \(sup\) plus petit que \(E\).

Un cardinal est dit accessible s’il n’est pas inaccessible.

L’axiome d’accessibilité affirme que tout cardinal est accessible.
En savoir plus
Cas où \(d=Pe^{mt}\)
[ Proposition ]
On suppose que \(d\) est de la forme \(d:t\mapsto P\left(t\right)e^{mt}\)\(P\) est une fonction polynomiale et où \(m\in\mathbb{C}\). Alors \(\left(E\right)\) possède une solution particulière de la forme :
  • \(Qe^{mt}\) si \(m\) n’est pas une racine de \(aX^2+bX+c=0\)

  • \(tQe^{mt}\) si \(m\) est une racine simple de \(aX^2+bX+c=0\)

  • \(t^2Qe^{mt}\) si \(m\) est une racine double de \(aX^2+bX+c=0\)

\(Q\) est une fonction polynomiale de même degré que \(P\).
En savoir plus
Cas où \(d\) est une combinaison linéaire de fonctions \(\sin\) et \(\cos\)
[ Proposition ]
Soient \(\eta_1,\eta_2,a,b,c, \omega\in\mathbb{R}\) avec \(\omega\neq 0\). L’équation \[\forall t\in I, ay''\left(t\right)+ by'\left(t\right)+cy\left(t\right)=\boxed{\eta_1 \cos\left(\omega t\right) + \eta_2 \sin \left(\omega t\right)} \quad (E)\] admet une solution particulière sur \(I\) de la forme \(t\mapsto \mu_1 \cos\left(\omega t\right) + \mu_2 \sin \left(\omega t\right)\)\(\mu_1,\mu_2 \in\mathbb{R}\).
En savoir plus
Cas où \(d\) est une fonction polynomiale
[ Proposition ]
On suppose que \(d\) est une fonction polynomiale. Alors \(\left(E\right)\) possède une solution particulière de la forme :
  • \(Q\) si \(c\neq 0\).

  • \(tQ\) si \(c=0\) et \(b\neq 0\)

  • \(t^2Q\) si \(b=c=0\).

\(Q\) est une fonction polynomiale de même degré que \(P\).
En savoir plus
Cas \(\mathbb{K}=\mathbb{C}\)
[ None ]
Pour tout forme quadratique \(q\) sur un \(\mathbb{C}\)-espace vectoriel \(E\) de dimension \(n\), il existe \(p \in [\![1,n]\!]\) et \(f_1\),...,\(f_p\) dans \(E^*\) tel que

\(\bullet\)les \(f_i\) forment une famille libre

\(\bullet\)\(q(x)=\sum_{i=1}^p f_i(x)^2\)

En outre, \(p\) est unique et est égal au rang de \(q\).
En savoir plus
Cas \(\mathbb{K}=\mathbb{R}\)
[ None ]
Pour tout forme quadratique \(q\) sur un \(\mathbb{R}\)-espace vectoriel \(E\) de dimension \(n\), il existe \(r \in [[1,n]]\) et \(p\) dans \([[1,r]]\) et \(f_1\),...,\(f_p\) dans \(E^*\) tel que

\(\bullet\)les \(f_i\) forment une famille libre

\(\bullet\)\(q(x)=\sum_{i=1}^p f_i(x)^2-\sum_{i=p+1}^r f_i(x)^2\)

En outre, \(r\) est unique et est égal au rang de \(q\), et \(p\) est unique.

Le couple \((p,r-p)\) correspond à la signature de \(q\), voir la définition [signature-forme-quadra] plus loin.
En savoir plus
Cas \(\mathbb{K}=\mathbb{R}\) et \(q\) définie positive
[ None ]
Pour tout forme quadratique \(q\) définie positive sur un \(\mathbb{R}\)-espace vectoriel \(E\) de dimension \(n\), il existe \(f_1\),...,\(f_n\) dans \(E^*\) tels que

\(\bullet\)les \(f_i\) forment une famille libre

\(\bullet\)\(q(x)=\sum_{i=1}^n f_i(x)^2\)

On en déduit aussi l’existence d’une base orthonormale.
En savoir plus
Cauchy-Mertens
[ Théorème ]
On se donne deux séries de termes généraux \((u_n)\) et \((v_n)\), la série de terme général \((u_n)\) étant supposé absolument convergente, et la série de terme général \(v_n\) étant convergente. Alors le produit de convolution de ces deux séries est convergent, et la somme du produit de convolution est égale au produit des sommes de ces deux séries.
En savoir plus
Cayley-Hamilton
[ Théorème ]
Soit \(f\) un endomorphisme d’un \(\mathbb{K}\)-espace vectoriel de dimension finie. Alors .
En savoir plus
centralisateur
[ Definition ]
Les \(H_i\), uniques, sont appelés les composantes primaires du groupe commutatif \(G\).
En savoir plus
Cercle
[ Definition ]
Le cercle de centre \(\Omega\) et de rayon \(R\geqslant 0\) est l’ensemble des points du plan situés à une distance \(R\) de \(\Omega\): \[\left\{M\in \mathscr P:~~\left\|\overrightarrow{\Omega M}\right\|=R \right\}\] Ce cercle sera noté \(\mathscr C(\Omega,R)\).
En savoir plus
Cercle principal d’une ellipse
[ Proposition ]
L’ellipse \(\mathscr E\) d’équation \({\scriptstyle X^2\over\scriptstyle a^2}+{\scriptstyle Y^2\over\scriptstyle b^2}=1\) avec \(0<b<a\) dans un repère orthonormal \((O,\overrightarrow{i}, \overrightarrow{j})\) est l’image du cercle \(\mathscr C\) d’équation cartésienne \(X^2+Y^2=a^2\) par l’affinité orthogonale de base \((O,\overrightarrow{i})\) et de rapport \(k={\scriptstyle b\over\scriptstyle a}\). Le cercle \(\mathscr C\) est appelé cercle principal de l’ellipse \(\mathscr E\).
En savoir plus
chaîne entre les sous-espaces vectoriels \(F\) et \(G\)
[ Definition ]

On appelle chaîne entre les sous-espaces vectoriels \(F\) et \(G\) une suite finie de sous-espaces vectoriels , le premier étant \(F\), le dernier étant \(G\), et chaque élément de la chaîne étant un hyperplan du sous-espace vectoriel suivant, ou au contraire le sous-espace vectoriel suivant étant un hyperplan de ce sous-espace vectoriel ; formellement cela signifie qu’il existe \(F_1,...,F_p\) tels que \(F=F_1\), \(G=F_p\), et pour tout \(i\in [1,p-1]\), \(F_i\) est un hyperplan de \(F_{i+1}\) ou \(F_{i+1}\) est un hyperplan de \(F_i\).

\(p\) est appelé longueur de la chaîne.

En savoir plus
Champ rentrant dans la sphère
[ None ]
Soit \(V\) un champ de vecteur continu de la boule unité fermée de \(\mathbb{R}^n\) dans \(\mathbb{R}^n\). Si pour tout \(x\) \(<V(x),x>\) est négatif strictement 1, alors \(V\) s’annule au moins en un point de la boule unité.
En savoir plus
Champ rentrant dans la sphère
[ None ]
Soit \(V\) un champ de vecteur continu de la boule unité fermée de \(\mathbb{R}^n\) dans \(\mathbb{R}^n\). Si pour tout \(x\), \(\tilde V(x)= <V(x),x>\) est négatif strictement 16, alors \(V\) s’annule au moins en un point de la boule unité.
En savoir plus
Changement de repère
[ Proposition ]
Soit \(M\) un point de \(\mathscr P\) de coordonnées \((x',y')\) dans un premier repère \(\mathscr R'\) et de coordonnées \((x,y)\) dans un second repère \(\mathscr R\). Soient \((x_{O'},y_{O'})\) les coordonnées de \(O'\) dans \(\mathscr R\), \((\alpha,\beta)\), \((\gamma,\delta)\) les coordonnées respectives de \(\overrightarrow{\imath}'\) et \(\overrightarrow{\jmath}'\) dans \(\mathscr R\). Les nouvelles coordonnées \((x,y)\) de \(M\) en fonction des anciennes \((x',y')\) sont données par les relations \[\boxed{\begin{cases} x-x_{O'}&=\alpha x'+\gamma y'\newline y-y_{O'}&=\beta x'+\delta y' \end{cases}}\]
En savoir plus
Changement de repère entre deux repères orthonormaux directs
[ Proposition ]
Soient \(\mathscr R\left(O,\overrightarrow{\imath},\overrightarrow{\jmath}\right)\) et \(\mathscr R\left(O',\overrightarrow{\imath}',\overrightarrow{\jmath}'\right)\) deux repères orthonormaux directs. Notons \(\theta=\left(\widehat{\overrightarrow{\imath},\overrightarrow{\imath}'}\right)\). Les nouvelles coordonnées \(\left(x,y\right)\) d’un point \(M\) du plan \(\mathscr P\) dans le repère \(\mathscr R\) s’expriment en fonction des anciennes \(\left(x',y'\right)\) dans le repère \(\mathscr R'\) par

\[\boxed{\begin{cases} x-x_{O'}&=\cos \theta x'-\sin \theta y'\newline y-y_{O'}&=\sin \theta x'+\cos \theta y' \end{cases}}\]

\(\left(x_{O'},y_{O'}\right)\) représente les coordonnées de \(O'\) dans le repère \(\mathscr R\).
En savoir plus
Changement de variable
[ Théorème ]
Si \(f\) est continue sur \([c,d]\) et si \(\theta\) est \(C^1\) de \([a,b]\) dans \([c,d]\), alors on a \[\int_{\theta(a)}^{\theta(b)}f= \int_a^b (f \circ \theta)\theta'\]
En savoir plus
Changement de variable
[ Théorème ]
Si \(K\) est un compact inclus dans \(U\) ouvert de \(\mathbb{R}^n\), si \(\phi\) est un \(C^1\)-difféomorphisme de \(U\) sur \(U'\) ouvert de \(\mathbb{R}^n\), si \(f\) est continue, alors \[\int_{\phi(K)} f=\int_K (f\circ \phi) J\phi\] avec \(J\phi\) le jacobien de \(\phi\).
En savoir plus
classe
[ Definition ]
On pose \[{ \mathbb Z}/n{ \mathbb Z}\;= \; { \mathbb Z}/\equiv_n.\] On note \(\mbox{ }^n\overline{a}\) ou \(\overline{a}\) (ou même \(a\)) la classe de \(a\in{ \mathbb Z}\). Les éléments de \({ \mathbb Z}/n{ \mathbb Z}\) sont donc les \(\overline{a}\), \(a\in{ \mathbb Z}\). On munit \({ \mathbb Z}/n{ \mathbb Z}\) des deux lois \[\begin{aligned} +\;: { \mathbb Z}/n{ \mathbb Z}\times { \mathbb Z}/n{ \mathbb Z}\stackrel{ }{\longrightarrow} { \mathbb Z}/n{ \mathbb Z}, & & (\overline{a}, \overline{b}) \mapsto \overline{a}+\overline{b}:= \overline{a+b} \newline \cdot\;: { \mathbb Z}/n{ \mathbb Z}\times { \mathbb Z}/n{ \mathbb Z}\stackrel{ }{\longrightarrow} { \mathbb Z}/n{ \mathbb Z}, & & (\overline{a}, \overline{b}) \mapsto \overline{a}\cdot\overline{b}:= \overline{a\cdot b} \end{aligned}\]
En savoir plus
classe d’équivalence de \(x\) par rapport à \(R\)
[ Definition ]
Soit \(X\) un ensemble et \(R\) une relation d’équivalence sur \(X\). Pour \(x\in X\), on pose \[\mbox{ }^R\overline{x} = \{ x'\in X \;| \; x R x' \; \} \subset X\] et on appelle classe d’équivalence de \(x\) par rapport à \(R\) cette partie de \(X\). Par définition, l’ensemble \(X/R\) est formé des classes \(\mbox{ }^R\overline{x}\) d’éléments \(x\in X\). On appelle \(X/R\) le quotient de \(X\) par la relation d’équivalence \(R\). On définit l’application quotient (=la projection canonique) \(q : X \rightarrow X/R\) par \(q(x)=\mbox{ }^R\overline{x}\). Une partie de \(X\) est un système de représentants pour \(R\) si elle contient un élément de chaque classe d’équivalence et un seul.
En savoir plus
classes à gauche de \(G\) suivant \(H\)
[ Definition ]
Étant donné \(H\) un sous-groupe de \(G\), on définit les classes à gauche de \(G\) suivant \(H\) comme les \(xH\), \(x \in G\), et les classes à droite suivant \(H\) comme les \(Hx\).

On note \(G/H\) l’ensemble des classes à gauche, \(H \setminus G\) l’ensemble des classes à droite.

On note \((G:H)\) le cardinal de \(G/H\) quand celui-ci est fini.
En savoir plus
Classification des courbes du second degré
[ Théorème ]
On considère une courbe du second degré d’équation : \[\mathscr C:\quad ax^2+2 b xy +c y^2 + dx+ey+f=0\] dans un repère orthonormal. On note \(\Delta=ac-b^2\) son discriminant.
  • Si \(\Delta>0\), la courbe \(\mathscr C\) est une ellipse, un point ou l’ensemble vide.

  • Si \(\Delta<0\), la courbe \(\mathscr C\) est une hyperbole ou la réunion de deux droites sécantes.

  • Si \(\Delta=0\), la courbe \(\mathscr C\) est une parabole, une droite, la réunion de deux droites parallèles ou l’ensemble vide.

En savoir plus
coefficients de Fourier de \(f\)
[ Definition ]
Soit \(f\) dans \({\mathfrak L}^1\). On définit les coefficients de Fourier de \(f\) pour \(n\in \mathbb{Z}\) par \[\hat f(n) = \frac1{2\pi}\int_{-\pi}^{\pi} e^{-int}f(t).dt\]

On appelle noyau de Dirichlet d’ordre \(n\) et on note \(D_n\) l’application \(x \mapsto \sum_{i=-n}^n u_i(x)\).

On appelle noyau de Féjer d’ordre \(n\) et on note \(K_n\) l’application \[x \mapsto \frac{\sum_{i=0}^{n-1} D_i}n\]

On note \(s_n(f)\) et on appelle somme de Fourier d’ordre \(n\) la somme \(\sum_{i=-n}^n \hat f(i) u_i\).

On note \(\sigma_n(f)\) et on appelle somme de Féjer d’ordre \(n\) la somme \((\sum_{i=0}^{n-1} s_i)/n\).

On appelle série de Fourier associée à \(f\) la série \[\sum_{n=-\infty}^{+\infty} \hat f(n) e^{int}\]

En savoir plus
combinaison linéaire
[ Definition ]
Un élément \(x\) de l’espace vectoriel \(E\) est dit combinaison linéaire d’une famille \((x_i)_{i \in I}\) d’éléments de \(E\) si il existe un entier \(n\), un \(n\)-uplet \(({\lambda}_1,...,{\lambda}_n)\) d’éléments de \(\mathbb{K}\), et un \(n\)-uplet \((i_1,...,i_n)\) d’éléments de \(I\) tels que \(x=\sum_{1 \leq j \leq n} {\lambda}_j x_{i_j}\).

Un élément \(x\) est dit combinaison linéaire d’un sous-ensemble \(A\) de \(E\) si \(x\) est combinaison linéaire d’une famille d’éléments de \(A\).

Une famille d’éléments d’un sous-espace vectoriel \(F\) est dite famille génératrice de \(F\) si l’espace vectoriel engendré par cette famille est \(F\).

Une famille \((x_1,\dots,x_n)\) d’éléments de \(E\) est dite famille libre si \[\forall {\lambda}\in \mathbb{K}^n, \sum_{j \in [[1,n]]} {\lambda}_j x_{j}=0\Rightarrow (\forall j, {\lambda}_j=0).\] Une famille infinie est libre si toute sous-famille finie est libre.

Une famille est dite famille liée quand elle n’est pas libre.
En savoir plus
Combinaison linéaire de deux vecteurs
[ Definition ]
Soient \(\overrightarrow{u}\), \(\overrightarrow{v}\) et \(\overrightarrow{w}\) trois vecteurs de l’espace. On dit que \(\overrightarrow{w}\) est combinaison linéaire des vecteurs \(\overrightarrow{u}\) et \(\overrightarrow{v}\) si et seulement si il existe deux réels \(\alpha,\beta\in\mathbb{R}\) tels que \(\overrightarrow{w} = \alpha \overrightarrow{u}+\beta \overrightarrow{w}\).
En savoir plus
commutateur
[ Definition ]
On appelle commutateur de \(x\) et \(y\) l’élément \(x.y.x^{-1}.y^{-1}\). On appelle groupe dérivé d’un groupe le sous-groupe engendré (Voir paragraphe [engend] pour la définition de sous-groupe engendré par une partie) par les commutateurs. On note \(D(G)\) le groupe dérivé de \(G\).
En savoir plus
Commutativité
[ Proposition ]
\[f* g=g* f\]
En savoir plus
Compacité des espaces projectifs
[ Théorème ]

Soit \(E\) un espace vectoriel réel de dimension finie, muni de sa topologie usuelle, héritée de n’importe quelle norme (toutes les normes étant de toute façon équivalentes en dimension finie); alors l’espace projectif \(P(E)\) est compact pour la topologie quotient.

En savoir plus
Compacité des espaces projectifs
[ Théorème ]
Soit \(E\) un espace vectoriel réel de dimension finie, muni de sa topologie usuelle, héritée de n’importe quelle norme (toutes les normes étant de toute façon équivalentes en dimension finie); alors l’espace projectif \(P(E)\) est compact pour la topologie quotient.
En savoir plus
Compact
[ Definition ]

\(X\) est compact s’il est séparé et si de tout recouvrement ouvert on peut extraire un sous-recouvrement fini.

Un sous-ensemble \(K\) de l’espace \(X\) est dit compact s’il est compact pour la topologie induite.

Une partie \(A\) de \(X\) est dite relativement compacte si sa fermeture \(\overline A\) est compacte.
En savoir plus
complété
[ Definition ]
Un tel espace métrique complet est appelé complété de \(X\).
En savoir plus
complété projectif de \(H\)
[ Definition ]

Un hyperplan affine \(H\) de \(E\) ne passant pas par \(0\), identifié à l’ensemble des éléments de \(P(E)\) qui ne sont pas inclus dans \(\overrightarrow H\), comme précédemment, et complété par les points à l’infini correspondant à ses droites, est appelé complété projectif de \(H\).

Étant donné \(H\) un hyperplan affine de \(E\) ne passant pas par \(0\), \(\overrightarrow H\) est appelé l’hyperplan à l’infini du complété projectif de \(E\).
En savoir plus
complété projectif de \(H\)
[ Definition ]

Un hyperplan affine \(H\) de \(E\) ne passant pas par \(0\), identifié à l’ensemble des éléments de \(P(E)\) qui ne sont pas inclus dans \(\overrightarrow H\), comme précédemment, et complété par les points à l’infini correspondant à ses droites, est appelé complété projectif de \(H\).

Étant donné \(H\) un hyperplan affine de \(E\) ne passant pas par \(0\), \(\overrightarrow H\) est appelé l’hyperplan à l’infini du complété projectif de \(E\).
En savoir plus
Composante connexe
[ Definition ]
Avec \(x \in X\), la composante connexe de \(x\), notée \(C(x)\), est la réunion de tous les connexes contenant \(x\).
En savoir plus
Composante connexe par arcs
[ Definition ]
La composante connexe par arcs de \(x\) est la réunion de tous les connexes par arcs passant par \(x\); on la note \(C_a(x)\).
En savoir plus
composée
[ Proposition ]

Soient \(f\) et \(g\) admettant des développements limités en \(0\) à l’ordre \(n\).

Alors \(f+g\) et \(fg\) admettent des développements limités en \(0\) à l’ordre \(n\), et \(f/g\) aussi si \(g(0)\neq 0\).

\(\bullet\)Le développement limité de \(f+g\) est la somme des développements limités de \(f\) et \(g\).

\(\bullet\)Le développement limité de \(fg\) est le produit des développements limités de \(f\) et \(g\) (on peut tronquer les termes de degré \(>n\)).

\(\bullet\)Le développement limité du composé \(g\circ f\), si \(f(0)=0\), si \(f \equiv^n P\) et si \(g \equiv^n Q\), est \(Q\circ P\), valable à l’ordre \(n\) (les termes de degré \(>n\) passent dans \(o(x^n)\)).

\(\bullet\)Le développement limité de \(f/g\) est égal au développement limité du quotient des développements limités de \(f\) et \(g\).

En savoir plus
condition de Hölder d’ordre \(\alpha\)
[ Definition ]
On dit qu’une application d’un métrique \(E\) dans \(\mathbb{C}\) vérifie la condition de Hölder d’ordre \(\alpha\) s’il existe \(C\) dans \(\mathbb{R}^+\) tel que pour tous \(x\) et \(y\) dans \(E\), \(| f(x)-f(y) | \leq C d(x,y)^\alpha\).

Étant donné \(\Omega\) un ouvert de \(\mathbb{R}^n\) et \(\alpha\) un réel appartenant à \(]0,1]\), on note \(Lip_\alpha(\Omega)\) l’ensemble des applications bornées de \(\Omega\) dans \(\mathbb{C}\) vérifiant la condition de Hölder d’ordre \(\alpha\) sur \(\Omega\).

Étant donné \(f\) dans \(Lip_\alpha(\Omega)\), on note \({\parallel}f {\parallel}_\alpha\) le réel \({\parallel}f {\parallel}_\infty + \sup_{x\neq y} \frac{|f(x)-f(y)|}{{\parallel}x-y {\parallel}^\alpha}\). Il s’agit d’une norme.

En savoir plus
Condition initiale
[ Definition ]
Soit \((t_0,y_0,y_1) \in I\times \mathbb{K}\times \mathbb{K}\). On dit que la solution \(\varphi\) de \((E)\) vérifie la condition initiale \((t_0,y_0,y_1)\) si à la fois \(\varphi(t_0)=y_0\) et \(\varphi'(t_0)=y_1\).
En savoir plus
Condition initiale
[ Definition ]
Soit \((t_0,y_0) \in I\times \mathbb{K}\). On dit que la solution \(\varphi\) de \((E)\) vérifie la condition initiale \((t_0,y_0)\) si et seulement si \(\boxed{\varphi(t_0)=y_0}\).
En savoir plus
Condition nécessaire du premier ordre
[ Théorème ]
Si \(x\) est un minimum relatif de \(f\) et si \(f\) est différentiable en \(x\), alors la différentielle de \(f\) en \(x\) est nulle.
En savoir plus
Condition nécessaire du premier ordre
[ Théorème ]
Si \(x\) est un minimum relatif de \(f\) et si \(f\) est différentiable en \(x\), alors la différentielle de \(f\) en \(x\) est nulle.
En savoir plus
Condition nécessaire du second ordre
[ Théorème ]

Soit \(f\) deux fois différentiable en \(x\).

Alors si \(f\) admet un minimum local en \(x\), \(f''(x)\) est positive.
En savoir plus
Condition nécessaire du second ordre
[ Théorème ]

Soit \(f\) deux fois différentiable en \(x\).

Alors si \(f\) admet un minimum local en \(x\), \(f''(x)\) est positive.
En savoir plus
Condition suffisante du second ordre
[ Théorème ]
Supposons \(E\) de dimension finie. Soit \(f\) deux fois différentiables en \(x\), \(f'(x)=0\), et \(f''(x)\) définie positive. Alors \(f\) admet un minimum relatif strict en \(x\).
En savoir plus
Condition suffisante du second ordre
[ Théorème ]
Supposons \(E\) de dimension finie. Soit \(f\) deux fois différentiables en \(x\), \(f'(x)=0\), et \(f''(x)\) définie positive. Alors \(f\) admet un minimum relatif strict en \(x\).
En savoir plus
congru
[ Definition ]
Soient \(n\geq 1\) un entier et \(a,b\in{ \mathbb Z}\). On dit que \(a\) est congru à \(b\) modulo \(n\) s’il existe un \(k\in{ \mathbb Z}\) tel que \(a=b+k\,n\). On écrit alors \[a\equiv b\;(n) \mbox{ ou } a\equiv_n b \mbox{ ou } a = b\, \mbox{\rm mod}\,n.\]
En savoir plus
Conique
[ Definition ]
Soient \(\mathscr D\) une droite du plan, \(F\) un point du plan n’appartenant pas à \(\mathscr D\) et \(e\) un réel strictement positif. On appelle conique de foyer \(F\), de directrice \(\mathscr D\) et d’excentricité \(e\) la courbe \(\mathscr C\) formée des points \(M\) du plan vérifiant: \[\boxed{d(M,F)=e~d(M,\mathscr D)}\]
  • Si \(0<e<1\), on dit que \(\mathscr C\) est une ellipse.

  • Si \(e=1\), on dit que \(\mathscr C\) est une parabole.

  • Si \(e>1\), on dit que \(\mathscr C\) est une hyperbole.

La droite \(\Delta\) passant par \(F\) et orthogonale à \(\mathscr D\) est appelée l’axe focal.
En savoir plus
Conjugué d’un nombre complexe
[ Definition ]
Soit \(z=a+ib \in \mathbb{C}\), un nombre complexe. On appelle complexe conjugué de \(z\) que l’on note \(\bar z\) le nombre complexe défini par \(\boxed{\bar z=a-i\,b}\).
En savoir plus
connexe
[ Definition ]
Un espace topologique est dit connexe si les seuls sous-ensembles de \(X\) à la fois ouverts et fermés sont \(\emptyset\) et \(X\). Une partie d’un espace topologique est connexe si elle est connexe pour la topologie induite.
En savoir plus
Connexe par arcs
[ Definition ]

Un espace topologique est dit connexe par arcs si il existe un arc entre toute paire de points.

Une partie d’un espace topologique est dite connexe par arcs si elle est connexe par arcs pour la topologie induite.
En savoir plus
Connexité dans un \(\mathbb{R}\)-espace vectoriel normé
[ Proposition ]
Une partie ouverte d’un \(\mathbb{R}\)-espace vectoriel normé est connexe si et seulement si elle est connexe par arcs si et seulement si entre tout \(x\) et tout \(y\) de cette partie il existe une ligne brisée.
En savoir plus
Connexité par arcs des espaces projectifs de dimension \(\geq 1\)
[ Théorème ]
Un espace projectif de dimension \(\geq 1\) est connexe par arcs.
En savoir plus
Connexité par arcs des espaces projectifs de dimension \(\geq 1\)
[ Théorème ]
Un espace projectif de dimension \(\geq 1\) est connexe par arcs.
En savoir plus
Conséquence du lemme d’Abel
[ Théorème ]

Si la série \(\sum a_n.z^n\) est de rayon de convergence \(R\), alors :

\(\bullet\)pour tout \(z\) de module \(<R\) la série de terme général \(\sum a_n.z^n\) est absolument convergente.

\(\bullet\)pour tout \(z\) de module \(>R\) la série de terme général \(\sum a_n.z^n\) diverge, et en fait la suite \(a_n.z^n\) n’est même pas bornée.
En savoir plus
Consistance relative de \(AC\) et de \(\neg AC\)
[ Théorème ]
(\(AC\) désigne l’axiome du choix)

Si la théorie axiomatique de Zermelo-Fraenkel avec axiome de fondation est consistante, alors la théorie de Zermelo-Fraenkel avec axiome de fondation et axiome du choix est consistante.

Si la théorie axiomatique de Zermelo-Fraenkel est consistante, alors la théorie de Zermelo-Fraenkel avec axiome du choix est consistante.

D’autre part si la théorie de Zermelo-Fraenkel est consistante, alors la théorie de Zermelo-Fraenkel avec la négation de l’axiome du choix (i.e. en supposant qu’il existe un ensemble sur lequel on ne peut pas construire une relation de bon ordre) est consistante.

Enfin, si la théorie de Zermelo-Fraenkel avec axiome de fondation est consistante, alors la théorie de Zermelo-Fraenkel avec axiome de fondation et avec la négation de l’axiome du choix est consistante.
En savoir plus
Continuité jusqu’au bord du disque de convergence
[ Théorème ]
Soit \(f\) la somme d’une série entière \(\sum a_n.z^n\) de rayon de convergence \(R\in]0,\infty[\). On suppose que cette série converge en un point \(z_0\) de module \(R\). Alors la fonction \(f\) est continue sur le segment \([0,z_0]\) (= un rayon).
En savoir plus
Continuité ponctuelle
[ Definition ]

Soit \(f\) une application entre espaces topologiques. \(f\) est continue en \(x\) si et seulement si quel que soit \(V \in {\cal V}(f(x))\), l’image réciproque \(f^{-1}(V)\) est un voisinage de \(x\) (i.e. si \(\exists U \in {\cal V}(x) \mbox{ tel que } f(U) \subset V\)).

\(f\) est continue si \(f\) est continue en tout point.
En savoir plus
Continuité séquentielle
[ Definition ]
\(f\) est séquentiellement continue en \(x\) si et seulement si pour toute suite \(x_n\) convergeant vers \(x\) les \(f(x_n)\) convergent vers \(f(x)\).
En savoir plus
Continuité uniforme
[ Definition ]
Une application \(f\) d’un espace métrique dans un autre espace métrique est dite uniformément continue si, pour tout \(\epsilon >0\) il existe \(\alpha >0\) tel que, pour tout \((x,y) \in X^2\), \(d(x,y)<\alpha \rightarrow d(f(x),f(y))<\epsilon\).
En savoir plus
converge
[ Definition ]

Pour la définition de la limite d’une suite, on pourra consulter [topo], et notamment la topologie de \(\mathbb{N}\cup \{+\infty\}\).

Une suite converge vers un réel \(x\) si sa limite en \(+\infty\) est \(x\). Une suite diverge si et seulement si elle ne converge pas. \(\mathbb{R}\) étant séparé, la limite d’une suite est unique.

Une suite tend vers \(+\infty\) (resp. \(-\infty\)) si sa limite en \(+\infty\) est \(+\infty\) (resp. \(-\infty\)) dans \(\overline{\mathbb{R}}\).
En savoir plus
Convergence dominée de Lebesgue dans \(L^p\)
[ Théorème ]
On suppose ici \(p \neq +\infty\). Soit une suite \((f_n)\) de fonctions mesurables, telle que \[f_n(x) \to f(x) \mbox{ pour presque tout }x\] \[\exists g \in L^p / \forall (x,n) |f_n(x)| \leq g(x)\] alors la classe de \(f\) appartient à \(L^p\) et \(f_n\) tend vers \(f\) pour \(N^p\).
En savoir plus
Convergence en loi
[ Definition ]
La convergence en loi ou en distribution de \(X_n\) (suite de variables aléatoires) vers \(X\) (variable aléatoire) est la convergence, pour toute fonction \(f\) continue bornée, de \(Ef(X_n)\) vers \(Ef(X)\).
En savoir plus
convergence simple
[ Definition ]
On dit qu’une suite \(f_n\) d’applications de \(X\) dans \(Y\) avec \(Y\) un espace topologique converge simplement vers \(f\) si pour tout \(x\) dans \(X\), \(f_n(x)\) tend vers \(f(x)\) pour \(n\) tendant vers \(+\infty\).
En savoir plus
Convergence uniforme
[ Definition ]
Une suite d’applications \(f_n\) de \(X\) dans \(Y\) avec \(X\) et \(Y\) espaces métriques converge uniformément vers \(f\) application de \(X\) dans \(Y\) si \[lim_{n \rightarrow + \infty} sup_{x \in X} d(f_n(x),f(x)) = 0\]
En savoir plus
converge presque partout
[ Definition ]
Soit \(f_n\) une suite de fonctions de \(X\) dans \(Y\), avec \(X\) un espace mesuré, et \(Y\) un espace topologique.

On dit que \(f_n\) converge presque partout vers \(f\) s’il existe \(N\) négligeable inclus dans \(X\) tel que \(f_n\) converge simplement vers \(f\) sur le complémentaire de \(N\).

Soit \(f_n\) une suite de fonctions de \(X\) dans \(\mathbb{C}\) avec \(X\) un espace mesuré.

On dit que \(f_n\) converge en mesure vers \(f\) si pour tout \(\epsilon\) la limite pour \(n\to\infty\) de la mesure de \(\{x ; |f_n(x)-f(x)|>\epsilon\}\) est nulle.

En savoir plus
converge uniformément
[ Definition ]
On dit qu’une suite \(f_n\) d’applications de \(X\) dans \(Y\) avec \(Y\) un espace métrique converge uniformément vers \(f\) si pour tout \(\epsilon\) positif il existe \(N\) tel que pour tout \(n\geq N\) et tout \(x\) dans \(X\) \(d(f(x),f_n(x)) < \epsilon\).
En savoir plus
converge uniformément
[ Definition ]

On dit qu’une suite \((f_n)\) d’applications de \(X\) dans \(Y\) avec \(Y\) un espace métrique converge uniformément vers \(f\) si pour tout \(\epsilon\) positif il existe \(N\) tel que pour tout \(n\geq N\) et tout \(x\) dans \(X\), \(d(f(x),f_n(x)) < \epsilon\).

Étant donnée \({\cal S}\) une partie de \(P(X)\), on dit que la suite \((f_n)\) de fonctions de \(X\) dans \(Y\) (avec \(Y\) un espace métrique) est uniformément convergente sur les éléments de \({\cal S}\) si pour tout \(L\in {\cal S}\) la suite \(({f_n}_{|L})\) est uniformément convergente sur \(L\).
En savoir plus
converge vers \(x\in E\)
[ Definition ]
On se place dans un espace vectoriel normé \(E\). On note \(x_n \rightharpoonup x\) le fait que la suite \(x_n\) d’élément de \(E\) converge vers \(x\in E\) pour la topologie faible. On note \(x_n \to x\) la convergence de \(x_n\) vers \(x\) pour la topologie de la norme, et \(f_n \to f\) dans \(E'\) pour la convergence de \(f_n\) vers \(f\) pour la topologie forte. On pourra aussi qualifier de convergence forte la convergence dans \(E\) pour la norme.
En savoir plus
convexe
[ Definition ]
Une fonction \(f\) définie sur un convexe \(U\) d’un espace vectoriel à valeurs dans \(\mathbb{R}\) est dite convexe (resp. strictement convexe) si \[\forall (u,v,t)\in U^2\times[0,1] f(tu+(1-t)v)\leq tf(u)+(1-t)f(v)\] \[\mbox{(resp.)} \forall (u,v,t)\in U^2\times]0,1[ u\neq v \Rightarrow f(tu+(1-t)v) < tf(u)+(1-t)f(v)\]
En savoir plus
Convexité dans un espace vectoriel
[ Definition ]
On appelle segment d’extrémités \(x\) et \(y\) dans un \(\mathbb{R}\)-espace vectoriel l’ensemble des \(t.x+(1-t).y\) pour \(t \in [0,1]\). (la définition s’étend au cas d’un \(\mathbb{C}\)-espace vectoriel en utilisant \(t\) réel dans \([0,1]\)).

Une partie \(A\) d’un \(\mathbb{K}\)-espace vectoriel (avec \(\mathbb{K}=\mathbb{R}\) ou \(\mathbb{K}=\mathbb{C}\)) est dite convexe si tout segment d’extrémités dans \(A\) est inclus dans \(A\).

Étant donnée \(A\) une partie convexe d’un \(\mathbb{K}\)-espace vectoriel une application \(f\) de \(A\) dans \(\mathbb{R}\) est dite convexe si étant donnés \(x\) et \(y\) dans \(A\) et \(t\) dans \([0,1]\) on a \(f(t.x+(1-t).y)\leq t.f(x).(1-t).f(y)\). L’application \(-f\) est alors dite concave.
En savoir plus
coordonnées
[ Definition ]
Étant donnée une base \((e_i)\) d’un espace vectoriel \(F\) et un élément \(x\) de \(F\), il existe une unique famille \(({\lambda}_i)\) de support fini telle que \(x=\sum {\lambda}_i e_i\). Les \({\lambda}_i\) sont appelés coordonnées du vecteur \(x\).
En savoir plus
Coordonnées cartésiennes d’un vecteur
[ Proposition ]
Soit \((O,\overrightarrow{\imath },\overrightarrow{\jmath })\)un repère du plan \(\mathscr P\).
  • Soit \(\overrightarrow{u}\) un vecteur de \(\mathscr V\)et \((\overrightarrow{\imath}, \overrightarrow{\jmath})\) une base de \(\mathscr V\). Il existe un unique couple de réels \((x,y)\) tel que \[\overrightarrow{u}=x\overrightarrow{\imath}+y\overrightarrow{\jmath}.\] Ce couple \((x,y)\) représente les coordonnées ( ou les composantes) du vecteur \(\overrightarrow{u}\) dans la base \((\overrightarrow{\imath}, \overrightarrow{\jmath})\). On notera cela sous une des formes suivantes: \[\overrightarrow{u} (x,y), \quad \overrightarrow{u} \left|\begin{matrix} x \\ y \end{matrix} \right. \quad \textrm{ ou} \quad \overrightarrow{u} \left(\begin{matrix} x \\ y \end{matrix} \right).\]

  • Soit \(M\) un point du plan \(\mathscr P\) et \((O,\overrightarrow{\imath },\overrightarrow{\jmath })\)un repère \(\mathscr R\) de \(\mathscr P\). Il existe un unique couple de réels \((x,y)\) tel que \[\overrightarrow{OM}=x\overrightarrow{\imath}+y\overrightarrow{\jmath}.\] Ce couple \((x,y)\) représente les coordonnées du point \(M\) dans le repère \(\mathscr R\). De même que précédemment, on écrira: \[M (x;y), \quad M \left|\begin{matrix} x \\ y \end{matrix} \right. \quad \textrm{ ou} \quad M \left(\begin{matrix} x \newline y \end{matrix} \right).\]

En savoir plus
Coordonnées d’un point dans un repère cartésien
[ Proposition ]
Soit \(\mathscr R\left(O, \overrightarrow{i}, \overrightarrow{j}, \overrightarrow{k}\right)\) un repère cartésien de l’espace. Soit \(M\in\mathscr E\) un point de l’espace. Il existe un unique triplet \(\left(\alpha,\beta,\gamma\right)\in\mathbb{R}^3\) tel que \(\overrightarrow{OM}=\alpha \overrightarrow{i} + \beta \overrightarrow{j} + \gamma \overrightarrow{k}\). Ce triplet s’appelle les coordonnées de \(M\) dans le repère \(\mathscr R\). On le note : \[M \left|\begin{matrix} \alpha \\ \beta \end{matrix} \right.{\gamma} \textrm{ ou } M \left(\begin{matrix} \alpha \newline \beta \end{matrix} \right){\gamma} \textrm{ ou aussi } M(\alpha,\beta,\gamma)\]
En savoir plus
Coordonnées d’un vecteur dans une base de l’espace
[ Proposition ]
Soit \((\overrightarrow{u}, \overrightarrow{v},\overrightarrow{w})\) une base de \(\mathscr V\). Tout vecteur \(\overrightarrow{x}\) de \(\mathscr V\) s’exprime comme une combinaison linéaire unique des \(3\) vecteurs \(\overrightarrow{u}, \overrightarrow{v}\) et \(\overrightarrow{w}\) c’est-à-dire : \[\forall x\in\mathscr V,\quad \exists ! (\alpha,\beta,\gamma)\in\mathbb{R}^3:\quad \overrightarrow{x}=\alpha\overrightarrow{u}+\beta \overrightarrow{v}+\gamma \overrightarrow{w}\] Le triplet \((\alpha,\beta,\gamma)\) est appelé coordonnées de \(\overrightarrow{x}\) dans la base \(\overrightarrow{u},\overrightarrow{v},\overrightarrow{w})\). On notera : \[\overrightarrow{x} \left|\begin{matrix} \alpha \\ \beta \end{matrix} \right.{\gamma} \textrm{ ou } \overrightarrow{x} \left(\begin{matrix} \alpha \newline \beta \end{matrix} \right){\gamma} \textrm{ ou aussi } \overrightarrow{x}(\alpha,\beta,\gamma)\]
En savoir plus
Coordonnées homogènes
[ Proposition ]
Les coordonnées homogènes dans un repère donné sont uniques à multiplication par un scalaire non nul près.
En savoir plus
Coordonnées homogènes
[ Proposition ]
Les coordonnées homogènes dans un repère donné sont uniques à multiplication par un scalaire non nul près.
En savoir plus
Coordonnées polaires d’un point
[ Definition ]
On rapporte le plan \(\mathscr P\) à un repère orthonormal direct \(\mathscr R\)\((O,\overrightarrow{\imath },\overrightarrow{\jmath})\). On dit que \(\left(r,\theta\right)\in\mathbb{R}^2\) est un couple de coordonnées polaires pour le point \(M\left(x,y\right) \in \mathscr P\) si et seulement si \(\boxed{\left\{\begin{array}{c} x=r\,\cos \theta \newline y=r\,\sin \theta \end{array}\right.}\)
En savoir plus
Corollaire des deux théorèmes précédents
[ None ]
Tout espace de Hilbert est isomorphe à \(l^2(I)\) pour un certain \(I\).
En savoir plus
corps
[ Definition ]
Un anneau \((K,+,.)\) est un corps si et seulement si le groupe des unités est \(K-\{0\}\).

Un corps est dit commutatif si l’anneau sous-jacent est commutatif, c’est-à-dire si la multiplication est commutative.

On appelle caractéristique d’un corps \(k\) le plus petit \(n\in \mathbb{N}\), s’il existe, tel que \(0=1+1+1+\dots+1\) (\(n\) fois). On dit que la caractéristique est nulle en cas contraire.
En savoir plus
corps
[ Definition ]
Un anneau \((K,+,.)\) est un corps si et seulement si le groupe des unités est \(K-\{0\}\).
Un corps est dit commutatif si l’anneau sous-jacent est commutatif, c’est-à-dire si la multiplication est commutative.
On appelle caractéristique d’un corps \(k\) le plus petit \(n\in \mathbb{N}\), s’il existe, tel que \(0=1+1+1+\dots+1\) (\(n\) fois). On dit que la caractéristique est nulle en cas contraire.
En savoir plus
Corps de Galois
[ Théorème ]
Quel que soit \(p\) premier, quel que soit \(n\) dans \(\mathbb{N}\) non nul, il existe un unique corps, à isomorphisme près, de cardinal \(p^n\). Tout corps fini est de cette forme.
En savoir plus
Corps de Galois
[ Théorème ]
Quel que soit \(p\) premier, quel que soit \(n\) dans \(\mathbb{N}\) non nul, il existe un unique corps, à isomorphisme près, de cardinal \(p^n\). Tout corps fini est de cette forme.
En savoir plus
corps des fractions rationnelles
[ Definition ]
On appelle corps des fractions rationnelles pour un corps \(\mathbb{K}\) le corps des fractions de \(\mathbb{K}[X]\). Intuitivement, il s’agit des quotients de polynômes formels.
En savoir plus
Corps des nombres complexes
[ Definition ]
Nous appellerons corps des nombres complexes que nous noterons \(\mathbb{C}\), l’ensemble \(\mathbb{R}^2\) muni des deux lois internes \(\oplus\) et \(\otimes\) définies de la façon suivante. Pour tous couples \(\left(a,b\right),~ \left(a',b'\right)\in \mathbb{R}^2\), on pose \[(a,b)\oplus(a',b')=(a+a',b+b')\] \[(a,b)\otimes(a',b')=(aa'-bb', ab'+a'b)\]
En savoir plus
cosinus
[ Definition ]
 

\(\bullet\)On appelle cosinus et l’on note \(z\mapsto \cos z\)l’application qui à \(z\in\mathbb{C}\) associe \(\frac{e^{iz}+e^{-iz}}{2}=\sum_{n\in \mathbb{N}} (-1)^n\frac{z^{2n}}{(2n)!}\).

\(\bullet\)On appelle sinus et l’on note \(z\mapsto \sin z\) l’application qui à \(z\in\mathbb{C}\) associe \(\frac{e^{iz}-e^{-iz}}{2i}=\sum_{n\in \mathbb{N}} (-1)^n\frac{z^{2n+1}}{(2n+1)!}\).
En savoir plus
courbe
[ Definition ]

On appelle courbe une application continue d’un intervalle \([a,b]\) de \(\mathbb{R}\) dans \(\mathbb{C}\).

On appelle chemin une application continue \(C^1\) par morceaux d’un intervalle \([a,b]\) de \(\mathbb{R}\) dans \(\mathbb{C}\).

Une courbe ou un chemin \(\gamma\) est dit fermé si \(\gamma(a)=\gamma(b)\).

Etant donné \(\gamma\) une courbe, on note \(\gamma^*\) l’image de \([a,b]\) par \(\gamma\).

Etant donné \(\gamma\) un chemin et \(f\) une fonction continue sur \(\gamma^*\), on note \(\int_\gamma f(z).dz\) l’intégrale \(\int_{[a,b]} f(t).\gamma'(t).dt\), on appelle cette intégrale l’intégrale de \(f\) le long de \(\gamma\).

Deux chemins \(\gamma\) et \(\tilde{\gamma}\) sont dits équivalents, si pour toute fonction \(f\) continue sur \(\gamma^*\) et \(\tilde{\gamma}^*\) l’intégrale de \(f\) le long de \(\gamma\) est égale à l’intégrale de \(f\) le long de \(\tilde{\gamma}\).

La longueur d’un chemin \(\gamma\) est \(\displaystyle\int_a^b|\gamma'(t)|\,dt\).

On appelle indice de \(z\) pour \(z\in \Omega\) par rapport à \(\gamma\), avec \(\Omega\) le complémentaire de \(\gamma^*\), le complexe \[Ind_\gamma(z)=\frac{1}{2i\pi}\int_\gamma\frac{dt}{t-z}\]

En savoir plus
courbe
[ Definition ]

On appelle courbe une application continue d’un intervalle \([a,b]\) de \(\mathbb{R}\) dans \(\mathbb{C}\).

On appelle chemin une application continue \(C^1\) par morceaux d’un intervalle \([a,b]\) de \(\mathbb{R}\) dans \(\mathbb{C}\).

Une courbe ou un chemin \(\gamma\) est dit fermé si \(\gamma(a)=\gamma(b)\).

Étant donné \(\gamma\) une courbe, on note \(\gamma^*\) l’image de \([a,b]\) par \(\gamma\).

Étant donné \(\gamma\) un chemin et \(f\) une fonction continue sur \(\gamma^*\), on note \(\int_\gamma f(z).dz\) l’intégrale \(\int_{[a,b]} f(t).\gamma'(t).dt\), on appelle cette intégrale l’intégrale de \(f\) le long de \(\gamma\).

Deux chemins \(\gamma\) et \(\tilde{\gamma}\) sont dits équivalents, si pour toute fonction \(f\) continue sur \(\gamma^*\) et \(\tilde{\gamma}^*\) l’intégrale de \(f\) le long de \(\gamma\) est égale à l’intégrale de \(f\) le long de \(\tilde{\gamma}\).

La longueur d’un chemin \(\gamma\) est \(\displaystyle\int_a^b|\gamma'(t)|\,dt\).

On appelle indice de \(z\) pour \(z\in \Omega\) par rapport à \(\gamma\), avec \(\Omega\) le complémentaire de \(\gamma^*\), le complexe \[Ind_\gamma(z)=\frac{1}{2i\pi}\int_\gamma\frac{dt}{t-z}\]
En savoir plus
Covariance et variance
[ Definition ]

Étant donnée \(X\) une variable aléatoire , on définit la déviation de \(X\) par \[\tilde X=X-E(X).\]

Étant données \(X\) et \(Y\) des variables aléatoires dans \(L^2\), on définit la covariance de \(X\) et \(Y\) par \[Cov(X,Y)=E( \tilde X.\tilde Y).\] Étant donnée \(X\) une variable aléatoire dans \(L^2\), on définit la variance de \(X\) par \[Var(X)=Cov(X,X).\] Le produit scalaire de deux variables aléatoires \(X\) et \(Y\) de \(L^2\) est l’espérance de \(X.Y\) (comme dans le cadre d’un espace \(L^2\) quelconque), noté parfois \(\).

On appelle corrélation entre deux variables aléatoires \(X\) et \(Y\) de normes \(N_2\) non nulles le réel de \([-1,1]\) \(cor(X,Y) = \frac{<\tilde X|\tilde Y>}{N_2(\tilde X).N_2(\tilde Y)}\). On dit que deux variables sont décorrélées ou non-corrélées lorsque leur corrélation est nulle. On appelle angle entre deux variables aléatoires \(X\) et \(Y\) de normes \(N_2\) non nulles le réel \(\theta\) appartenant à \([0,\pi]\) tel que \(cos(\theta)=\frac{<X|Y>}{N_2(X).N_2(Y)}\).

Plus généralement, deux variables aléatoires sont dites non corrélées si leur covariance est nulle (sans forcément que leur corrélation soit bien définie donc).

On appelle matrice de covariance d’un suite finie de variables aléatoires \((X_1,...,X_d)\) la matrice symétrique \(M\) définie par \(M_{i,j}=cov(X_i,X_j)\).
En savoir plus
Critère de D’Alembert
[ None ]
Si \((u_n)\) est une série à termes positifs telle que \(u_{n+1}/u_n\) tend vers \(k\), alors si \(k<1\) la série converge, et si \(k>1\), alors la série diverge.
En savoir plus
cube de Hilbert
[ Definition ]
On appelle cube de Hilbert l’espace produit \([0,1]^\mathbb{N}\), muni de la topologie produit (\([0,1]\) étant muni de la topologie usuelle sur les segments de réels).
En savoir plus
Success message!