Notations mathématiques

Table des matières

Symbole	Domaine	Nom	Description	Exemple
Symbole	Domaine	Nom	Description	Exemple
˜	Ensembles	Relation d'équivalence	... est équivalent à ...	`m` ≤ `n`*(`n`-1) ˜ `m` ≤ `n`² lorsque `n` est très grand
{ , }	Ensembles	Ensemble en extension	L'ensemble de ...	{1, 2, 3} est l'ensemble des valeurs 1, 2, et 3
∅	Ensembles	Ensemble vide	L'ensemble vide	∅ = {}
∈	Ensembles	Appartenance à un ensemble	... est un élément de ...	3 ∈ {1, 2, 3, 4}
∉	Ensembles	Non appartenance à un ensemble	... n'est pas un élément de ...	5∉{1, 2, 3, 4}
\	Ensembles	Différence	... moins ...	`A\B` désigne l'ensemble de tous les éléments de `A` qui n'appartiennent pas à `B` {1,3,4,6,8}∪{2,3,5,6} = {1,4,8}
∩	Ensembles	Intersection	... inter ... Correspond au "et" logique	`A`∩`B` désigne l'ensemble des éléments qui appartiennent à la fois à `A` et à `B` {1,3,4,6,8}∪{2,3,5,6} = {3,6}
∪	Ensembles	Réunion	... union ... Correspond au "ou inclusif" logique	∀`x, x`∈`A`∪`B`⇔(`x`∈`A`)∨(`x`∈`B`) `A`∪`B` désigne l'ensemble qui contient tous les éléments de `A` et de `B` {1,3,4,6,8}∪{2,3,5,6} = {1,2,3,4,5,6,8}
⊂	Ensembles	Sous-ensemble	... est compris dans ...	{1,2} ⊂ {1,2,3}
⊃	Ensembles	Sur-ensemble	... contient ...	{1,2,3} ⊃ {1,2}
⊄	Ensembles		... n'est pas compris dans ...	{1,2,3} ⊄ {4,5,6}
⊆	Ensembles	Sous-ensemble	... est compris dans ou est égal à ...	{1,2}⊆{1,2,3} {1,2}⊆{1,2}
⊇	Ensembles	Sur-ensemble	... contient ou est égal à ...	{1,2,3}⊇{1,2} {1,2}⊇{1,2}
∀	Logique	Quantificateur universel	Pour tout... Quel que soit...	∀`x` ∈ `E, x`>0 Pour tout x appartenant à `E, x` est plus grand que zéro
∃	Logique	Quantificateur existentiel	Il existe au moins un ... tel que	∃`val` : (1, `val`) ∈ `liste` Il existe au moins une valeur `val` tel que `val` est à l'indice 1 dans la liste
	Logique	Quantificateur existentiel négatif	Il n'existe pas de ... tel que	`val` : (0,`val`) ∈ `liste` Il n'existe pas de valeur `val` tel que `val` est à l'indice zéro dans la liste
∧	Logique	Conjonction logique	Correspond au "et" logique	`A=B`∧`C` `A` est `true` si `B` est `true` ET si `C` est `true`
∨	Logique	Disjonction logique	Correspond au "ou inclusif" logique	`A=B`∨`C` `A` est `true` si `B` est `true` OU si `C` est `true` OU si `B` et `C` sont `true`
¬	Logique	Négation logique	Correspond au "non" logique	`A`=<¬`B` `A` est `true` si `B` est `false` et `A` est `false` si `B` est `true`
⊕	Logique	somme directe
⊕	Logique	Disjonction logique	produit vectoriel Correspond au "ou exclusif" logique (XOR)	`A=B`⊕`C` `A` est `true` si `B` est `true` OU si `C` est `true` `A` est `false` si `B` ET `C` sont `true`
⇒	Logique	Implication	`A` implique `B` si `A`, alors `B`
⇔	Logique	équivalence logique	`A` équivaut à `B` `A` existe si et seulement si `B` existe
∂	Généralités		partiellement
∋	Généralités		contient comme élément
∏	Généralités	Produit	produit de .. pour .. de .. à ..
∑	Généralités	somme
√	Généralités	racine carrée
∝	Généralités	Proportionnalité	... est proportionnel à ...
∞	Généralités		infini
∫	Généralités		intégral
∴	Généralités		c'est pourquoi
∼	Généralités		semblable à
≅	Généralités		sensiblement égal à
≈	Généralités		presque égal à
≠	Généralités	Non égalité (Différence)	... n'est pas égal à ...	1 ≠ 1 ⇒ `false` 1 ≠ 2 <⇒ `true`
=	Généralités	Egalité	... est strictement égal à ...	1 = 1 ⇒ `true` 1 = 2 ⇒ `false`
≡	Généralités		identique à
<	Généralités	Comparaison	... est strictement plus petit que...	1 < 1 ⇒ `false` 1 < 2 ⇒ `true` 2 < 1 ⇒ `false`
≤	Généralités	Comparaison	... est plus petit ou égal à ...	1 ≤ 1 ⇒ `true` 1 ≤ 2 ⇒ `true` 2 ≤ 1 ⇒ `false`
>	Généralités	Comparaison	... est strictement plus grand que...	1 > 1 ⇒ `false` 1 > 2 ⇒ `false` 2 > 1 ⇒ `true`
≥	Généralités	Comparaison	... est plus grand ou égal à ...	1≥1 ⇒ `true` 1≥2 ⇒ `false` 2 ≥ 1 ⇒ `true`
`f:X→Y`	Généralités	Fonction	de ... vers ... a pour ensemble de définition ... et pour ensemble d'arrivée ... d'origine ... pour but ...	`f:X→Y` signifie que la fonction `f` a pour origine `X` et pour but `Y`.
⌊x⌋	Généralités		Partie entière par excès Borne supérieure
⌈x⌉	Généralités		Partie entière Borne inférieure
˜	Statistiques	Distribution de probabilité

Notations ensembliste

Quelques exemple supplémentaires sur la notation ensembliste...

Notation	Description
Notation	Description
{`x` \| `P`(`x`)}	Ensemble des éléments `x` vérifiant la propriété `P`
∀ `x` :	Pour tout `x` tel que...
∃`y` :	Il existe `y` tel que...
`a`∈`A`	L'élément `a` appartient à l'ensemble `A`
`a`∉`A`	L'élément `a` n'appartient pas à l'ensemble `A`
`A`⊂`B`;`A`⊆`B`	L'ensemble `A` est inclu dans l'ensemble `B` : ∀`a`∈`A`, `a`∈`B`
`A`∩`B`=`C`	L'ensemble `C` est l'intersection de `A` et de `B` : ∀`c`∈`C`, `c`∈`A` ∧ `c`∈`B`
`A`∪`B`=`D`	L'ensemble `D` est l'union de `A` et de `B` : ∀`d`∈`D`, `d`∈`A` ∨ `d`∈`B`
`A`-`B`=`E` ; `A`\`B` =`E`	L'ensemble `E` représente les éléments de `A` moins ceux de `B` : ∀ `e`∈`E`, `e`∈`A` ∧ `e`∉`B`

Version en cache

21/12/2024 12:57:39 Cette version de la page est en cache (à la date du 21/12/2024 12:57:39) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la dernère version de la page.

Document créé le 08/11/2009, dernière modification le 28/10/2018
Source du document imprimé : https://www.gaudry.be/math-notations.html

L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.

Liens utiles

Table des matières Haut

Références

Table des caractères Unicode : unicode.org, U2200 (15/06/10)

Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.

Table des matières Haut