Glossaire des symboles mathématiques

Cliquez sur un des titres pour accéder au récapitulatif des symboles.

Opérateurs logiques

Ensembles/intervalles

Fonctions/opérateurs

Arithmétique

Géométrie dans l'espace

Alphabet grec

Opérateurs logiques

Soit $ A, B$ deux propositions.

$$ symbole $$	$$ signification $$	$$ explication $$
$$ \neg A $$	$$ non \ A $$	Cette proposition est vraie si $A$ est fausse.
$$ A \lor B$$	$$ A \ ou \ B $$	Cette proposition est vraie si au moins une des deux est vraie.
$$ A \land B$$	$$ A \ et \ B $$	Cette proposition est vraie si $A$ et $B$ sont vraies simultanément.
$$ A \Longrightarrow B $$	$$ A \ implique \ B $$ $$ (Si \ A , \ alors \ B) $$	Cette proposition signifie que si $ A $ est vraie, alors $ B $ l'est aussi. C'est l'équivalent de $ (\neg A \lor B) $. De même, cette dernière implique que sa contraposée $ (\neg B \Longrightarrow \neg A) $ est aussi vraie. $ A \Longrightarrow B $ indique que $ A $ est une condition suffisante à la réalisation de $ B $, et que $ B $ est une condition nécessaire (mais non suffisante) à la réalisation de $ A $. Exemple : S'il pleut $ (A) $, alors je prendrai mon parapluie $ (B) $. $$ (A \Longrightarrow B) $$ Cela dit, je peux prendre mon parapluie même s'il ne peut pas (par exemple pour me protéger du soleil). Donc la réciproque n'est pas nécssairement vraie. En revanche, sa contraposée est toujours vraie car, si je n'ai pas pris mon parapluie $ ( \neg B) $, alors je peux être sûr qu'il ne pleut pas $ ( \neg A) $. Car si c'était le cas, j'aurai bien pris ce parapluie. $$ ( \neg B \Longrightarrow \neg A) $$
$$ B \Longrightarrow A $$	$$ r\textit{é}ciproque \ de \ (A \Longrightarrow B )$$	Cette proposition est la proposition inverse de $(A \Longrightarrow B ) $. Exemple : La réciproque du théorème de Pythagore.
$$ A \Longrightarrow \neg B $$	$$ n\textit{é}gation \ de \ (A \Longrightarrow B )$$	Cette proposition est la négation de $(A \Longrightarrow B ) $. Exemple : S'il pleut $ (A) $, alors je ne prendrai pas mon parapluie $ (\neg B) $. $$ (A \Longrightarrow \neg B) $$
$$ \neg B \Longrightarrow \neg A $$	$$ contrapos\textit{é}e \ de \ (A \Longrightarrow B) $$	Cette proposition est la contraposée de $(A \Longrightarrow B)$. Exemple : Si je ne prends pas mon parapluie $ (\neg B) $, alors cela veut dire qu'il ne pleut pas $ (\neg A) $. $$ ( \neg B \Longrightarrow \neg A) $$
$$ A \Longleftrightarrow B $$	$$ \textit{é}quivalence \ entre \ A \ et \ B $$ $$ (A \ si \ et \ seulement \ si \ B) $$	Cette proposition signifie que $ A $ est vraie si et seulement si $ B $ est vraie. $ A \Longleftrightarrow B $ indique que $ A $ est une condition nécessaire et suffisante à la réalisation de $ B $, et réciproquement. Si une implication et sa réciproque sont toutes deux vraies, alors il y a équivalence. $$ (A \Longrightarrow B) \land (B\Longrightarrow A) \equiv (A \Longleftrightarrow B )$$ Exemple : Le théorème de Pythagore et sa réciproque.

Tableau récapitulatif des combinaisons entre opérateurs logiques

Pour chaque ligne, les propositions $ A $ et $ B $ peuvent être soit vraie, soit fausse, ce qui fait au total quatre cas.

On notera $ 1 $ pour une proposition vraie et $ 0 $ pour une proposition fausse.

$$ A $$	$$ B $$	$$ \neg A $$	$$ \neg B $$	$$ A \lor B $$	$$ A \land B $$	$$ A \Longrightarrow B $$	$$ B \Longrightarrow A $$	$$ A \Longleftrightarrow B $$
$$ 0 $$	$$ 0 $$	$$ 1 $$	$$ 1 $$	$$ 0 $$	$$ 0 $$	$$ 1 $$	$$ 1 $$	$$ 1 $$
$$ 0 $$	$$ 1 $$	$$ 1 $$	$$ 0 $$	$$ 1 $$	$$ 0 $$	$$ 1 $$	$$ 0 $$	$$ 0 $$
$$ 1 $$	$$ 0 $$	$$ 0 $$	$$ 1 $$	$$ 1 $$	$$ 0 $$	$$ 0 $$	$$ 1 $$	$$ 0 $$
$$ 1 $$	$$ 1 $$	$$ 0 $$	$$ 0 $$	$$ 1 $$	$$ 1 $$	$$ 1 $$	$$ 1 $$	$$ 1 $$

Ensembles/intervalles

Soit $ P $ une proposition et $ \mathbb{E}$ un ensemble de nombres.

$$ symbole $$	$$ signification $$
$$ I = [a, b] $$	Intervalle de $a$ vers $b$ contenant $a$ et $b$ (intervalle fermé)
$$ I = ]a, b[ $$	Intervalle de $a$ vers $b$ privé $a$ et de $b$ (intervalle ouvert)
$$ \forall x \in I $$	Pour tout $x$ appartenant à un intervalle $I$
$$ \forall (a, b) \in \hspace{0.05em} \mathbb{E}^2 $$	Pour tout couple $(a, b)$ appartenant chacun à l'ensemble $\mathbb{E}$
$$ \exists x \in \mathbb{E}, \ P $$	Il existe au moins un nombre $x$ dans l'ensemble $\mathbb{E}$, tel que $P$ est vraie
$$ \exists! x \in \mathbb{E}, \ P $$	Il existe un seul nombre $x$ dans l'ensemble $\mathbb{E}$, tel que $P$ est vraie
$$ \mathbb{N} $$	Ensemble des entiers naturels : $ \bigl \{ 0, 1, 2, ..., n \bigr \}$
$$ [\![ a, n]\!] $$	Ensemble des entiers naturels de $a $ jusque $n $ : $ \bigl \{a, (a +1), (a + 2), ..., n \bigr \}$ $$ [\![ 1, n]\!] = \{1, 2, ..., n\} $$
$$ \mathbb{Z} $$	Ensemble des entiers relatifs : $ \bigl \{-n, ..., -2, -1, 0, 1, 2, ..., n \bigr \}$
$$ \mathbb{D} $$	Ensemble des nombres décimaux. Tous les nombres pouvant s'écrire sous la forme : $$ d = \frac{a}{10^b} \hspace{3em} (a \in \mathbb{Z}, \ b \in \mathbb{N}) $$
$$ \mathbb{Q} $$	Ensemble des nombres rationnels. Tous les nombres pouvant s'écrire sous la forme : $$ r = \frac{p}{q} \hspace{3em} (p \in \mathbb{Z}, \ q \in \hspace{0.05em} \mathbb{N}^*) $$
$$ \mathbb{R} $$	Ensemble des nombres réels. Tous les nombres rationnels $ (\in \mathbb{Q}) $ et irrationnels $ (e, \ \pi, \ \phi, \ \sqrt{2} ...etc.) $
$$ \mathbb{R} \backslash \Bigl \{a, b, c \Bigr \} $$	Ensemble des nombres réels privé des valeurs $a, b, c $.
$$ \mathbb{C} $$	Ensemble des nombres complexes. Tous les nombres pouvant s'écrire sous la forme : $$ c = a + ib \hspace{3em} ( (a,b) \in \hspace{0.05em} \mathbb{R}^2) $$
$$ \mathbb{K} $$	Ensemble des scalaires. Tous les nombres appartenant à $ \mathbb{R} $ ou $ \mathbb{C} $
$$ \mathbb{P} $$	Ensemble des nombres premiers. L'ensemble des nombres pour seuls diviseurs eux-mêmes et $ 1$ : $$ \mathbb{P} = \Bigl \{2, 3, 5, 7, 11, 13, ...etc. \Bigr\}$$
$$ \mathbb{K}^{ \mathbb{N}} $$	Ensemble des suites à valeurs réelles ou complexes

On a l'inclusion suivante pour l'intégralité des ensembles :

$$ \mathbb{N} \subset \mathbb{Z} \subset \mathbb{D} \subset \mathbb{Q} \subset \hspace{0.2em} \underbrace{ \mathbb{R} \subset \mathbb{C }} _\text{ $\mathbb{K }$ } $$

Fonctions/opérateurs

Soit $f$ une fonction.

$$ symbole $$	$$ signification $$
$$ D_f $$	Ensemble de définition d'une fonction $f$
$$ f(x) = x^2$$	Définition d'une fonction $f$ ayant pour variable $x$ et comme image $x^2$
$$ f :x \longmapsto x^2 $$	Définition d'une fonction $f$ ayant pour variable $x$ et comme image $x^2$
$$ (f \circ g) (x) $$	Définition d'une fonction composée $f \circ g$ (lire "$f $ rond $g $") ayant pour variable $x$ $$(f \circ g) (x) = f\bigl(g(x)\bigr) $$ On peut de même créer des composées de composées de fonctions : $$(f \circ g \circ h ) (x) = f\Bigl(g\bigl(h(x)\bigr)\Bigr) $$ $$...etc. $$
$$ \Biggl( \overset{n}{\underset{k=1}{\bigcirc f_k}} \ \Biggr ) (x) $$ $$ (symbole \ non \ officiellement \ admis \ a \ priori) $$	Opérateur de composition de fonctions: $$ \Biggl( \overset{n}{\underset{k=1}{\bigcirc f_k}} \ \Biggr ) (x) = \Bigl(f_1 \circ f_2 \circ f_3 \circ \ ... \ \circ f_{n-1} \circ f_{n}\Bigr)(x) $$
$$ F(\mathbb{R}, \mathbb{R}) $$	Ensemble des fonctions allant de $\mathbb{R}$ dans $\mathbb{R}$
$$ f' $$	Dérivée de la fonction $f$ (notation de Lagrange)
$$ \frac{df}{dx} $$	Dérivée la fonction $f$ par rapport à $x$ (notation de Leibniz)
$$ f^{(n)}$$	Dérivée $n$-ième de la fonction $f$
$$ fonction \ de \ classe \ \mathcal {C}^n \ sur \ I $$	Fonction continue et dérivable $n$ fois sur un intervalle $I$
$$ \frac{\partial y}{\partial x} dx $$	Dérivée partielle d'une fonction $y = f(x, z,t) $ de plusieurs variables dont $x$, par rapport à $x$ uniquement.
$$ dy = \frac{\partial y}{\partial x} dx + \frac{\partial y}{\partial z}dz + \frac{\partial y}{\partial t}dt $$	Dérivée d'une fonction $y = f(x, z, t ) $ ayant des variables indépendantes $x, z, t $. C'est la somme de toutes les dérivées partielles par rapport respectivement à chaque variable.
$$ DL_n(a)$$	Développement limité d'ordre $n$ au voisinage d'un point $x = a$ (très souvent $0$)
$$ \int^x f(t) \ dt $$	La famille de primitives de la fonction $f$ à une constante près.
$$ \int_a^x f(t) \ dt $$	Intégrale définie de $a$ vers $x$ de la fonction $f$. Graphiquement, cela correspond à l'aire sous la courbe de la fonction $f$ dans l'intervalle $[a, x]$, et c'est aussi l'intégrale de $f$ qui s'annule en $a$.
$$ \int_a^b f(t) \ dt $$	Intégrale de $a$ vers $b$ de la fonction $f$. Graphiquement, cela correspond à l'aire sous la courbe de la fonction $f$ dans l'intervalle $[a, b]$.
$$ \sum_{k=0}^n \ f(k) $$	Somme de $0$ jusque $n$ des $f(k)$ : $$ \sum_{k=0}^n \ f(k) = f(0) + f(1) + ... + f(n) $$
$$ \sum u_n $$	Série numérique associée à une suite $ (u_n)_{n \in \mathbb{N}}$ :
$$ S_n = \sum_{k=0}^n u_n $$	Somme partielle de la série $ \sum u_n$, de $0$ jusque $n$
$$ R_n = \sum_{k=n+1}^{+ \infty} u_n $$	Reste de la série $ \sum u_n$ : $$ \sum u_n = S_n + R_n = \sum_{k=0}^n u_n + \sum_{k=n+1}^{+ \infty} u_n $$
$$ \prod_{k= 0}^n \ f(k) $$	Produit de $0$ jusque $n$ des $f(k)$ : $$ \prod_{k=0}^n \ f(k) = f(0) f(1) ... f(n) $$
$$ lim_{x \to a} \ f(x) = l $$	Limite d'une fonction $f $ lorsque $x $ tend vers $ a $. $ a $ et $ l $ peuvent être un nombre ou une extrémité $ (-\infty$ ou $+\infty) $ .
$$ f(x) \underset{a}{\longmapsto} l $$	Limite d'une fonction $f $ lorsque $x $ tend vers $ a $ (écriture raccourcie) On lit : "$ f(x) $ tend vers $ l $, lorsque $x $ tend vers $ a $".
$$ n! $$	La factorielle de $n $ : $$n! = n \times (n-1) \times (n-2) \ \times \ ... \ \times \ 2 \times 1$$
$$ \binom{n}{k} $$	Le nombre de façons de prendre $ k $ éléments parmis $n $. On lit : "$ k $ parmis $n $". $$\binom{n}{k} = \frac{n !}{(n-k)! \ k !}$$
$$ M = \begin{pmatrix} x_{1,1} & x_{1,2} & x_{1,3} & \dots & x_{1, p} \\ x_{2,1} & x_{2,2} & x_{2,3} & \dots & x_{2, p} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ x_{n,1} & x_{n,2} & x_{n,3} & \dots & x_{n, p} \\ \end{pmatrix} $$	La matrice $ M $ à $ n $ lignes et $ p $ colonnes.
$$ M_3 = \ \begin{pmatrix} x_{1,1} & x_{1,2} & x_{1,3} \\ x_{2,1} & x_{2,2} & x_{2,3} \\ x_{3,1} & x_{3,2} & x_{3,3} \\ \end{pmatrix} $$	La matrice carrée $ M_3 $ à $ 3 $ lignes et $ 3 $ colonnes.
$$ \underbrace{ \begin{pmatrix} x_{1,1} & x_{1,2} & x_{1,3} & \dots & x_{1, p} \\ x_{2,1} & x_{2,2} & x_{2,3} & \dots & x_{2, p} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ x_{n,1} & x_{n,2} & x_{n,3} & \dots & x_{n, p} \\ \end{pmatrix} } _\text{M} \times \underbrace{ \begin{pmatrix} a_0 \\ a_1 \\ a_2 \\ . \\ a_n \\ \end{pmatrix} } _\text{A} = \underbrace{ \begin{pmatrix} y_0 \\ y_1 \\ y_2 \\ . \\ y_n \\ \end{pmatrix} } _\text{Y} $$	Le produit matriciel de la matrice $ M$ avec la matrice $ A$. Le nombre de colonnes de la matrice $ M$ doit être le même que le nombre de lignes de celle de $ A$. Le résultat, la matrice $ Y$, est un matrice du même type que le facteur de droite du produit.
$$ det(M) = \begin{vmatrix} x_{1,1} & x_{1,2} & x_{1,3} & \dots & x_{1, p} \\ x_{2,1} & x_{2,2} & x_{2,3} & \dots & x_{2, p} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ x_{n,1} & x_{n,2} & x_{n,3} & \dots & x_{n, p} \\ \end{vmatrix} $$	Le déterminant de la matrice $ M $ à $ n $ lignes et $ p $ colonnes.
$$ A \in \hspace{0.03em} \mathcal{M}_{n,p} (\mathbb{K})$$	La matrice $A$ appartenant à l'ensemble des matrices (et plus précisément l'espace vectoriel) de $n$ lignes et $p$ colonnes sur le corps $\mathbb{K}$.
$$ A \in \hspace{0.03em} \mathcal{M}_{n} (\mathbb{K})$$	La matrice carrée $A$ appartenant à l'ensemble des matrices carrées (et plus précisément l'espace vectoriel) de taille $n$ sur le corps $\mathbb{K}$.

Arithmétique

Soit $(a, b) \in \hspace{0.05em} \mathbb{Z}^2$ deux entiers relatifs.

$$ symbole $$	$$ signification $$
$$ \mathcal{D}(a)$$	L'ensemble des diviseurs de $a$
$$ p \in \mathbb{P}$$	$p$ est un nombre premier
$$ \mathcal{D}(p) = \{1, p\}$$	$p$ est un nombre premier
$$ a / b$$	$a$ divise $b$
$$ a \nmid b $$	$a$ ne divise pas $b$
$$ \mathcal{D}(a, b) $$	L'ensemble des diviseurs communs à $a$ et à $b$
$$ \delta = PGCD(a, b)= a \wedge b $$	$ \delta$ est le plus grand diviseur commun à $a$ et à $b$.
$$ a \wedge b = 1 $$	$a$ et $b$ sont premiers entre eux. On peut dire aussi qu'ils sont "étrangers".
$$ PPCM(a, b) $$	$ PPCM(a, b) $ est le plus grand multiple commun à $a$ et à $b$.
$$ a \equiv b \hspace{0.2em} [n] $$	$a$ est congru à $b$ modulo $n$. On dit que $a$ est congru à $b$ modulo $n$ s'ils ont le même reste $R$ dans la division euclidienne par $n$. $$ a \equiv b \hspace{0.2em} [n] \Longleftrightarrow \exists (q, q') \in \hspace{0.05em} \mathbb{N}^2, \enspace \exists R \in \hspace{0.05em} \mathbb{N}, \enspace 0 \leqslant R < n, \ \Biggl \{ \begin{align} a = nq + R \\ b= nq' + R \end{align} $$

Géométrie dans l'espace

Soient $ \vec{u}$ et $ \vec{v}$ deux vecteurs.

$$ symbole $$	$$ signification $$
$$ \vec{u} $$	Un vecteur $\vec{u} $
$$ \vec{u}\begin{pmatrix} x\\ y\\ z \end{pmatrix} $$	Un vecteur $\vec{u} $ de coordonnées $x,y,z$
$$ \|\| \vec{u} \|\| $$	La norme (ou longueur) d'un vecteur $ \vec{u}$. Soit un vecteur $\vec{u} \begin{pmatrix} x\\ y\\z \end{pmatrix}$, alors sa norme vaut : $$ \|\| \vec{u} \|\| = \sqrt{x^2 + y^2 + z^2}$$
$$ \vec{u}. \vec{v}$$	Le produit scalaire des vecteurs $ \vec{u}$ et $ \vec{v}$ vaut : $$ \vec{u}. \vec{v} = \|\| \vec{u} \|\| \times \|\| \vec{v} \|\| \times cos( (\vec{u}, \vec{v}) ) $$ Sinon, en fonction des coordonnées, si l'on a deux vecteurs $\vec{u}\begin{pmatrix} x\\ y\\z \end{pmatrix}$ et $\vec{v} \begin{pmatrix} x'\\ y'\\z' \end{pmatrix}$, alors ce produit scalaire vaut : $$ \vec{u}. \vec{v} = xx' + yy' +zz' $$
$$ \vec{u} \land \vec{v}$$	Le produit vectoriel des vecteurs $\vec{u}\begin{pmatrix} x\\ y\\z \end{pmatrix}$ et $\vec{v} \begin{pmatrix} x'\\ y'\\z' \end{pmatrix}$ vaut : $$ \vec{u} \land \vec{v} = \begin{pmatrix} y_1.z_2 - y_2.z_1 \\ x_2.z_1 - x_1.z_2 \\ x_1.y_2 - x_2.y_1 \end{pmatrix} $$

Alphabet grec

$$ lettre $$	$$ min $$	$$ maj $$	$$ exemple \ d'utilisation $$
$$ alpha $$	$$ \alpha $$	$$ A $$	Mesure d'un angle
$$ b\textit{ê}ta $$	$$ \beta $$	$$ B $$	Mesure d'un angle
$$ gamma $$	$$ \gamma $$	$$ \Gamma $$	Mesure d'un angle
$$ delta $$	$$ \delta $$	$$ \Delta $$	Différence entre deux éléments physiquement mesurables. Exemples : calcul d'une pente entre deux points $A$ et $B$ : $$ m = \frac{\Delta y}{\Delta x} = \frac{ y_b - y_a }{ x_b - x_a }$$ calcul du discriminant dans la résolution des équations du second degré : $$ \Delta = b^2 - 4ac$$
$$ epsilon $$	$$ \varepsilon $$	$$ E $$	Élément infinitésimal. Si une fonction est dérivable, elle admet un développement limité d'ordre $ 1$ au point $a$ tel que : $$f(x) \underset{a}{ =} f(a) + f'(a)(x-a) + (x-a) . \varepsilon(x-a)$$ $$ (avec \enspace lim_{x \to a} \ \varepsilon(x-a) = 0)$$
$$ z \textit{ê}ta $$	$$ \zeta $$	$$ Z $$	La fonction Zêta de Riemann : $$\zeta (s) = \sum_{k=1}^{+\infty} \frac{1}{k^s} = 1 + \frac{1}{2^s} +\frac{1}{3^s}... $$
$$ \textit{ê}ta $$	$$ \eta $$	$$ H $$	Un rendement. Exemple : le rendement d'une chaudière $$\eta = { P_u \over P_a } $$
$$ th\textit{ê}ta $$	$$ \theta $$	$$ \Theta $$	Variable d'un angle. Exemple : la forme exponentielle d'un complexe $$ e^{i \theta} = cos(\theta) + isin(\theta) $$
$$ iota $$	$$ \iota $$	$$ I $$	$$ $$
$$ kappa $$	$$ \kappa $$	$$ K $$	$$ $$
$$ lambda $$	$$ \lambda $$	$$ \Lambda $$	Nombre réel quelconque. Exemple : la dérivée d'une fonction multipliée par une constante $$ (\lambda f)' = \lambda f' $$
$$ mu $$	$$ \mu $$	$$ M $$	Nombre réel quelconque. Exemple : la linéarité de l'intégrale $$ \int_{a}^b \biggl(\lambda f(t) + \mu g(t) \hspace{0.2em} \biggr) dt = \lambda \int_{a}^b f(t) \hspace{0.2em}dt + \mu \int_{a}^b g(t) \hspace{0.2em}dt $$
$$ nu $$	$$ \nu $$	$$ N $$	Le voisinage $\nu_a$ d'un point $a$
$$ xi $$	$$ \xi $$	$$ \Xi $$	Valeur quelconque entre deux valeurs (souvent sur l'axe des abscisses)
$$ omicron $$	$$ o $$	$$ O $$	La notation de Landau en analyse asymptotique
$$ pi $$	$$ \pi $$	$$ \Pi $$	Constante mathématique représentant le rapport entre le demi-périmètre et le diamétre d'un cercle de rayon $ R = 1 $. $$ \pi \approx 3.14159... $$ Ce symbole est aussi utilisé pour représenter un produit de facteurs : $$ \prod_{k = 1}^n k = 1 \times 2 \hspace{0.1em} \times \hspace{0.1em} ... \hspace{0.1em} \times \hspace{0.1em} (n-1) \times n \hspace{0.1em} \hspace{0.1em} = n!$$
$$ rho $$	$$ \rho $$	$$ P $$	Mesure d'une masse volumique : $$ \rho = \frac{m}{V}$$
$$ sigma $$	$$ \sigma $$	$$ \Sigma $$	Opérateur de sommation : $$ \sum_{k=0}^n k = 0 + 1 + 2 \ + \ ... \ + \ n $$
$$ tau $$	$$ \tau $$	$$ T $$	Représentation d'un taux
$$ upsilon $$	$$ \upsilon $$	$$ \Upsilon $$	$$ $$
$$ phi $$	$$ \phi $$	$$ \Phi $$	Le nombre d'or (constante mathématique) : $$ \phi = \frac{1 + \sqrt{5}}{2} $$ Parfois utilisé pour repésenter une fonction quelconque.
$$ chi \ (prononc \textit{é} "ki") $$	$$ \chi $$	$$ X $$	L'électronégativité d'une molécule
$$ psi $$	$$ \psi $$	$$ \Psi $$	La fonction d'onde
$$ omega $$	$$ \omega $$	$$ \Omega $$	Une pulsation dans les fonctions périodiques : $$ g(t) = A \ cos(\omega t + \phi)$$

$$ symbole $$	$$ signification $$	$$ explication $$
$$ \neg A $$	$$ non \ A $$	Cette proposition est vraie si \(A\) est fausse.
$$ A \lor B$$	$$ A \ ou \ B $$	Cette proposition est vraie si au moins une des deux est vraie.
$$ A \land B$$	$$ A \ et \ B $$	Cette proposition est vraie si \(A\) et \(B\) sont vraies simultanément.
$$ A \Longrightarrow B $$	$$ A \ implique \ B $$ $$ (Si \ A , \ alors \ B) $$	Cette proposition signifie que si \( A \) est vraie, alors \( B \) l'est aussi. C'est l'équivalent de \( (\neg A \lor B) \). De même, cette dernière implique que sa contraposée \( (\neg B \Longrightarrow \neg A) \) est aussi vraie. \( A \Longrightarrow B \) indique que \( A \) est une condition suffisante à la réalisation de \( B \), et que \( B \) est une condition nécessaire (mais non suffisante) à la réalisation de \( A \). Exemple : S'il pleut \( (A) \), alors je prendrai mon parapluie \( (B) \). $$ (A \Longrightarrow B) $$ Cela dit, je peux prendre mon parapluie même s'il ne peut pas (par exemple pour me protéger du soleil). Donc la réciproque n'est pas nécssairement vraie. En revanche, sa contraposée est toujours vraie car, si je n'ai pas pris mon parapluie \( ( \neg B) \), alors je peux être sûr qu'il ne pleut pas \( ( \neg A) \). Car si c'était le cas, j'aurai bien pris ce parapluie. $$ ( \neg B \Longrightarrow \neg A) $$
$$ B \Longrightarrow A $$	$$ r\textit{é}ciproque \ de \ (A \Longrightarrow B )$$	Cette proposition est la proposition inverse de \((A \Longrightarrow B ) \). Exemple : La réciproque du théorème de Pythagore.
$$ A \Longrightarrow \neg B $$	$$ n\textit{é}gation \ de \ (A \Longrightarrow B )$$	Cette proposition est la négation de \((A \Longrightarrow B ) \). Exemple : S'il pleut \( (A) \), alors je ne prendrai pas mon parapluie \( (\neg B) \). $$ (A \Longrightarrow \neg B) $$
$$ \neg B \Longrightarrow \neg A $$	$$ contrapos\textit{é}e \ de \ (A \Longrightarrow B) $$	Cette proposition est la contraposée de \((A \Longrightarrow B)\). Exemple : Si je ne prends pas mon parapluie \( (\neg B) \), alors cela veut dire qu'il ne pleut pas \( (\neg A) \). $$ ( \neg B \Longrightarrow \neg A) $$
$$ A \Longleftrightarrow B $$	$$ \textit{é}quivalence \ entre \ A \ et \ B $$ $$ (A \ si \ et \ seulement \ si \ B) $$	Cette proposition signifie que \( A \) est vraie si et seulement si \( B \) est vraie. \( A \Longleftrightarrow B \) indique que \( A \) est une condition nécessaire et suffisante à la réalisation de \( B \), et réciproquement. Si une implication et sa réciproque sont toutes deux vraies, alors il y a équivalence. $$ (A \Longrightarrow B) \land (B\Longrightarrow A) \equiv (A \Longleftrightarrow B )$$ Exemple : Le théorème de Pythagore et sa réciproque.

$$ symbole $$	$$ signification $$
$$ I = [a, b] $$	Intervalle de \(a\) vers \(b\) contenant \(a\) et \(b\) (intervalle fermé)
$$ I = ]a, b[ $$	Intervalle de \(a\) vers \(b\) privé \(a\) et de \(b\) (intervalle ouvert)
$$ \forall x \in I $$	Pour tout \(x\) appartenant à un intervalle \(I\)
$$ \forall (a, b) \in \hspace{0.05em} \mathbb{E}^2 $$	Pour tout couple \((a, b)\) appartenant chacun à l'ensemble \(\mathbb{E}\)
$$ \exists x \in \mathbb{E}, \ P $$	Il existe au moins un nombre \(x\) dans l'ensemble \(\mathbb{E}\), tel que \(P\) est vraie
$$ \exists! x \in \mathbb{E}, \ P $$	Il existe un seul nombre \(x\) dans l'ensemble \(\mathbb{E}\), tel que \(P\) est vraie
$$ \mathbb{N} $$	Ensemble des entiers naturels : \( \bigl \{ 0, 1, 2, ..., n \bigr \}\)
$$ [\![ a, n]\!] $$	Ensemble des entiers naturels de \(a \) jusque \(n \) : \( \bigl \{a, (a +1), (a + 2), ..., n \bigr \}\) $$ [\![ 1, n]\!] = \{1, 2, ..., n\} $$
$$ \mathbb{Z} $$	Ensemble des entiers relatifs : \( \bigl \{-n, ..., -2, -1, 0, 1, 2, ..., n \bigr \}\)
$$ \mathbb{D} $$	Ensemble des nombres décimaux. Tous les nombres pouvant s'écrire sous la forme : $$ d = \frac{a}{10^b} \hspace{3em} (a \in \mathbb{Z}, \ b \in \mathbb{N}) $$
$$ \mathbb{Q} $$	Ensemble des nombres rationnels. Tous les nombres pouvant s'écrire sous la forme : $$ r = \frac{p}{q} \hspace{3em} (p \in \mathbb{Z}, \ q \in \hspace{0.05em} \mathbb{N}^*) $$
$$ \mathbb{R} $$	Ensemble des nombres réels. Tous les nombres rationnels \( (\in \mathbb{Q}) \) et irrationnels \( (e, \ \pi, \ \phi, \ \sqrt{2} ...etc.) \)
$$ \mathbb{R} \backslash \Bigl \{a, b, c \Bigr \} $$	Ensemble des nombres réels privé des valeurs \(a, b, c \).
$$ \mathbb{C} $$	Ensemble des nombres complexes. Tous les nombres pouvant s'écrire sous la forme : $$ c = a + ib \hspace{3em} ( (a,b) \in \hspace{0.05em} \mathbb{R}^2) $$
$$ \mathbb{K} $$	Ensemble des scalaires. Tous les nombres appartenant à \( \mathbb{R} \) ou \( \mathbb{C} \)
$$ \mathbb{P} $$	Ensemble des nombres premiers. L'ensemble des nombres pour seuls diviseurs eux-mêmes et \( 1\) : $$ \mathbb{P} = \Bigl \{2, 3, 5, 7, 11, 13, ...etc. \Bigr\}$$
$$ \mathbb{K}^{ \mathbb{N}} $$	Ensemble des suites à valeurs réelles ou complexes

$$ symbole $$	$$ signification $$
$$ D_f $$	Ensemble de définition d'une fonction \(f\)
$$ f(x) = x^2$$	Définition d'une fonction \(f\) ayant pour variable \(x\) et comme image \(x^2\)
$$ f :x \longmapsto x^2 $$	Définition d'une fonction \(f\) ayant pour variable \(x\) et comme image \(x^2\)
$$ (f \circ g) (x) $$	Définition d'une fonction composée \(f \circ g\) (lire "\(f \) rond \(g \)") ayant pour variable \(x\) $$(f \circ g) (x) = f\bigl(g(x)\bigr) $$ On peut de même créer des composées de composées de fonctions : $$(f \circ g \circ h ) (x) = f\Bigl(g\bigl(h(x)\bigr)\Bigr) $$ $$...etc. $$
$$ \Biggl( \overset{n}{\underset{k=1}{\bigcirc f_k}} \ \Biggr ) (x) $$ $$ (symbole \ non \ officiellement \ admis \ a \ priori) $$	Opérateur de composition de fonctions: $$ \Biggl( \overset{n}{\underset{k=1}{\bigcirc f_k}} \ \Biggr ) (x) = \Bigl(f_1 \circ f_2 \circ f_3 \circ \ ... \ \circ f_{n-1} \circ f_{n}\Bigr)(x) $$
$$ F(\mathbb{R}, \mathbb{R}) $$	Ensemble des fonctions allant de \(\mathbb{R}\) dans \(\mathbb{R}\)
$$ f' $$	Dérivée de la fonction \(f\) (notation de Lagrange)
$$ \frac{df}{dx} $$	Dérivée la fonction \(f\) par rapport à \(x\) (notation de Leibniz)
$$ f^{(n)}$$	Dérivée \(n\)-ième de la fonction \(f\)
$$ fonction \ de \ classe \ \mathcal {C}^n \ sur \ I $$	Fonction continue et dérivable \(n\) fois sur un intervalle \(I\)
$$ \frac{\partial y}{\partial x} dx $$	Dérivée partielle d'une fonction \(y = f(x, z,t) \) de plusieurs variables dont \(x\), par rapport à \(x\) uniquement.
$$ dy = \frac{\partial y}{\partial x} dx + \frac{\partial y}{\partial z}dz + \frac{\partial y}{\partial t}dt $$	Dérivée d'une fonction \(y = f(x, z, t ) \) ayant des variables indépendantes \(x, z, t \). C'est la somme de toutes les dérivées partielles par rapport respectivement à chaque variable.
$$ DL_n(a)$$	Développement limité d'ordre \(n\) au voisinage d'un point \(x = a\) (très souvent \(0\))
$$ \int^x f(t) \ dt $$	La famille de primitives de la fonction \(f\) à une constante près.
$$ \int_a^x f(t) \ dt $$	Intégrale définie de \(a\) vers \(x\) de la fonction \(f\). Graphiquement, cela correspond à l'aire sous la courbe de la fonction \(f\) dans l'intervalle \([a, x]\), et c'est aussi l'intégrale de \(f\) qui s'annule en \(a\).
$$ \int_a^b f(t) \ dt $$	Intégrale de \(a\) vers \(b\) de la fonction \(f\). Graphiquement, cela correspond à l'aire sous la courbe de la fonction \(f\) dans l'intervalle \([a, b]\).
$$ \sum_{k=0}^n \ f(k) $$	Somme de \(0\) jusque \(n\) des \(f(k)\) : $$ \sum_{k=0}^n \ f(k) = f(0) + f(1) + ... + f(n) $$
$$ \sum u_n $$	Série numérique associée à une suite \( (u_n)_{n \in \mathbb{N}}\) :
$$ S_n = \sum_{k=0}^n u_n $$	Somme partielle de la série \( \sum u_n\), de \(0\) jusque \(n\)
$$ R_n = \sum_{k=n+1}^{+ \infty} u_n $$	Reste de la série \( \sum u_n\) : $$ \sum u_n = S_n + R_n = \sum_{k=0}^n u_n + \sum_{k=n+1}^{+ \infty} u_n $$
$$ \prod_{k= 0}^n \ f(k) $$	Produit de \(0\) jusque \(n\) des \(f(k)\) : $$ \prod_{k=0}^n \ f(k) = f(0) f(1) ... f(n) $$
$$ lim_{x \to a} \ f(x) = l $$	Limite d'une fonction \(f \) lorsque \(x \) tend vers \( a \). \( a \) et \( l \) peuvent être un nombre ou une extrémité \( (-\infty\) ou \(+\infty) \) .
$$ f(x) \underset{a}{\longmapsto} l $$	Limite d'une fonction \(f \) lorsque \(x \) tend vers \( a \) (écriture raccourcie) On lit : "\( f(x) \) tend vers \( l \), lorsque \(x \) tend vers \( a \)".
$$ n! $$	La factorielle de \(n \) : $$n! = n \times (n-1) \times (n-2) \ \times \ ... \ \times \ 2 \times 1$$
$$ \binom{n}{k} $$	Le nombre de façons de prendre \( k \) éléments parmis \(n \). On lit : "\( k \) parmis \(n \)". $$\binom{n}{k} = \frac{n !}{(n-k)! \ k !}$$
$$ M = \begin{pmatrix} x_{1,1} & x_{1,2} & x_{1,3} & \dots & x_{1, p} \\ x_{2,1} & x_{2,2} & x_{2,3} & \dots & x_{2, p} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ x_{n,1} & x_{n,2} & x_{n,3} & \dots & x_{n, p} \\ \end{pmatrix} $$	La matrice \( M \) à \( n \) lignes et \( p \) colonnes.
$$ M_3 = \ \begin{pmatrix} x_{1,1} & x_{1,2} & x_{1,3} \\ x_{2,1} & x_{2,2} & x_{2,3} \\ x_{3,1} & x_{3,2} & x_{3,3} \\ \end{pmatrix} $$	La matrice carrée \( M_3 \) à \( 3 \) lignes et \( 3 \) colonnes.
$$ \underbrace{ \begin{pmatrix} x_{1,1} & x_{1,2} & x_{1,3} & \dots & x_{1, p} \\ x_{2,1} & x_{2,2} & x_{2,3} & \dots & x_{2, p} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ x_{n,1} & x_{n,2} & x_{n,3} & \dots & x_{n, p} \\ \end{pmatrix} } _\text{M} \times \underbrace{ \begin{pmatrix} a_0 \\ a_1 \\ a_2 \\ . \\ a_n \\ \end{pmatrix} } _\text{A} = \underbrace{ \begin{pmatrix} y_0 \\ y_1 \\ y_2 \\ . \\ y_n \\ \end{pmatrix} } _\text{Y} $$	Le produit matriciel de la matrice \( M\) avec la matrice \( A\). Le nombre de colonnes de la matrice \( M\) doit être le même que le nombre de lignes de celle de \( A\). Le résultat, la matrice \( Y\), est un matrice du même type que le facteur de droite du produit.
$$ det(M) = \begin{vmatrix} x_{1,1} & x_{1,2} & x_{1,3} & \dots & x_{1, p} \\ x_{2,1} & x_{2,2} & x_{2,3} & \dots & x_{2, p} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ x_{n,1} & x_{n,2} & x_{n,3} & \dots & x_{n, p} \\ \end{vmatrix} $$	Le déterminant de la matrice \( M \) à \( n \) lignes et \( p \) colonnes.
$$ A \in \hspace{0.03em} \mathcal{M}_{n,p} (\mathbb{K})$$	La matrice \(A\) appartenant à l'ensemble des matrices (et plus précisément l'espace vectoriel) de \(n\) lignes et \(p\) colonnes sur le corps \(\mathbb{K}\).
$$ A \in \hspace{0.03em} \mathcal{M}_{n} (\mathbb{K})$$	La matrice carrée \(A\) appartenant à l'ensemble des matrices carrées (et plus précisément l'espace vectoriel) de taille \(n\) sur le corps \(\mathbb{K}\).

$$ symbole $$	$$ signification $$
$$ \mathcal{D}(a)$$	L'ensemble des diviseurs de \(a\)
$$ p \in \mathbb{P}$$	\(p\) est un nombre premier
$$ \mathcal{D}(p) = \{1, p\}$$	\(p\) est un nombre premier
$$ a / b$$	\(a\) divise \(b\)
$$ a \nmid b $$	\(a\) ne divise pas \(b\)
$$ \mathcal{D}(a, b) $$	L'ensemble des diviseurs communs à \(a\) et à \(b\)
$$ \delta = PGCD(a, b)= a \wedge b $$	\( \delta\) est le plus grand diviseur commun à \(a\) et à \(b\).
$$ a \wedge b = 1 $$	\(a\) et \(b\) sont premiers entre eux. On peut dire aussi qu'ils sont "étrangers".
$$ PPCM(a, b) $$	\( PPCM(a, b) \) est le plus grand multiple commun à \(a\) et à \(b\).
$$ a \equiv b \hspace{0.2em} [n] $$	\(a\) est congru à \(b\) modulo \(n\). On dit que \(a\) est congru à \(b\) modulo \(n\) s'ils ont le même reste \(R\) dans la division euclidienne par \(n\). $$ a \equiv b \hspace{0.2em} [n] \Longleftrightarrow \exists (q, q') \in \hspace{0.05em} \mathbb{N}^2, \enspace \exists R \in \hspace{0.05em} \mathbb{N}, \enspace 0 \leqslant R < n, \ \Biggl \{ \begin{align} a = nq + R \\ b= nq' + R \end{align} $$

$$ symbole $$	$$ signification $$
$$ \vec{u} $$	Un vecteur \(\vec{u} \)
$$ \vec{u}\begin{pmatrix} x\\ y\\ z \end{pmatrix} $$	Un vecteur \(\vec{u} \) de coordonnées \(x,y,z\)
$$ \|\| \vec{u} \|\| $$	La norme (ou longueur) d'un vecteur \( \vec{u}\). Soit un vecteur \(\vec{u} \begin{pmatrix} x\\ y\\z \end{pmatrix}\), alors sa norme vaut : $$ \|\| \vec{u} \|\| = \sqrt{x^2 + y^2 + z^2}$$
$$ \vec{u}. \vec{v}$$	Le produit scalaire des vecteurs \( \vec{u}\) et \( \vec{v}\) vaut : $$ \vec{u}. \vec{v} = \|\| \vec{u} \|\| \times \|\| \vec{v} \|\| \times cos( (\vec{u}, \vec{v}) ) $$ Sinon, en fonction des coordonnées, si l'on a deux vecteurs \(\vec{u}\begin{pmatrix} x\\ y\\z \end{pmatrix}\) et \(\vec{v} \begin{pmatrix} x'\\ y'\\z' \end{pmatrix}\), alors ce produit scalaire vaut : $$ \vec{u}. \vec{v} = xx' + yy' +zz' $$
$$ \vec{u} \land \vec{v}$$	Le produit vectoriel des vecteurs \(\vec{u}\begin{pmatrix} x\\ y\\z \end{pmatrix}\) et \(\vec{v} \begin{pmatrix} x'\\ y'\\z' \end{pmatrix}\) vaut : $$ \vec{u} \land \vec{v} = \begin{pmatrix} y_1.z_2 - y_2.z_1 \\ x_2.z_1 - x_1.z_2 \\ x_1.y_2 - x_2.y_1 \end{pmatrix} $$

Glossaire des symboles mathématiques

Opérateurs logiques

Tableau récapitulatif des combinaisons entre opérateurs logiques

Ensembles/intervalles

Fonctions/opérateurs

Arithmétique

Géométrie dans l'espace

Alphabet grec