Anexo:Smbolos matemticos

(Redirigido desde Tabla de smbolos matemticos)

Contenido
[ocultar]

6.1 ( )[ ]{ }

6.2 f:XY
7 Nmeros

1 Genricos

1.1 =

1.2 :
2 Aritmtica

2.1 +

2.2

2.3 *

2.4 /:

2.5

2.6

3.1

3.2

3.3

3.4

3.5 /

4.1

4.2

4.3 !

4.4 :

5.1 { , }

5.2 { : }{ | }

5.3 {}

5.4

5.5

5.6

5.7

5.8 \

7.2 Z

7.3 Q

7.4 R

7.5 C

7.6

7.7

7.8 | |

o
o

8.1

9.1
10 Combinatoria

10.1 !
11 Anlisis funcional

11.1
12 Clculo

5 Teora de conjuntos

9 Geometra eucldea

4 Lgica de predicados

7.1 N

8 rdenes parciales

3 Lgica proposicional

12.1

12.2 f '

12.3

12.4
13 Ortogonalidad

13.1
14 lgebra matricial

14.1
15 Teora de rejas

15.1
16 Vase tambin
17 Referencias

6 Funciones

18 Enlaces externos

Genricos
Smbolo

Nombre

se lee como

Categora

igualdad

igual a

todos

x = y significa: x y 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
Smbolo

Nombre
adicin

se lee como

Categora

ms

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

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

producto

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
implicacin material o en un solo
sentido

se lee como
implica; si .. entonces;
por 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)
/ tal que ejemplo x/y se lee x tal que y
si y slo si; sii1

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.todo

es verdadero de los valores
n < 4 n > 2 n = 3 cuando n es un nmero natural
lgica proposicional, teora de
rejas

disyuncin lgica o unin en una reja o

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

Categora

para todos; para cualquier; para lgica de

cada
predicados

cuantificacin universal

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

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
Smbolo

{,}

Nombre
delimitadores de conjunto

se lee como
el conjunto de ...

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

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

Categora
teora de
conjuntos

{:}
{

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

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

} {n N : 1 < n < 4} = {}
en; est en; es elemento de; es miembro de;
pertenece a

pertenencia de conjuntos

teora de
conjuntos

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

teora de
conjuntos

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

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 conjunto-teortica 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

()
[]
{}

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
Smbolo

Nombre
nmeros naturales

se lee como
N

Categora
nmeros

N significa: {0,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

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

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 lnea extendida de nmeros reales mayor que todos los nmeros reales;
ocurre frecuentemente enlmites
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
factorial

se lee como
factorial

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

Anlisis funcional

Categora
combinatoria

se lee
como

Smbolo Nombre

Categora
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 a ...

clculo

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

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)

derivacin 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
Smbolo

Nombre
perpendicular

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

x = significa: x es el elemento ms pequeo.

Vase tambin

Categora
teora de rejas

Wikipedia: Cmo se edita una pgina contiene informacin acerca de cmo producir smbolos
matemticos en otros artculos.

Referencias
1.

sii es usado por los matemticos como jerga ocasional, no est reconocido como un trmino
estndar, por lo que tampoco suele aparecer en textos formales.

"Este artculo utiliza smbolos matemticos"