Anexo:Smbolos matemticos

Anexo:Smbolos matemticos
Genricos
Smbolo

Nombre
igualdad

se lee como
igual a

Categora
todos

x= y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o ente.
1+ 2= 6 3
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
coshx:= (1/2)(expx+ exp(x)); A XOR B: (A

B)

(A

B)

Aritmtica
Smbolo

Nombre
adicin

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

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

aritmtica

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

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

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

k=1nak significa: a1a2an

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

aritmtica

Anexo:Smbolos matemticos

Lgica proposicional
Smbolo

Nombre
implicacin material o en un solo sentido

se lee como

Categora

implica; si .. entonces; por lo tanto

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)
[1]
si y slo si; sii, syss

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

o,

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
cuantificador universal

se lee como

Categora

para todos; para cualquier; para cada

lgica de predicados

existe por lo menos un/os

lgica de predicados

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

n N: n n
cuantificador existencial

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

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

n N: n+ 5= 2n

lgica de predicados

Anexo:Smbolos matemticos

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

es subconjunto de

teora de conjuntos

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

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.
A B A B= B
interseccin de conjuntos

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 de un conjunto

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

teora de conjuntos

Anexo:Smbolos matemticos

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

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: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente.
{|a|: a Z}= N
nmeros enteros

nmeros

nmeros

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 reales

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

R; (1) R
nmeros complejos

nmeros

la raz cuadrada de; la principal raz cuadrada de

nmeros reales

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

i= (1) C
raz cuadrada

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
limx01/|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)

Anexo:Smbolos matemticos

rdenes parciales
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

se lee como

comparacin

es menor o igual a, es mayor o igual a

Categora
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

Categora
combinatoria

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

Anlisis funcional
Smbolo

Nombre
norma

se lee como
norma de; longitud de

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

x+y x + y

Clculo

Categora
anlisis funcional

Anexo:Smbolos matemticos

Smbolo

Nombre

se lee como

integracin

Categora

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

clculo

abf(x)dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f entre x= a y x= b
0bxdx= b/3; xdx= 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
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
Smbolo

Nombre

se lee como

perpendicular

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
x=

se lee como
el elemento fondo

Categora
teora de rejas

significa: x es el elemento ms pequeo.

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.

Anexo:Smbolos matemticos

Enlaces externos
Jeff Miller: Earliest Uses de Various Mathematical Symbols, http://members.aol.com/jeff570/mathsym.html
TCAEP - Institute of Physics, http://www.tcaep.co.uk/science/symbols/maths.htm

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Anexo:Smbolos matemticos Fuente: http://es.wikipedia.org/w/index.php?oldid=68030104 Contribuyentes: .Sergio, 67wkii, Adrruiz, Airunp, Alejandrocaro35, AlfonsoERomero,
Animadelpurgatorio, Biasoli, Bsea, Charlitos, Daganu, Damifb, Danakil, Djmasterd, Dodo, Dunraz, Elwikipedista, Emijrp, Er Komandante, Faustito, Fernandoponce, HUB, Homo logos, Icvav,
Ingenioso Hidalgo, Isha, JMCC1, Jam1138, Jerowiki, Juan Marquez, Juan Mayordomo, Lauristeamo, Mahey94, Maldoror, Manuelt15, Math Master, Mauer uk07, Mgrpmarcemgrp, Migue1
ange1, Mortadelo2005, NekroByte, Neodop, Nihilo, Paska, Pati, Petruccigp, Pia982, Platonides, Porao, Qwertyytrewqqwerty, Rojsensimars, Rovnet, RoyFocker, Serlack, Snakefang, Soulreaper,
Stardust, Taichi, Tano4595, Teles, Tomatejc, Triku, Tubet, Unaiaia, Usuwiki, Waka Waka, , 136 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/