Tabela de smbolos matemticos

Origem: Wikipdia, a enciclopdia livre.

Nome

smbolo

smbolo

em HTML em TEX

Lido como

Definio

Conceito

Igualdade

igual a;
igual

significa e representam a mesma coisaou o

mesmo valor
e so nomes diferentes para a exata mesma coisa.

qualquer operao

Inequao

significa que e no representam a mesma coisa ou o

mesmo valor.

no igual a;
no iguala

(As formas !=, /= ou <> so geralmente usadas em

programao onde facilita a digitao e so preferidas
qualquer operao no uso do ASCII.)

Desigualdade
menor que,
maior do que

<
>

significa que maior que .

Teoria da ordem

subgrupo apropriado
um subgrupo
adequado de
Teoria dos grupos

significa que menor que .

enorme Desigualdade
estrita

significa que um subgrupo adequado de .

(Um subgrupo apropriado de um grupo G um
subgrupo H, que um subconjunto apropriado de G (isto
, ).)

x y significa que x muito menor que y.

x y significa que x muito maior que y.

muito menor que,

muito maior que

0.0001

Teoria da ordem

Comparao
assinttica

de uma ordem
inferior a,
de uma ordem
superior a 4,2

f g significa que o crescimento de f

assintoticamente delimitado por g.
(Esta a notao de I M Vinogradov. Outra anotao
a notao assinttica do Big O, que se parece com f =
O(g).)

x ex

Teoria analtica dos

nmeros

x y significa que x menor ou igual a y.

Desigualdade
menor ou igual a,
maior ou igual a

x y significa que x maior ou igual a y.

(As formas "<=" e ">=" so geralmente utilizado em

linguagens de programao, onde a facilidade de uso e
Teoria da ordem de digitao de texto ASCII preferido.)

34e5
54e5

Subgrupo
um subgrupo de

H G significa que H um subgrupo de G.

ZZ
A3 S 3

Teoria dos grupos

Reduo
redutvel a

A B signifa que o problema A pode ser reduzido para o

problema B.

( Subscritos podem ser adicionados para indicar qual

Complexidade tipo de reduo.)
computacional

Se

ento

R
co

Smbolo

Nome

Adio

l-se como

Mais

Categoria

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: 36 - 5 = 31
Diviso

Aritmtica

6 3 = 2 ou 6 3 = 2 significa que se se devidir 6 por 3, o resultado 2.

Exemplo: 100 2 = 50

Implicao Material

Dividir

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

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

{,}

definido como

o conjunto de ...

teoria de conjuntos

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

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

{:}
{|}

notao de construo de
o conjunto de ... tal que ...
conjuntos

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 nulo

conjunto vazio

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

teoria de conjuntos

{}

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

pertena a conjunto

em; est em; um elemento de; um

membro de; pertence a ; existe em ,

teoria de conjuntos

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; excepto

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}

()
[]
{}
f:X
Y

aplicao de funo;
agrupamento

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: 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

de

nmeros

nmeros

N significa: {1,2,3,...}
Exemplo: {|a| : a Z} = N

nmeros inteiros

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, b 0}
i = (1) C

<
>

comparao

comparao

ordenaes
parciais

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

Exemplo: x < y y > x
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

menor que, maior que

a raiz quadrada principal de; raiz

quadrada

nmeros reais

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

valor absoluto de; mdulo de

nmeros

n! o produto 12...n
Exemplo: 4! = 24

||

valor absoluto

|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''||
somatrio

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
produtrio

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 = a e x = b

0b x dx = b/3; x dx = x/3+c
derivada

f'

derivada de f; primitiva de f

clculo

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

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)

clculo