Tabel de simboluri matematice

Urmtorul tabel descrie multe simboluri speciale folosite des n matematic. Pentru codurile HTML ale simbolurilor matematice, vezi coduri HTML matematice.

Simboluri matematice de baz

Simbol Seminifica ie Se citete egalitate este egal cu neegalitate nu este egal cu diferit de oriunde strict inegalitate Explica ie Categorie x = y nseamn x i y reprezint acelai lucru oriunde sau au aceeai valoare. x y nseamn c x i y nu reprezint acelai lucru sau nu au aceeai valoare. x < y nseamn c x este mai mic dect y. x > y nseamn c x este mai mare dect y. x y nseamn c x mult mai mic dect y. 3<4 5>4 0,003 1000000 Exemple 1+1=2

= <> < > +

12

este mai mic dect, este mai mare dect, este mult mai mic dect, este mult mai mare dect

x y nseamn c x mult teoria ordonrii mai mare dect y. inegalitate este mai mic sau egal cu, este mai mare sau egal cu x y nseamn c x este mai mic sau egal cu y.

x y nseamn c x este teoria ordonrii mai mare sau egal cu y. y x nseamn c y = kx pentru o constant k. 4 + 6 nseamn suma lui 4 i 6 A1 + A2 nseamn reuniunea disjunct a mulimilor A1 i A2. 9 4 nseamn diferena

3 4 i 5 5 5 4 and 5 5

proporionalitate este proporional cu oriunde adunare plus aritmetic reuniune disjunct reuniunea disjunct ntre teoria mulimilor diferen

dac y = 2x, atunci y x 2+7=9 A1={1,2,3,4} A2={2,4,5,7} A1 + A2 = {(1,1), (2,1), (3,1), (4,1), (2,2), (4,2), (5,2), (7,2)} 83=5

minus aritmetic opusul

dintre 9 i 4 (5) = 5

/ || ! ~

3 nseamn opusul lui 3. negativ ; minus aritmetic complementul unei mulimi A B nseamn mulimea care conine minus; fr toate elementele din A teoria mulimilor care nu sunt n B. produs 3 4 nseamn produsul ori,nmulit cu lui 3 i 4. aritmetic produs cartezian XY nseamn mulimea tuturor perechilor produsul cartezian ntre; ordonate cu primul produsul direct element din X i al doilea teoria mulimilor element din Y. produs vectorial u v nseamn produsul produs vectorial cu vectorial al vectorilor u i algebr vectorial v mprire 6 3 sau 6/3 nseamn mprit la mprirea lui 6 la 3 aritmetic rdcin ptrat x nseamn numrul rdcina ptrat a lui; radicalul pozitiv al crui ptrat este de ordin doi din x. numere reale rdcina ptrat complex dac z = r exp(i) este rdcina ptrat complex a lui reprezentat n coordonate polare, atunci z = r numere complexe exp(i/2). valoare absolut |x| nseamn distana pe valoarea absolut a lui; modul axa real (sau n planul din complex) dintre x i zero. numere factorial n! este produsul factorial 12...n. combinatoric distribuie de probabilitate X ~ D, nseamn c variabila aleatoare X are are distribuia distribuia de statistic probabilitate D.

{1,2,4} {1,3,4} = {2}

7 8 = 56

{1,2} {3,4} = {(1,3), (1,4),(2,3),(2,4)} (1,2,5) (3,4,1) = (22, 16, 2) 2 4 = 0,5 12 / 4 = 3 4 = 2

(-1) = i

|3| = 3, |-5| = |5| |i| = 1, |3+4i| = 5 4! = 1 2 3 4 = 24 X ~ N(0,1), distribuia normal standard


implicaie

x = 2 x2 = 4 este poate nsemna acelai adevrat, dar x2 = 4 x = lucru ca i sau poate 2 este n general fals avea sensul pentru funcii (deoarece x poate fi 2, implic; dac .. atunci descris mai jos. dac domeniul studiat permite). poate nsemna acelai lucru ca i sau poate logic propoziional avea sensul de supramulime descris mai jos. echivalen dac i numai dac (dnd); echivalent cu logic propoziional negaie logic non Propoziia A este adevrat dac i numai dac A este fals. A B nseamn c A i B au aceleai valori de adevr.

A B nseamn c dac A este adevrat, atunci i B este adevrat; n caz c A este fals, nu se poate spune nimic despre B.

x + 5 = y +2 x + 3 = y

O bar oblic ce taie un operator reprezint logic propoziional acelai lucru ca i "" scris n fa. conjuncie logic sau infimum Propoziia A B este ntr-o latice adevrat dac A i B sunt i ambele adevrate; altfel logic propoziional, teoria este fals. laticelor disjuncie logic sau Propoziia A B este supremum ntr-o latice adevrat dac A sau B (sau ambele) sunt sau logic propoziional, teoria adevrate; altfel este laticelor fals. sau exclusiv Afirmaia A B este adevrat dac fie A, fie xor B, dar nu ambele, este adevrat. A B logic propoziional, algebr nseamn acelai lucru. boolean

(A) A x y (x = y)

n < 4 n >2 n = 3 dac n este numr natural.

n4n2n3 dac n este numr natural.

(A) A este mereu adevrat, A A este mereu fals.

cuantificator universal oricare; pentru fiecare

x: P(x) nseamn P(x) este adevrat pentru toi

n N: n2 n.

 ! := : {,} {:} {|} {}

logica predicatelor x din domeniu. x: P(x) nseamn c cuantificator existenial exist cel puin un x exist astfel nct P(x) este logica predicatelor adevrat. cuantificator de unicitate ! x: P(x) nseamn c exist un(o) unic() exist exact un x astfel exist i e unic() nct P(x) este adevrat. logica predicatelor x := y sau x y nseamn c x este definit ca un alt definiie nume pentru y (de observat c poate avea i alte sensuri, precum congruen). se definete ca P : Q nseamn c P este definit astfel nct, oriunde din punct de vedere logic, este echivalent cu Q. acolade de mulime {a,b,c}nseamn mulimea format din a, mulimea teoria mulimilor b i c. notaie de construcie a unei mulimi {x : P(x)} sau {x | P(x)} nseamn mulimea mulimea elementelor cu acelor x pentru care P(x) proprietatea c este adevrat. teoria mulimilor mulimea vid mulimea vid teoria mulimilor apartenen aparine lui, este inclus n; nu aparine lui, nu este inclus n oriunde, teoria mulimilor nseamn mulimea cu nici un element. {} este o notaie echivalent. a S nseamn c a este un element al mulimii S;

n N: n este par.

! n N: n + 5 = 2n.

cosh x := (1/2)(exp x + exp (x)) A XOR B : (A B) (A B)

N = {0,1,2,...}

{n N : n2 < 20} = {0,1,2,3,4}

{n N : 1 < n2 < 4} =

(1/2)1 N 21 N

a S nseamn c a nu este un element al mulimii S. -(submulime) A B submulime nseamn c fiecare este inclus n; este o element din A este i submulime pentru; este element al lui B. submulime a lui -(submulime proprie) A teoria mulimilor B nseamn c A B dar A B. superset A B nseamn c fiecare element din B este

A B A; Q R

A B B; R Q

include; este o supramulime pentru; este supramulime a lui

i element al lui A. A B nseamn c A B dar A B. A B este echivalent cu B A, A B este echivalent cu B A. Reuniune exclusiv (vezi i diferen simetric): A B nseamn mulimea care conine toate elementele lui A, i toate elementele lui B, dar nu i elementele lor comune. "A sau B, dar nu amndou".

teoria mulimilor

reuniune

ABAB=B A B = {x | x A x B)}

reuniunea ntre

\ () f:XY
o

Reuniune inclusiv: A B nseamn mulimea care conine toate teoria mulimilor elementele lui A, i toate elementele lui B. "A sau B sau amndou". A B nseamn intersecie de mulimi mulimea ce conine intersecia dintre elementele comune din A teoria mulimilor i B A \ B nseamn mulimea set-theoretic complement ce conine elementele pe diferena care A le are n plus fa teoria mulimilor de B valoarea funciei de teoria mulimilor modificatori de preceden paranteze oriunde functie sgeat de ... la f(x) nseamn 'f de x', sau valoarea lui f n elementul x. Se efectueaz nti operaiile din paranteze.

{x R : x2 = 1} = {1} {1,2,3,4} \ {3,4,5,6} = {1,2} Dac f(x) := x2, atunci f(3) = 32 = 9. (8/4)/2 = 2/2 = 1, dar 8/ (4/2) = 8/2 = 4. Let f: Z N be defined by f(x) := x2. if f(x) := 2x, i g(x) := x + 3, apoi (fog)(x) = 2(x + 3). {|a| : a Z} = N

f: X Y nseamn c funcia f transport elementele lui X n cele teoria mulimilor din Y. funcia compunere fog e functia, fiind (fog)(x) compus cu = f(g(x)). teoria mulimilor N nseamn {0,1,2,3,...}, numere naturale dar a se vedea i numere N naturale pentru o alt numr

 Z Q R C

convenie. numere ntregi Z numr numere raionale Q numr numere reale R numr numere complexe C numr infinitate R nseamn setul de numere reale. C nseamn {a + bi : a,b R}. Z nseamn {..., 3,2,1,0,1,2,3,...}. Q nseamn {p/q : p,q Z, q 0}.

{a : |a| N} = Z 3.14 Q Q R (1) R i = (1) C

|| || '

este un element al mulimii reale extinse i este mai mare ca orice alt infinitate numr real, fiin deseori numr ntalnit n limite matematice. este raportul dintre pi lungimea cercului i pi diametrul su. Valorea lui geometrie euclidian este 3.1415.... norma ||x|| este norma unui element x din spaiul norma lui; lungimea lui vectorial normat. algebr liniar nsumare k=1n ak nseamn a1 + a2 sum peste ... de ... la ... din + ... + an. oriunde nmulire k=1n ak nseamn produs peste ... de ... la ... din a1a2an. oriunde Produs cartezian i=0nYi nseamn setul produsul cartezian dintre; tuturor (n+1)-uplurilor produsul direct dintre (y0,...,yn). algebr Derivat f '(x) este derivata funciei f n punctul x,ex: prim; derivata lui tangenta la graficul lui f analiz matematic n x.

limx0 1/|x| =

A = r este aria unui cerc cu raza r ||x+y|| ||x|| + ||y|| k=14 k2 = 12 + 22 + 32 + 42 = 1 + 4 + 9 + 16 = 30 k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360 n=13R = Rn

Dac f(x) := x2, atuncif '(x) = 2x

Integrala nedefinit sau antiderivat integral nedefinit din ;

f(x) dx nseamn o funcie a crui derivat e f.

x2 dx = x3/3 + C

calculus ab f(x) dx nseamn aria cu semn dintre axa x i integrala de la ... pn la .... grficul funciei lui f ntre analiz matematic x = a i x = b. f (x1, , xn) este gradient vectorul derivatelor Nabla, gradient din pariale (df / dx1, , df / analiz matematic dxn). Cu f (x1, , xn), f/xi derivat parial este derivata lui f n derivat parial din funcie de xi, celelalte variabile pstrndu-se calculus constante. frontiera M nseamn frontiera frontiera mulimii M topologie x y nseamn x este perpendicular perpendicular pe y; sau e perpendicular pe mai general x e ortogonal geometrie pe y. element minim (cel mai mic) x = nseamn c x este Elementul minimt cel mai mic element. lattice theory A B means the sentence entailment A entails the sentence B, that is every model in entails which A is true, B is also model theory true. inference x y means y is derived infers or is derived from propositional logic, predicate from x. logic normal subgroup N G means that N is a normal subgroup of group is a normal subgroup of group theory G. quotient group G/H means the quotient of group G modulo its mod teoria grupurilor subgroup H. izomorfism G H nseamn c grupul e izomorf cu G e izomorf cu grupul H teoria grupurilor egal aproximativ x y nseamn x este este aproximativ egal cu aproximativ egal cu y oriunde x,y nseamn produs scalar produsul scalar al lui x i y. produs scalar algebra liniar n cadrul spaiilor euclidiene se obinuete Integrala definit 0b x2 dx = b3/3;

Dac f (x,y,z) := 3xy + z, atunci f = (3y, 3x, 2z)

dac f(x,y) := x2y, atunci f/x = 2xy {x : ||x|| 2} = {x : ||x|| = 2} Dac lm i mn atunci l || n. x : x =

<div style="fontsize:200%;">

A A A

A B B A

Z(G) G {0, a, 2a, b, b+a, b+2a} / {0, b} = {{0, b}, {a, b+a}, {2a, b+2a}} Q / {1, 1} V, unde Q este quaternion group i V este grupul Klein de 4 elemente. 3.14159 n spaiul euclidian 2 produsul scalar al vectorilor x = (2, 3) i y = (1, 5) este: x, y = 2 1 + 3 5

/ ,

(|) <,> :

de a nota produsul scalar att prin (x,y) ct i prin xy. Pentru matrice se poate utiliza semnul :.

= 13

Produs tensorial

{1, 2, 3, 4} {1,1,2} = V U nseamn produsul {{1, 2, 3, 4}, {1, 2, 3, 4}, tensorial dintre V i U. {2, 4, 6, 8}}