Simboluri matematice de baz

Seminificaie

Simbol

Se citete

Explicaie

Exemple

Categorie

egalitate

este egal cu

x = y nseamn x i y reprezint acelai 1+1=2 lucru sau au aceeai valoare.

oriunde

neegalitate

nu este egal cu diferit de

<>
oriunde

x y nseamn c x i y nu reprezint acelai lucru sau nu au aceeai valoare.

12

< >

strict inegalitate

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. x y nseamn c x mult mai mare dect y.

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

3<4 5>4 0,003 1000000

teoria ordonrii

inegalitate

x y nseamn c x este mai mic sau egal cu y. x y nseamn c x este mai mare sau

3 4 i 5 5 5 4 and 5 5

este mai mic sau egal cu,

este mai mare sau egal cu

egal cu y.

teoria ordonrii

proporionalitate

este proporional cu

y x nseamn c y = kx pentru o constant k.

dac y = 2x, atunci y x

oriunde

adunare

plus

4 + 6 nseamn suma lui 4 i 6

2+7=9

aritmetic

+
reuniune disjunct A1={1,2,3,4} A2={2,4,5,7} A1 + A2 nseamn reuniunea disjunct a A1 + A2 = {(1,1), (2,1), (3,1), (4,1), mulimilor A1 i A2. (2,2), (4,2), (5,2), (7,2)}

reuniunea disjunct ntre

teoria mulimilor

diferen

minus

9 4 nseamn diferena dintre 9 i 4

83=5

opusul

aritmetic

3 nseamn opusul lui 3. negativ ; minus

(5) = 5

aritmetic

complementul unei mulimi A B nseamn mulimea care conine toate elementele din A care nu sunt n B.

minus; fr

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

teoria mulimilor

produs

ori, nmulit cu

3 4 nseamn produsul lui 3 i 4.

7 8 = 56

aritmetic

produs cartezian

produsul cartezian ntre; produsul direct

XY nseamn mulimea tuturor perechilor ordonate cu primul element din X i al doilea element din Y.

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

teoria mulimilor

produs vectorial

produs vectorial cu

u v nseamn produsul vectorial al vectorilor u i v

(1,2,5) (3,4,1) = (22, 16, 2)

algebr vectorial

mprire

mprit la

6 3 sau 6/3 nseamn mprirea lui 6 la 3

2 4 = 0,5 12 / 4 = 3

/
rdcin ptrat

aritmetic

rdcina ptrat a lui; radicalul de ordin doi din

x nseamn numrul pozitiv al crui ptrat este x.

4 = 2

numere reale

rdcina ptrat complex dac z = r exp(i) este reprezentat n rdcina ptrat complex a coordonate polare, atunci z = lui r exp(i/2).

(-1) = i

numere complexe

valoare absolut

||

valoarea absolut a lui; modul din

|x| nseamn distana pe axa real (sau |3| = 3, |-5| = |5| n planul complex) dintre x i zero. |i| = 1, |3+4i| = 5

numere

factorial

factorial

n! este produsul 12...n.

4! = 1 2 3 4 = 24

combinatoric

distribuie de probabilitate

~
are distribuia

X ~ D, nseamn c variabila aleatoare X are distribuia de probabilitate D.

X ~ N(0,1), distribuia normal standard

statistic

implicaie

implic; dac .. atunci

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 = 2 x = 4 este adevrat, 2 poate nsemna acelai lucru ca i dar x = 4 x = 2 este n general fals (deoarece x poate fi 2, dac sau poate avea sensul pentru funcii descris mai jos. domeniul studiat permite).
2

logic propoziional

poate nsemna acelai lucru ca i sau poate avea sensul de supramulime descris mai jos.

echivalen

dac i numai dac (dnd); echivalent cu

A B nseamn c A i B au aceleai valori de adevr.

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

logic propoziional

negaie logic

non

Propoziia A este adevrat dac i numai dac A este fals. O bar oblic ce taie un operator reprezint acelai lucru ca i "" scris n fa. (A) A x y (x = y)

logic propoziional

conjuncie logic sau infimum ntro latice

Propoziia A B este adevrat dac A i B sunt ambele adevrate; altfel este fals.

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

logic propoziional, teoria laticelor

disjuncie logic sau supremum ntro latice

sau

Propoziia A B este adevrat dac A sau B (sau ambele) sunt adevrate; altfel este fals.

n4 n2 n3 dac n este numr natural.

logic propoziional, teoria laticelor

sau exclusiv

xor

logic propoziional, algebr boolean

Afirmaia A B este adevrat dac fie A, fie B, dar nu ambele, este adevrat. A B nseamn acelai lucru.

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

cuantificator universal

oricare; pentru fiecare

x: P(x) nseamn P(x) este adevrat 2 n N: n n. pentru toi x din domeniu.

logica predicatelor

cuantificator existenial

exist

x: P(x) nseamn c exist cel puin un x astfel nct P(x) este adevrat.

n N: n este par.

logica predicatelor

cuantificator de unicitate

exist un(o) unic() exist i e unic()

! x: P(x) nseamn c exist exact un x astfel nct P(x) este adevrat.

! n N: n + 5 = 2n.

logica predicatelor

:= :

definiie

se definete ca

x := y sau x y nseamn c x este definit ca un alt nume pentru y (de observat c poate avea i alte sensuri, precumcongruen).

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

P : Q nseamn c P este definit astfel nct, din punct de vedere logic, oriunde este echivalent cu Q.

acolade de mulime

{,}

mulimea

{a,b,c}nseamn mulimea format din a, b i c.

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

teoria mulimilor

notaie de construcie a unei mulimi

{:} {|}
mulimea elementelor cu proprietatea c

{x : P(x)} sau {x | P(x)} nseamn 2 mulimea acelor x pentru care P(x) este {n N : n < 20} = {0,1,2,3,4} adevrat.

teoria mulimilor

mulimea vid

mulimea vid

nseamn mulimea cu nici un element. {} este o notaie echivalent.

{n N : 1 < n < 4} =

{}
apartenen

teoria mulimilor

a S nseamn c a este un element al (1/2) mulimii S; a S nseamn c a nu este un element al mulimii S. 2

1

aparine lui, este inclus n; nu aparine lui, nu este

inclus n

oriunde, teoria mulimilor

submulime

este inclus n; este o submulime pentru; este submulime a lui

(submulime) A B nseamn c fiecare element din A este i element al lui B. (submulime proprie) A B nseamn c A B dar A B.

A B A; Q R

teoria mulimilor

superset

A B nseamn c fiecare element din B este i element al lui A.

include; este o supramulime pentru; este supramulime a A B nseamn c A B dar A B. lui A B este echivalent teoria mulimilor 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". Reuniune inclusiv: A B nseamn mulimea care conine toate elementele lui A, i toate elementele lui B. "A sau B sau amndou". A B nseamn mulimea ce conine elementele comune din A i B

A B B; R Q

reuniune reuniunea ntre

teoria mulimilor

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

intersecie de mulimi

\ ()

intersecia dintre teoria mulimilor set-theoretic complement diferena teoria mulimilor valoarea funciei de

{x R : x = 1} = {1}

A \ B nseamn mulimea ce conine elementele pe care A le are n plus fa {1,2,3,4} \ {3,4,5,6} = {1,2} de B f(x) nseamn 'f de x', sau valoarea lui f n elementul x. Dac f(x) := x , atunci f(3) = 3 = 9.
2 2

teoria mulimilor modificatori de preceden paranteze oriunde functie sgeat f: X Y nseamn c funcia f transport elementele lui X n cele din Y. Let f: Z N be defined 2 by f(x) := x . Se efectueaz nti operaiile din paranteze. (8/4)/2 = 2/2 = 1, dar 8/(4/2) = 8/2 = 4.

f:XY
o

de ... la teoria mulimilor funcia compunere compus cu teoria mulimilor numere naturale

fog e functia, fiind (fog)(x) = f(g(x)).

if f(x) := 2x, i g(x) := x + 3, apoi (fog)(x) = 2(x + 3).

N numr numere ntregi

N nseamn {0,1,2,3,...}, dar a se vedea {|a| : a Z} = N i numere naturale pentru o alt convenie.

Z numr numere raionale

Z nseamn {...,3,2,1,0,1,2,3,...}.

{a : |a| N} = Z

Q
numere reale

Q numr

3.14 Q Q nseamn {p/q : p,q Z, q 0}. Q

R numr numere complexe

R R nseamn setul de numere reale. (1) R

C
infinitate

C numr

C nseamn {a + bi : a,b R}.

i = (1) C

pi

infinitate

este un element al mulimii reale extinse i este mai mare ca orice alt numr real, fiin deseori ntalnit n limite numr matematice. este raportul dintre lungimea cercului i diametrul su. Valorea lui este 3.1415....

limx0 1/|x| =

pi geometrie euclidian

A = r este aria unui cerc cu raza r

norma

|| ||

norma lui; lungimea lui algebr liniar nsumare

||x|| este norma unui element x din spaiul vectorial normat.

||x+y|| ||x|| + ||y||

sum peste ... de ... la ... din k=1 ak nseamn a1 + a2 + ... + an. oriunde nmulire produs peste ... de ... la ... din k=1 ak nseamn a1a2an.
n

k=1 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30

k=1 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360

oriunde Produs cartezian produsul cartezian dintre; produsul direct dintre algebr Derivat f '(x) este derivata funciei f n punctul x,ex: tangenta la graficul lui f n x. i=0 Yi nseamn setul tuturor (n+1)uplurilor (y0,...,yn).
n

n=1 R = R

'

prim; derivata lui analiz matematic Integrala nedefinit sau antiderivat integral nedefinit din ;

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

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

x dx = x /3 + C

Integrala definit

calculus a f(x) dx nseamn aria cu semn dintre b 2 3 0 x dx = b /3; integrala de la ... pn la .... axa x i grficul funciei lui f ntre x = a i x = b. analiz matematic f (x1, , xn) este vectorul derivatelor pariale (df / dx1, , df / dxn). Dac f (x,y,z) := 3xy + z, atunci f = (3y, 3x, 2z)
b

gradient

Nabla, gradient din analiz matematic derivat parial derivat parial din

calculus frontiera frontiera topologie perpendicular

Cu f (x1, , xn), f/xi este derivata lui f n funcie de xi, celelalte variabile pstrndu-se constante.

dac f(x,y) := x y, atunci f/x = 2xy

M nseamn frontiera mulimii M

{x : ||x|| 2} = {x : ||x|| = 2}

e perpendicular pe geometrie

x y nseamn x este perpendicular pe y; sau mai general x e ortogonal pe y.

Dac lm i mn atunci l || n.

element minim (cel mai mic) x = nseamn c x este cel mai mic

x : x =

Elementul minimt lattice theory entailment

element.

inference

entails model theory

A B means the sentence A entails the sentence B, that is every model in A A A which A is true, B is also true.

infers or is derived from propositional logic, predicate logic

x y means y is derived from x.

A B B A

<div normal subgroup N G means that N is a normal style="fontis a normal subgroup of subgroup of group G. size:200%;"> group theory quotient group G/H means the quotient of group G modulo its subgroup H.

Z(G) G

/
izomorfism

mod teoria grupurilor

{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.

e izomorf cu

G H nseamn c grupul G e izomorf cu grupul H

teoria grupurilor egal aproximativ este aproximativ egal cu oriunde

x y nseamn x este aproximativ egal 3.14159 cu y

, (|) <,> :

produs scalar produs scalar x,y nseamn produsul scalar al lui x i y. n cadrul spaiilor euclidiene se algebra liniar obinuete de a nota produsul scalar att prin (x,y) ct i prin xy. Pentru matrice se poate utiliza semnul :. A:B = n spaiul euclidian produsul
2

scalar al vectorilor x = (2, 3) i y = (1, 5) este: x, y = 2 1 + 3 5 = 13

i,j

AijBij

Produs tensorial

produs tensorial algebr liniar

V U nseamn produsul tensorial dintre V i U.

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