Em matemtica, h um conjunto de smbolos comumente utilizados nas expresses.

Uma vez que os matemticos esto familiarizados com estes smbolos, eles no so explicados de cada vez que so usados. Assim, a tabela que se segue lista muitos smbolos comuns, conjuntamente com os seus nomes, pronncias e campo da matemtica com que se relacionam. Adicionalmente, a segunda linha contm uma definio informal e a terceira um curto exemplo. Notas:

Alguns livros usam smbolos diferentes dos abaixo adotados; quando necessrio, estas excees sero indicadas. Se alguns dos smbolos no aparecerem convenientemente no seu cran, isso significa que o seu browser no implemente por completo as entidades de caracter do HTML 4 ou que necessita de instalar tipos de caracter adicionais.

Smbolo

Nom

l-se como

Categoria

adio

mais

aritmtica

4 + 6 = 10 significa que se se somar 4 a 6, a soma, ou resultado, 10.

Exemplo: 43 + 65 = 108; 2 + 7 = 9

subtrao

menos

aritmtica

9 - 4 = 5 significa que se se subtrair 4 de 9, o resultado ser 5. O sinal - nico porque tambm denota que um nmero negativo. Por exemplo, 5 + (3) = 2 significa que se se somar cinco e menos trs, o resultado ser dois.

Exemplo: 87 - 36 = 51

implicao material

implica; se ... ento

lgica proposicional

A B significa: se A for verdadeiro ento B tambm verdadeiro; se A for falso ento nada dito sobre B. pode ter o mesmo significado de , ou pode ter o significado que mencionamos mais abaixo sobre as funes

x = 2 x = 4 verdadeiro, mas x = 4 x = 2 em geral falso (visto que x pode ser 2)

equivalncia material se e s se; sse

lgica proposicional

A B significa: A verdadeiro se B for verdadeiro e A falso se B falso

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

conjuno lgica

lgica proposicional

a proposio A B verdadeira se A e B foram ambos verdadeiros; caso contrrio, falsa

Exemplo: n < 4 n > 2 n = 3 quando n um nmero natural

disjuno lgica

ou

lgica proposicional

a proposio A B verdadeira se A ou B (ou ambos) forem verdadeiros; se ambos forem falsos, a proposio falsa

Exemplo: n 4 n 2 n 3 quando n um nmero natural

negao lgica

no

lgica proposicional

a proposio A verdadeira se e s se A for falso Uma barra colocada sobre outro operador tem o mesmo significado que "" colocado sua frente

Exemplo: (A B) (A) (B); x S (x S)

quantificao universal

para todos; para qualquer; para cada

lgica predicativa

x: P(x) significa: P(x) verdadeiro para todos os x

Exemplo: n N: n n

quantificao existencial

existe

lgica predicativa

x: P(x) significa: existe pelo menos um x tal que P(x) verdadeiro

Exemplo: n N: n + 5 = 2n

igualdade

igual a

todas

x = y significa: x e y so nomes diferentes para a exata mesma coisa

Exemplo: 1 + 2 = 6 3

definio

definido como

todas

:= :

x := y significa: x definido como outro nome para y P : Q significa: P definido como logicamente equivalente a Q

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

chavetas de conjunto

o conjunto de ...

teoria de conjuntos

{,}
{a,b,c} significa: o conjunto que consiste de a, b, e c

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

notao de construo de conjuntos

o conjunto de ... tal que ...

teoria de conjuntos

{:} {|}

{x : P(x)} significa: o conjunto de todos os x, para os quais P(x) verdadeiro. {x | P(x)} o mesmo que {x : P(x)}.

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

conjunto vazio

conjunto vazio

teoria de conjuntos

{}

{} significa: o conjunto sem elementos; a mesma coisa

Exemplo: {n N : 1 < n < 4} = {}

pertena a conjunto

em; est em; um elemento de; teoria de um membro de; pertence a ; conjuntos existe em ,

a S significa: a um elemento do conjunto S; a S significa: a no um elemento de S

Exemplo: (1/2)1 N; 21 N

subconjunto

um subconjunto [prprio] de

teoria de conjuntos

Exemplo: A B significa: cada elemento de A tambm elemento de B (A um subconjunto de B) A B significa: A B mas A B (A um subconjunto prprio de B)

Exemplo: A B A; Q R

unio terica de conjuntos

a unio de ... com ...; unio

teoria de conjuntos

A B significa: o conjunto que contm todos os elementos de A e tambm todos os de B, mas mais nenhuns

Exemplo: A B A B = B

interseco terica de conjuntos

intersecta com; intersecta

teoria de conjuntos

A B significa: o conjunto que contm todos os elementos que A e B tm em comum

Exemplo: {x R : x = 1} N = {1}

complemento terico de conjuntos

menos; sem

teoria de conjuntos

A \ B significa: o conjunto que contm todos os elementos de A que no esto em B

Exemplo: {1,2,3,4} \ {3,4,5,6} = {1,2}

aplicao de funo; agrupamento

de

teoria de conjuntos

() [] {}

para a aplicao de funo: f(x) significa: o valor da funo f no elemento x para o agrupamento: execute primeiro as operaes dentro dos parnteses

Exemplo: Se f(x) := x, ento f(3) = 3 = 9; (8/4)/2 = 2/2 = 1, mas 8/(4/2) = 8/2 = 4

seta de funo

de ... para

funes

f:XY f: X Y significa: a funo f mapeia o conjunto X no conjunto Y

Exemplo: Considere a funo f: Z N definida por f(x) = x

nmeros naturais

nmeros

N significa: {1,2,3,...}

Exemplo: {|a| : a Z} = N

nmeros inteiros

nmeros

Z significa: {...,3,2,1,0,1,2,3,...}

Exemplo: {a : |a| N} = Z

nmeros racionais

nmeros

Q significa: {p/q : p,q Z, q 0}

3.14 Q; Q

nmeros reais

nmeros

R significa: {limn an : n N: an Q, o limite existe}

R; (1) R

nmeros complexos

nmeros

C significa: {a + bi : a,b R}

i = (1) C

comparao

menor que, maior que

ordenaes parciais

< >

x < y significa: x menor que y; x > y significa: x maior que y

Exemplo: x < y y > x

comparao

menor ou igual a, maior ou igual a

ordenaes parciais

x y significa: x menor que ou igual a y; x y significa: x maior que ou igual a y

Exemplo: x 1 x x

raiz quadrada

a raiz quadrada principal de; raiz nmeros reais quadrada

x significa: o nmero positivo, cujo quadrado x

Exemplo: (x) = |x|

infinito

infinito

nmeros

um elemento da linha numrica estendida que maior que qualquer nmero real; ocorre com frequncia em limites

Exemplo: limx0 1/|x| =

pi

pi

geometria euclidiana

significa: a razo entre a circunferncia de um crculo e o seu dimetro

Exemplo: A = r a rea de um crculo de raio r

factorial

factorial

anlise combinatria

n! o produto 12...n

Exemplo: 4! = 24

valor absoluto

valor absoluto de; mdulo de

nmeros

||

|x| significa: a distncia no eixo dos reais (ou no plano complexo) entre x e zero

Exemplo: |''a'' + ''bi''| = (a + b)

norma

norma de; comprimento de

anlise funcional

|| ||

||x|| a norma do elemento x de um espao vectorial

Exemplo: ||''x''+''y''|| ||''x''|| + ||''y''||

soma

soma em ... de ... at ... de

aritmtica

k=1n ak significa: a1 + a2 + ... + an

Exemplo: k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30

produto

produto em ... de ... at ... de

aritmtica

k=1n ak significa: a1a2an

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

integrao

integral de ... at ... de ... em funo de

clculo

ab f(x) dx significa: a rea entre o eixo dos x e o grfico da funo f entre x = aex=b

0b x dx = b/3; x dx = x/3

derivada

derivada de f; primitiva de f

clculo

f'

f '(x) a derivada da funo f no ponto x, i.e. o declive da tangente nesse ponto

Exemplo: Se f(x) = x, ento f '(x) = 2x

gradiente

del, nabla, gradiente de

clculo

f (x1, , xn) o vector das derivadas parciais (df / dx1, , df / dxn)

Exemplo: Se f (x,y,z) = 3xy + z ento f = (3y, 3x, 2z)

Se alguns destes smbolos forem usados num artigo da Wikipdia destinado a principiantes, pode ser uma boa ideia incluir no artigo, por baixo da definio do assunto, uma frase semelhante ao exemplo abaixo, a fim de atingir maior audincia: ''Este artigo utiliza [[Tabela de smbolos matemticos|smbolos matemticos]].''

O artigo wikipedia:Como editar uma pgina contm informao sobre a maneira de produzir estes smbolos matemticos em artigos da Wikipdia.