Symbole (TeX)

Sym bole (utf8 )

Nom Prononciation Branche Implication " implique " ou " si... alors " Logique quivalence logique signifie " si A est vraie, alors B est vraie aussi; si A est fausse alors on ne peut rien dire de la vrit de B ". Parfois, on utilise au lieu de mais solution). est fausse (puisque x=2 est aussi une est vraie, Signification Exemple

" si et seulement si " ou " quivaut " Logique Conjonction logique

signifie : " A est vraie quand B est vraie et A est fausse quand B est fausse ".

" et " Logique Disjonction logique

est vraie si et seulement si A et B sont vraies (donc fausse si A ou B ou A et B sont fausses) si nest un entier naturel

" ou " Logique Ngation logique

est vraie quand A ou B (ou les deux) sont vraies et fausse quand les deux sont fausses. un entier naturel

, si n est

" non " Logique Quantificateur universel

est vraie quand A est fausse et fausse quandA est vraie

" Quel que soit ", " pour tout " Logique Quantificateur existentiel

signifie : " P(x) est vraie pour toutx ".

" il existe au moins un ... tel que " Logique Relation d'quivalence " ... est quivalent ... " thorie des ensembles quivalence

signifie : " il existe au moins un xtel que P(x) soit vraie "

(5 rpond en effet la question)

" ... est quivalent an ~ bn signifie que les suites an et bn sont quivalentes ... " Analyse Distribution deprobabilit " ... a la distribution X ~ D, signifie : " la variable alatoire X a la distribution de probabilit D " de probabilit ... " Statistiques galit

sin(1/n) ~ 1/n

X ~ N(0,1), la distribution ou loi normale

" est gal " toute branche Proportionnalit

x = y signifie : " x et y dsignent le mme objetmathmatique "

1+2=63

" est proportionnel " toute branche Dfinition " est dfini comme "

signifie : " x est proportionnel y "

si y=2x, alors

:=

x: = y signifie : " x est dfini comme tant un autre nom de y " (cosinus signifie : " P est dfinie comme tant logiquement quivalente Q " hyperbolique)

:= : trs peu utiliss

(OU exclusif) Ensemble en extension {,} {,} " L'ensemble des ... " Thorie des ensembles Construction d'ensemble en comprhension {/} {;} {} {/} " L'ensemble de {;} tous les ... qui {} vrifient ... " Thorie des ensembles {} Ensemble vide " Ensemble vide " {} et dsignent l'ensemble vide, l'ensemble qui n'a pas d'lment {x / P(x)} dsigne l'ensemble de tous les x qui vrifient P(x). {x / P(x)} est le mme ensemble que {x;P(x)} ou encore que {xP(x)} {a,b,c} dsigne l'ensemble dont les lments sont a,b et c (ensemble des entiers naturels)

{}

Thorie des ensembles

Appartenance (ou pas) un ensemble " appartient ", " est lment de ", " est dans ". " n'appartient pas ", " n'est pas lment de ", " n'est pas dans " Thorie des ensembles Sous-ensemble " est un sousensemble (une partie) de ... ", " est inclus dans... " Thorie des ensembles Sous-ensemble strict, partie stricte " est un sousensemble strict de ... ", " est strictement inclus dans... " Thorie des ensembles Runion " Runion de ... et de ... ", " ... union ... " Thorie des ensembles Intersection " Intersection de ... et de ... ", " ... inter ... " Thorie des ensembles Diffrence " diffrence de ... et ... ", " ... moins ... ", " ... priv de ... " Thorie des ensembles Fonction application; regroupement " de " toute branche Fonction " de ... vers ", " de ... dans ", " de ... sur ... " toute branche Fonction ? " est envoy sur ", " a pour image " toute branche Ensemble des entiers naturels ? "N" Nombre Ensemble des entiers relatifs ? "Z" Nombre Ensemble des nombres rationnels ? "Q" reprsente signifie : " tout lment de A est aussi un lment de B " a gnralement la mme signification que toutefois que pour certains, pour les canadiens franais notamment, le symbole stricte . . Signalons reprsente l'inclusion

signifie : " a est un lment de l'ensemble S "

signifie : " a n'est pas lment de S "

signifie

et

(ou

et

quand

reprsente l'inclusion au sens large).

dsigne l'ensemble qui contient tous les lments de A et de B et seulement ceux-l

dsigne l'ensemble des lments qui appartiennent la fois A et B, c'est--dire les lments qu'ont les ensembles A et B en commun

dsigne l'ensemble de tous les lments de A qui n'appartiennent pas B

() (lien) {}

() [] {}

f(x) dsigne l'image de l'lment x par la fonction f Regroupement: les oprations places l'intrieur sont effectues en premier

Si f est dfinie par f(x) = x2, alors f(3) = 32 = 9 (8/4)/2 = 2/2 = 1, mais 8/(4/2) = 8/2 = 4

signifie que la fonction va de Xdans Y, ou a pour ensemble de dfinition X et pourensemble d'arrive Y, ou a pour origine X et pour but Y.

Considrons la fonction

dfinie par f(x) = x2

Au lieu d'crire que f est dfinie par f(x) = x2, nous pouvons crire " Soit la

signifie que la variable x a pour image f(x)

fonction

"

reprsente

reprsente

Nombre

Ensemble des nombres rels ? "R" Nombre Ensemble des nombres complexes ? "C" Nombre < Comparaison x < y signifie que x est strictement infrieur y. reprsente l'ensemble des limites des suites de Cauchy de (i tant le nombre complexe tel que i2 = 1)

reprsente

>

" est strictement infrieur ", " est strictement suprieur " Relation d'ordre Comparaison

x > y signifie que x est strictement suprieur y.

" est infrieur ", " est infrieur ou ou ? gal "; " est suprieur ", " est ou ? suprieur ou gal " Relation d'ordre Addition + " plus " Arithmtique Soustraction " moins " Arithmtique Multiplication " fois " Arithmtique Division " divis par " Arithmtique fraction / " sur " Arithmtique Nombre Approximation " approximativeme nt gal " Nombre rel Racine carre " Racine carre de ... "

signifie que x est infrieur ou gal y. signifie que x est suprieur ou gal y.

4 + 6 = 10 signifie que si quatre est ajout six, alors la somme ou le rsultat est gal dix.

43 + 65 = 108 2+7=9

9 - 4 = 5 signifie que si quatre est t (retranch) de neuf, alors le rsultat est gal 5. Le signe moins peut aussi tre plac immdiatement gauche d'un nombre pour le rendre ngatif. Par exemple, 5 + (-3) = 2 signifie que si cinq et le nombre ngatifmoins trois, sont ajouts, alors le rsultat est gal deux.

87 - 36 = 51

3 2 = 6 signifie que si trois est multipli par deux, alors le produit est gal six.

23 11 = 253

8 4 = 2 signifie que huit divis par quatre est gal deux.

100 4 = 25

reprsente la fraction neuf quarts. / peut tre aussi utilis pour reprsenter la division.

10-3 prs signifie qu'une valeur approche de e 10-3 prs est 2,718.

10-7 prs.

reprsente le nombre rel positif dont le carr est gal x. Nombre Infini " Infini " et calculs de limites. de Riemann) sont des lments de la droite relle acheve. apparat dans les

est un point adjoint au plan complexepour le rendre isomorphe une sphre (sphre

Nombre

" Pi " Gomtrie euclidienne Valeur absolue oumod ule d'un nombre complexe ou cardinal d'un ensemble || " Valeur absolue de... ", " module de ... "; " cardinal de ... " Nombre ou Thorie des ensembles Somme " Somme de ... pour ... de ... ... " Arithmtique dsigne la valeur absolue de x (ou le module de x). | A | dsigne le cardinal de l'ensemble A et reprsente, lorsque A est fini, le nombre d'lments de A. est le rapport de la circonfrence d'un cercle son diamtre. est l'aire d'un disque de rayon r

se lit " somme de ak pour k de 1 n ", et reprsente a1 + a2 + ... + an

= 12 + 22 + 32 + 42 = 30

Produit " Produit de .. pour .. de .. .. " Arithmtique

se lit " produit de ak pour k de 1 n ", et reprsente : a1a2...an

Intgrale " Intgrale (de .. ..) de .. d-.. " ,?,?, ?,? ou ? Analyse se lit " Intgrale de a b de f dex dx ", et reprsente l'aire algbrique du domaine dlimit par la courbe reprsentative de f, l'axe des abscisses et les droites d'quation x = a et x = b

se lit " intgrale de f de x dx, et reprsente une primitive de f Partie entire

se lit " Partie entire de x", et reprsente la partie entire infrieure de x