eBabylone
.com

En mathématiques, certains symboles sont fréquemment utilisés. Le tableau suivant représente une aide pour les non-mathématiciens qui ne sont pas habitués à ces symboles. Dans la table, sont précisés pour chaque symbole, le nom, la prononciation et la branche des mathématiques dans laquelle le symbole est principalement utilisé. En plus, la quatrième colonne contient une définition informelle et la dernière donne un court exemple apportant une explication sur l'utilisation du symbole. Du fait de leur utilisation répandue, il existe un grand nombre de façons différentes de représenter certains symboles. Ce tableau ne saurait prétendre à l'exhaustivité. Unicode

- bgcolor=#a0e0a0	Symbole (TeX)	Symbole (utf8)	Nom	Signification	Exemple	- bgcolor=#a0e0a0	Prononciation	- bgcolor=#a0e0a0	Branche	-	$\backslash Rightarrow\backslash ,$	?		$A\; \backslash Rightarrow\; B\backslash ,$ signifie « si A est vraie, alors B est vraie aussi ; si A est fausse alors on ne peut rien dire de la vérité de B ». Parfois, on utilise $\backslash rightarrow\backslash ,$ au lieu de $\backslash Rightarrow\backslash ,$	$x\; =\; 2\; \backslash Rightarrow\; x^2\; =\; 4\backslash ,$ est vraie, mais $x^2\; =\; 4\; \backslash Rightarrow\; x\; =\; 2\backslash ,$ est fausse (puisque x=?2 est aussi une solution).	-	« implique » ou « si... alors »	-	Logique	-	$\backslash Leftrightarrow$	?		$A\; \backslash Leftrightarrow\; B$ signifie : « A est vraie quand B est vraie et A est fausse quand B est fausse ».	$x\; +\; 5\; =\; y\; +\; 2\; \backslash Leftrightarrow\; x\; +\; 3\; =\; y\backslash ,$	-	« si et seulement si » ou « équivaut à »	-	Logique	-	$\backslash wedge$	?		$A\; \backslash wedge\; B$ est vraie si et seulement si A et B sont vraies (donc fausse si A ou B ou A et B sont fausses)	, si n est un	-	« et »	-	Logique	-	$\backslash vee$	?		$A\backslash vee\; B$ est vraie quand A ou B (ou les deux) sont vraies et fausse quand les deux sont fausses.	$(n\backslash leqslant\; 2)\backslash vee\; (n\backslash geqslant\; 4)\backslash Leftrightarrow\; n\backslash ne\; 3$, si n est un	-	« ou »	-	Logique	-	$\backslash neg$	¬		$\backslash neg\; A$ est vraie quand A est fausse et fausse quand A est vraie	$\backslash neg\; (A\backslash wedge\; B)\backslash Leftrightarrow\; (\backslash neg\; A)\backslash vee\; (\backslash neg\; B)$ $x\backslash notin\; S\backslash Leftrightarrow\; \backslash neg(x\backslash in\; S)$	-	« non »	-	Logique	-	$\backslash forall$	?	Quantificateur universel	$\backslash forall\; x,\; P(x)$ signifie : « P(x) est vraie pour tout x ».	$\backslash forall\; n\backslash in\; \backslash mathbb\; N,\; n^2\backslash geqslant\; n$	-	« Quel que soit », « pour tout »	-		-	$\backslash exists$	?	Quantificateur existentiel	$\backslash exists\; x,\; P(x)$ signifie : « il existe au moins un x tel que P(x) soit vraie »	$\backslash exists\; n\backslash in\; \backslash N,\; n+5=2\backslash times\; n$ (5 répond en effet à la question)	-	« il existe au moins un ... tel que »	-		-	$\backslash sim$	~		rowspan=3 |	rowspan=3 |	-	« ... est équivalent à ... »	-		-	équivalence	an ~ bn signifie que les suites an et bn sont équivalentes	sin(1/n) ~ 1/n	-	« ... est équivalent à ... »	-		-	Distribution de probabilité	X ~ D, signifie : « la X a la distribution de probabilité D »	X ~ N(0,1), la distribution ou	-	« ... a la distribution de probabilité ... »	-		-	$=\backslash ,$	=	égalité	$x=y$ signifie : « x et y désignent le même objet mathématique »	1 + 2 = 6 ? 3	-	« est égal »	-	toute branche	-	$\backslash propto$	?	Proportionnalité	$x\; \backslash propto\; y$ signifie : « x est proportionnel à y »	si y=2x, alors $y\; \backslash propto\; x$	-	« est proportionnel à »	-	toute branche	-	$:=$ $:\backslash Leftrightarrow$	:= :?		$x\; :=\; y$ signifie : « x est défini comme étant un autre nom de y » $P\; :\backslash Leftrightarrow\; Q$ signifie : « P est définie comme étant logiquement équivalente à Q »	$\backslash cosh\; (x)\; :=\; \{1\backslash over\; 2\}\backslash left(e^x+e^\backslash right)$ (cosinus hyperbolique) $A\; \backslash oplus\; B\; :\backslash Leftrightarrow\; (A\backslash vee\; B)\backslash wedge\; \backslash neg\; (A\backslash wedge\; B)$ (OU exclusif)	-	« est défini comme »	-	très peu utilisés	-	$\backslash \{\; ,\backslash \}$	{ , }	Ensemble en extension	$\backslash$ désigne l'ensemble dont les éléments sont a, b et c	$\backslash mathbb\; N\; =\; \backslash \{0,1,2\backslash ldots\; \backslash \}$ (ensemble des entiers naturels)	-	« L'ensemble des ... »	-		-	$\backslash \{\; /\backslash \}$ $\backslash \{\; ;\; \backslash \}$ $\backslash \{\; \backslash \}$	{ / } { ; } { }	Construction d'ensemble en compréhension	$\backslash \{x\; /\; P(x)\backslash \}$ désigne l'ensemble de tous les x qui vérifient P(x). $\backslash \{x\; /\; P(x)\backslash \}$ est le même ensemble que $\backslash \{x\; ;\; P(x)\backslash \}$ ou encore que $\backslash \{x\; P(x)\backslash \}$		-	« L'ensemble de tous les ... qui vérifient ... »	-		-	$\backslash emptyset$ $\backslash$	? {}		$\backslash$ et $\backslash emptyset$ désignent l'ensemble vide, l'ensemble qui n'a pas d'élément		-	« Ensemble vide »	-		-	$\backslash in$ $\backslash notin$	? ?	Appartenance (ou pas) à un ensemble	$a\backslash in\; S$ signifie : « a est un élément de lensemble S » $a\backslash notin\; S$ signifie : « a n'est pas élément de ''S »	$2\backslash in\; \backslash mathbb\; N$ $\{1\backslash over\; 2\}\backslash notin\; \backslash mathbb\; N$	-	« appartient à », « est élément de », « est dans ». « n'appartient pas », « n'est pas élément de », « n'est pas dans »	-		-	$\backslash subseteq$ $\backslash subset$	? ?		$A\backslash subseteq\; B$ signifie : « tout élément de A est aussi un élément de B » $A\backslash subset\; B$ a généralement la même signification que $A\backslash subseteq\; B$. Signalons toutefois que pour certains, pour les canadiens français notamment, le symbole $\backslash subset$ représente l'inclusion stricte $\backslash subsetneq$.	$(A\backslash cap\; B)\; \backslash subseteq\; A$ $\backslash mathbb\; Q\backslash subseteq\; \backslash mathbb\; R$	-	« est un sous-ensemble (une partie) de ... », « est inclus dans... »	-		-	$\backslash subsetneq$	?	Sous-ensemble strict, partie stricte	$A\backslash subsetneq\; B$ signifie $A\backslash subseteq\; B$ et $A\backslash ne\; B$ (ou $A\backslash subset\; B$ et $A\backslash ne\; B$ quand $\backslash subset$ représente l'inclusion au sens large).	$\backslash mathbb\; N\backslash subsetneq\; \backslash mathbb\; Q$	-	« est un sous-ensemble strict de ... », « est strictement inclus dans... »	-		-	$\backslash cup$	?	Réunion	$A\backslash cup\; B$ désigne l'ensemble qui contient tous les éléments de A et de B et seulement ceux-là	$A\backslash subseteq\; B\backslash Leftrightarrow\; A\backslash cup\; B=B$	-	« Réunion de ... et de ... », « ... union ... »	-		-	$\backslash cap$	?		$A\backslash cap\; B$ désigne l'ensemble des éléments qui appartiennent à la fois à A et à B, cest-à-dire les éléments qu'ont les ensembles A et ''B en commun	$\backslash \{x\backslash in\; \backslash R\; /\; x^2=1\backslash \}\backslash cap\; \backslash mathbb\; N\; =\; \backslash$	-	« Intersection de ... et de ... », « ... inter ... »	-		-	$\backslash setminus$	\		$A\backslash setminus\; B$ désigne l'ensemble de tous les éléments de A qui nappartiennent pas à ''B	$\backslash \backslash setminus\; \backslash \; =\; \backslash$	-	« différence de ... et ... », « ... moins ... », « ... privé de ... »	-		-	$(\; )$ $[\; ]$ $\backslash \{\; \backslash \}$	( ) [ ] { }	Fonction application; regroupement	f(x) désigne limage de l'élément x par la fonction f Regroupement: les opérations placées à lintérieur sont effectuées en premier	Si f est définie par $f(x)\; =\; x^2$, alors f(3) = 32 = 9 (8/4)/2 = 2/2 = 1, mais 8/(4/2) = 8/2 = 4	-	« de »	-	toute branche	-	$\backslash to$	?	Fonction	$f:X\backslash to\; Y$ signifie que la fonction va de X dans Y, ou a pour ensemble de définition X et pour ensemble darrivée Y, ou a pour origine X et pour but ''Y.	Considérons la fonction $f:\backslash mathbb\; Z\backslash to\; \backslash mathbb\; Z$ définie par $f(x)=x^2$	-	« de ... vers », « de ... dans », « de ... sur ... »	-	toute branche	-	$\backslash mapsto$	?	Fonction	$x\; \backslash mapsto\; f(x)$ signifie que la variable x a pour image $f(x)$	Au lieu d'écrire que f est définie par f(x) = x2, nous pouvons écrire " Soit la fonction $f\backslash colon\; x\; \backslash mapsto\; x^2$ "	-	« est envoyé sur », « a pour image »	-	toute branche	-	$\backslash mathbb\; N$	?	Ensemble des entiers naturels	$\backslash mathbb\; N$ représente $\backslash \{0,\; 1,\; 2,\; 3\; \backslash ldots\; \backslash \}$	$\backslash \{\backslash left|a\backslash right|\; /\; a\backslash in\; \backslash mathbb\; Z\backslash \}=\backslash mathbb\; N$	-	« N »	-		-	$\backslash mathbb\; Z$	?	Ensemble des entiers relatifs	$\backslash mathbb\; Z$ représente $\backslash \{\backslash ldots\; -3,\; -2,\; -1,\; 0,\; 1,\; 2,\; 3\; \backslash ldots\; \backslash \}$	$\backslash \{a,\; -a\; /\; a\; \backslash in\; \backslash mathbb\; N\backslash \}=\backslash mathbb\; Z$	-	« Z »	-		-	$\backslash mathbb\; Q$	?	Ensemble des nombres rationnels	$\backslash mathbb\; Q$ représente $\backslash left\backslash \{\{p\backslash over\; q\}\; /\; p\backslash in\; \backslash mathbb\; Z\; \backslash wedge\; q\backslash in\; \backslash mathbb\; Z\backslash wedge\; q\backslash ne\; 0\backslash right\backslash \}$	$3,14\backslash in\; \backslash mathbb\; Q$ $\backslash pi\; \backslash notin\; \backslash mathbb\; Q$	-	« Q »	-		-	$\backslash R$	?	Ensemble des nombres réels	$\backslash R$ représente l'ensemble des limites des suites de Cauchy de $\backslash mathbb\; Q$	$\backslash pi\; \backslash in\; \backslash R$ $i\; \backslash notin\; \backslash R$ (i étant le nombre complexe tel que $i^2=-1$)	-	« R »	-		-	$\backslash mathbb\; C$	?	Ensemble des nombres complexes	$\backslash mathbb\; C$ représente $\backslash \{a+b\backslash cdot\; i\; /\; a\backslash in\; \backslash R\; \backslash wedge\; b\backslash in\; \backslash R\backslash \}$	$i\backslash in\; \backslash mathbb\; C$	-	« C »	-		-	$>\backslash ,$	< >	Comparaison	x est strictement inférieur à y. $x>y$ signifie que x est strictement supérieur à y.		-	« est strictement inférieur à », « est strictement supérieur à »	-		-	$\backslash leqslant$ $\backslash geqslant$	? ou ? ? ou ?	Comparaison	$x\backslash leqslant\; y$ signifie que x est inférieur ou égal à y. $x\backslash geqslant\; y$ signifie que x est supérieur ou égal à y.	$x\backslash geqslant\; 1\backslash Rightarrow\; x^2\backslash geqslant\; x$	-	« est inférieur à », « est inférieur ou égal à »; « est supérieur à », « est supérieur ou égal à »	-		-	$+\backslash ,$	+		4 + 6 = 10 signifie que si quatre est ajouté à six, alors la somme ou le résultat est égal à dix.	43 + 65 = 108 2 + 7 = 9	-	« plus »	-		-	$-\backslash ,$	-		9 - 4 = 5 signifie que si quatre est ôté (retranché) de neuf, alors le résultat est égal à 5. Le signe moins peut aussi être placé immédiatement à gauche d'un nombre pour le rendre négatif. Par exemple, 5 + (-3) = 2 signifie que si cinq et le nombre négatif moins trois, sont ajoutés, alors le résultat est égal à deux.	87 - 36 = 51	-	« moins »	-		-	$\backslash times$	×		3 × 2 = 6 signifie que si trois est multiplié par deux, alors le produit est égal à six.	23 × 11 = 253	-	« fois »	-		-	$\backslash cdot\; /\backslash cdot$	÷		8 ÷ 4 = 2 signifie que huit divisé par quatre est égal à deux.	100 ÷ 4 = 25	-	« divisé par »	-		-	$\{\backslash cdot\; \backslash over\; \backslash cdot\}$	/		$\{9\; \backslash over\; 4\}$ représente la fraction neuf quarts. / peut être aussi utilisé pour représenter la division.	$\{100\; \backslash over\; 25\}\; =\; 4$	-	« sur »	-	Nombre	-	$\backslash approx$	?		$e\backslash approx\; 2,718$ à 10-3 près signifie qu'une valeur approchée de e à 10-3 près est 2,718.	$\backslash pi\; \backslash approx\; 3,1415926$ à 10-7 près.	-	« approximativement égal à »	-		-	$\backslash sqrt\{\; \}$	?		$\backslash sqrt\; x$ représente le nombre réel positif dont le carré est égal à x.	$\backslash sqrt\; 4=2$ $\backslash sqrt\; =\; \backslash left|x\backslash right|$	-	« Racine carrée de ... »	-		-	$\backslash infty$			$+\backslash infty$ et $-\backslash infty$ sont des éléments de la . $\backslash infty$ apparaît dans les calculs de limites. $\backslash infty$ est un point adjoint au plan complexe pour le rendre isomorphe à une sphère (sphère de Riemann)	$\backslash lim\_\{x\backslash to\; 0\}\; \{1\backslash over\; |x|\}=\; \backslash infty$	-	« Infini »	-		-	$\backslash pi\backslash ,$	?	?	? est le rapport de la circonférence d'un à son diamètre.	$A=\backslash pi\; \backslash cdot\; r^2$ est l'aire d'un disque de rayon r	-	« Pi »	-		-	$\backslash left|\backslash cdot\; \backslash right|$	| |	ou module d'un nombre complexe ou cardinal d'un ensemble	$\backslash left|x\backslash right|$ désigne la valeur absolue de x (ou le module de x). $|A|$ désigne le cardinal de lensemble A et représente, lorsque A est fini, le nombre d'éléments de ''A.	$\backslash left|a+b\backslash cdot\; i\backslash right|=\backslash sqrt$	-	« Valeur absolue de... », « module de ... »; « cardinal de ... »	-	ou Théorie des ensembles	-	$\backslash sum$	?	Somme	$\backslash sum\_^n\; a\_k$ se lit « somme de ak pour k de 1 à n », et représente a1 + a2 + ... + an	$\backslash sum\_^4\; k^2$ $=\; 1^2\; +\; 2^2\; +\; 3^2\; +\; 4^2$ $=\; 30$	-	« Somme de ... pour ... de ... à ... »	-		-	$\backslash prod$	?	Produit	$\backslash prod\_^n\; a\_k$ se lit « produit de ak pour k de 1 à n », et représente : a1·a2·...·an	$\backslash prod\_^4\; (k+2)$ $=3\backslash times\; 4\backslash times\; 5\backslash times\; 6=360$	-	« Produit de .. pour .. de .. à .. »	-		-	$\backslash int\; dx$	?,?,?,?,? ou ?		$\backslash int\_a^b\; f(x)\; dx$ se lit « Intégrale de a à b de f de x dx », et représente laire algébrique du domaine délimité par la courbe représentative de f, l'axe des abscisses et les droites d'équation x = a et x = b $\backslash int\; f(x)\; dx$ se lit « intégrale de f de x dx, et représente une de ''f	$\backslash int\_0^b\; x^2\; dx\; =\; b^3/3$ $\backslash int\; x^2\; dx\; =\; x^3/3$	-	« Intégrale (de .. à ..) de .. d-.. »	-	Analyse	-	$\backslash left\backslash lfloor\; x\; \backslash right\backslash rfloor$	$\backslash left\backslash lfloor\; \backslash right\backslash rfloor$		$\backslash left\backslash lfloor\; x\; \backslash right\backslash rfloor$ se lit « Partie entière de x», et représente la partie entière inférieure de x	$\backslash left\backslash lfloor\; 2.9\; \backslash right\backslash rfloor\; =\; 2$ $\backslash left\backslash lfloor\; 2.3\; \backslash right\backslash rfloor\; =\; 2$	-	« Partie entière de .. »	-

Autres symboles mathématiques

D'autres symboles sont définis par Unicode dans les plages suivantes:

début code plage	fin code plage	nom officiel du bloc
206F || générale	-	209F || Exposants et indices	-	20FF || Signes combinatoires pour symboles	-	218F || Formes numérales	-	21FF || Flèches	-	22FF || Opérateurs mathématiques	-	23FF || Signes techniques divers. 2336 à 237A = symboles APL	-	25FF || Formes géométriques	-	26FF || Symboles divers	-	27BF || Casseau	-	27EF || Divers symboles mathématiques - A	-	27FF || Supplément A de flèches	-	297F || Supplément B de flèches	-	29FF || Divers symboles mathématiques-B	-	2AFF || Opérateurs mathématiques supplémentaires	-	2BFF || Divers symboles et flèches	-	303F || Symboles et ponctuation (CJC)	-	1013F || Nombres égéens	-	1D7FF || Symboles mathématiques alphanumériques

Liens externes

pdf [http://aalem.free.fr/maths/mathematiques.pdf Extraits de la norme internationale iso 31-11 : 1992]
pdf [http://hapax.iquebec.com/Tableaux-4.1/U2200.pdf Extrait du standard Unicode, version 4.1] : Contient les définitions des différents opérateurs. Symboles typographiques
Catégorie:Liste en rapport avec les mathématiques bn:??????? ??????? ????? ca:Taula de símbols matemàtics cy:Rhestr symbolau mathemategol da:Matematiske symboler de:Mathematische Symbole en:Table of mathematical symbols es:Tabla de símbolos matemáticos fi:Matemaattinen merkintä id:Daftar simbol matematika it:Tavola delle principali notazioni simboliche matematiche ja:?????? lmo:Taula d? símbul matemàtich nl:Lijst van wiskundige symbolen no:Matematiske symboler pl:Lista symboli matematycznych pt:Tabela de símbolos matemáticos ro:Tabel de simboluri matematice ru:??????? ?????????????? ???????? sk:Matematický symbol su:Tabel lambang matematis sv:Tabell över matematiska symboler ur:???? ???? ????? ?????? zh:?????Table des symboles mathématiques77060