Anexo:Smbolos matemticos

Genricos
Smbolo

Nombre
igualdad

igual a

Categora
todos

x = y significa: x y y son nombres diferentes que hacen referencia a un mismo

objeto o ente.

se lee como

1+2=63
definicin

se define como

todos

x := y o x y significa: x se define como otro nombre para y (notar, sin

embargo, que puede tambin significar otras cosas, como congruencia)
P : Q significa: P se define como lgicamente equivalente a Q

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

B)

(A

B)

Aritmtica
Smbolo

Nombre
adicin

ms

Categora
aritmtica

4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.

43 + 65 = 108; 2 + 7 = 9
substraccin

se lee como

menos

aritmtica

9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El smbolo

'menos' tambin se utiliza para denotar que un nmero es negativo. Por
ejemplo, 5 + (3) = 2 significa que si 'cinco' y 'menos tres' son sumados, el
resultado es 'dos'.
87 36 = 51
multiplicacin

por

aritmtica

7 x 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42.

4 x 6 = 24
*

4 * 6 = 24 4 6 = 24

divisin

entre

aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y dos,

/ cada pedazo
ser de tamao siete.

24 / 6 = 4

: sumatoria

suma sobre ... desde ... hasta ... de

aritmtica

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

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

producto sobre... desde ... hasta ... de aritmtica

k=1 ak significa: a1a2an

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

Lgica proposicional
Smbolo

Nombre

se lee como

Categora

implicacin material o en un implica; si .. entonces;

lgica proposicional
solo sentido
por lo tanto

A B significa: si A es verdadero entonces B es verdadero tambin; si B es

verdadero entonces nada se dice sobre A.
puede significar lo mismo que , o puede ser usado para denotar funciones,
como se indica ms abajo.

x = 2 x = 4 es verdadera, pero 4 = x

x = 2 es, en general, falso (ya

que x podra ser 2)

/ tal que ejemplo x/y se lee x tal que y
doble implicacin

lgica proposicional

A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.

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

conjuncin lgica o
interseccin en una reja

si y slo si; sii, syss1

lgica proposicional,
teora de rejas

la proposicin A B es verdadera si A y B son ambas verdaderas; de otra

manera es falsa.todo es verdadero de los valores
n < 4 n > 2 n = 3 cuando n es un nmero natural
disyuncin lgica o unin en
o
una reja

lgica proposicional,
teora de rejas

la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas

son falsas, la proposicin es falsa.
n 4 n 2 n 3 cuando n es un nmero natural
negacin lgica

no

lgica proposicional

la proposicin A es verdadera si y slo si A es falsa.

una barra colocada sobre otro operador es equivalente a un colocado a la
izquierda.

/ (A B) (A) (B); x S (x S)

Lgica de predicados
Smbolo

Nombre

se lee como
para todos; para
cualquier; para cada

cuantificacin universal

Categora
lgica de
predicados

x : P(x) significa: P(x) es verdadera para cualquier x

n N: n n
cuantificacin existencial

existe por lo menos un/os

lgica de
predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n

cuantificacin existencial con

marca de unicidad

lgica de
predicados

! x : P(x) significa: existe un nico x tal que P(x) es verdadera.

! n N: n + 1 = 2
reluz

existe un/os nico/s

tal que

lgica de
predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n

Teora de conjuntos
Smbolo

Nombre

se lee como

delimitadores de conjunto el conjunto de ...

{,}

Categora
teora de
conjuntos

{a,b,c} significa: el conjunto consistente de a, b, y c

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

{:}

notacin constructora de el conjunto de los elementos ... tales teora de

conjuntos
que ...
conjuntos

{ {x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es

| verdadera. {x | P(x)} es lo mismo que {x : P(x)}.
} {n N : n < 20} = {0,1,2,3,4}

conjunto vaco

conjunto vaco

teora de
conjuntos

{ {} significa: el conjunto que no tiene elementos; es la misma cosa.

} {n N : 1 < n < 4} = {}
pertenencia de conjuntos

en; est en; es elemento de; es

miembro de; pertenece a

teora de
conjuntos

a S significa: a es elemento del conjunto S; a S significa: a no es elemento

del conjunto S

(1/2)1 N; 21 N
subconjunto

teora de
conjuntos

es subconjunto de

A B significa: cada elemento de A es tambin elemento de B

A B significa: A B pero A B

A B A; Q R

unin conjunto-teortica la unin de ... y ...; unin

teora de
conjuntos

A B significa: el conjunto que contiene todos los elementos de A y tambin

todos aquellos de B, pero ningn otro.

AB AB=B
interseccin conjuntoteortica

la interseccin de ... y ...;

interseccin

teora de
conjuntos

A B significa: el conjunto que contiene todos aquellos elementos que A y B

tienen en comn.

{x R : x = 1} N = {1}
complemento conjuntoteortico

teora de
conjuntos

menos; sin

A \ B significa: el conjunto que contiene todos aquellos elementos de A que no

se encuentran en B

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

Funciones
Smbolo

Nombre

se lee como

aplicacin de funcin; agrupamiento

()

de

Categora
funciones

para aplicacin de funcin: f(x) significa: el valor de la funcin f sobre el

[ elemento x
] para agrupamiento: realizar primero las operaciones dentro del parntesis.
{
} Si f(x) := x, entonces f(3) = 3 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) = 8/2 = 4
mapeo funcional

f:XY

de ... a

funciones

f: X Y significa: la funcin f mapea el conjunto X al conjunto Y

Considrese la funcin f: Z N definida por f(x) = x

Nmeros
Smbolo

Nombre
nmeros naturales N

se lee como

Categora
nmeros

N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una

convencin diferente.

{|a| : a Z} = N
nmeros enteros

nmeros

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

{a : |a| N} = Z
nmeros racionales Q

nmeros

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

3.14 Q; Q
nmeros reales

nmeros

R significa: {limn an : n N: an Q, el lmite existe}

R; (1) R
nmeros complejos C

nmeros

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

i = (1) C
la raz cuadrada de; la principal raz
cuadrada de

raz cuadrada

nmeros reales

x significa: el nmero positivo cuyo cuadrado es x

(x) = |x|
infinito

infinito

nmeros

es un elemento de la lnea extendida de nmeros reales mayor que todos los

nmeros reales; ocurre frecuentemente en lmites

limx0 1/|x| =
valor absoluto

valor absoluto de

nmeros

|x| significa: la distancia en la lnea real (o en el plano complejo) entre x y zero

||

|a + bi | = (a + b)

rdenes parciales
Smbolo

Nombre
comparacin

se lee como

Categora

es menor o igual a, es mayor o igual a

rdenes parciales

x y significa: x es menor o igual a y; x y significa: x es mayor o igual a y

x 1 x x
Geometra eucldea
Smbolo

Nombre
pi

se lee como
pi

Categora
Geometra euclideana

significa: la razn de la circunferencia a su dimetro.

A = r es el rea de un crculo con radio r

Combinatoria
Smbolo

Nombre

se lee como

factorial

Categora

factorial

combinatoria

n! es el producto 12...n
4! = 24

Anlisis funcional
Smbolo Nombre

se lee
Categora
como
norma

norma de;
longitud de

anlisis funcional

es la norma del elemento x

de un espacio vectorial
normado

x+y

x+y

Clculo
Smbolo

Nombre
integracin

se lee como

Categora

integral desde ... hasta ... de ... con respecto

clculo
a ...

ab f(x) dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f

entre x = a y x = b
0b x dx = b/3; x dx = x/3
derivacin

f'

Si f(x) = x, entonces f '(x) = 2x y f ' '(x) = 2

del, nabla, gradiente de

clculo

f (x1, , xn) es el vector de derivadas parciales (df / dx1, , df / dxn)

Si f (x, y, z) = 3xy + z entonces f = (3y, 3x, 2z)
derivacin parcial

clculo

f '(x) es la derivada de la funcin f en el punto x, esto es, la pendiente de la

tangente en ese lugar.
gradiente

derivada de f; f prima

derivada parcial de

clculo

Con f (x1, , xn), f/xi es la derivada de f con respecto a xi, con todas las otras
variables mantenidas constantes.
Si f(x, y) = xy, entonces f/x = 2xy

Ortogonalidad

Smbolo

Nombre

se lee como

perpendicular

es perpendicular a

Categora
ortogonalidad

x y significa: x es perpendicular a y; o, ms generalmente, x es ortogonal a y.

lgebra matricial
Smbolo

Nombre
perpendicular

se lee como
traspuesta

Categora
matrices y vectores

(a,b) con al lado o a modo de potencia significa que el vector se debe

colocar no de izquierda a derecha, sino de arriba a abajo. En numerosos
trabajos de investigacin se utiliza esta sintaxis al no poder representar en un
documento vectores verticales.

Teora de rejas
Smbolo

Nombre
fondo

se lee como
el elemento fondo

Categora
teora de rejas

x = significa: x es el elemento ms pequeo.

Vase tambin

Wikipedia: Cmo se edita una pgina contiene informacin acerca de cmo

producir smbolos matemticos en otros artculos

Referencias
1. sii y syss son usados por los matemticos como jerga ocasional, pero no estn
reconocidos como trminos estndar, por lo que tampoco suelen aparecer en
textos formales.

Enlaces externos