Você está na página 1de 13

Lista de símbolos

matemáticos
artigo de lista da Wikimedia

Esta página ou seção carece de contexto.


Saiba mais

Este artigo ou secção não cita fontes confiáveis e independentes.


Saiba mais
o
Símbolo em
Nome Lido como Conceito Definição Aplicação
TEX

significa
e representam
a mesma coisa 2=2
ou o mesmo valor
É igual qualquer 1+1=2
= Igualdade
a;igual operação e são nomes
diferentes para a 35-5=30
exata mesma
coisa.

significa
que e não
representam a
mesma coisa ou
o mesmo valor.

(As formas !=, /=
ou <> são 2+2≠5
Não é igual qualquer
\ne Inequação
a; diferente operação geralmente 36-5≠30
usadas em
programação
onde facilita a
digitação e são
preferidas no uso
do ASCII.)

< x<y significa que


É menor x é menor que y. 1<2
> Teoria da
Desigualdade que; é maior
Ordem x>y significa que 4>3
que
x é maior que y.

Subgrupo é um Teoria dos significa 4Z<Z


apropriado subgrupo grupos que é um A<B
adequado subgrupo
de adequado de

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

significa
é muito que x é muito
enorme
menor que; Teoria da menor que y.
Desigualdade
é muito Ordem significa
estrita
maior que que x é muito
maior que y.

f ≪ g significa
que o
crescimento de f
\ll é
\gg assintoticamente
é de uma
delimitado por g.
ordem
Teoria
Comparação inferior a; é (Esta é a notação
analítica dos
assintótica de uma de I M
números
ordem Vinogradov. Outra
superior a anotação é a
notação
assintótica do Big
O, que se parece
com f = O(g).)

\le Desigualdade É menor ou Teoria da x ≤ y significa que


igual a; é Ordem x é menor ou
\ge
maior ou igual a y.
igual a
x ≥ y significa que
x é maior ou igual
a y.

(As formas "<=" e


">=" são
geralmente
utilizado em
linguagens de
programação,
onde a facilidade
de uso e de
digitação de texto
ASCII é
preferido.)

é um significa
Teoria dos
Subgrupo subgrupo que ''H'' é um
grupos
de subgrupo de ''G''.

A ≤ B signifa que


o problema A
pode ser reduzido
para o problema Se

B.
Complexidade
Redução é redutível a então
computacional ( Subscritos
podem ser
adicionados à ≤
para indicar qual
tipo de redução.)

7k ≡ 28 (mod 2)
só é verdadeiro
se k é um inteiro
...é inferior a par. Suponha que 10a ≡ 5
\leqq
Relação de Aritmética o problema (mod 5)   
... é maior
\geqq congruência modular requer k ser não- para 1 ≦
do que...
negativo, o a ≦ 10
domínio é
definido como 0 ≦
k ≦ ∞.

4 + 6 = 10
significa que se 43 + 65 =
+ Adição Mais Aritmética somar 4 a 6, a 108; 2 + 7
soma, ou =9
resultado, é 10.

- Subtração Menos Aritmética 9 - 4 = 5 significa 36 - 5 = 31


que se subtrair 4
de 9, o resultado 36 - 55 = -
será 5. O sinal - é 19
único porque
também denota
que um número é
negativo. Por
exemplo, 5 + (-3)
= 2 significa que
se somar cinco e
menos três, o
resultado será
dois.

6 ÷ 3 = 2 ou 6 ⁄ 3
= 2 significa que 100 ÷ 2 =
/ Divisão dividido por Aritmética
se dividir 6 por 3, 50
o resultado é 2.

A ⇒ B significa:
se A for
verdadeiro então
B é também x = 2  ⇒ 
verdadeiro; se A x² = 4 é
for falso então verdadeiro,
nada é dito sobre mas x² = 4
\rightarrow Implicação Implica que; lógica B.
  ⇒  x = 2 é
\Rightarrow material se..., então proposicional → pode ter o em geral
mesmo falso
significado de ⇒, (visto que
ou pode ter o x pode ser
significado que −2)
mencionamos
mais abaixo
sobre as funções

A ⇔ B significa: A
\Leftrightarrow é verdadeiro se B x + 5 = y +
equivalência se e lógica
for verdadeiro e A 2  ⇔  x +
\leftrightarrow material somente se proposicional
é falso se B é 3 = y
falso

\land conjunção e lógica a proposição A ∧ n < 4  ∧ 


lógica proposicional B é verdadeira se n > 2  ⇔ 
A e B foram n = 3
ambos quando n é
verdadeiros; caso um
contrário, é falsa número
natural

a proposição A ∨
B é verdadeira se n ≥ 4  ∨ 
A ou B (ou n ≤ 2  ⇔
ambos) forem n ≠ 3
disjunção lógica
\lor ou verdadeiros; se quando n é
lógica proposicional
ambos forem um
falsos, a número
proposição é natural
falsa

significa
que cada
elemento de A é
também
elemento de B (A
é
é um subconjunto
subconjunto teoria dos
\subseteq subconjunto de B). É possível Q ⊆ R
de; está conjuntos
(mas não
contido
obrigatório) que
existam
elementos em B
que não
pertençam a A.

\subset subconjunto é teoria dos significa A ∩ B ⊂ A


próprio subconjunto conjuntos que cada
próprio de elemento de A é
também
elemento de B (A
é um subconjunto
próprio de B).
Necessariamente,
existe pelo
menos um
elemento em B
que não pertence
a A.
Símbolo Nome lê-se como Categoria

lógica
negação lógica não
proposicional
¬
a proposição ¬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)

quantificação lógica
para todos; para qualquer; para cada
universal predicativa
∀ ∀ x: P(x) significa: P(x) é verdadeiro para todos os x

Exemplo: ∀ n ∈ N: n² ≥ n

quantificação lógica
existe
existencial predicativa
∃ ∃ x: P(x) significa: existe pelo menos um x tal que P(x) é verdadeiro

∃|x: P(x) significa: existe um único x tal que P(x) é verdadeiro

Exemplo: ∃ n ∈ N: n + 5 = 2n

Exemplo: ∃ n ∈ N: n 2+ 5 = 2n

Exemplo: ∃|x ∈ N: x + 5 = 6, pois x é único nessa situação

definição é 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)

teoria de
chavetas de conjunto o conjunto de ...
conjuntos
{,} {a,b,c} significa: o conjunto que consiste de a, b, e c

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

notação de
teoria de
construção de o conjunto de ... tal que ...
{ : } conjuntos
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 teoria de


conjuntos

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

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

em; está em; é um elemento de; é um teoria de


pertença a conjunto

membro de; pertence a ; existe em , conjuntos

a ∈ S significa: a é um elemento do conjunto S; a ∉ S significa: a não é um


∉ elemento de S

Exemplo: (1/2)−1 ∈ N; 2−1 ∉ N

união teórica de teoria de


a união de ... com ...; união
conjuntos conjuntos

∪ A ∪ B significa: o conjunto que contém todos os elementos de A e também todos


os de B, ou seja: é a soma de dois conjuntos.

Exemplo: A ⊆ B  ⇔  A ∪ B = B

intersecção teórica teoria de


intersecta com; intersecta
de conjuntos conjuntos

∩ A ∩ B significa: o conjunto que contém todos os elementos que A e B têm em


comum

Exemplo: {x ∈ R : x² = 1} ∩ N = {1}

complemento teórico teoria de


menos; sem; excepto
de conjuntos conjuntos

\ A \ B significa: o conjunto que contém todos os elementos de A que não estão em
B

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

aplicação de função; teoria de


( )
agrupamento
de
conjuntos

[ ]
para a aplicação de função: f(x) significa: o valor da função f no elemento x

para o agrupamento: execute primeiro as operações dentro dos parênteses


{} Exemplo: Se f(x) := x², então f(3) = 3² = 9; (8/4)/2 = 2/2 = 1, mas 8/(4/2) = 8/2 = 4

seta de função de ... para funções

f:X→Y f: X → Y significa: a função f mapeia o conjunto X no conjunto Y

Exemplo: Considere a função f: Z → N definida por f(x) = x²

números naturais N números


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

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

números inteiros Z números

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

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

números racionais Q números

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

3.14 ∈ Q; π ∉ Q

números reais R números

R R significa: {limn→∞ an : ∀ n ∈ N: an ∈ Q, o limite existe}

π ∈ R; √(−1) ∉ R

números complexos C números

C C significa: {a + bi : a,b ∈ R, b  ≠ 0}

i = √(−1) ∈ C

números
raiz quadrada a raiz quadrada principal de; raiz quadrada
reais
√ √x significa: o número positivo, cujo quadrado é x

Exemplo: √(x²) = |x|

infinito infinito números

∞ é um elemento da linha numérica estendida que é maior que qualquer número


∞ real; ocorre com frequência em limites

Exemplo: limx→0 1/|x| = ∞

geometria
pi pi
euclidiana
π π significa: a razão entre a circunferência de um círculo e o seu diâmetro

Exemplo: A = πr² é a área de um círculo de raio r

análise
factorial factorial
combinatória
! n! é o produto 1×2×...×n

Exemplo: 4! = 24

valor absoluto valor absoluto de; módulo de números


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

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

análise
norma norma de; comprimento de
funcional
|| || ||x|| é a norma do elemento x de um espaço vectorial

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

somatório soma em ... de ... até ... de aritmética

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

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

produtório produto em ... de ... até ... de aritmética

∏ ∏k=1n ak significa: a1a2···an

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

integração integral de ... até ... de ... em função de cálculo

∫ab f(x) dx significa: a área entre o eixo dos x e o gráfico da função f entre x = a e
∫ x = b

∫0b x² dx = b³/3; ∫x² dx = x³/3+c

derivada derivada de f; primitiva de f cálculo

f ' f '(x) é a derivada da função f no ponto x, i.e. o declive da tangente nesse ponto

exemplo: Se f(x) = x², então f '(x) = 2x

nabla rotacional de, gradiente de, divergente de cálculo

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

Exemplo: Se f (x,y,z) = 3xy + z² então ∇f = (3y, 3x, 2z)

Ver também

Símbolos matemáticos Constante física

Alfabeto grego Lista de símbolos lógicos

Símbolo de risco Notação polonesa

Notação matemática Fórmulas TeX

Ligações externas
Index of Unicode symbols (http://www.unicode.org/charts/#symbols)

Range 2100–214F: Unicode Letterlike Symbols (http://www.unicode.org/charts/PDF/U210


0.pdf)

Range 2190–21FF: Unicode Arrows (http://www.unicode.org/charts/PDF/U2190.pdf)

Range 2200–22FF: Unicode Mathematical Operators (http://www.unicode.org/charts/PDF/


U2200.pdf)

Range 27C0–27EF: Unicode Miscellaneous Mathematical Symbols–A (http://www.unicod


e.org/charts/PDF/U27C0.pdf)

Range 2980–29FF: Unicode Miscellaneous Mathematical Symbols–B (http://www.unicode.


org/charts/PDF/U2980.pdf)

Range 2A00–2AFF: Unicode Supplementary Mathematical Operators (http://www.unicode.


org/charts/PDF/U2A00.pdf)

Short list of commonly used LaTeX symbols (https://web.archive.org/web/201411051437


23/http://www.artofproblemsolving.com/Wiki/index.php/LaTeX:Symbols) and
Comprehensive LaTeX Symbol List (https://web.archive.org/web/20090323063515/http://
mirrors.med.harvard.edu/ctan/info/symbols/comprehensive/)

MathML Characters (https://web.archive.org/web/20140222144828/http://www.robinlionh


eart.com/stds/html4/entities-mathml)

Unicode values and MathML names (http://www.w3.org/TR/REC-MathML/chap6/bycodes.


html)

Unicode values and Postscript names (https://web.archive.org/web/20141126074509/htt


p://svn.ghostscript.com/ghostscript/branches/gs-db/Resource/Decoding/Unicode) a
partir do código-fonte para Ghostscript.

analisadores alternativas

Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o
  (https://pt.wikipedia.org/w/index.php?title=Lista_de_s%C3%ADmbolos_matem%C3%A1ti
cos&action=edit) .
Obtida de "https://pt.wikipedia.org/w/index.php?
title=Lista_de_símbolos_matemáticos&oldid=624
57901"


Última modificação há 9 dias por Luan

Wikipédia

Você também pode gostar