Está en la página 1de 8

Smbolos matemticos

Genricos[editar]
Smbolo

Nombre

se lee como

igualdad

Categora

igual a

todos

x = y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o ente.
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 y lgebra[editar]
Smbolo

Nombre
adicin

se lee como
ms

Categora
aritmtica y lgebra

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


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

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 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42.


4 6 = 24 4 * 6 = 24 4 6 = 24
divisin

entre, dividido por

aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo ser
de tamao siete.

sumatoria

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

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


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

aritmtica

productorio

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

aritmtica

k=1n ak significa: a1a2an


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

Lgica proposicional[editar]
Smbolo

Nombre

se lee como

implicacin material o en un solo

implica; si .. entonces; por

sentido

lo tanto

Categora
lgica proposicional

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)
si y slo si; sii, syss1

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

lgica proposicional, teora de

rejas

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


n < 4 n > 2 n = 3 cuando n es un nmero natural
disyuncin lgica o unin en una reja

lgica proposicional, teora de

o,

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[editar]
Smbolo

Nombre
cuantificador universal

se lee como
para todos; para cualquier; para

lgica de

cada

predicados

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


n N: n n

Categora

cuantificador 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
cuantificador existencial con marca de
unicidad

existe un/os nico/s

lgica de
predicados

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


! n N: n + 1 = 2
reluz

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[editar]
Smbolo

Nombre
delimitadores de conjunto

se lee como
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
conjuntos

el conjunto de los elementos ... tales que ...

teora de
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;

teora de

pertenece a

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

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

teora de
conjuntos

unin de conjuntos

teora de

la unin de ... y ...; unin

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 de conjuntos

teora de

la interseccin de ... y ...; interseccin

conjuntos

A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn.
{x R : x = 1} N = {1}
diferencia de conjuntos

teora de

menos; sin

conjuntos

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[editar]
Smbolo

Nombre

se lee como

aplicacin de funcin; agrupamiento

Categora

de

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

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[editar]
Smbolo

Nombre
nmeros naturales

se lee como
N

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 significa: {p/q : p, q Z, q 0}
3.14 Q; Q

nmeros

nmeros reales

nmeros

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


R; (1) R
nmeros complejos

nmeros

C significa: {a + bi : a, b R}
i = (1) C
raz cuadrada

la raz cuadrada de; la principal raz cuadrada de

nmeros reales

x significa: el nmero positivo cuyo cuadrado es x


(x) = |x|
infinito

infinito

nmeros

es un elemento de la recta real extendida 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 recta real (o en el plano complejo) entre x y [[zero], se le llama
tambin mdulo]
|a + bi | = (a + b)

rdenes parciales[editar]
Smbolo

Nombre

se lee como

comparacin

es menor a, es mayor a

Categora
rdenes parciales

x < y significa: x es menor a y; x > y significa: x es mayor a y


3 <4 5 >4
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[editar]
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[editar]

Smbolo

Nombre

se lee como

factorial

factorial

Categora
combinatoria

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

Anlisis funcional[editar]
Smbolo

Nombre
norma

se lee como
norma de; longitud de

Categora
anlisis funcional

x es la norma del elemento x de un espacio vectorial normado


x+y x + y

Clculo[editar]
Smbolo

Nombre
integracin

se lee como

Categora

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

clculo

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

derivada de f; f prima

clculo

f '(x) es la derivada de la funcin f en el punto x, esto es, la pendiente de la tangente en ese lugar.
Si f(x) = x, entonces f '(x) = 2x y f ' '(x) = 2
gradiente

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)
derivada parcial

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[editar]
Smbolo

Nombre
perpendicular
x

se lee como
es perpendicular a

Categora
ortogonalidad

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

lgebra matricial[editar]

Smbolo

Nombre

se lee como

perpendicular
(a,b) con

traspuesta

Categora
matrices y vectores

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[editar]
Smbolo

Nombre

se lee como

fondo
x=

el elemento fondo
significa: x es el elemento ms pequeo.

Resumen
PRINCIPALES SMBOLOS MATEMTICOS
SMBOLO

SIGNIFICADO

1 Para todo
2 Existe al menos uno
3 ! Existe un nico
4 / No existe
5 / Tal que
6 : Tal que
7 < Menor que
8 = Igual que
9 > Mayor que
10 Menor o igual que
11 Mayor o igual que
12 Infinito

Categora
teora de rejas

13 o Composicin de funciones
14 Proporcional a
15 Perpendicular a
16 Distinto de
17 Aproximadamente igual a
18 Idntico a
19 Unin de conjuntos
20 Interseccin de conjuntos
21 Contenido en
22 Contiene a
23 Perteneciente a
24 No perteneciente a
25 Conjunto vaco
26 Implica
27 Si y slo si
28 Sumatorio
29 Productorio
30 Nmeros naturales
31 Nmeros enteros
32 Nmeros racionales
33 I Nmeros irracionales (1)
34 Nmeros reales
35 C Nmeros complejos
(1) En realidad esta notacin no es muy estndar; la forma correcta de
nombrar los irracionales sera -